We study projective completions of affine algebraic varieties which are given by filtrations, or equivalently, 'degree like functions' on their rings of regular functions. For a quasifinite polynomial map P (i.e. with all fibers finite) of affine varieties, we prove that there are completions of the source that do not add points at infinity for P (i.e. in the intersection of completions of the hypersurfaces corresponding to a generic fiber and determined by the component functions of P). Moreover we show that there are 'finite type' completions with the latter property, determined by the maximum of a finite number of 'semidegrees', i.e. maps of the ring of regular functions excluding zero, into integers, which send products into sums and sums into maximas (with a possible exception when the summands have the same semidegree). We characterize the latter type completions as the ones for which the ideal of the 'hypersurface at infinity' is radical. Moreover, we establish a one-to-one correspondence between the collection of minimal associated primes of the latter ideal and the unique minimal collection of semidegrees needed to define the corresponding degree like function. We also prove an 'affine Bezout type' theorem for quasifinite polynomial maps P which admit semidegrees such that corresponding completions do not add points at infinity for P.
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.
Projective completions of affine varieties via degree-like functions
研究了仿射代数簇在其坐标环上由滤子诱导的射影完备化。特别是,我们研究了相应的完成过滤的“乘法”属性的效果,并引入一类投影完成(任意仿射品种),推广了凸有理多面体的复曲面品种的建设。作为应用,我们恢复(并推广到任意特征的代数闭域上的簇)在de Fernex、Ein和Ishii的文章“Divisorial valuations via arcs”(Publ.Res.Inst.Math.Sci.,2008年)。我们还找到了“无穷远除数”的拉回公式,并将其应用于计算某些仿射曲面的一类紧化上的无穷远曲线的相交数矩阵。
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 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.
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 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.
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.
We describe a method to construct completions of affine spaces into total spaces of $\mathbb{Q}$-factorial terminal Mori fiber spaces over the projective line. As an application we provide families of examples with non-rational, birationally rigid and non-stably rational general fibers.
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]).
Using Galois descent tools, we extend the Altmann-Hausen presentation of normal affine algebraic varieties endowed with an effective torus action over an algebraically closed field of characteristic zero to the case where the ground field is an arbitrary field of characteristic zero. In this context, the acting torus may have non-trivial torsors and we need additional data to encode such varieties. Finally, we focus on affine varieties endowed with a two-dimensional torus action and we provide a method for determining when a torsor is trivial, in which case the Altmann-Hausen presentation simp…
We study seminormalization of affine complex varieties. We show that polynomials on the seminormalization correspond to the rational functions which are continuous for the Euclidean topology. We further study this type of functions which can be seen as complex regulous functions, a class of functions recently introduced in real algebraic geometry, or as the algebraic counterpart of c-holomorphic functions.
We compute the motive of the variety of representations of the torus knot of type (m,n) into the affine groups $AGL_1(C)$ and $AGL_2(C)$. For this, we stratify the varieties and show that the motives lie in the subring generated by the Lefschetz motive q=[C].
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.
We show that any normal irreducible affine $n$-dimensional $SL_n$-variety $X$ is determined by its automorphism group in the category of normal irreducible affine varieties: if $Y$ is an irreducible affine normal algebraic variety such that $Aut(X) \cong Aut(Y)$ as ind-groups, then $Y \cong X$ as varieties. If we drop the condition of normality on $Y$ , then $X$ is not uniquely determined and we classify all such varieties. In case $n \ge 3$, all the above results hold true if we replace $Aut(X)$ by $U(X)$, where $U(X)$ is the subgroup of $Aut(X)$ generated by all one-dimensional unipotent sub…
The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible image of rational maps between affine varieties. Our approach extends the known descriptions of uniform matrix product states to $\operatorname{uMPS}(2,2,5)$
We study affine toric varieties with an action of group $SL_n$ with a dense orbit. A characterisation in terms of $SL_n \times Q$-modules is given where $Q$ is a quasitorus. This characterisation is more explicitly expanded in case $n=3$. It is shown that in case $n=3$ the class group rank is not greater than $3$, however it is unbounded when $n\geq 4$.
Relying on recent advances in the theory of motives we develope a general formalism for derived categories of motives with Q-coefficients on perfect (ind-)schemes. As an application we give a motivic refinement of Zhu's geometric Satake equivalence for Witt vector affine Grassmannians in this set-up.
We examine the set of $J_b(F)$-orbits in the set of irreducible components of affine Deligne-Lusztig varieties for a hyperspecial subgroup and minuscule coweight $μ$. Our description implies in particular that its number of elements is bounded by the dimension of a suitable weight space in the Weyl module associated with $μ$ of the dual group.
We prove that up to automorphisms a line admits a unique embedding into the regular part of of a simplicial toric variety of dimension n>=4 over an algebraically closed field of characteristic zero which is smooth in codimension 2.
An ind-variety is an inductive limit of closed embeddings of algebraic varieties and an ind-group is a group object in the category of ind-varieties. These notions were first introduced by Shafarevich in the study of the automorphism group of affine spaces and have been studied by many authors afterwards. An ind-torus is an ind-group obtained as an inductive limit of closed embeddings of algebraic tori that are also algebraic group homomorphisms. In this paper, we introduce the natural definition of toric ind-varieties as ind-varieties having an ind-torus as an open set and such that the actio…
In this paper we construct an equivariant embedding of the affine space $\mathbb{A}^n$ with the translation group action into a complete non-projective algebraic variety $X$ for all $n \geq 3$. The theory of toric varieties is used as the main tool for this construction. In the case of $n = 3$ we describe the orbit structure on the variety $X$.
Lie algebras of zero divergence vector fields on complex affine algebraic varieties
对于具有体积形式的光滑流形$X$,设$\dL$是$X$上保体积光滑向量场的李代数. A. Lichnerowicz证明了$\dL$的阿贝尔化是一个有限维向量空间,并且它的维数只依赖于$X$的拓扑。在本文中,我们提供了类似的结果,一些经典的例子,非奇异复杂的仿射代数簇,承认无处零代数形式的最高程度(这起着体积形式的作用)。
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.