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.
Generalizing cones over projective toric varieties, we present arbitrary toric varieties as quotients of quasiaffine toric varieties. Such quotient presentations correspond to groups of Weil divisors generating the topology. Groups comprising Cartier divisors define free quotients, whereas $\QQ$-Cartier divisors define geometric quotients. Each quotient presentation yields homogeneous coordinates. Using homogeneous coordinates, we express quasicoherent sheaves in terms of multigraded modules and describe the set of morphisms into a toric variety.
Let $G=SL(n, \mathbb{C}),$ and $T$ be a maximal torus of $G,$ where $n$ is a positive even integer. In this article, we study the GIT quotients of the Schubert varieties in the Grassmannian $G_{2,n}.$ We prove that the GIT quotients of the Richardson varieties in the minimal dimensional Schubert variety admitting stable points in $G_{2,n}$ are projective spaces. Further, we prove that the GIT quotients of certain Richardson varieties in $G_{2,n}$ are projective toric varieties. Also, we prove that the GIT quotients of the Schubert varieties in $G_{2,n}$ have at most finite set of singular poin…
We study the number of distinct ways in which a smooth projective surface $X$ can be realized as a smooth toroidal compactification of a ball quotient. It follows from work of Hirzebruch that there are infinitely many distinct ball quotients with birational smooth toroidal compactifications. We take this to its natural extreme by constructing arbitrarily large families of distinct ball quotients with biholomorphic smooth toroidal compactifications.
In this paper, the generalized Bloch Conjecture on zero cycles for the quotient of certain complete intersections with trivial canonical bundle is proved to hold. As an application of Bloch-Srinivas method on the decomposition of the diagonal, we compute the rational coefficient Lawson homology for 1-cycles and codimension two cycles for these quotient varieties. The (Generalized) Hodge Conjecture is proved to hold for codimension two cycles (and hence also for 2-cycles) on these quotient varieties.
This paper studies two related subjects. One is some combinatorics arising from linear projections of polytopes and fans of cones. The other is quotient varieties of toric varieties. The relation is that projections of polytopes are related to quotients of projective toric varieties and projection of fans are related to quotients of general toric varieties. Despite its relation to geometry the first part is purely combinatorial and should be of interest in its own right.
We give an explicit characterization of all principally polarized abelian varieties $(A,Θ)$ such that there is a finite subgroup of automorphisms $G$ of $A$ that preserve the numerical class of $Θ$, and such that the quotient variety $A/G$ is smooth. We also give a complete classification of smooth quotients of Jacobians of curves.
We generalize the well-known numerical criterion for projective spaces by Cho, Miyaoka and Shepherd-Barron to varieties with at worst quotient singularities. Let $X$ be a normal projective variety of dimension $n \geq 3$ with at most quotient singularities. Our result asserts that if $C \cdot (-K_X) \geq n+1$ for every curve $C \subset X$, then $X \cong \PP^n$.
We study Fourier-Mukai transforms for smooth projective varieties whose canonical bundles have finite order, and relate them to equivariant transforms on certain finite covering spaces. Our results lead to new equivalences of derived categories for Enriques and bielliptic surfaces.
We study finite quotients of abelian varieties (fqav for short) i.e. quotients of abelian varieties by finite groups. We show that Q-abelian varieties (i.e. fqav's with $\mathbb Q$-linearly trivial canonical divisors) are characterized by the existence of quasiétale polarized (or int-amplified) endomorphisms. We show that every fqav has a finite quasiétale cover by the product of an abelian variety and a $\mathbb Q$-Fano fqav. Using such coverings, we give a characterization of $\mathbb Q$-Fano fqav's, and show that $\mathbb Q$-Fano fqav's and Q-abelian varieties are ``building blocks'' of gen…
In this paper, we consider the GIT quotients of Schubert varieties for the action of a maximal torus. We describe the minuscule Schubert varieties for which the semistable locus is contained in the smooth locus. As a consequence, we study the smoothness of torus quotients of Schubert varieties in the Grassmannian. We also prove that the torus quotient of any Schubert variety in the homogeneous space $SL(n, \mathbb C)/P$ is projectively normal with respect to the line bundle $\mathcal L_{α_0}$ and the quotient space is a projective space, where the line bundle $\mathcal L_{α_0}$ and the parabol…
We study the quotient of parabolic Deligne-Lusztig varieties by a finite unipotent group U^F where U is the unipotent radical of a rational parabolic subgroup P = L U. We show that in some particular cases the cohomology of this quotient can be expressed in terms of "smaller" parabolic Deligne-Lusztig varieties associated to the Levi subgroup L.
We develop a novel theory of one-parameter families of multi-view varieties. These families are induced by quotient lattices over discrete valuation rings and generalise the notion of \textit{Mustafin varieties}. We study the geometry and the combinatorics of the limit of these families.
In this paper we prove a characterization of quotients of Abelian varieties by the actions of finite groups that are free in codimension-one via some vanishing conditions on the orbifold Chern classes. The characterization is given among a class of varieties with mild singularities that are more general than quotient singularities, namely among the class of klt varieties. Furthermore we show that over a projective klt variety, any semistable reflexive sheaf with vanishing orbifold Chern classes can be obtained as the invariant part of a locally-free sheaf on a finite Galois cover whose associa…
We discuss the basic properties of various versions of two variable elliptic genus with special attention to the equivariant elliptic genus. The main applications are to the elliptic genera attached to non-compact GITs, including the elliptic genera of Witten's phases on $N=2$ theories.
In characteristic zero, if a quotient variety has a crepant resolution, the Euler characteristic of the crepant resolution is equal to the number of conjugacy classes of the acting group, by Batyrev's theorem. This is one of the McKay correspondence. It is natural to consider the analogue statement in the positive characteristic. In this paper, we present sequences of crepant resolutions of quotient varieties in the positive characteristic and show that one of the sequences gives a counterexample to the analogue statement of Batyrev's theorem.
Let $X$ be a projective normal toric variety and $T_0$ a rank one subtorus of the defining torus of $X$. We show that the normalization of the Chow quotient $X//T_0$, in the sense of Kapranov-Sturmfels-Zelevinsky, coarsely represents the moduli space of stable log maps to $X$ with discrete data given by $T_0\subset X$.
We prove that for any two integers $g\geq 4$ and $g'\leq 2g-1$, there exist abelian varieties over $\overline{\mathbb{Q}}$ which are not quotients of a Jacobian of dimension $g'$. Our method in fact proves that most Abelian varieties satisfy this property, when counting by height relative to a fixed finite map to projective space.
We obtain the trace map image of the values of certain harmonic volumes for some quotients of Fermat curves. This provides the algorithm that the algebraic cycles called by the k-th Ceresa cycles are not algebraically equivalent to zero in the Jacobian varieties.
In this paper we give an explicit formula for the Riemann-Roch map for singular schemes which are quotients of smooth schemes by diagonalizable groups. As an application we obtain a simple proof of a formula for the Todd class of a simplicial toric variety. An equivariant version of this formula was previously obtained for complete simplicial toric varieties by Brion and Vergne using different techniques.
For a scheme S with a good action of a finite abelian group G having enough roots of unity we show that the quotient map on the G-equivariant Grothendieck ring of varieties over S is well defined with image in the Grothendieck ring of varieties over S/G in the tame case, and in the modified Grothendieck ring in the wild case. To prove this we use a result on the class of the quotient of a vector space by a quasi-linear action in the Grothendieck ring of varieties due to Esnault and Viehweg, which we also generalize to the case of wild actions. As an application we deduce that the quotient of t…
In [3], it is proved that the quotient of an abelian variety $A$ by a finite order automorphism $g$ is uniruled if and only if some power of $g$ satisfies a numerical condition $0<\age(g^k)<1$. In this paper, we show that $\age(g^k)=1$ is enough to guarantee that $A/\langle g\rangle$ has at least one rational curve.
In this note, we consider unramified cohomology with $\mathbb{Z}/2$ coefficients for some (degree two) quotient varieties and describe a method that allows one to prove the non-vanishing of these groups under certain conditions. We apply this method to prove a non-vanishing statement in the case of Kummer varieties. Combining this with work of Colliot-Thélène and Voisin, we obtain a new type of three-dimensional counterexample to the integral Hodge conjecture.
This article is motivated by the following local-to-global question: is every variety with tame quotient singularities globally the quotient of a smooth variety by a finite group? We show that this question has a positive answer for all quasi-projective varieties which are expressible as a quotient of a smooth variety by a split torus (e.g. simplicial toric varieties). Although simplicial toric varieties are rarely toric quotients of smooth varieties by finite groups, we give an explicit procedure for constructing the quotient structure using toric techniques. This result follow from a charact…
We introduce complete quotients over the projective line and prove that they form smooth projective varieties. The resulting parameter spaces coincide with the varieties constructed in [HLS11] and [Shao11]. Hence they provide modular smooth compactifications with normal crossing boundaries of the spaces of algebraic maps from the projective line to Grassmannian varieties.
In this article we investigate algebraic morphisms between toric varieties. Given presentations of toric varieties as quotients we are interested in the question when a morphism admits a lifting to these quotient presentations. We show that this can be completely answered in terms of invariant divisors. As an application we prove that two toric varieties, which are isomorphic as abstract algebraic varieties, are even isomorphic as toric varieties. This generalizes a well-known result of Demushkin on affine toric varieties.
In this paper we classify all the quivers and corresponding dimension vectors having a smooth space of semisimple representation classes. The result is that these quiver settings can be reduced via some specific reduction steps to 3 simple types.
We consider the structure of classes of curves on a projective simply connected surface for which fundamental groups of the complements admit free quotients having rank greater than one with irreducible components belonging to a selected subset the effective cone of the surface. In particular we show a finiteness result for such classes if the ranks of free quotients of the fundamental groups with components in the subset of effective cone are sufficiently large.
For any simple, simply connected algebraic group $G$ of type $B,C$ and $D$ and for any maximal parabolic subgroup $P$ of $G$, we provide a criterion for a Richardson variety in $G/P$ to admit semistable points for the action of a maximal torus $T$ with respect to an ample line bundle on $G/P$.
We consider the action of a subtorus of the big torus on a toric variety. The aim of the paper is to define a natural notion of a quotient for this setting and to give an explicit algorithm for the construction of this quotient from the combinatorial data corresponding to the pair consisting of the subtorus and the toric variety. Moreover, we study the relations of such quotients with good quotients. We construct a good model, i.e. a dominant toric morphism from the given toric variety to some ``maximal'' toric variety having a good quotient by the induced action of the given subtorus.
We prove that for an abelian group $G$ of order $n$ the morphism $ φ\colon \mathbf{P}(V^*)\longrightarrow \mathbf{P} ((\mathrm{sym}^n V^*)^G)$ defined by $φ([f]) = [\prod_{σ\in G} σ\cdot f ]$ is nondegenerate for every finite-dimensional representation $V$ of $G$ if and only if either $n$ is a prime number or $n=4$.
The purpose of the present paper is to generalize Sakai's work on anticanonical models of rational surfaces to varieties of Fano type. We first prove a characterization of Fano type varieties using the singularities of anticanonical models. Secondly, we study the decomposition of the anticanonical map using the $K_X$-minimal model program.
Let $r < n$ be positive integers and further suppose $r$ and $n$ are coprime. We study the GIT quotient of Schubert varieties $X(w)$ in the Grassmannian $G_{r,n}$, admitting semistable points for the action of $T$ with respect to the $T$-linearized line bundle ${\cal L}(nω_r)$. We give necessary and sufficient combinatorial conditions for the GIT quotient $T\backslash\mkern-6mu\backslash X(w)^{ss}_{T}({\cal L}(nω_r))$ to be smooth.
The main goal of the present paper is two-fold. First we extend the theory of toroidal embeddings introduced by Kempf, Knudsen, Mumford and Saint-Donat to the class of toroidal varieties with stratifications (which is the main body of the paper). Second we give a proof of the following weak factorization theorem as an application and illustration of the theory: A birational map between complete nonsingular varieties over an algebraically closed field K of characteristic zero is a composite of blow ups and blow downs with smooth centers. Another proof of the weak factorization theorem appeared …
We classify all $n$-dimensional reduced Cohen-Macaulay modular quotient variety $\mathbb{A}_\mathbb{F}^n/C_{2p}$ and study their singularities, where $p$ is a prime number and $C_{2p}$ denotes the cyclic group of order $2p$. In particular, we present an example that demonstrates that the problem proposed by Yasuda \cite[Problem 6.6]{Yas2015} has a negative answer if the condition that "$G$ is a small subgroup" was dropped.
We compute motivic Donaldson-Thomas invariants for crepant resolutions of quotients of affine three-space by even dihedral groups in terms of an affine type D root system, using double dimensional reduction and the representation theory of affine type D quivers.
The main goal of this paper is to show that the notions of Weil and Cartier $\mathbb{Q}$-divisors coincide for $V$-manifolds and give a procedure to express a rational Weil divisor as a rational Cartier divisor. The theory is illustrated on weighted projective spaces and weighted blow-ups.
We prove the generic exclusion of certain Shimura varieties of unitary and orthogonal types from the Torelli locus. The proof relies on a slope inequality on surface fibration due to G. Xiao, and the main result implies that certain Shimura varieties only meet the Torelli locus in dimension zero.
In this paper the authors study quotients of the product of elliptic curves by a rigid diagonal action of a finite group $G$. It is shown that only for $G = \operatorname{He(3)}, \mathbb Z_3^2$, and only for dimension $\geq 4$ such an action can be free. A complete classification of the singular quotients in dimension 3 and the smooth quotients in dimension $4$ is given. For the other finite groups a strong structure theorem for rigid quotients is proven.
We consider certain universal functors on symmetric quotient stacks of Abelian varieties. In dimension two, we discover a family of $\mathbb{P}$-functors which induce new derived autoequivalences of Hilbert schemes of points on Abelian surfaces; a set of braid relations on a holomorphic symplectic sixfold; and a pair of spherical functors on the Hilbert square of an Abelian surface, whose twists are related to the well-known Horja twist. In dimension one, our universal functors are fully faithful, giving rise to a semiorthogonal decomposition for the symmetric quotient stack of an elliptic cur…
Let L be a homogeneous ample line bundle on any flag variety G/P and let T be a maximal torus of G. We prove a general necessary and sufficient condition for L to descend as a line bundle on the GIT quotient of G/P by T. We use this result to explicitly determine exactly which L descend to the GIT quotient for any simple complex algebraic group G and any parabolic subgroup P.
Let $k$ and $n$ be positive coprime integers with $k<n$. Let $T$ denote the subgroup of diagonal matrices in $SL(n,\mathbb{C})$. We study the GIT quotient of Richardson varieties $X^v_w$ in the Grassmannian $\mathrm{Gr}_{k,n}$ by $T$ with respect to a $T$-linearised line bundle $\cal{L}$ corresponding to the Plücker embedding. We give necessary and sufficient combinatorial conditions for the quotient variety $T \backslash\mkern-6mu\backslash (X_w^v)^{ss}_T({\cal L})$ to be smooth.
We give a complete classification of smooth quotients of abelian varieties by finite groups that fix the origin. In the particular case where the action of the group $G$ on the tangent space at the origin of the abelian variety $A$ is irreducible, we prove that $A$ is isomorphic to the self-product of an elliptic curve and $A/G\simeq \mathbb P^n$. In the general case, assuming $\dim(A^G)=0$, we prove that $A/G$ is isomorphic to a direct product of projective spaces.
Working over a ground field of characteristic zero, this paper studies the quotient morphism $π:X\to Y$ for an affine $\mathbb{G}_a$-variety $X$ with affine quotient $Y$. It is shown that the degree modules associated to the $\mathbb{G}_a$-action give a uniquely determined sequence of dominant $\mathbb{G}_a$-equivariant morphisms, $X=X_r\to X_{r-1}\to\cdots\to X_1\to X_0=Y$, where $X_i$ is an affine $\mathbb{G}_a$-variety and $X_{i+1}\to X_i$ is birational for each $i\ge 1$. This is the canonical factorization of $π$. We give an algorithm for finding the degree modules associated to the given …
We study the GIT quotient of the minimal Schubert variety in the Grassmannian admitting semistable points for the action of maximal torus $T$, with respect to the $T$-linearized line bundle ${\cal L}(n ω_r)$ and show that this is smooth when $gcd(r,n)=1$. When $n=7$ and $r=3$ we study the GIT quotients of all Richardson varieties in the minimal Schubert variety. This builds on previous work by Kumar \cite{kumar2008descent}, Kannan and Sardar \cite{kannan2009torusA}, Kannan and Pattanayak \cite{kannan2009torusB}, and recent work of Kannan et al \cite{kannan2018torus}. It is known that the GIT q…
We consider subtorus actions on divisorial toric varieties. Here divisoriality means that the variety has many Cartier divisors like quasiprojective and smooth ones. We characterize when a subtorus action on such a toric variety admits a categorical quotient in the category of divisorial varieties. Our result generalizes previous statements for the quasiprojective case. An important tool for the proof is a universal reduction of an arbitrary toric variety to a divisorial one. This is done in terms of support maps, a notion generalizing support functions on a polytopal fan. A further essential …
In this paper, using Gromov-Jost-Korevaar-Schoen technique of harmonic maps to nonpositively curved targets, we study the representations of the fundamental groups of quasiprojective varieties. As an application of the above considerations we give a proof of a weak version of the Shafarevich Conjecture.
