Ivan V. Arzhantsev, Olga V. Chuvashova
The complexity of an action of a reductive algebraic group G on an algebraic variety X is the codimension of a generic B-orbit in X, where B is a Borel subgroup of G. We classify affine homogeneous spaces G/H of complexity one. These results are the natural continuation of the classification of spherical affine homogeneous spaces, i.e., spaces of complexity zero.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
继续探索
Affinely closed homogeneous spaces G/H, i.e., affine homogeneous spaces that admit only the trivial affine embedding, are characterized for any affine algebraic group G. As a corollary, a description of affine G-algebras with finitely generated invariant subalgebras is obtained.
We give a necessary and sufficient condition for the canonical divisor to vanish on a quasi-homogeneous affine algebraic variety.
Affine homogeneous varieties and suspensions
本文证明了悬垂的光滑性准则以构造一大类齐次簇，给出了 Danielewski 曲面成为齐次簇和齐次空间的准则，并构造了任意维数下是齐次簇但非齐次空间的仿射悬垂。
Let G be a reductive algebraic group and H a closed subgroup of G. An affine embedding of the homogeneous space G/H is an affine G-variety with an open G-orbit isomorphic to G/H. We start with some basic properties of affine embeddings and consider the cases, where the theory is well-developed: toric varieties, normal SL(2)-embeddings, S-varieties, and algebraic monoids. We discuss connections between the theory of affine embeddings and Hilbert's 14th Problem via a theorem of Grosshans. We characterize affine homogeneous spaces G/H such that any affine embedding of G/H contains a finite number…
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.
The extended weight semigroup of a homogeneous space G/H of a connected semisimple algebraic group G characterizes the spectra of the representations of G on the spaces of regular sections of homogeneous linear bundles over G/H, including the space of regular functions on G/H. We compute the extended weight semigroups for all strictly irreducible affine spherical homogeneous spaces G/H, where G is a simply connected non-simple semisimple complex algebraic group and H a connected closed subgroup of it. In all the cases we also find the highest weight functions corresponding to the indecomposabl…
Starting from a homogeneous affine Springer fiber $Fl_ψ$, we construct three moduli spaces that correspond to the Dolbeault, de Rham and Betti aspects of a hypothetical Simpson correspondence with wild ramifications. We show that $Fl_ψ$ is homeomorphic to the central Lagrangian fiber in the Dolbeault space, prove that the Dolbeaut and de Rham spaces both have the same cohomology as $Fl_ψ$, and construct a map from the de Rham space to the Betti space which we conjecture to be an analytic isomorphism.
Let G be a reductive algebraic group and let H be a reductive subgroup of G. We describe all pairs (G,H) such that for any affine G-variety X with a dense G-orbit isomorphic to G/H the number of G-orbits in X is finite. The maximal number of parameters in families of G-orbits in all affine embeddings of G/H is computed.
Consider a graphed holomorphic surface $u=F(x,y)$ in $\mathbb{C}^3_{x,y,u}$ under the action of the affine transformation group $A(3)$. In 1999, Eastwood and Ezhov obtained a list of homogeneous models by determining possible tangential vector fields. Inspired by Olver's recurrence formulas, we study the algebra of $A(3)$ differential invariants of surfaces. We obtain necessary conditions for homogeneity of algebraic nature. Solving these conditions, we organise homogeneous models in inequivalent branches.
Let $G$ be a reductive algebraic group and $H$ its reductive subgroup. Fix a Borel subgroup $B\subset G$ and a maximal torus $T\subset B$. The Cartan space $\a_{G,G/H}$ is, by definition, the subspace of $\Lie(T)^*$ generated by the weights of $B$-semiinvariant rational functions on $G/H$. We compute the spaces $\a_{G,G/H}$.
We present a modern proof of a theorem of Rosenlicht, asserting that every variety as in the title is isomorphic to a product of affine lines and punctured affine lines.
We establish a relative version of the abstract "affine representability" theorem in ${\mathbb A}^1$--homotopy theory from Part I of this paper. We then prove some ${\mathbb A}^1$--invariance statements for generically trivial torsors under isotropic reductive groups over infinite fields analogous to the Bass--Quillen conjecture for vector bundles. Putting these ingredients together, we deduce representability theorems for generically trivial torsors under isotropic reductive groups and for associated homogeneous spaces in ${\mathbb A}^1$--homotopy theory.
We extend the Altmann--Mavlyutov construction of homogeneous deformations of affine toric varieties to the case of toric pairs $(X, \partial X)$, where $X$ is an affine or projective toric variety and $\partial X$ is its toric boundary. As an application, we generalise a result due to Ilten to the case of Fano toric pairs.
On flexibility of affine factorial varieties
本文通过给出悬吊的因子性准则，构造了多种灵活的仿射因子簇，特别发现了一个非代数群的齐次仿射3维因子簇。
We study equivariant affine embeddings of homogeneous spaces and their equivariant automorphisms. An example of a quasiaffine, but not affine, homogeneous space with finitely many equivariant automorphisms is presented. We prove the solvability of any connected group of equivariant automorphisms for an affine embedding with a fixed point and finitely many orbits. This is applied to studying the orbital decomposition for algebraic monoids and canonical embeddings of quasiaffine homogeneous spaces, i.e., those affine embeddings associated with the coordinate algebras of homogeneous spaces, provi…
Let $X$ be a rational homogeneous space and let $QH^*(X)_{loc}^\times$ be the group of invertible elements in the small quantum cohomology ring of $X$ localised in the quantum parameters. We generalise results of arXiv:math/0609796 and realise explicitly the map $π_1({\rm Aut}(X))\to QH^*(X)_{loc}^\times$ described in arXiv:dg-ga/9511011. We even prove that this map is an embedding and realise it in the equivariant quantum cohomology ring $QH^*_T(X)_{loc}^\times$. We give explicit formulas for the product by these elements. The proof relies on a generalisation, to a quotient of the equivariant…
We classify the $\mathbb{G}_{a}$-actions on normal affine varieties defined over any field that are horizontal with respect to a torus action of complexity one. This generalizes previous results that were available for perfect ground fields (cf. [Flenner-Zaidenberg2005, Liendo2010, L-Liendo2016]).
Let $X$ be an affine algebraic variety endowed with an action of complexity one of an algebraic torus $\mathbb{T}$. It is well known that homogeneous locally nilpotent derivations on the algebra of regular functions $\mathbb{K}[X]$ can be described in terms of proper polyhedral divisors corresponding to $\mathbb{T}$-variety $X$. We prove that homogeneous locally nilpotent derivations commute if an only if some combinatorial criterion holds. These results are used to describe actions of unipotent groups of dimension two on affine $\mathbb{T}$-varieties.
Let $X$ be a connected affine homogenous space of a linear algebraic group $G$ over $\C$. (1) If $X$ is different from a line or a torus we show that the space of all algebraic vector fields on $X$ coincides with the Lie algebra generated by complete algebraic vector fields on $X$. (2) Suppose that $X$ has a $G$-invariant volume form $ω$. We prove that the space of all divergence-free (with respect to $ω$) algebraic vector fields on $X$ coincides with the Lie algebra generated by divergence-free complete algebraic vector fields on $X$ (including the cases when $X$ is a line or a torus). The pr…
We propose a novel sufficient condition establishing that a piecewise affine variety has the same topology as a variety of the sphere $\mathbb{S}^n$ defined by positively homogeneous $C^1$ functions. This covers the case of $C^1$ varieties in the projective space $\mathbb{P}^n$. We prove that this condition is sufficient in the case of codimension one and arbitrary dimension. We describe an implementation working for homogeneous polynomials in arbitrary dimension and codimension and give experimental evidences that our condition might still be sufficient in codimension greater than one.
Let G be a connected reductive group. To any irreducible G-variety one associates a certain linear group generated by reflections called the Weyl group. Weyl groups play an important role in the study of embeddings of homogeneous spaces. We establish algorithms for computing Weyl groups for homogeneous spaces and affine homogeneous vector bundles. For some special classes of G-varieties (affine homogeneous vector bundles of maximal rank, affine homogeneous spaces, homogeneous spaces of maximal rank with discrete group of central automorphisms) we compute Weyl groups more or less explicitly.
Brauer-Manin obstructions for homogeneous spaces of commutative affine algebraic groups over global fields
本文将数域上环面齐性空间的Brauer-Manin障碍相关结论推广到任意特征整体域上有限型交换仿射群概形的一般情形，还研究了其Cartier对偶的第二类Tate-Shafarevich核变体的有限性，依赖正特征领域的最新理论进展。
In a previous paper Affine symmetries of the equivariant quantum cohomology of rational homogeneous spaces, a general formula was given for the multiplication by some special Schubert classes in the quantum cohomology of any homogeneous space. Although this formula is correct in the non equivariant setting, the stated equivariant version was wrong. We provide corrections for the equivariant formula, thus giving a correct argument for the non equivariant formula. We also give new formulas in the equivariant homology of the affine grassmannian that could lead to Pieri type formulas.
We describe explicitly the normalization of affine varieties with an algebraic torus action of complexity one in terms of polyhedral divisors. We also provide a description of homogeneous integrally closed ideals of affine T-varieties of complexity one.
On the automorphism group of non-necessarily normal affine toric varieties
本文刻画了无环面因子的正规仿射环面曲面何时存在同自同构群的非正规仿射环面曲面，并通过对齐次局部幂零导子的分类实现了对非正规环面簇上加法群作用的完整分类。
The paper concerns the affine varieties that are homogeneous with respect to a (non-standard) graduation over the group Z^m. Among the other properties it is shown that every such a variety can be embedded in its Zariski tangent space at the origin, so that it is smooth if and only if it is isomorphic to an affine space. The results directly apply to the study of Hilbert schemes of subvarieties in P^n.
On images of affine spaces
本文证明了非退化环面簇、特定齐次空间及被仿射空间覆盖的簇均存在从仿射空间到其上的满射态射。
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.
We prove that if Y is a hypersurface of degree d in P^n with isolated singularities, then the log canonical threshold of (P^n,Y) is at least min{n/d,1}. Moreover, if d is at least n+1, then we have equality if and only if Y is the projective cone over a (smooth) hypersurface in P^{n-1}. In the case when Y is a hyperplane section of a smooth hypersurface in P^{n+1}, Cheltsov and Park have proved that Y has isolated singularities and they have obtained the above lower bound for the log canonical threshold. Moreover they made the conjecture about the equality case (for d=n+1) and they proved that…
Quasi-homogeneous surfaces, or Gizatullin surfaces, are normal affine surfaces such that there exists an open orbit of the automorphism group with a finite complement. If the action of the automorphism group is transitive, the surface is called homogeneous. Examples of non-homogeneous Gizatullin surfaces were constructed in [Ko], but on more restricted conditions. We show that a similar result holds under less constrained assumptions. Moreover, we exhibit examples of smooth affine surfaces with a non-transitive action of the automorphism group whereas the automorphism group is huge. This means…
We develop a new connection between Differential Algebra and Geometric Invariant Theory, based on an anti-equivalence of categories between solution algebras associated to a linear differential equation (i.e. differential algebras generated by finitely many polynomials in a fundamental set of solutions), and affine quasi-homogeneous varieties (over the constant field) for the differential Galois group of the equation. Solution algebras can be associated to any connection over a smooth affine variety. It turns out that he spectrum of a solution algebra is an algebraic fiber space over the base …
Let X be a normal affine T-variety of complexity at most one over a perfect field k, where T stands for the split algebraic torus. Our main result is a classification of additive group actions on X that are normalized by the T-action. This generalizes the classification given by the second author in the particular case where k is algebraically closed and of characteristic zero. With the assumption that the characteristic of k is positive, we introduce the notion of rationally homogeneous locally finite iterative higher derivations which corresponds geometrically to additive group actions on af…
Every $\mathbb{A}^{1}-$bundle over the complex affine plane punctured at the origin, is trivial in the differentiable category but there are infinitely many distinct isomorphy classes of algebraic bundles. Isomorphy types of total spaces of such algebraic bundles are considered; in particular, the complex affine 3-sphere admitts such a structure with an additional homogeneity property. Total spaces of nontrivial homogeneous $\mathbb{A}^{1}$-bundles over the punctured plane are classified up to $\mathbb{G}_{m}$-equivariant algebraic isomorphism and a criterion for nonisomorphy is given. In fact…
In this paper we look at the notion of cohomological triviality of fibrations of homogeneous spaces of affine algebraic groups defined over $\mathbb{C}$ and use topological methods, primarily the theory of covering spaces. This is made possible because of the structure theory of affine algebraic groups. Further, we generalize our results for arbitrary connected algebraic groups and their homogeneous spaces. As an application of our methods, we give a structure result for quasi-reductive algebraic groups(i.e groups whose unipotent radical is trivial), upto isogeny.
Perfect complexes on finite flat affine groupoids
本文研究了有限平坦仿射群体上完美复叠的Balmer谱，并将其与余数环的齐次谱联系起来。
Let X=spec A be a normal affine variety over an algebraically closed field k of characteristic 0 endowed with an effective action of a torus T of dimension n. Let also D be a homogeneous locally nilpotent derivation on the normal affine Z^n-graded domain A, so that D generates a k_+-action on X that is normalized by the T-action. We provide a complete classification of pairs (X,D) in two cases: for toric varieties (n=\dim X) and in the case where n=\dim X-1. This generalizes previously known results for surfaces due to Flenner and Zaidenberg. As an application we compute the homogeneous Makar-…
We obtain characterizations and structure results for homogeneous principal bundles over abelian varieties, that generalize work of Miyanishi and Mukai on homogeneous vector bundles. For this, we rely on notions and methods of algebraic transformation groups, especially observable subgroups and anti-affine groups.
Let $A$ be an abelian variety over a field. The homogeneous (or translation-invariant) vector bundles over $A$ form an abelian category ${\rm HVec}_A$; the Fourier-Mukai transform yields an equivalence of ${\rm HVec}_A$ with the category of coherent sheaves with finite support on the dual abelian variety. In this paper, we develop an alternative approach to homogeneous vector bundles, based on the equivalence of ${\rm HVec}_A$ with the category of finite-dimensional representations of a commutative affine group scheme (the "affine fundamental group" of $A$). This displays remarkable analogies …
We study analytic deformations of holomorphic foliations given by homogeneous integrable one-forms in the complex affine space $\mathbb C^n$. The deformation is supposed to be of first order (order one in the parameter). We also assume that the deformation is given by homogeneous polynomial one-forms. The deformation takes place in the affine space since we are not assuming that the foliations descent to the projective space. We describe the space of such deformations in three main situations: (1) the given foliation is given by the level hypersurfaces of a homogeneous polynomial. (2) the foli…
If X is a symplectic variety emedded in an affine space as a complete intersection of homogeneous polynomials, then X coincides with the nilpotent variety of a semisimple Lie algebra.
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.
Let G be a connected reductive group. To any irreducible G-variety one assigns the lattice generated by all weights of B-semiinvariant rational functions on X, where B$ is a Borel subgroup of G. This lattice is called the weight lattice of X. We establish algorithms for computing weight lattices for homogeneous spaces and affine homogeneous vector bundles. For affine homogeneous spaces of rank rk(G) we present a more or less explicit computation.
The quadric $\operatorname{Q}_{2n}$ is the ${\mathbb Z}$-scheme defined by the equation $\sum_{i=1}^n x_i y_i = z(1-z)$. We show that $\operatorname{Q}_{2n}$ is a homogeneous space for the split reductive group scheme $\operatorname{SO}_{2n+1}$ over ${\mathbb Z}$. The quadric $\operatorname{Q}_{2n}$ is known to have the ${\mathbb A}^1$-homotopy type of a motivic sphere and the identification as a homogeneous space allows us to give a characteristic independent affine representability statement for motivic spheres. This last observation allows us to give characteristic independent comparison re…
Properties of the recently reported homogeneous Hilbert curves are deduced and reported. The nature of the affine transformations involved in the construction of the Hilbert curves is explored. The analytical representation of proper and improper Hilbert curves is obtained. The one-to-one mapping between two Hilbert curves is deduced. Recursive relation of Hilbert curves is reported.
Given a connected algebraic group G over an algebraically closed field and a G-homogeneous space X, we describe the Chow ring of G and the rational Chow ring of X, with special attention to the Picard group. Also, we investigate the Albanese and the "anti-affine" fibrations of G and X.
Let $\AAutH (X)$ be the subgroup of the group $\AutH (X)$ of holomorphic automorphisms of a normal affine algebraic surface $X$ generated by elements of flows associated with complete algebraic vector fields. Our main result is a classification of all normal affine algebraic surfaces $X$ quasi-homogeneous under $\AAutH (X)$ in terms of the dual graphs of the boundaries $\bX \setminus X$ of their SNC-completions $\bX$.
We find polyhedral divisors corresponding to the torus action of complexity one on affine trinomial hypersurfaces. Explicit computations for particular classes of such hypersurfaces including Pham-Brieskorn surfaces and rational trinomial hypersurfaces are given.
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 show that the presentation of affine $\mathbb{T}$-varieties of complexity one in terms of polyhedral divisors holds over an arbitrary field. We also describe a class of multigraded algebras over Dedekind domains. We study how the algebra associated to a polyhedral divisor changes when we extend the scalars. As another application, we provide a combinatorial description of affine $\mathbf{G}$-varieties of complexity one over a field, where $\mathbf{G}$ is a (not-nescessary split) torus, by using elementary facts on Galois descent. This class of affine $\mathbf{G}$-varieties is described via …
We prove the existence of strongly tame sets in affine algebraic homogenenous spaces of linear algebraic Lie groups. We also show that $(\mathbb{C}^n,A)$ for a discrete tame set enjoy the relative density property, and we provide examples of Stein manifolds admitting non-equivalent tame sets.
In this paper we study quasi-homogeneous affine algebraic varieties, that is, varieties obtained as closures of orbits of suitable group representations. We also discuss one interesting case that has links with the Orthogonal Grassmannian OGr(5,10). The main aim is to write the tangent bundle and the canonical class of quasi-homogeneous affine algebraic varieties in terms of group representations.
Tame Discrete Sets on Affine Semisimple Homogeneous Spaces
该文验证了Winkelmann猜想对正维数仿射半单齐性空间$G/H$成立，证明其驯顺离散集性质及Oka性质，并给出流映射复合的归一化界，特别证明了$\SL_2/N(T)$为RR空间。
Let $G$ be a connected reductive group. We find a necessary and sufficient condition for a quasiaffine homogeneous space of $G$ to be embeddable into an irreducible $G$-module. In addition, for an affine homogeneous space we find a criterium for a closed embedding to exist
The cusp was recently shown to admit the structure of a quantum homogeneous space, that is, its coordinate ring $B$ can be embedded as a right coideal subalgebra into a Hopf algebra $A$ such that $A$ is faithfully flat as a $B$-module. In the present article such a Hopf algebra $A$ is constructed for the coordinate ring $B$ of the nodal cubic, thus further motivating the question which affine varieties are quantum homogeneous 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.
扫码添加微信好友，提出您的宝贵建议 👇
💡 备注请填写：网站反馈
发表机构由 AI 从论文文本抽取，如发现错误，欢迎反馈修正建议。