Projective normality of abelian varieties

Projective normality of abelian surfaces of type (1,2d)

We show that an abelian surface embedded in P^N by a very ample line bundle L of type (1,2d) is projectively normal if and only if d>=4. This completes the study of the projective normality of abelian surfaces embedded by complete linear systems.

Projective normality of Artin-Schreier curves

In this paper we study the projective normality of certain Artin-Schreier curves $Y_f$ defined over a field $\F$ of characteristic $p$ by the equations $y^q+y=f(x)$, $q$ being a power of $p$ and $f\in \F[x]$ being a polynomial in $x$ of degree $m$, with $(m,p)=1$. Many $Y_f$ curves are singular and so, to be precise, here we study the projective normality of appropriate projective models of their normalizations.

On the normality of secant varieties

In this paper, we show that the secant variety to a smooth projective variety embedded by a sufficiently positive line bundle is normal. As an application, we deduce that the secant variety to a general canonical curve of genus at least 7 is normal.

Remarks on projective normality for certain Calabi-Yau and hyperkähler varieties

We prove some results on effective very ampleness and projective normality for some varieties with trivial canonical bundle. In the first part we prove an effective projective normality result for an ample line bundle on regular smooth four-folds with trivial canonical bundle. More precisely we show that for a regular smooth fourfold with trivial canonical bundle, $A^{\otimes 15}$ is projectively normal for $A$ ample. In the second part we emphasize on the projective normality of multiples of ample and globally generated line bundles on certain classes of known examples (upto deformation) of p…

On the singularities and on the projective normality of some Enriques-Fano threefolds

In order to find useful information to complete the classification of Enriques-Fano threefolds, we will computationally study the singularities of some known Enriques-Fano threefolds of genus 6, 7, 8, 9, 10, 13 and 17. We will also deduce the projective normality of these threefolds.

仿射格拉斯曼流形中 Schubert 簇的正规性 II：驯分歧情形

Normality of Schubert varieties in affine Grassmannians II: The tamely ramified case

本文研究扭曲仿射格拉斯曼流形中 Schubert 簇的正规性，利用 Levi 子群代数基本群的阶建立判据，并将其推广到等特征与混合特征下的 Pappas-Zhu 局部模型分类。

关于某些低维簇上 Ulrich 丛的射影正规性

On the projective normality of Ulrich bundles on some low-dimensional varieties

本文研究了 Ulrich 向量丛通过其 tautological 线丛的完全线性系嵌入时的射影丛的射影正规性，重点关注定义于曲线、$q=p_g=0$ 曲面及 $2$ 和 $3$ 维超曲面上的 Ulrich 丛。

Projective normality of Abelian threefolds

In this article, we show that very ample line bundles of type (1,1,d) on an abelian threefold A, with NS(A)\simeq \ze, give projectively normal embeddings, if d=22,26 or when d\geq 28.

Some effects of property $N_p$ on the higher normality and defining equations of nonlinearly normal varieties

For a smooth projective variety $X\subset ¶^r$ embedded by the complete linear system, Property $N_p$ has been studied for a long time. On the other hand, Castelnuovo-Mumford regularity conjecture and related problems have been focused for a projective variety which is not necessarily linearly normal. This paper aims to explain the influence of Property $N_p$ on higher normality and defining equations of a smooth variety embedded by sub-linear system. Also we prove a claim about Property $N_p$ of surface scrolls which is a generalization of Green's work in \cite{Green} about Property $N_p$ for…

Projective normality and the generation of the ideal of an Enriques surface

We give necessary and sufficient criteria for a smooth Enriques surface S in P^r to be scheme-theoretically an intersection of quadrics. Moreover we prove in many cases that, when S contains plane cubic curves, the intersection of the quadrics containing S is the union of S and the 2-planes spanned by the plane cubic curves. We also give a new (very quick) proof of the projective normality of S if the degree of S is at least 12.

Projective normality and basepoint-freeness thresholds of general polarized abelian varieties

