Algebraic actions of unipotent groups $U$ actions on affine $k-$varieties $X$ ($k$ an algebraically closed field of characteristic 0) for which the algebraic quotient $X//U$ has small dimension are considered$.$ In case $X$ is factorial, $O(X)^{\ast}=k^{\ast},$ and $X//U$ is one-dimensional, it is shown that $O(X)^{U}$=$k[f]$, and if some point in $X$ has trivial isotropy, then $X$ is $U$ equivariantly isomorphic to $U\times A^{1}(k).$ The main results are given distinct geometric and algebraic proofs. Links to the Abhyankar-Sathaye conjecture and a new equivalent formulation of the Sathaye conjecture are made.
We discuss $p$-adic unipotent Albanese maps for curves of positive genus, extending the theory of $p$-adic multiple polylogarithms. This construction is then used to relate linear Diophantine conjectures of `Birch and Swinnerton-Dyer type' to non-linear theorems of Faltings-Siegel type.
Assume that two algebraic varieties of finite type over the complex numbers are related by a morphism whose fibers are precisely the orbits for the action of a unipotent group. We show that the two varieties have the same topological Euler characteristic. If they are smooth and the morphism is smooth, we show that the two varieties have the same cohomology groups.
Our goal is to classify all generically transitive actions of commutative unipotent groups on flag varieties up to conjugation. We establish relationship between this problem and classification of multiplications with certain properties on Lie algebra representations. Then we classify multiplications with the desired properties and solve the initial classification problem.
We present a generalized version of classical geometric invariant theory à la Mumford where we consider an affine algebraic group $G$ acting on a specific affine algebraic variety $X$. We define the notions of linearly reductive and of unipotent action in terms of the $G$ fixed point functor in the category of $(G,\Bbbk [X])$--modules. In the case that $X=\{\star\}$ we recuperate the concept of lineraly reductive and of unipotent group. We prove in our "relative" context some of the classical results of GIT such as: existence of quotients, finite generation of invariants, Kostant--Rosenlicht's…
For an affine spherical homogeneous space G/H of a connected semisimple algebraic group G, we consider the factorization morphism by the action on G/H of a maximal unipotent subgroup of G. We prove that this morphism is equidimensional if and only if the weight semigroup of G/H satisfies some simple condition.
Let $U$ be a maximal unipotent subgroup of a connected semisimple group $G$ and $U'$ the derived group of $U$. We study actions of $U'$ on affine $G$-varieties. First, we consider the algebra of $U'$ invariants on $G/U$. We prove that $k[G/U]^{U'}$ is a polynomial algebra of Krull dimension $2r$, where $r=rk(G)$. A related result is that, for any simple finite-dimensional $G$-module $V$, $V^{U'}$ is a cyclic $U/U'$-module. Second, we study "symmetries" of Poincare series for $U'$-invariants on affine conical $G$-varieties. Third, we obtain a classification of simple $G$-modules $V$ with polyno…
Let $S$ be a Riemann surface obtained by deleting a finite number of points, called cusps, from a compact Riemann surface. Let $ρ: π_1(S)\to Sl(n, \mathbb{C})$ be a semisimple linear representation of $π_1(S)$ which is unipotent near the cusps. We investigate various cohomologies associated to $ρ$ of $\bar S$ with degenerating coefficients $L_ρ$ (considered as a local system -- a flat vector bundle, a Higgs bundle, or a $\mathcal{D}$-module, depending on the context): the Čech cohomology of $j_*L_ρ$, the $L^2$-cohomology, the $L^2$-Dolbeault cohomology, and the $L^2$-Higgs cohomology, and the …
In this paper we study tensor products of affine abelian group schemes over a perfect field $k.$ We first prove that the tensor product $G_1 \otimes G_2$ of two affine abelian group schemes $G_1,G_2$ over a perfect field $k$ exists. We then describe the multiplicative and unipotent part of the group scheme $G_1 \otimes G_2$. The multiplicative part is described in terms of Galois modules over the absolute Galois group of $k.$ We describe the unipotent part of $G_1 \otimes G_2$ explicitly, using Dieudonné theory in positive characteristic. We relate these constructions to previously studied ten…
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.
In this paper we prove a direct geometric relation between Deligne--Lusztig varieties and Springer fibres in type $\mathsf{A}$: For any rational unipotent element, the Springer fibre cuts out a unique component of a specific Deligne--Lusztig variety; moreover, this component forms an open dense subset of a component of the Springer fibre. This boils down to a map from the unipotent variety to the Weyl group, and combines several constructions with a combinatorial flavour (like Weyr normal forms, Robinson--Schensted correspondence, and Spaltenstein's and Steinberg's labellings); it also provide…
We study quotients of quasi-affine schemes by unipotent groups over fields of characteristic 0. To do this, we introduce a notion of stability which allows us to characterize exactly when a principal bundle quotient exists and, together with a cohomological vanishing criterion, to characterize whether or not the resulting quasi-affine quotient scheme is affine. We completely analyze the case of G_a-invariant hypersurfaces in a linear G_a-representation W; here the above characterizations admit simple geometric and algebraic interpretations. As an application, we produce arbitrary dimensional f…
Let $\mathcal{G}$ be an ind-group and let $\mathcal{U} \subseteq \mathcal{G}$ be a unipotent ind-subgroup. We prove that an abstract group automorphism $θ\colon \mathcal{G} \to \mathcal{G}$ maps $\mathcal{U}$ isomorphically onto a unipotent ind-subgroup of $\mathcal{G}$, provided that $θ$ fixes a closed torus $T \subseteq \mathcal{G}$, which normalizes $\mathcal{U}$ and the action of $T$ on $\mathcal{U}$ by conjugation fixes only the neutral element. As an application we generalize a result by Hanspeter Kraft and the author as follows: If an abstract group automorphism of the affine Cremona gr…
Let $G$ be a connected reductive algebraic group defined over the finite field $\FF_q$, where $q$ is a power of a good prime for $G$. We write $F$ for the Frobenius morphism of $G$ corresponding to the $\FF_q$-structure, so that $G^F$ is a finite group of Lie type. Let $P$ be an $F$-stable parabolic subgroup of $G$ and $U$ the unipotent radical of $P$. In this paper, we prove that the number of $U^F$-conjugacy classes in $G^F$ is given by a polynomial in $q$, under the assumption that the centre of $G$ is connected. This answers a question of J. Alperin in \cite{alperin}. In order to prove the…
We express the F-signature of the coordinate ring of an affine toric variety as the volume of a certain polytope, generalizing a formula of Watanabe and Yoshida. We also compute the F-signature of pairs and triples of a toric singularity.
We present an averaging process for sections of a torsor under a unipotent group. This process allows one to integrate local sections of such a torsor into a global simplicial section. The results of this paper have applications to deformation quantization of algebraic varieties.
Let $K$ be an algebraically closed field. Let $G$ be a non-trivial connected unipotent group, which acts effectively on an affine variety $X.$ Then every non-empty component $R$ of the set of fixed points of $G$ is a $K$-uniruled variety, i.e, there exists an affine cylinder $W\times K$ and a dominant, generically-finite polynomial mapping $ϕ:W\times K\rightarrow R.$ We show also that if an arbitrary infinite algebraic group $G$ acts effectively on $K^n$ and the set of fixed points contains a hypersurface $H$, then this hypersurface is $K$-uniruled.
The existence of closed orbits of real algebraic groups on real algebraic varieties is established. As an application, it is shown that if G is a real reductive linear group with Iwasawa decomposition G= KAN, then every unipotent subgroup of G is conjugate to a subgroup of N.
The family of all mixed Hodge structures on a given rational vector space $M_\mathbb{Q}$ with a fixed weight filtration $W_\cdot$ and a fixed associated graded Hodge structure $Gr^WM$ is naturally in a one to one correspondence with a complex affine space. We study the unipotent radical of the very general Mumford-Tate group of the family. We do this by using general Tannakian results which relate the unipotent radical of the fundamental group of an object in a filtered Tannakian category to the extension classes of the object coming from the filtration. Our main result shows that if $Gr^WM$ i…
We study the problem of describing local components of height functions on abelian varieties over characteristic $0$ local fields as functions on spaces of torsors under various realisations of a $2$-step unipotent motivic fundamental group naturally associated to the defining line bundle. To this end, we present three main theorems giving such a description in terms of the $\mathbb Q_\ell$- and $\mathbb Q_p$-pro-unipotent étale realisations when the base field is $p$-adic, and in terms of the $\mathbb R$-pro-unipotent Betti--de Rham realisation when the base field is archimedean. In the cours…
We study a wide class of affine varieties, which we call affine Fano varieties. By analogy with birationally super-rigid Fano varieties, we define super-rigidity for affine Fano varieties, and provide many examples and non-examples of super-rigid affine Fano varieties.
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.
Our concern in this paper is the dimension and inclusion relations of Schubert varieties in twisted partial affine flag varieties. In the end we apply our results to some local models of certain Schubert varieties.
The degenerate Lie group is a semidirect product of the Borel subgroup with the normal abelian unipotent subgroup. We introduce a class of the highest weight representations of the degenerate group of type A, generalizing the PBW-graded representations of the classical group. Following the classical construction of the flag varieties, we consider the closures of the orbits of the abelian unipotent subgroup in the projectivizations of the representations. We show that the degenerate flag varieties $\Fl^a_n$ and their desingularizations $R_n$ can be obtained via this construction. We prove that …
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.
Given an affine algebraic variety X of dimension at least 2, we let SAut (X) denote the special automorphism group of X i.e., the subgroup of the full automorphism group Aut (X) generated by all one-parameter unipotent subgroups. We show that if SAut (X) is transitive on the smooth locus of X then it is infinitely transitive on this locus. In turn, the transitivity is equivalent to the flexibility of X. The latter means that for every smooth point x of X the tangent space at x is spanned by the velocity vectors of one-parameter unipotent subgroups of Aut (X). We provide also different variatio…
In a previous paper we established that for any del Pezzo surface Y of degree at least 4, the affine cone X over Y embedded via a pluri-anticanonical linear system admits an effective Ga-action. In particular, the group Aut(X) is infinite dimensional. In contrast, we show in this note that for a del Pezzo surface Y of degree at most 2 the generalized cones X as above do not admit any non-trivial action of a unipotent algebraic group.
In this paper we study certain homogeneous spaces, which we call generalised affine Stiefel algebraic varieties. The main aim is to characterise the canonical divisor of generalised affine Stiefel algebraic varieties in terms of group representations. Affine Stiefel algebraic varieties and in particular $S^{n}$ are two special cases of the generalised affine Stiefel algebraic varieties.
The paper concerns a compactification of the isospectral varieties of nilpotent Toda lattices for real split simple Lie algebras. The compactification is obtained by taking the closure of unipotent group orbits in the flag manifolds. The unipotent group orbits are called the Peterson varieties and can be used in the complex case to describe the quantum cohomology of Grassmannian manifolds. We construct a chain complex based on a cell decomposition consisting of the subsystems of Toda lattices. Explicit formulae for the incidence numbers of the chain complex are found, and encoded in a graph co…
A classical result of Miyanishi-Sugie and Keel-McKernan asserts that for smooth affine surfaces, affine-uniruledness is equivalent to affine-ruledness, both properties being in fact equivalent to the negativity of the logarithmic Kodaira dimension. Here we show in contrast that starting from dimension three, there exists smooth affine varieties which are affine-uniruled but not affine-ruled.
This paper studies the singularities of affine Schubert varieties in the affine Grassmannian (of type $\mathrm{A}^{(1)}_\ell$). For two classes of affine Schubert varieties, we determine the singular loci; and for one class, we also determine explicitly the tangent spaces at singular points. For a general affine Schubert variety, we give partial results on the singular locus.
In this paper we calculate the dimension of affine Deligne-Lusztig varieties in the affine Grassmannian of unramified groups. We also examine the irreducible components of ADLVs in the superbasic case and the $J_b(F)$-action on them.
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 determine the set of connected components of closed affine Deligne-Lusztig varieties for special maximal compact subgroups of split connected reductive groups. Especially, we show that such an affine Deligne-Lusztig variety has isolated points if and only if its dimension is 0. From the dimension formula for affine Deligne-Lusztig varieties we obtain a description of the set of these varieties that are zero-dimensional.
We prove the equality of the Makar-Limanov invariant and the modified Makar-Limanov invariant in the case of not necessary normal affine toric varieties. Also we give a combinatorial description of these invariants.
In this paper we study the geometric structure of affine Deligne-Lusztig varieties for $GL_3$ and $b$ basic. We completely determine the irreducible components of the affine Deligne-Lusztig variety. In particular, we classify the cases where all of the irreducible components are classical Deligne-Lusztig varieties times finite-dimensional affine spaces. If this is the case, then the irreducible components are pairwise disjoint.
Let $U$ be a maximal unipotent subgroup of a connected semisimple group $G$ and $U'$ the derived group of $U$. If $X$ is an affine $G$-variety, then the algebra of $U'$-invariants, $k[X]^U'$, is finitely generated and the quotient morphism $π: X \to X//U'$ is well-defined. In this article, we study properties of such quotient morphisms, e.g. the property that all the fibres of $π$ are equidimensional. We also establish an analogue of the Hilbert-Mumford criterion for the null-cones with respect to $U'$-invariants.
This paper studies affine Deligne-Lusztig varieties in the affine flag manifold of a split group. Among other things, it proves emptiness for certain of these varieties, relates some of them to those for Levi subgroups, extends previous conjectures concerning their dimensions, and generalizes the superset method.
We study the Fulton-Macpherson Chow cohomology of affine toric varieties. In particular, we prove that the Chow cohomology vanishes in positive degree. We prove an analogous result for the operational $K$-theory defined by Anderson and Payne.
Affine Deligne-Lusztig varieties are closely related to the special fibre of Newton strata in the reduction of Shimura varieties or of moduli spaces of $G$-shtukas. In almost all cases, they are not quasi-compact. In this note we prove basic finiteness properties of affine Deligne-Lusztig varieties under minimal assumptions on the associated group. We show that affine Deligne-Lusztig varieties are locally of finite type, and prove a global finiteness result related to the natural group action. Similar results have previously been known for special situations.
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 prove Rapoport's dimension conjecture for affine Deligne-Lusztig varieties for GL_h and superbasic b. From this case the general dimension formula for affine Deligne-Lusztig varieties for special maximal compact subgroups of split groups follows, as was shown in a recent paper by Goertz, Haines, Kottwitz, and Reuman.
Let X be an irreducible affine T-variety. We consider families of affine stable toric T-varieties over X and give a description of the corresponding moduli space as the quotient stack of an open subscheme in a certain toric Hilbert scheme under the action of a torus.
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 discuss the geometry of affine Deligne Lusztig varieties with very special level structure, determining their dimension and connected and irreducible components. As application, we prove the Grothendieck conjecture for Shimura varieties with very special level at $p$ and a function field analogue.
We extend the Altmann-Hausen presentation of normal affine algebraic C-varieties endowed with effective torus actions to the real setting. In particular, we focus on actions of quasi-split real tori, in which case we obtain a simpler presentation.
