We classify the irreducible Hermitian real variations of Hodge structure admitting an infinitesimal normal function, and draw conclusions for cycle-class maps on families of abelian varieties with a given Mumford-Tate group.
In this text, we show that locally tropically convex tropical varieties in $\mathbb{R}^n$ have locally a canonical polyhedral structure that satisfies higher balancing conditions at all cells of positive codimension.
This is a survey paper on moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized abelian varieties.
We show that all subvarieties of a quotient of a bounded symmetric domain by a sufficiently small arithmetic discrete group of automorphisms are of general type. This result corresponds through the Green-Griffiths-Lang's conjecture to a well-known result of Nadel.
We classify absolutely split vector bundles on proper $k$-schemes. More precise, we prove that the closed points of the Picard scheme are in one-to-one correspondence with indecomposable absolutely split vector bundles. Furthermore, we apply the obtained results to study the geometry of (generalized) Brauer--Severi varieties.
For many classical moduli spaces of orthogonal type there are results about the Kodaira dimension. But nothing is known in the case of dimension greater than 19. In this paper we obtain the first results in this direction. In particular the modular variety defined by the orthogonal group of the even unimodular lattice of signature (2, 8m+2) is of general type if m is at least 5.
Let X=spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus T of dimension n. Let also D be a homogeneous locally nilpotent derivation on the normal affine Z^n-graded domain A, so that D generates a k_+-action on X that is normalized by the T-action. We provide a complete classification of pairs (X,D) in two cases: for toric varieties (n=\dim X) and in the case where n=\dim X-1. This generalizes previously known results for surfaces due to Flenner and Zaidenberg. As an application we compute the homogeneous Makar-…
Assume that R is a local regular ring containing an infinite perfect field, or that R is the local ring of a point on a smooth scheme over an infinite field. Let K be the field of fractions of R and the characteristic of K is not 2. Let X be an exceptional projective homogeneous scheme over R. We prove that in most cases the condition that X has a K-point implies that X has an R-point.
Using Margulis's results on lattices in semisimple Lie groups, we prove the Grothendieck-Katz $p$-Curvature Conjecture for certain locally symmetric varieties, including the moduli space of abelian varieties ${\cal A}_g$ when $g > 1.$
We define cohomological complexes of locally compact abelian groups associated with varieties over $p$-adic fields and prove a duality theorem under some assumption. Our duality takes the form of Pontryagin duality between locally compact motivic cohomology groups.
The symmetric projective varieties of rank one are all smooth and Fano by a classic result of Akhiezer. We classify the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are Fano. When $G$ is semisimple we classify also the locally factorial (respectively smooth) projective symmetric $G$-varieties of rank 2 which are only quasi-Fano. Moreover, we classify the Fano symmetric $G$-varieties of rank 3 obtainable from a wonderful variety by a sequence of blow-ups along $G$-stable varieties. Finally, we classify the Fano symmetric varieties of arbitrary rank …
We define a new class of completions of locally symmetric varieties of type IV which interpolates between the Baily-Borel compactification and Mumford's toric compactifications. An arithmetic arrangement in a locally symmetric variety of type IV determines such a completion canonically. This completion admits a natural contraction that leaves the complement of the arrangement untouched. The resulting completion of the arrangement complement is very much like a Baily-Borel compactification: it is the proj of an algebra of meromorphic automorphic forms. When that complement has a moduli space in…
We give the construction of a class of multiple locally complete intersection structures on a smooth algebraic variety as support. This class contains the structures defined locally by equations of the form $x^n=0$, $y^2=0$, $z=0, >..., u=0$.
Take a bounded symmetric domain $D$ and an arithmetic subgroup $Γ$ of ${\rm Aut}(D)$. Take the quotient $D/Γ$, compactify and resolve the singularities. We study the fundamental group of the compact complex manifolds that result from this procedure, and in particular the case of Siegel modular threefolds.
Asymptotic syzygies of a normal crossing variety follow the same vanishing behavior as one of its smooth components, unless there is a cohomological obstruction arising from how the smooth components intersect each other. In that case, we compute the asymptotic syzygies in terms of the cohomology of the simplicial complex associated to the normal crossing variety. We combine our results on normal crossing varieties with knowledge of degenerations of certain smooth projective varieties to obtain some results on asymptotic syzygies of those smooth projective varieties.
In this article we prove new results on projective normality and normal presentation of adjunction bundle associated to an ample and globally generated line bundle on higher dimensional smooth projective varieties with nef canonical bundle. As one of the consequences of the main theorem, we give bounds on very ampleness and projective normality of pluricanonical linear systems on varieties of general type in dimensions three, four and five. These improve known such results.
We provide a complete description of normal affine algebraic varieties over the real numbers endowed with an effective action of the real circle, that is, the real form of the complex multiplicative group whose real locus consists of the unitary circle in the real plane. Our approach builds on the geometrico-combinatorial description of normal affine varieties with effective actions of split tori in terms of proper polyhedral divisors on semiprojective varieties due to Altmann and Hausen
In this paper we realize the moduli spaces of cubic fourfolds with specified automorphism groups as arithmetic quotients of complex hyperbolic balls or type IV symmetric domains, and study their compactifications. Our results mainly depend on the well-known works about moduli space of cubic fourfolds, including the global Torelli theorem proved by Voisin ([Voi86]) and the characterization of the image of the period map, which is given by Laza ([Laz09, Laz10]) and Looijenga ([Loo09]) independently. The key input for our study of compactifications is the functoriality of Looijenga compactificati…
We show that the linear syzygy spaces of elliptic normal curves, their secant varieties and of bielliptic canonical curves are spanned by geometric syzygies.
On everywhere locally soluble varieties in families over toric bases
Institute of Mathematics and Informatics, Bulgarian Academy of Sciences(保加利亚科学院数学与信息学研究所);Mathematisches Institut, Georg-August-Universität Göttingen(哥廷根大学数学研究所)
We investigate flexibility of affine varieties with an action of a linear algebraic group. Flexibility of a smooth affine variety with only constant invertible functions and a locally transitive action of a reductive group is proved. Also we show that a normal affine complexity-zero horospherical variety is flexible.
We prove that the canonical ring of a canonical variety in the sense of de Fernex and Hacon is finitely generated. We prove that canonical varieties are klt if and only if R(-K_X) is finitely generated. We introduce a notion of nefness for non-Q-Gorenstein varieties and study some of its properties. We then focus on these properties for non-Q-Gorenstein toric varieties.
We list the irreducible reduced and not degenerate normal projective varieties $X\subset\mathbb{P}^N$ of dimension $n$ and degree five defined over an algebraically closed field $k$ of char$(k) = 0$. In the smooth case, or when $n = 2$, we give also classification results for any algebraically closed field $k$ of char$(k) \geq 0$.
Algebraic varieties which are locally isomorphic to open subsets of affine space will be called {\em plain}. Plain varieties are smooth and rational. The converse is true for curves and surfaces, and unknown in general. It is shown that plain varieties are stable under blowup in smooth centers.
In this paper we study a notion of volume for Cartier divisors on arbitrary blow-ups of normal complex algebraic varieties of dimension greater than one, with a distinguished point. We apply this to study a volume for normal isolated singularities, generalizing work on surfaces done by Wahl. We also compare this volume of isolated singularities to a different generalization due to Boucksom, de Fernex and Favre.
We show that any normal irreducible affine $n$-dimensional $SL_n$-variety $X$ is determined by its automorphism group in the category of normal irreducible affine varieties: if $Y$ is an irreducible affine normal algebraic variety such that $Aut(X) \cong Aut(Y)$ as ind-groups, then $Y \cong X$ as varieties. If we drop the condition of normality on $Y$ , then $X$ is not uniquely determined and we classify all such varieties. In case $n \ge 3$, all the above results hold true if we replace $Aut(X)$ by $U(X)$, where $U(X)$ is the subgroup of $Aut(X)$ generated by all one-dimensional unipotent sub…
We prove that every simplicial complex is the dual complex of some simple normal crossing divisor in a smooth variety. As an application, we simplify and extend the results of Kapovich--Kollár (math.AG:1109.4047) on the existence of singularities with given dual complex.
Let $X$ be a projective manifold. Let $Y_1,...,Y_{p+1}$ be $p+1$ ample hypersurfaces in complete intersection position on $X$, each defined by the global section of an ample Cartier divisor. We show in this note that for $i\le p+1$, the cohomology groups $H^i(Ω^q)$ can be computed as the $i-$th cohomology groups of some complex of global sections of locally residual currents on $X$. We could also compute the cohomology of the subsheaves ${\tildeΩ}^q\subset Ω^q$ of $\partial-$closed holomorphic forms by the corresponding subsheaves of $\partial-$closed locally residual currents. We deduce like …
Here are few notes on not necessarily normal toric varieties and resolution by toric blow-up. These notes are independent of, but in the same spirit as the earlier preprint arXiv:math.AG/0306221. That is, they focus on the fact that toric varieties are locally given by monoid algebras.
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.
We prove, using invariant Zariski-Riemann spaces, that every normal toric variety over a valuation ring of rank one can be embedded as an open dense subset into a proper toric variety equivariantly. This extends a well known theorem of Sumihiro for toric varieties over a field to this more general setting.
We prove that for a normal projective variety $X$ in characteristic 0, and a base-point free ample line bundle $L$ on it, the restriction map of divisor class groups $\Cl(X)\to \Cl(Y)$ is an isomorphism for a general member $Y\in |L|$ provided that $\dim{X}\geq 4$. This is a generalization of the Grothendieck-Lefschetz Theorem, for divisor class groups of singular varieties.
The goal of this paper is to define families of toric varieties and to study their properties. These families are locally trivial fibrations over some base, whose fibres are isomorphic to a fixed complete toric variety. The study is motivated by the occurence of such families in the context of gauged sigma models for toric varieties.
Let $Y$ be a normal and projective variety over an algebraically closed field $k$ and $V$ a vector bundle over $Y$. We prove that if there exist a $k$-scheme $X$ and a finite surjective morphism $g:X\to Y$ that trivializes $V$ then $V$ is essentially finite.
We prove that a normal variety contains finitely many maximal quasi-projective open subvarieties. As a corollary, we obtain the following generalization of the Chevalley-Kleiman projectivity criterion : a normal variety is quasi-projective if and only if every finite subset is contained in an affine open subvariety. The proof builds on a strategy of Wlodarczyk, using results of Boissiere, Gabber and Serman.
Let $X$ be a projective variety and let $C$ be a rational normal curve on $X$. We compute the normal bundle of $C$ in a general complete intersection of hypersurfaces of sufficiently large degree in $X$. As a result, we establish the separable rational connectedness of a large class of varieties, including general Fano complete intersections of hypersurfaces of degree at least three in flag varieties, in arbitrary characteristic. In addition, we give a new way of computing the normal bundle of certain rational curves in products of varieties in terms of their restricted tangent bundles and nor…
The higher Nash blowup of an algebraic variety replaces singular points with limits of certain spaces carrying higher order data associated to the variety at non-singular points. In the case of normal toric varieties we give a combinatorial description of the higher Nash blowup in terms of a Gröbner fan. This description will allow us to prove the analogue of Nobile's theorem on the usual Nash blowup in this context. More precisely, we prove that for a normal toric variety, the higher Nash blowup is an isomorphism if and only if the variety is non-singular.
We initiate a systematic study of the cohomology of cluster varieties. We introduce the Louise property for cluster algebras that holds for all acyclic cluster algebras, and for most cluster algebras arising from marked surfaces. For cluster varieties satisfying the Louise property and of full rank, we show that the cohomology satisfies the curious Lefschetz property of Hausel and Rodriguez-Villegas, and that the mixed Hodge structure is split over the rationals. We give a complete description of the highest weight part of the mixed Hodge structure of these cluster varieties, and develop the n…
We study the depth properties of certain direct image sheaves on normal varieties. Let $f: Y\rightarrow X$ be a proper morphism of relative dimension $d$ from a smooth variety onto a normal variety such that the preimage $E$ of the singular locus of $X$ is a divisor. We show that for any integer $m>0$, the higher direct image $R^df_*ω^{\otimes m}_Y(aE)$ modulo the torsion subsheaf is $S_2$, provided that $a$ is sufficiently large. In case $f$ is birational, we give criteria on $a$ for the direct image $f_*ω_Y(aE)$ to coincide with $ω_X$. We also introduce an index measuring the singularities o…
We prove that the higher Nash blowup of a normal toric variety defined over a field of positive characteristic is an isomorphism if and only if it is non-singular. We also extend a result by R. Toh-Yama which shows that higher Nash blowups do not give a one-step resolution of the $A_3$-singularity. These results were previously known only in characteristic zero.
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…
Let $G$ be a connected algebraic $k$-group acting on a normal $k$-variety, where $k$ is a field. We show that $X$ is covered by open $G$-stable quasi-projective subvarieties; moreover, any such subvariety admits an equivariant embedding into the projectivization of a $G$-linearized vector bundle on an abelian variety, quotient of $G$. This generalizes a classical result of Sumihiro for actions of smooth connected affine algebraic groups.
Our primary result is that a demi-normal quasi-projective variety can be embedded in a demi-normal projective variety. Recall that a demi-normal variety $X$ is a variety with properties $S_2$, $G_1$, and seminormality. Equivalently, $X$ has Serre's $S_2$ property and there is an open subvariety $U$ with complement of codimension at least 2 in $X$, such that the only singularities of $U$ are (analytically) double normal crossings. The term demi-normal was coined by Kollár in \cite{Kol13}. As a consequence of this embedding theorem, we prove a semi-smooth Grauert-Riemenschneider vanishing theore…
This paper obtains criteria for a Fano variety X with normal crossing singularities defined over an algebraically closed field of characteristic zero, to be smoothable. The difference with the original version is that the theory of logarithmic structures and deformations is used in order to prove that X is smoothable by a smooth variety, if and only if T^1(X)=O_D, where D is the singular locus of X.
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 …