For a polarized abelian variety $(X,L)$, Z. Jiang and G. Pareschi introduce an invariant $β(X,L)$, called the basepoint-freeness threshold. Using this invariant, we show that a general polarized abelian variety $(X,L)$ of dimension $g$ is projectively normal if $χ(L) \geq 2^{2g-1}$ and the type of $L$ is not $(2,4,\dots,4)$. This bound is sharp since it is known that any polarized abelian variety of type $(2,4,\dots,4)$ is not projectively normal. We also give an application of $β(X,L)$ to the Infinitesimal Torelli Theorem for $Y \in |L|$.

On quadratic and higher normality of small codimension projective varieties

Ran proved that smooth codimension 2 varieties in ${\bf P}^{m+2}$ are $j$-normal if $(j+1)(3j-1)\le m-1$, in this paper we extend this result to small codimension projective varieties. Let $X$ be a r codimension subvariety of $\pro$, we prove that if the set $Σ_{(j+1)}$ of $(j+1)$-secants to $X$ through a generic external point is not empty, $2(r+1)j\leq m-r$ and $(j+1)((r+1)j-1)\leq m-1$ then $X$ is $j$-normal. If $X$ is given by the zero locus of a section of a rank $r$ vector bundle $E$ on $\pro$, we prove that $\textrm{deg} Σ_{j+1}=\frac{1}{(j+1)!}\prod_{i=0}^{j}c_{r}(E(-i))$. Moreover we …

The Normality of Certain Varieties of Special Lattices

We begin with a short exposition of the theory of lattice varieties. This includes a description of their orbit structure and smooth locus. We construct a flat cover of the lattice variety and show that it is a complete intersection. We show that the lattice variety is locally a complete intersection and nonsingular in codimension one and hence normal. We then prove a comparison theorem showing that this theory becomes parallel to the function field case if linear algebra is replaced by $p$-linear algebra. We then compute the Lie algebra of the special linear group over the truncated Witt vect…

On $k$-normality and Regularity of Normal Toric Varieties

We give a bound of $k$ for a very ample lattice polytope to be $k$-normal. Equivalently, we give a new combinatorial bound for the Castelnuovo-Mumford regularity of normal projective toric varieties.

On the projective normality of double coverings over a rational surface

We study the projective normality of a minimal surface $X$ which is a ramified double covering over a rational surface $S$ with $\dim|-K_S|\ge 1$. In particular Horikawa surfaces, the minimal surfaces of general type with $K^2_X=2p_g(X)-4$, are of this type, up to resolution of singularities. Let $π$ be the covering map from $X$ to $S$. We show that the $\mathbb{Z}_2$-invariant adjoint divisors $K_X+rπ^*A$ are normally generated, where the integer $r\ge 3$ and $A$ is an ample divisor on $S$.

Normality of nilpotent varieties in $E_6$

We determine which nilpotent orbits in $E_6$ have normal closure and which do not. We also verify a conjecture about small representations in rings of functions on nilpotent orbit covers for type $E_6$.

Projective normality of canonical symmetric squares

Recall that a smooth complex projective curve has a very ample canonical bundle when it is non-hyperelliptic, and according to a theorem of M. Noether the resulting embedding is projectively normal. A theorem of Petri further asserts that the homogeneous ideal is generated by quadrics if the curve is neither trigonal nor a smooth plane quintic. In this note, we prove an analogue of Noether's theorem for the symmetric square of the curve - namely, the canonical bundle of the symmetric square determines a projectively normal embedding exactly when the curve itself is neither hyperelliptic, trigo…

第一和第二割线簇的射影正规性的有效结果

Effective results on projective normality of the first and second secant varieties

本文针对光滑复射影簇由充分正线丛的完全线性系统嵌入时，第一和第二割线簇的射影正规性给出有效条件，并给出第一割线簇定义理想由三次式及3×3子式生成的有效条件。

仿射格拉斯曼流形中Schubert簇的正规性

Normality of Schubert varieties in affine Grassmannians

本文分类了任意域上半单群仿射格拉斯曼流形中的正规Schubert簇，特别关注小正特征，通过切空间计算、Levi引理和极小退化分类给出初等证明。

