Search arXiv⌕ Search

arXiv · math/0610883

On threefolds without nonconstant regular functions

Abstract

We consider smooth threefolds $Y$ defined over $\Bbb{C}$ with $H^i(Y, Ω^j_Y)=0$ for all $j\geq 0$, $i>0$. Let $X$ be a smooth projective threefold containing $Y$ and $D$ be the boundary divisor with support $X-Y$. We are interested in the following question: What geometry information of $X$ can be obtained from the regular function information on $Y$? Suppose that the boundary $X-Y$ is a smooth projective surface. In this paper, we analyse two different cases, i.e., there are no nonconstant regular functions on $Y$ or there are lots of regular functions on $Y$. More precisely, if $H^0(Y, {\mathcal{O}}_Y)=\Bbb{C}$, we prove that ${1/2}(c_1^2+c_2)\cdot D=χ({\mathcal{O}}_D)\geq 0$. In particular, if the line bundle ${\mathcal{O}}_D(D)$ is not torsion, then $q=h^1(X, {\mathcal{O}}_X)=0$, ${1/2}(c_1^2+c_2)\cdot D=χ({\mathcal{O}}_D)=0$, $χ({\mathcal{O}}_X) >0$ and $K_X$ is not nef. If there is a positive constant $c$ such that $h^0(X, {\mathcal{O}}_X(nD))\geq c n^3$ for all sufficiently large $n$ (we say that $D$ is big or the $D$-dimension of $X$ is 3) and $D$ has no exceptional curves, then $|nD|$ is base point free for $n\gg 0$. Therefore $Y$ is affine if $D$ is big.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

Jing Zhang. 2006-10-28. On threefolds without nonconstant regular functions. https://arxiv.org/abs/math/0610883

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

Categorifying Quiver Linking/Unlinking using CoHA Modules

The knots-quivers correspondence is a relation between knot invariants and enumerative invariants of quivers, which in particular translates the knot operations of linking and unlinking to a certain mutation operation on quivers. In this paper we show that the moduli spaces of a quiver and its linking/unlinking are naturally related, giving a purely representation theoretic interpretation of these operations. We obtain a relation between the cohomologies of these spaces which is moreover compatible with a natural action of the Cohomological Hall Algebra. The result is a categorification of quiver linking/unlinking at the level of CoHA modules.

math.AG↗

On the prime ideals of higher secant varieties of Veronese embeddings of small degrees

In this paper, we study minimal generators of the (saturated) defining ideal of the $k$-secant variety $σ_k(v_d(\mathbb{P}^n))$ of the image of the $d$-uple Veronese embedding $v_d: \mathbb{P}^n \rightarrow \mathbb{P}^N$ with ${N=\binom{n+d}{d}-1}$, focusing on cases where the degree of $σ_k(v_d(\mathbb{P}^n))$ is relatively small. First, we show that the prime ideal $I(σ_4(v_3(\mathbb{P}^3)))$ is minimally generated by $36$ homogeneous polynomials of degree $5$. This implies that $σ_4(v_3(\mathbb{P}^3)) \subset \mathbb{P}^{19}$ is a del Pezzo $4$-secant variety (i.e., $\mathrm{deg}(σ_4(v_3(\mathbb{P}^3))) = 105$ and the sectional genus $π(σ_4(v_3(\mathbb{P}^3))) = 316$), thereby providing a new example of an arithmetically Gorenstein variety of codimension $4$. This result addresses the symmetric version of the ``Salmon problem'' posed by E. Allman in \cite{Allman}. As an application, we decide the non-singularity of a certain locus in $σ_4(v_3(\mathbb{P}^3))$. Furthermore, by inheritance, we obtain the generators of $I(σ_4(v_3(\mathbb{P}^n)))$ for all $n \geq 3$. Based on the method used for $σ_4(v_3(\mathbb{P}^3))$, we also propose a procedure to compute the first non-trivial degree piece, $I(σ_k(v_d(\mathbb{P}^n)))_{k+1}$, for the general $k$-secant case using prolongation and weight space decomposition. Applying this procedure, we present a few more cases of $k$-secant varieties of relatively small degrees; in each of these cases, the ideal is generated in degree $k+1$ and can be fully determined by explicitly computing all generators within this degree piece.

math.AG↗

Symmetric quasi-coherent sheaves

Using methods of stable homotopy theory, the category of symmetric quasi-coherent sheaves associated with non-commutative graded algebras with extra symmetries is introduced and studied in this paper. It is shown to be a closed symmetric monoidal Grothendieck category with invertible generators. It is proven that the category of quasi-coherent sheaves on a projective scheme is recovered out of symmetric quasi-coherent sheaves. As an application, symmetric projective schemes associated to such algebras are introduced and studied. It is shown that classical projective schemes are recovered from symmetric ones.

math.AG↗