We classify affine varieties with an action of a connected, reductive algebraic group such that the group is isomorphic to an open orbit in the variety. This is accomplished by associating a set of one-parameter subgroups of the group to the variety, characterizing such sets, and proving that sets of this type correspond to affine embeddings of the group. Applications of this classification to the existence of morphisms are then given.
We determine the set of connected components of closed affine Deligne-Lusztig varieties for hyperspecial maximal parahoric subgroups of unramified connected reductive groups. This extends the work by Viehmann for split reductive groups, and the work by Chen-Kisin-Viehmann on minuscule affine Deligne-Lusztig varieties.
Let $G$ be a connected reductive group over a perfect field $k$. We study a certain normal reductive monoid $\overline M$ associated to a parabolic $k$-subgroup $P$ of $G$. The group of units of $\overline M$ is the Levi factor $M$ of $P$. We show that $\overline M$ is a retract of the affine closure of the quasi-affine variety $G/U(P)$. Fixing a parabolic $P^-$ opposite to $P$, we prove that the affine closure of $G/U(P)$ is a retract of the affine closure of the boundary degeneration $(G \times G)/(P \times_M P^-)$. Using idempotents, we relate $\overline M$ to the Vinberg semigroup of $G$. …
Let G be a connected reductive complex algebraic group acting on a smooth complete complex algebraic variety X. We assume that X under the action of G is a regular embedding, a condition satisfied in particular by smooth toric varieties and flag varieties. For any set D of G-stable prime divisors, we study the action on X of the connected automorphism group of X stabilizing D. We determine a Levi subgroup A of this automorphism group, and we compute relevant invariants of X as a spherical A-variety. As a byproduct, we obtain a description of the open A-orbit on X and the inclusion relation bet…
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.
Invariant deformation theory of affine schemes with reductive group action
Institut für Algebraische Geometrie Gottfried Wilhelm Leibniz Universität Hannover（汉诺威莱布尼茨大学代数几何研究所）；Institut für Mathematik Johannes Gutenberg-Universität Mainz（美因茨约翰内斯·古腾堡大学数学研究所）
We prove that the Picard group of a connected affine algebraic group $G$ is isomorphic to the fundamental group of the derived subgroup of the reductive algebraic group $G/{\mathscr R}_u(G)$, where ${\mathscr R}_u(G)$ is the unipotent radical of $G$.
We study algebraicity and smoothness of fixed point stacks for flat group schemes which have a finite composition series whose factors are either reductive or proper, flat, finitely presented, acting on algebraic stacks with affine, finitely presented diagonal. For this, we extend some theorems of [SGA3.2] on functors of homomorphisms Hom(G, H) and functors of reductive subgroups Sub(H) for an affine, possibly non-flat group scheme H.
Let $R$ be a regular semilocal integral domain containing an infinite field $k$. Let $f\in R$ be an element such that for all maximal ideals $\mathfrak m$ of $R$ we have $f\notin\mathfrak m^2$. Let $\mathbf G$ be a reductive group scheme over $R$. Under an isotropy assumption on $\mathbf G$ we show that a $\mathbf G$-torsor over the localization $R_f$ is trivial, provided it is rationally trivial. We show that it is not true without the isotropy assumption. Finally, if $\mathbf G$ is a commutative group scheme of multiplicative type and the regular semilocal ring contains a field of characteri…
Let $G$ be a reductive group. We prove that a family of polynomial actions of $G$ on $\mathbb{C}^2$, holomorphically parametrized by an open Riemann surface, is linearizable. As an application, we show that a particular class of reductive group actions on $\mathbb{C}^3$ is linearizable. The main step of our proof is to establish a certain restrictive Oka property for groups of equivariant algebraic automorphisms of $\mathbb{C}^2$.
This thesis is concerned with the mixed Tate property of reductive algebraic groups $G$, which in particular guarantees a Chow Kunneth property for the classifying space $BG$. Toward this goal, we first refine the construction of the compactly supported motive of a quotient stack. In the first section, we construct the compactly supported motive $M^c(X)$ of an algebraic space $X$ and demonstrate that it satisfies expected properties, following closely Voevodsky's work in the case of schemes. In the second section, we construct a functorial version of Totaro's definition of the compactly suppor…
Let $G$ be a connected reductive algebraic group. In this note we prove that for a quasi-affine $G$-spherical variety the weight monoid is determined by the weights of its non-trivial $\mathbb{G}_a$-actions that are homogeneous with respect to a Borel subgroup of $G$. As an application we get that a smooth affine $G$-spherical variety that is non-isomorphic to a torus is determined by its automorphism group inside the category of smooth affine irreducible varieties.
For unramified reductive groups, we determine the connected components of affine Deligne-Lusztig varieties in the partial affine flag varieties. Based on the work of Hamacher-Kim and Zhou, this result allows us to verify, in the unramified group case, the He-Rapoport axioms, the ``almost product structure" of Newton strata, and the precise description of mod $p$ isogeny classes predicted by the Langlands-Rapoport conjecture, for the Kisin-Pappas integral models of Shimura varieties of Hodge type with parahoric level structure.
I extend the ramified geometric Satake equivalence of Zhu from tamely ramified groups to include the case of general connected reductive groups. As a prerequisite I prove basic results on the geometry of affine flag varieties.
Let $U$ be a regular connected affine semi-local scheme over a field $k$. Let $G$ be a reductive group scheme over $U$. Assuming that $G$ has an appropriate parabolic subgroup scheme, we prove the following statement. Given an affine $k$-scheme $W$, a principal $G$-bundle over $W\times_kU$ is trivial if it is trivial over the generic fiber of the projection $W\times_kU\to U$. We also simplify the proof of the Grothendieck-Serre conjecture: let $U$ be a regular connected affine semi-local scheme over a field $k$. Let $G$ be a reductive group scheme over $U$. A principal $G$-bundle over $U$ is t…
We determine the set of connected components of minuscule affine Deligne-Lusztig varieties for special maximal compact subgroups of unramified connected reductive groups. Partial results are also obtained for non-minuscule closed affine Deligne-Lusztig varieties. We consider both the function field case and its analog in mixed characteristic. In particular, we determine the set of connected components of unramified Rapoport-Zink spaces.
We give a streamlined proof of ${\mathbb A}^1$-representability for $G$-torsors under "isotropic" reductive groups, extending previous results in this sequence of papers to finite fields. We then analyze a collection of group homomorphisms that yield fiber sequences in ${\mathbb A}^1$-homotopy theory, and identify the final examples of motivic spheres that arise as homogeneous spaces for reductive groups.
Let $X$ be an irreducible affine algebraic variety that is spherical with respect to an action of a connected reductive group $G$. In this paper we provide sufficient conditions, formulated in terms of weight combinatorics, for the existence of one-parameter additive actions on $X$ normalized by a Borel subgroup $B \subset G$. As an application, we prove that every $G$-stable prime divisor in $X$ can be connected with the open $G$-orbit by means of a suitable $B$-normalized one-parameter additive action.
We describe the equivariant cohomology ring of rationally smooth projective embeddings of reductive groups. These embeddings are the projectivizations of reductive monoids. Our main result describes their equivariant cohomology in terms of roots, idempotents, and underlying monoid data. Also, we characterize those embeddings whose equivariant cohomology ring is obtained via restriction to the associated toric variety. Such characterization is given in terms of the closed orbits.
The cohomology of the affine flag variety of a complex reductive group is a comodule over the cohomology of the affine Grassmannian. We give positive formulae for the coproduct of an affine Schubert class in terms of affine Stanley classes and finite Schubert classes, in (torus-equivariant) cohomology and K-theory. As an application, we deduce monomial positivity for the affine Schubert polynomials of the second author.
For a reductive group over an algebraically closed field of characteristic $p > 0$ we construct the abelian category of perverse $\mathbb{F}_p$-sheaves on the affine Grassmannian that are equivariant with respect to the action of the positive loop group. We show this is a symmetric monoidal category, and then we apply a Tannakian formalism to show this category is equivalent to the category of representations of a certain affine monoid scheme. We also show that our work provides a geometrization of the inverse of the mod $p$ Satake isomorphism. Along the way we prove that affine Schubert varie…
Let $Y$ be the underlying variety of a connected affine algebraic group. We prove that two embeddings of the affine line $\mathbb{C}$ into $Y$ are the same up to an automorphism of $Y$ provided that $Y$ is not isomorphic to a product of a torus $(\mathbb{C}^\ast)^k$ and one of the three varieties $\mathbb{C}^3$, $\operatorname{SL}_2$, and $\operatorname{PSL}_2$.