Projective Normality Of Algebraic Curves And Its Application To Surfaces

Let $L$ be a very ample line bundle on a smooth curve $C$ of genus $g$ with $\frac{3g+3}{2}<°L\le 2g-5$. Then $L$ is normally generated if $°L>\max\{2g+2-4h^1(C,L), 2g-\frac{g-1}{6}-2h^1(C,L)\}$. Let $C$ be a triple covering of genus $p$ curve $C'$ with $C\stackrelϕ\to C'$ and $D$ a divisor on $C'$ with $4p<°D< \frac{g-1}{6}-2p$. Then $K_C(-ϕ^*D)$ becomes a very ample line bundle which is normally generated. As an application, we characterize some smooth projective surfaces.

Normality and Cohen-Macaulayness of local models of Shimura varieties

We prove that in the unramified case, local models of Shimura varieties with Iwahori level structure are normal and Cohen Macaulay.

具有加法作用的射影超曲面的正规性

On Normality of Projective Hypersurfaces with an Additive Action

本文研究具有诱导加法作用的射影超曲面，给出其正规性判别准则，并证明任意射影超曲面可作为某类超曲面开轨道补集的射影锥，同时引入基于杨图的构造方法。

Projective normality of nonsingular toric varieties of dimension three

We show that if an ample line bundle L on a nonsingular toric 3-fold satisfies h^0(L+2K)=0, then L is normally generated. As an application, we show that the anti-canonical divisor on a nonsingular toric Fano 4-fold is normally generated.

Normality of very even nilpotent varieties in D_2l

For the classical groups, Kraft and Procesi have resolved the question of which nilpotent orbits have closures which are normal and which are not, with the exception of the very even orbits in $D_{2l}$ which have partition of the form $(a^{2k}, b^2)$ for $a, b$ distinct even natural numbers with $a k + b = 2 l$. In this article, we show that these orbits do have normal closure.

Abelian varieties as automorphism groups of smooth projective varieties

We determine which complex abelian varieties can be realized as the automorphism group of a smooth projective variety.

Projective normality of quotient varieties modulo finite groups

In this note, we prove that for any finite dimensional vector space $V$ over an algebraically closed field $k$, and for any finite subgroup $G$ of $GL(V)$ which is either solvable or is generated by pseudo reflections such that the $|G|$ is a unit in $k$, the projective variety $\mathbb P(V)/G$ is projectively normal with respect to the descent of $\mathcal O(1)^{\otimes |G|}$.

Projective normality of finite group quotients and EGZ theorem

In this note, we prove that for any finite dimensional vector space $V$ over $\mathbb {C}$, and for a finite cyclic group $G$, the projective variety $\mathbb P(V)/G$ is projectively normal with respect to the descent of $\mathcal O(1)^{\otimes |G|}$ by a method using toric variety, and deduce the EGZ theorem as a consequence.

Euler-symmetric projective varieties

Euler-symmetric projective varieties are nondegenerate projective varieties admitting many C*-actions of Euler type. They are quasi-homogeneous and uniquely determined by their fundamental forms at a general point. We show that Euler-symmetric projective varieties can be classified by symbol systems, a class of algebraic objects modeled on the systems of fundamental forms at general points of projective varieties. We study relations between the algebraic properties of symbol systems and the geometric properties of Euler-symmetric projective varieties. We describe also the relation between Eule…

Buser-Sarnak invariant and projective normality of abelian varieties

We show that a general $n$-dimensional polarized abelian variety $(A,L)$ of a given polarization type and satisfying $ h^0(A, L) \geq \dfrac{8^n}{2} \cdot \dfrac{n^n}{n !}$ is projectively normal. In the process, we also obtain a sharp lower bound for the volume of a purely one-dimensional complex analytic subvariety in a geodesic tubular neighborhood of a subtorus of a compact complex torus.

Smooth projective horospherical varieties with nef tangent bundles

We show that smooth projective horospherical varieties with nef tangent bundles are rational homogeneous spaces.

