We present in this paper a geometric theorem which clarifies and extends in several directions work of Brownawell, Kollar and others on the effective Nullstellensatz. To begin with, we work on an arbitrary smooth complex projective variety X, with previous results corresponding to the case when X is projective space. In this setting we prove a local effective Nullstellensatz for ideal sheaves, and a corresponding global division theorem for adjoint-type bundles. We also make explicit the connection with the intersection theory of Fulton and MacPherson. Finally, constructions involving products of prime ideals that appear in earlier work are replaced by geometrically more natural conditions involving order of vanishing along subvarieties. The main technical inputs are vanishing theorems, which are used to give a simple algebro-geometric proof of a theorem of Skoda type, which may be of independent interest.
In recent years, a multiplier ideal defined on arbitrary varieties, so called Mather multiplier ideal, has been developed independently by Ein-Ishii-Mustata, and de Fernex-Docampo. With this new tool, we have a chance of extending some classical results proved in nonsingular case to arbitrary varieties to establish their general forms. In this paper, we first extend a result of geometric nullstellensatz due to Ein-Lazarsfeld in nonsingular case to any projective varieties. Then we prove a result on comparison of symbolic powers with ordinary powers on any varieties, which extends results of Ei…
We prove effective Nullstellensatz and elimination theorems for difference equations in sequence rings. More precisely, we compute an explicit function of geometric quantities associated to a system of difference equations (and these geometric quantities may themselves be bounded by a function of the number of variables, the order of the equations, and the degrees of the equations) so that for any system of difference equations in variables $\mathbf{x} = (x_1, \ldots, x_m)$ and $\mathbf{u} = (u_1, \ldots, u_r)$, if these equations have any nontrivial consequences in the $\mathbf{x}$ variables,…
We present a new effective Nullstellensatz with bounds for the degrees which depend not only on the number of variables and on the degrees of the input polynomials but also on an additional parameter called the {\it geometric degree of the system of equations}. The obtained bound is polynomial in these parameters. It is essentially optimal in the general case, and it substantially improves the existent bounds in some special cases. The proof of this result is combinatorial, and it relies on global estimations for the Hilbert function of homogeneous polynomial ideals. In this direction, we obta…
Let $T$ be a positive closed current of unit mass on the complex projective space $\mathbb P^n$. For certain values $α<1$, we prove geometric properties of the set of points in $\mathbb P^n$ where the Lelong number of $T$ exceeds $α$. We also consider the case of positive closed currents of bidimension (1,1) on multiprojective spaces.
The study of infinitesimal deformations of a variety embedded in projective space requires that of deformations of a collection of points, as specified by a zero-dimensional scheme. Further, basic problems in infinitesimal interpolation correspond directly to the analysis of such a scheme We interpret conjectures of Froberg and Iarrobino on the Hilbert function of a general collection of infinitesimal neighbourhoods of a collection of points in projective space. A main result gives a method for verifying the Weak Conjecture prescribed. Further, we present results on establishing the Strong Con…
We provide a geometric approach to constructing Lefschetz collections and Landau-Ginzburg Homological Projective Duals from a variation of Geometric Invariant Theory quotients. This approach yields homological projective duals for Veronese embeddings in the setting of Landau Ginzburg models. Our results also extend to a relative Homological Projective Duality framework.
Syzygies capture intricate geometric properties of a subvariety in projective space. However, when the ambient space is a product of projective spaces or a more general smooth projective toric variety, minimal free resolutions over the Cox ring are too long and contain many geometrically superfluous summands. In this paper, we construct some much shorter free complexes that better encode the geometry.
The projective line over a field carries structure of a groupoid with a certain correspondence between objects and arrows. We discuss to what extent the field can be reconstructed from the groupoid.
We show that if PGA is understood as a subalgebra of CGA in mathematically correct sense, then the flat objects share the same representation in PGA and CGA. Particularly, we treat duality in PGA. This leads to unification of PGA and CGA objects which is important especially for software implementation and symbolic calculations.
The main goal of this article is to relate asymptotic geometric properties on a tower of coverings of a non-compact Kähler manifold of finite volume with reasonable geometric assumptions to its universal covering. Applicable examples include moduli spaces of hyperbolic punctured Riemann surfaces and Hermitian locally symmetric spaces of finite volume.
Consider a complex projective space with its Fubini-Study metric. We study certain one parameter deformations of this metric on the complement of an arrangement (=a finite union of hyperplanes) whose Levi-Civita connection is of Dunkl type--interesting examples are obtained from the arrangements defined by finite complex reflection groups. We determine a parameter interval for which the metric is locally of Fubini-Study type, flat, or complex-hyperbolic. We find a finite subset of this interval for which we get a complete orbifold or at least a Zariski open subset thereof, and we analyze these…
This is an expository paper in which we define projective GIT quotients and introduce toric varieties from this perspective. It is intended primarily for readers who are learning either invariant theory or toric geometry for the first time.
In this paper we study pluricanonical maps of minimal projective 3-folds of general type with geometric genus $1$, $2$ and $3$. We go in the direction pioneered by Enriques and Bombieri, and other authors, pinning down, for low projective genus, a finite list of exceptions to the birationality of some pluricanonical map. In particular, apart from a finite list of weighted baskets, we prove the birationality of $φ_{16}$, $φ_{6}$ and $φ_{5}$ respectively.
We give a criterion for a projective surface to become a quotient of a fake projective plane. We also give a detailed information on the elliptic fibration of a $(2,3)$-elliptic surface that is the minimal resolution of a quotient of a fake projective plane. As a consequence, we give a classification of ${\mathbb Q}$-homology projective planes with cusps only.
Geometric structures modeled on rational homogeneous manifolds are studied to characterize rational homogeneous manifolds and to prove their deformation rigidity. To generalize these characterizations and deformation rigidity results to quasihomogeneous varieties, we first study horospherical varieties and geometric structures modeled on horospherical varieties. Using Cartan geometry, we prove that a geometric structure modeled on a smooth projective horospherical variety of Picard number one is locally equivalent to the standard geometric structure when the geometric structure is defined on a…
The aim is to give a geometric characterization of the finite generation of the Cox ring of anticanonical rational surfaces. This characterization is encoded in the finite generation of the effective monoid. Furthermore, we prove that in the case of a smooth projective rational surface having a negative multiple of its canonical divisor with only two linearly independent global sections (e.g., an elliptic rational surface), the finite generation is equivalent to the fact that there are only a finite number of smooth projective rational curves of self-intersection -1. The ground field is assume…
In the first part of this paper, we show that the assertion "T_pH_k(X,Q)=G_pH_k(X,Q)" (which is called the Friedlander-Mazur conjecture) is a birationally invariant statement for smooth projective varieties X when p=dim(X)-2 and when p=1. We also establish the Friedlander-Mazur conjecture in certain dimensions. More precisely, for a smooth projective variety X, we show that the topological filtration T_pH_{2p+1}(X,Q) coincides with the geometric filtration G_pH_{2p+1}(X,Q) for all p. (Friedlander and Mazur had previously shown that T_pH_{2p}(X,Q})=G_pH_{2p}(X,Q)). As a corollary, we conclude t…
This is a survey of our research on geometric structures of projective embeddings and includes some topics of our talks in several symposia during 1990-99. We clarify our main problem, which is to construct a kind of geometric composition series of projective embeddings. The concept of "geometric composition series" is an analogy in Algebraic Geometry with Jordan-Hölder series in Group Theory. We present two of the candidates for the construction problem. To approach this problem, we show several results and new tools for handling higher obstructions appearing in infinitesimal liftings. As a b…
For an algebraic set $X$ (union of varieties) embedded in projective space, we say that $X$ satisfies property $\textbf{N}_{d,p}$, $(d\ge 2)$ if the $i$-th syzygies of the homogeneous coordinate ring are generated by elements of degree $< d+i$ for $0\le i\le p$ (see \cite{EGHP2} for details). Much attention has been paid to linear syzygies of quadratic schemes $(d=2)$ and their geometric interpretations (cf. \cite{AK},\cite{EGHP1},\cite{HK},\cite{GL2},\cite{KP}). However, not very much is actually known about the case satisfying property $\textbf{N}_{3,p}$. In this paper, we give a sharp upper…
The aim of this paper is to study geometric properties of non-degenerate smooth projective varieties of small degree from a birational point of view. First, using the positivity property of double point divisors and the adjunction mappings, we classify smooth projective varieties in $\mathbb P^r$ of degree $d \leq r+2$, and consequently, we show that such varieties are simply connected and rationally connected except in a few cases. This is a generalization of P. Ionescu's work. We also show the finite generation of Cox rings of smooth projective varieties in $\mathbb P^r$ of degree $d \leq r$…
Consider a projective manifold X and suppose that some wedge power of the cotangent bundle contains a subsheaf whose determinant bundle has maximal Kodaira dimension. Then we prove that X is of general type. More generally we compute the Kodaira dimension if the determinant bundle has sufficiently large Kodaira dimension. This is based on the study of the determinant bundle of a quotient of the cotangent bundle of a non-uniruled manifold: this bundle is always pseudo-effective. We apply this to study the universal cover of a projective manifold. Finally we prove the following: if the canonical…
We prove that the infinitesimal variations of Hodge structure arising in a number of geometric situations are non-generic. In particular, we consider the case of generic hypersurfaces in complete smooth projective toric varieties, generic hypersurfaces in weighted projective spaces and generic complete intersections in projective space and show that, for sufficiently high degrees, the corresponding infinitesimal variations are non-generic.
We study the relationship between the equations defining a projective variety and properties of its secant varieties. In particular, we use information about the syzygies among the defining equations to derive smoothness and normality statements about Sec(X) and also to obtain information about linear systems on the blow up of projective space along a variety X. We use these results to geometrically construct, for varieties of arbitrary dimension, a flip first described in the case of curves by M. Thaddeus via Geometric Invariant Theory, and to give some examples of vanishing theorems for the …
In this paper, we prove that any two birational projective varieties with finite quotient singularities can be realized as two geometric GIT quotients of a non-singular projective variety by a reductive algebraic group. Then, by applying the theory of Variation of Geometric Invariant Theory Quotients ([3]), we show that they are related by a sequence of GIT wall-crossing flips.
The paper begins by overviewing the basic facts on geometric exceptional collections. Then, we derive, for any coherent sheaf $\cF$ on a smooth projective variety with a geometric collection, two spectral sequences: the first one abuts to $\cF$ and the second one to its cohomology. The main goal of the paper is to generalize Castelnuovo-Mumford regularity for coherent sheaves on projective spaces to coherent sheaves on smooth projective varieties $X$ with a geometric collection $σ$. We define the notion of regularity of a coherent sheaf $\cF$ on $X$ with respect to $σ$. We show that the basic …
This article deals with the tamely ramified geometric Langlands correspondence for GL_2 on $\mathbf{P}_{\mathbf{F}_q}^1$, where $q$ is a prime power, with tame ramification at four distinct points $D = \{\infty, 0,1, t\} \subset \mathbf{P}^1(\mathbf{F}_q)$. We describe in an explicit way (1) the action of the Hecke operators on a basis of the cusp forms, which consists of $q$ elements; and (2) the correspondence that assigns to a pure irreducible rank 2 local system $E$ on $\mathbf{P}^1 \setminus D$ with unipotent monodromy its Hecke eigensheaf on the moduli space of rank 2 parabolic vector bu…
Let $X$ be a closed subscheme of codimension $e$ in a projective space. One says that $X$ satisfies property ${\bf N}_{d,p}$, if the $i$-th syzygies of the homogeneous coordinate ring are generated by elements of degree $<d+i$ for $0\le i\le p$. The geometric and algebraic properties of smooth projective varieties satisfying property ${\bf N}_{2,e}$ 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: projective surfaces in $\Bbb P^5$ satisfying property ${\bf N}_{3,3}$. In particular, we give a classifi…
By the quantization condition compact quantizable Kaehler manifolds can be embedded into projective space. In this way they become projective varieties. The quantum Hilbert space of the Berezin-Toeplitz quantization (and of the geometric quantization) is the projective coordinate ring of the embedded manifold. This allows for generalization to the case of singular varieties. The set-up is explained in the first part of the contribution. The second part of the contribution is of tutorial nature. Necessary notions, concepts, and results of algebraic geometry appearing in this approach to quantiz…
In this note, we propose a geometric analogue of Dirichlet's unit theorem on arithmetic varieties, that is, if X is a normal projective variety over a finite field and D is a pseudo-effective Q-Cartier divisor on X, does it follow that D is Q-effective? We also give affirmative answers on an abelian variety and a projective bundle over a curve.
In this paper, we study the geometric invariant theory on algebraic spaces, and construct te moduli spaces of $\mathcal{H}$-semistable sheaves on projective Deligne-Mumford stacks over algebraic spaces $S$. We prove that this moduli space is projective over $S$ as an algebraic space.
In this paper we will survey some recent developments in the last decade or so on variation of Geometric Invariant Theory and its applications to Birational Geometry such as the weak Factorization Theorems of nonsingular projective varieties and more generally projective varieties with finite quotient singularities. Along the way, we will also mention some progresses on birational geometry of hyperKähler manifolds as well as certain open problems and conjectures.
The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear action of $H$ is required to extend to a semi-direct product $\hat{H} = H \rtimes \mathbb{G}_m$ with a multiplicative one-parameter group which acts on the Lie algebra of the unipotent radical $U$ of $H$ with all weights strictly positive, and which centralises a Levi subgroup $R \cong H/U$ of $H$. We show that $X$ has an $H$-invariant open subscheme (the 'ha…
The cotangent bundle of a non-uniruled projective manifold is generically nef, due to a theorem of Miyaoka. We show that the cotangent bundle is actually generically ample, if the manifold is of general type and study in detail the case of intermediate Kodaira dimension. Moreover, manifolds with generically nef and ample tangent bundles are investigated as well as connections to classical theorems on vector fields on projective manifolds.
We study linear actions of algebraic groups on smooth projective varieties X. A guiding goal for us is to understand the cohomology of "quotients" under such actions, by generalizing (from reductive to non-reductive group actions) existing methods involving Mumford's geometric invariant theory (GIT). We concentrate on actions of unipotent groups H, and define sets of stable points X^s and semistable points X^{ss}, often explicitly computable via the methods of reductive GIT, which reduce to the standard definitions due to Mumford in the case of reductive actions. We compare these with definiti…
We investigate the possible values for geometric genera of subvarieties in a smooth projective variety. Values which are not attained are called gaps. For curves on a very general surface in $\mathbb{P}^3$, the initial gap interval was found by Xu (see [7] in References), and the next one in our previous paper (see [4] in References), where also the finiteness of the set of gaps was established and an asymptotic upper bound of this set was found. In the present paper we extend some of these results to smooth projective varieties of arbitrary dimension using a different approach.
We give an algebraic geometric compactification of certain moduli spaces of semistable E-pairs in the sense of Yokogawa. In particular, we obtain a compactification of the moduli spaces of semistable Higgs pairs on a curve which were constructed by N. Hitchin.
In this paper we construct strong exceptional collections of vector bundles on smooth projective varieties that have a prescribed endomorphism algebra. We prove the construction problem always have a solution. We consider some applications to noncommutative projective planes and to the quiver connected with the 3-point Ising function.
We study geometric structures on the complement of a toric mirror arrangement associated with a root system. Inspired by those special hypergeometric functions found by Heckman-Opdam, as well as the work of Couwenberg-Heckman-Looijenga on geometric structures on projective arrangement complements, we consider a family of connections on a total space, namely, a $\mathbb{C}^{\times}$-bundle on the complement of a toric mirror arrangement (=finite union of hypertori, determined by a root system). We prove that these connections are torsion free and flat, and hence define a family of affine struct…
We give a noncommutative geometric description of the internal Hom dg-category in the homotopy category of dg-categories between two noncommutative projective schemes in the style of Artin-Zhang. As an immediate application, we give a noncommutative projective derived Morita statement along lines of Rickard and Orlov.
We study the minimal resultant divisor of self-maps of the projective line over a number field or a function field and its relation to the conductor. The guiding focus is the exploration of a dynamical analog to Theorem 1.1, which bounds the degree of the minimal discriminant of an elliptic surface in terms of the conductor. We study minimality and semi-stability, considering what conditions imply minimality (Theorem 4.4) and whether semi-stable models and presentations are minimal, proving results in the degree two case (Theorems 4.6, 4.7). We prove the singular reduction of a semi-stable pre…
We prove that the set of non-degenerate second order maximally superintegrable systems in the complex Euclidean plane carries a natural structure of a projective variety, equipped with a linear isometry group action. This is done by deriving the corresponding system of homogeneous algebraic equations. We then solve these equations explicitly and give a detailed analysis of the algebraic geometric structure of the corresponding projective variety. This naturally associates a unique planar line triple arrangement to every superintegrable system, providing a geometric realisation of this variety …
