A remark on boundedness of manifolds embedded with small codimension (Q2000598): Difference between revisions

From MaRDI portal
RedirectionBot (talk | contribs)
Changed an Item
Import240304020342 (talk | contribs)
Set profile property.
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank

Revision as of 05:31, 5 March 2024

scientific article
Language Label Description Also known as
English
A remark on boundedness of manifolds embedded with small codimension
scientific article

    Statements

    A remark on boundedness of manifolds embedded with small codimension (English)
    0 references
    0 references
    28 June 2019
    0 references
    Projective manifolds \(X \subset \mathbb{P}^N\) of dimension \(n\) and codimension \(c \leq n\) are said to be of small codimension. They have many special properties. In particular, for \(c=2\), manifolds of this kind and not of general type have bounded degree. The author and \textit{M. Toma} [Contemp. Math. 162, 215--225 (1994; Zbl 0848.14001)] obtained an explicit bound for the degree in some special cases: In the paper under review, their result is rephrased as follows: let \(X \subset \mathbb{P}^N\) be as above with \(c \leq n\), let \(K_X\) and \(H\) be the canonical bundle and the hyperplane bundle, respectively; if there exists a constant \(a \geq 0\) such that \(K_X \cdot H^{n-1} \leq a \deg(X)\), then \(\deg(X) < (a+2n+1)^n\). In the paper under review, which can be seen as an appendix to the paper quoted above, according to the author, the boundedness of the degree for manifolds of small codimension is related with the Castelnuovo-Mumford regularity of the structure sheaf. For a manifold \(X \subset \mathbb{P}^N\) as above and of small codimension the author proves that if \(\mathcal{O}_X\) is \(m\)-regular, i.e., \(h^i(\mathcal O_X(m-i))=0\) for all \(i > 0\), then \(\deg(X) < \max \{(2n+1)^n, (2m+n)^n \}\). As a corollary, it turns out that manifolds of small codimension whose structure sheaf is arithmetically Cohen-Macaulay (in a weak sense) have degree bounded by \((3n+2)^n\), provided that their canonical map is not birational.
    0 references
    small codimension
    0 references
    boundedness
    0 references
    Castelnuovo-Mumford regularity
    0 references

    Identifiers