Quotients of smooth projective toric varieties by $μ_p$ in positive characteristics $p$

In this paper we show that quotients of smooth projective toric varieties by $μ_p$ in positive characteristics $p$ are toric varieties.

On projective varieties with nef anticanonical divisors

We prove a structure theorem for projective varieties with nef anticanonical divisors.

Constructing projective varieties in weighted flag varieties

We compute the Hilbert series of general weighted flag varieties and discuss a computer-aided method to determine their defining equations. We apply our results to weighted flag varieties coming from the Lie groups of type G_2 and GL(6), to construct some families of polarised projective varieties in codimensions 8 and 6, respectively.

Classification of embedded projective manifolds swept out by rational homogeneous varieties of codimension one

We give a classification of embedded smooth projective varieties swept out by rational homogeneous varieties whose Picard number and codimension are one.

Projective normality of complete symmetric varieties

We prove that in characteristic zero the multiplication of sections of dominant line bundles on a complete symmetric variety $X=\bar{G/H}$ is a surjective map. As a consequence the cone defined by a complete linear system over $X$, or over a closed $G$ stable subvariety of $X$ is normal. This gives an affirmative answer to a question raised by Faltings. A crucial point of the proof is a combinatorial property of root systems.

Normality and non-normality of group compactifications in simple projective spaces

If $G$ is a complex simply connected semisimple algebraic group and if $λ$ is a dominant weight, we consider the compactification $X_λ$ in the projectivisation of $\End(V(λ))$ obtained as the closure of the $G\times G$-orbit of the identity and we give necessary and sufficient conditions on the support of $λ$ so that $X_λ$ is normal; as well, we give necessary and sufficient conditions on the support of $λ$ so that $X_λ$ is smooth.

Abelian varieties as automorphism groups of smooth projective varieties in arbitrary characteristics

Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This generalizes a result of Lombardo and Maffei for complex abelian varieties.

Normality and quadraticity for special ample line bundles on toric varieties arising from root systems

We prove that special ample line bundles on toric varieties arising from root systems are projectively normal. Here the maximal cones of the fans correspond to the Weyl chambers, and special means that the bundle is torus-equivariant such that the character of the line bundle that corresponds to a maximal Weyl chamber is dominant with respect to that chamber. Moreover, we prove that the associated semigroup rings are quadratic.

Chern class inequalities for non-uniruled projective varieties

It is known that projective minimal models satisfy the celebrated Miyaoka-Yau inequalities. In this article, we extend these inequalities to the set of all smooth, projective and non-uniruled varieties.

Projective spaces in Fermat varieties

We give a brief systematic overview of a few results concerning the Néron--Severi lattices of Fermat varieties and Delsarte surfaces.

Divisors on Projective Hibi Varieties

We compute the divisor class group and the Picard group of projective varieties with Hibi rings as homogeneous coordinate rings. These varieties are precisely the toric varieties associated to order polytopes. We use tools from the theory of toric varieties to get a description of the two groups which only depends on combinatorial properties of the underlying poset.

On the osculatory behaviour of higher dimensional projective varieties

Here we explore the geometry of the osculating spaces to projective varieties of arbitrary dimension. In particular, we classify varieties having very degenerate higher order osculating spaces and we determine mild conditions for the existence of inflectionary points.

On The Projective Normality of Smooth Surfaces of degree nine

We investigate the projective normality of smooth, linearly normal surfaces of degree 9. All non projectively normal surfaces which are not scrolls over a curve are classified. Results on the projective normality of surface scrolls are also given. One of the reasons that brought us to look at this question is our desire to find examples for a long standing problem in adjunction theory. Andreatta followed by a generalization by Ein and Lazarsfeld posed the problem of classifying smooth n-dimensional varieties (X,L) polarized with a very ample line bundle L, such that the adjoint linear system |…

On the deformation rigidity of smooth projective symmetric varieties with Picard number one

Symmetric varieties are normal equivariant open embeddings of symmetric homogeneous spaces and they are interesting examples of spherical varieties. The principal goal of this article is to study the rigidity under Kähler deformations of smooth projective symmetric varieties with Picard number one.

