In this article we describe the $G\times G$-equivariant $K$-ring of $X$, where $X$ is a regular compactification of a connected complex reductive algebraic group $G$. Furthermore, in the case when $G$ is a semisimple group of adjoint type, and $X$ its wonderful compactification, we describe its ordinary $K$-ring $K(X)$. More precisely, we prove that $K(X)$ is a free module over $K(G/B)$ of rank the cardinality of the Weyl group. We further give an explicit basis of $K(X)$ over $K(G/B)$, and also determine the structure constants with respect to this basis.
Equivariant compactifications of reductive groups can be described by combinatorial data. On the other hand, equivariant compactifications of the additive group G^n_a are more complicated in at least two respects. First, they often admit moduli. Second, even simple varieties (like projective spaces) admit many different structures as equivariant compactifications of the additive group. We give a dictionary relating Artinian local rings, certain systems of partial differential equations, and equivariant compactifications of G^n_a. As an application, we classify the structures on varieties like …
Let $G$ be a simple complex algebraic group, $P$ a parabolic subgroup of $G$ and $N$ the unipotent radical of $P.$ The so-called equivariant compactification of $N$ by $G/P$ is given by an action of $N$ on $G/P$ with a dense open orbit isomorphic to $N$. In this article, we investigate how many such equivariant compactifications there exist. Our result says that there is a unique equivariant compactification of $N$ by $G/P$, up to isomorphism, except $¶^n$.
We study equivariant projective compactifications of reductive groups obtained by closing the image of a group in the space of operators of a projective representation. We describe the structure and the mutual position of their orbits under the action of the doubled group by left/right multiplications, the local structure in a neighborhood of a closed orbit, and obtain some conditions of normality and smoothness of a compactification. Our methods of research use the theory of equivariant embeddings of spherical homogeneous spaces and of reductive algebraic semigroups.
We determine which singular del Pezzo surfaces are equivariant compactifications of G_a^2, to assist with proofs of Manin's conjecture for such surfaces. Additionally, we give an example of a singular quartic del Pezzo surface that is an equivariant compactification of a semidirect product of G_a and G_m.
An equivariant version of the twisted inverse pseudofunctor is defined, and equivariant versions of some important properties, including the Grothendieck duality of proper morphisms and flat base change are proved. As an application, a generalized version of Watanabe's theorem on the Gorenstein property of the ring of invariants is proved.
In this article, we determine all equivariant compactifications of the three-dimensional vector group $\mathbf{G}_a^3$ which are smooth Fano threefolds with Picard number greater or equal than two.
We prove asymptotic formulas for the number of rational points of bounded height on smooth equivariant compactifications of the affine space. (Nous établissons un développement asymptotique du nombre de points rationnels de hauteur bornée sur les compactifications équivariantes lisses de l'espace affine.)
Let X be an $n$-dimensional Fano manifold of Picard number 1. We study how many different ways X can compactify the complex vector group C^n equivariantly. Hassett and Tschinkel showed that when X = P^n with n \geq 2, there are many distinct ways that X can be realized as equivariant compactifications of C^n. Our result says that projective space is an exception: among Fano manifolds of Picard number 1 with smooth VMRT, projective space is the only one compactifying C^n equivariantly in more than one ways. This answers questions raised by Hassett-Tschinkel and Arzhantsev-Sharoyko.
Manin's conjecture predicts an asymptotic formula for the number of rational points of bounded height on a smooth projective variety in terms of its global geometric invariants. The strongest form of the conjecture implies certain inequalities among geometric invariants of the variety and of its subvarieties. We provide a general geometric framework explaining these phenomena, via the notion of balanced line bundles, and prove the required inequalities for a large class of equivariant compactifications of homogeneous spaces.
Let G be a semisimple affine algebraic group and P a parabolic subgroup of G. We classify all flag varieties G/P which admit an action of the commutative unipotent group G_a^n with an open orbit.
We classify generically transitive actions of semidirect products of an additive and a multiplicative group on the projective plane. Motivated by the program to study the distribution of rational points on del Pezzo surfaces (Manin's conjecture), we determine all (possibly singular) del Pezzo surfaces that are equivariant compactifications of homogeneous spaces for such semidirect products.
We study torus-equivariant vector bundles $E$ on a complex projective variety $X$ which is either a Bott-Samelson-Demazure-Hansen variety or a wonderful compactification of a complex symmetric variety of minimal rank. We show that $E$ is nef (respectively, ample) if and only if its restriction to every torus--invariant curve in $X$ is nef (respectively, ample). We also compute the Seshadri constants $\varepsilon(E,x)$, where $x\, \in\, X$ is any point fixed by the action of a maximal torus.
Let $G$ be a simple algebraic group of adjoint type over $\mathbb C$, and let $M$ be the wonderful compactification of a symmetric space $G/H$. Take a $\widetilde G$--equivariant principal $R$--bundle $E$ on $M$, where $R$ is a complex reductive algebraic group and $\widetilde G$ is the universal cover of $G$. If the action of the isotropy group $\widetilde H$ on the fiber of $E$ at the identity coset is irreducible, then we prove that $E$ is polystable with respect to any polarization on $M$. Further, for wonderful compactification of the quotient of $\text{PSL}(n,{\mathbb C})$, $n\,\neq\, 4$…
We study the distribution of rational points of bounded height on a one-sided equivariant compactification of $\mathrm{PGL}_2$ using automorphic representation theory of $\mathrm{PGL}_2$.
We study faithful actions with a dense orbit of abelian unipotent groups on quintic del Pezzo varieties over a field of characteristic zero. Such varieties are forms of linear sections of the Grassmannian of planes in a 5-dimensional vector space. We characterize which smooth forms admit these types of actions and show that in case of existence, the action is unique up to equivalence by automorphisms. We also give a similar classification for mildly singular quintic del Pezzo threefolds and surfaces.
Heisenberg Equivariant Compactifications of Rational Homogeneous Varieties
Shenzhen University（深圳大学）；Academy of Mathematics and Systems Science, Chinese Academy of Sciences（中国科学院数学与系统科学研究院）；University of Chinese Academy of Sciences（中国科学院大学）；Institute for Basic Science（基础科学研究所）
In this article we describe the $\tG\times \tG$-equivariant $K$-ring of $X$, where $\tG$ is a {\it factorial} cover of a connected complex reductive algebraic group $G$, and $X$ is a regular compactification of $G$. Furthermore, using the description of $K_{\tG\times \tG}(X)$, we describe the ordinary $K$-ring $K(X)$ as a free module of rank the cardinality of the Weyl group, over the $K$-ring of a toric bundle over $G/B$, with fibre the toric variety $\bar{T}^{+}$, associated to a smooth subdivision of the positive Weyl chamber. This generalizes our previous work on the wonderful compactifica…
We classify all normal G^2_a-surfaces with Picard number one, and characterize which of these surfaces have at worst log canonical, and which have at worst log terminal singularities, answering a question of Hassett and Tschinkel (Int. Math. Res. Not., 1999). We also find all G^2_a-structures on these surfaces and show that these surfaces and their minimal desingularizations have the same G^2_a-structures (modulo equivalence of G^2_a-actions). In particular, we show that some of these surfaces admit one dimensional moduli of G^2_a-structures, answering another question of Hassett and Tschinkel…
Let $G$ be a complex, linear algebraic group acting on an algebraic space $X$. The purpose of this paper is to prove a Riemann-Roch theorem (Theorem 5.3) which gives a description of the completion of the equivariant Grothendieck group $G_0(G,X)$ at any maximal ideal of the representation ring $R(G) \otimes \C$ in terms of equivariant cycles. The main new technique for proving this theorem is our non-abelian completion theorem (Theorem 4.3) for equivariant $K$-theory. Theorem 4.3 generalizes the classical localization theorems for diagonalizable group actions to arbitrary groups.
We establish a localization theorem of Borel-Atiyah-Segal type for the equivariant operational K-theory of Anderson and Payne. Inspired by the work of Chang-Skjelbred and Goresky-Kottwitz-MacPherson, we establish a general form of GKM theory in this setting, applicable to singular schemes with torus action. Our results are deduced from those in the smooth case via Gillet-Kimura's technique of cohomological descent for equivariant envelopes. As an application, we extend Uma's description of the equivariant K-theory of smooth compactifications of reductive groups to the equivariant operational K…
To any affine scheme with a $\mathbb{G}_m$-action, we provide a Bousfield colocalization on the equivariant derived category of modules by constructing, via homotopical methods, an idempotent integral kernel. This endows the equivariant derived category with a canonical semi-orthogonal decomposition. As a special case, we demonstrate that grade-restriction windows appear as a consequence of this construction, giving a new proof of wall-crossing equivalences which works over an arbitrary base. The construction globalizes to yield interesting integral transforms associated to $D$-flips.
We prove a localization formula in equivariant algebraic $K$-theory for an arbitrary complex algebraic group acting with finite stabilizer on a smooth algebraic space. This extends to non-diagonalizable groups the localization formulas H.A. Nielsen in equivariant $K$-theory of vector bundles and R.W. Thomason for higher $K$-theory of equivariant coherent sheaves. As an application we give a Riemann-Roch formula for quotients of smooth algebraic spaces by proper group actions. This formula extends previous work of B. Toen for stacks with quasi-projective moduli spaces and the authors for quotie…
In this expository note, we offer an overview of the relationship between Hodge-theoretic and geometric compactifications of moduli spaces of algebraic varieties.
In this short note, we prove a comparision theorem between Levine-Serpé's equivariant higher Chow groups of an algebraic variety equipped with an action of a finite group and ordinary higher Chow groups of its fixed points. As a consequence, we show that the equivariant motivic spectral sequence degenerates rationally. This yields a Riemann-Roch Theorem for equivariant algebraic $K$-theory.
In this paper, we study the algebraic analogue of the topological Atiyah-Segal completion theorem. We verify this completion theorem for the algebraic equivariant $K$-theory of smooth projective schemes. We also show that the completion theorem fails in general for smooth non-projective schemes.
We study the asymptotic distribution of integral points of bounded height on partial bi-equivariant compactifications of semi-simple groups of adjoint type.
In this paper, we describe the category of bi-equivariant vector bundles on a bi-equivariant smooth (partial) compactification of a reductive algebraic group with normal crossing boundary divisors. Our result is a generalization of the description of the category of equivariant vector bundles on toric varieties established by A.A. Klyachko [Math. USSR. Izvestiya, {\bf 35}, No.2 (1990)]. As an application, we prove splitting of equivariant vector bundles of low rank on the wonderful compactification of an adjoint semisimple group in the sense of C. De Concini and C. Procesi [Lecture Note in Mat…
We prove the Nagata compactification theorem for any separated map of finite type between quasi-compact and quasi-separated algebraic spaces, generalizing earlier results of Raoult. Along the way we also prove (and use) absolute noetherian approximation for such algebraic spaces, generalizing earlier results in the case of schemes.
We provide a natural smooth projective compactification of the space of algebraic maps from the projective line to the projective space of dimension n by adding a divisor with simple normal crossings.
We investigate the analytic properties of the zeta-function associated with heights on equivariant compactifications of anisotropic tori over number fields. This allows to verify conjectures about the distribution of rational points of bounded height.
We give an example of an algebraic torus $T$ such that the group $\operatorname{CH}^2(BT)_{\operatorname{tors}}$ is non-trivial. This answers a question of Blinstein and Merkurjev.
For a reductive connected group or a finite group over a field of characteristic zero, we define an equivariant algebraic cobordism theory by a generalized version of the double point relation of Levine-Pandharipande. We prove basic properties and the well-definedness of a canonical fixed point map. We also find explicit generators of the algebraic cobordism ring of the point when the group is finite abelian.
We prove Manin's conjecture concerning the distribution of rational points of bounded height, and its refinement by Peyre, for wonderful compactifications of semi-simple algebraic groups over number fields. The proof proceeds via the study of the associated height zeta function and its spectral expansion.
We present a treatment of the algebraic description of the Jacobian of a generic genus two plane curve which exploits an SL2(k) equivariance and clarifes the structure of E.V.Flynn's 72 defining quadratic relations. The treatment is also applied to the Kummer variety.
We show the existence of an equivariant weight filtration on the equivariant homology of real algebraic varieties equipped with a finite group action, by applying group homology onto the weight complex of McCrory and Parusiński. The group action enriches the information contained in the induced equivariant weight spectral sequence from which we can not extract finite additivity directly if the group is of even order. Still, we manage to construct additive invariants from its elementary bricks, and prove that they are induced from the very equivariant geometry of real algebraic varieties with a…
In this paper we construct the analogue of Dedekind eta-function on the moduli space of polarized CY manifolds. We prove that the L-two norm of eta is the regularized determinants of the Laplacians of the CY metric on (0,1) forms. We construct the analogue of the Baily-Borel Compactification of the moduli space of polarized CY and prove that it has the same properties as the Baily-Borel compactification of the locally symmetric Hermitian spaces. We proved that the compactification constructed in the paper is the minimal.
We study the equivariant cobordism theory of schemes for action of linear algebraic groups. We compare the equivariant cobordism theory for the action of a linear algebraic groups with similar groups for the action of tori and deduce some consequences for the cycle class map of the classifying space of an algebraic groups.
Let $X$ be the wonderful compactification of a complex adjoint symmetric space $G/K$ such that $rk(G/K)=rk(G)-rk(K)$. We show how to extend equivariant vector bundles on $G/K$ to equivariant vector bundles on $X$, generated by their global sections and having trivial higher cohomology groups. This relies on a geometric construction of equivariant vector bundles in the setting of varieties with reductive group action and ``multiplicity-free'' subvarieties.
An algebraic GKM manifold is a non-singular algebraic variety equipped with an algebraic action of an algebraic torus, with only finitely many torus fixed points and finitely many 1-dimensional orbits. In this expository article, we use virtual localization to express equivariant Gromov-Witten invariants of any algebraic GKM manifold (which is not necessarily compact) in terms of Hodge integrals over moduli stacks of stable curves and the GKM graph of the GKM manifold.
This text is an introduction to equivariant cohomology, a classical tool for topological transformation groups, and to equivariant intersection theory, a much more recent topic initiated by D. Edidin and W. Graham. It is based on lectures given at Montréal is Summer 1997. Our main aim is to obtain explicit descriptions of cohomology or Chow rings of certain manifolds with group actions which arise in representation theory, e.g. homogeneous spaces and their compactifications. As another appplication of equivariant intersection theory, we obtain simple versions of criteria for smoothness or rati…
We prove some fundamental results like localization, excision, Nisnevich descent and the Mayer-Vietoris property for equivariant regular blow-up for the equivariant K-theory of schemes with an affine group scheme action. We also show that the equivariant K-theory with finite coefficients is invariant under equivariant vector bundle morphisms. We show that the equivariant homotopy K-theory is invariant under equivariant vector bundle morphisms and satisfies all the above properties, including nil-invariance.
We introduce an equivariant algebraic cobordism theory Ω^G for algebraic varieties with G-action, where G is a split diagonalizable group scheme over a field k. It is done by combining the construction of the algebraic cobordism theory Ωby F. Morel and M. Levine, with the notion of (G, F)-formal group law with respect to a complete G-universe and complete G-flag F as introduced by M. Cole, J. P. C. Greenlees and I. Kriz. In particular, we use their corresponding representing ring L_G(F) in place of the Lazard ring L. We show that localization property and homotopy invariance property hold in Ω…
