Towards a general theory of unprojection (Q932936): Difference between revisions
From MaRDI portal
Created a new Item |
Changed an Item |
||
(4 intermediate revisions by 4 users not shown) | |||
Property / describes a project that uses | |||
Property / describes a project that uses: SINGULAR / rank | |||
Normal rank | |||
Property / MaRDI profile type | |||
Property / MaRDI profile type: MaRDI publication profile / rank | |||
Normal rank | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2159941523 / rank | |||
Normal rank | |||
Property / arXiv ID | |||
Property / arXiv ID: math/0608158 / rank | |||
Normal rank | |||
links / mardi / name | links / mardi / name | ||
Latest revision as of 18:55, 18 April 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Towards a general theory of unprojection |
scientific article |
Statements
Towards a general theory of unprojection (English)
0 references
21 July 2008
0 references
Let \(R\) be a Gorenstein ring. \textit{Unprojection} is a method to construct a new Gorenstein ring \(S\) of codimension bigger than the codimension of \(R\). From the algebraic point of view it is a substitute for a structure theory of Gorenstein rings in low codimension. From the geometric point of view it gives a graded ring method to construct terminal \(\mathbb{Q}\)-factorial Fano 3-folds and Sarkisov birational links between them. There are currently four types of unprojection, namely unprojection of types \textit{I, II, III} and \textit{IV}. The simplest case is unprojection of type \textit{I} due \textit{A. Kustin} and \textit{M. Miller} [J. Algebra 85, 303--322 (1983; Zbl 0522.13011)] and \textit{S. A. Papadakis} and \textit{M. Reid} [J. Algebr. Geom. 13, No. 3, 563--577 (2004; Zbl 1071.14047)]. In previous works the author has also studied cases of unprojection of types \textit{II} and \textit{III}. In this paper the author introduces a general definition of unprojection. In particular, given a commutative ring with unit \(\mathcal{O}_X\), and \(I_D \subset \mathcal{O}_X\) an ideal containing an \(\mathcal{O}_X\)-regular element \(q \in I_D\), he defines the unprojection algebra \(\mathrm{unpr}_{\mathcal{O}_X}I_D\) and he shows that this definition agrees with the definitions given in the special cases treated in previous works by himself and M. Reid.
0 references
unprojection
0 references
Fano 3-folds
0 references
Gorenstein rings
0 references