Lefschetz classes on projective varieties

The Lefschetz algebra $L^*(X)$ of a smooth complex projective variety $X$ is the subalgebra of the cohomology algebra of $X$ generated by divisor classes. We construct smooth complex projective varieties whose Lefschetz algebras do not satisfy analogues of the hard Lefschetz theorem and Poincaré duality.

Quasi--Projective Reduction of Toric Varieties

We define a quasi--projective reduction of a complex algebraic variety $X$ to be a regular map from $X$ to a quasi--projective variety that is universal with respect to regular maps from $X$ to quasi--projective varieties. A toric quasi--projective reduction is the analogous notion in the category of toric varieties. For a given toric variety $X$ we first construct a toric quasi--projective reduction. Then we show that $X$ has a quasi--projective reduction if and only if its toric quasi--projective reduction is surjective. We apply this result to characterize when the action of a subtorus on a…

Local Euler Obstructions of Reflective Projective Varieties

In this note we introduce the concept of reflective projective varieties. These are stratified projective varieties with certain dimension constraints on their dual varieties. We prove that for such varieties, the Chern-Schwartz-MacPherson classes of the strata completely determine the local Euler obstructions and the polar degrees. We also propose an algorithm to compute the local Euler obstructions when such varieties are formed by group orbits. As examples we compute the local Euler obstructions of quadratic hypersurfaces and ordinary determinantal varieties to illustrate our method.

Equivariant cobordism of smooth projective spherical varieties

We study the equivariant cobordism rings for the action of a torus $T$ on smooth varieties over an algebraically closed field of characteristic zero. We prove a theorem describing the rational $T$-equivariant cobordism rings of smooth projective $G$-spherical varieties with the action of a maximal torus $T$ of $G$. As an application, we obtain explicit presentations for the rational equivariant cobordism rings of smooth projective horospherical varieties of Picard number one.

Smooth projective horospherical varieties with Picard number 1

We describe smooth projective horospherical varieties with Picard number 1. Moreover we prove that the automorphism group of any such variety acts with at most two orbits and we give a geometric characterisation of non-homogeneous ones.

A Remark on Projective Embeddings of Varieties with Non-Negative Cotangent Bundles

We prove an elementary but somewhat unexpected result about projective embeddings of smooth varieties X whose cotangent bundles are numerically effective. Specifically, we show that the degree of X in any projective embedding must grow (almost) exponentially in the dimension of X.

Murphy's law for toric vector bundles on smooth projective toric varieties

We show that the moduli space of rank three toric vector bundles on smooth projective toric varieties satisfies Murphy's law, that is, every singularity type of finite type arises somewhere on this space.

Classification and syzygies of smooth projective varieties with 2-regular structure sheaf

The geometric and algebraic properties of smooth projective varieties with 1-regular structure sheaf are well understood, and the complete classification of these varieties is a classical result. The aim of this paper is to study the next case: smooth projective varieties with 2-regular structure sheaf. First, we give a classification of such varieties using adjunction mappings. Next, under suitable conditions, we study the syzygies of section rings of those varieties to understand the structure of the Betti tables, and show a sharp bound for Castelnuovo-Mumford regularity.

Computing Segre classes in arbitrary projective varieties

We give an algorithm for computing Segre classes of subschemes of arbitrary projective varieties by computing degrees of a sequence of linear projections. Based on the fact that Segre classes of projective varieties commute with intersections by general effective Cartier divisors, we can compile a system of linear equations which determine the coefficients for the Segre class pushed forward to projective space. The algorithm presented here comes after several others which solve the problem in special cases, where the ambient variety is for instance projective space; to our knowledge, this is t…

Linear and Steiner bundles on projective varieties

We use a generalization of Horrocks monads for arithmetic Cohen-Macaulay (ACM) varieties to establish a cohomological characterization of linear and Steiner bundles over projective spaces and quadric hypersurfaces. We also study resolutions of bundles on ACM varieties by line bundles, and characterize linear homological dimension in the case of quadric hypersurfaces.