Affine cones as images of affine spaces

Ivan Arzhantsev

2024-07-26

Abstract:We prove that an affine cone $X$ admits a surjective morphism from an affine space if and only if $X$ is unirational.

Algebraic Geometry

What problem does this paper attempt to address?

On conjugacy of additive actions in the affine Cremona group

Ivan Arzhantsev

DOI: https://doi.org/10.2989/16073606.2024.2344039

2024-05-17

Quaestiones Mathematicae

Abstract:An additive action on an irreducible algebraic variety X is an effective action with an open orbit of the vector group . Any two additive actions on X are conjugate by a birational automorphism of X . We prove that, if X is the projective space, the conjugating element can be chosen in the affine Cremona group and it is given by so-called basic polynomials of the corresponding local algebra.

mathematics
Unirationality and $R$-equivalence for conic bundles over quasi-finite fields

Elyes Boughattas

2024-10-26

Abstract:We show that over a quasi-finite field $k$ (e.g. a finite field) a regular conic bundle over $\mathbf{P}^1_k$ is unirational if all non-split fibres lie over a union of rational points, a closed point of degree at most $2$ and potentially an additional closed point of odd degree. Under the same assumptions, if in addition there do not exist both non-split fibres over a point of degree $2$ and a point of odd degree at least $3$, we prove that all rational points are $R$-equivalent.

Algebraic Geometry,Number Theory
Images of dominant endomorphisms of affine space

Viktor Balch Barth,Tuyen Trung Truong

DOI: https://doi.org/10.1080/00927872.2024.2418374

2024-11-01

Communications in Algebra

Abstract:A basic problem in algebraic morphisms is which sets can be the image of an endomorphism of affine space. This paper extends the results previously obtained by the first author on the question of existence of surjective maps F:An→An∖Z , where Z is an algebraic subvariety of An of codimension at least 2. In particular, we show that for any (affine) algebraic variety Z of dimension at most n−2 , there is an algebraic variety W⊂An birational to Z and a surjective algebraic morphism An→An∖W . We also propose a conjectural approach toward resolving unknown cases.

mathematics
Varieties covered by affine spaces, uniformly rational varieties and their cones

I. Arzhantsev,S. Kaliman,M. Zaidenberg

2023-12-01

Abstract:It was shown in [S. Kaliman, M. Zaidenberg, Gromov ellipticity of cones over projective manifolds, Math. Res. Lett. (to appear), <a class="link-https" data-arxiv-id="2303.02036" href="https://arxiv.org/abs/2303.02036">arXiv:2303.02036</a> (2023)] that the affine cones over flag manifolds and rational smooth projective surfaces are elliptic in the sense of Gromov. The latter remains true after successive blowups of points on these varieties. In the present note we extend this to smooth projective spherical varieties (in particular, toric varieties) successively blown up along smooth subvarieties. The same also holds, more generally, for uniformly rational projective varieties, in particular, for projective varieties covered by affine spaces. It occurs also that stably uniformly rational complete varieties are elliptic.

Algebraic Geometry,Complex Variables
Projective embeddings of homogeneous spaces with small boundary

Ivan V. Arzhantsev

DOI: https://doi.org/10.1070/IM2009v073n03ABEH002453

2008-01-14

Abstract:We study open equivariant projective embeddings of homogeneous spaces such that the complement of the open orbit does not contain divisors. Criterions of existence of such an embedding are considered and finiteness of isomorphism classes of embeddings for a given homogeneous space is proved. Any embedding with small boundary is realized as a GIT-quotient associated with a linearization of the trivial line bundle on the space of the canonical embedding. The generalized Cox's construction and the theory of bunched rings allow us to describe basic geometric properties of embeddings with small boundary in combinatorial terms.

Algebraic Geometry,Commutative Algebra
Surjective rational maps and del Pezzo surfaces

Ilya Karzhemanov,Anna Lekontseva

2024-03-01

Abstract:We study surjective (not necessarily regular) rational endomorphisms $f$ of smooth del Pezzo surfaces $X$. We prove that $f$ can have degree bigger than $1$ only when $(-K_X^2) > 5$. Some structural properties of $f$ in the case $X = \mathbb{P}^2$ are also established.

Algebraic Geometry
The linear Shafarevich conjecture for quasiprojective varieties and algebraicity of Shafarevich morphisms

Benjamin Bakker,Yohan Brunebarbe,Jacob Tsimerman

2024-08-29

Abstract:We prove that the universal cover of a normal complex algebraic variety admitting a faithful complex representation of its fundamental group is an analytic Zariski open subset of a holomorphically convex complex space. This is a non-proper version of the Shafarevich conjecture. More generally we define a class of subset of the Betti stack for which the covering space trivializing the corresponding local systems has this property. Secondly, we show that for any complex local system $V$ on a normal complex algebraic variety $X$ there is an algebraic map $f \colon X\to Y$ contracting precisely the subvarieties on which $V$ is isotrivial.

Algebraic Geometry,Complex Variables,Differential Geometry
Icosahedron in birational geometry

Yuri Prokhorov

2024-11-23

Abstract:We study quotients of projective and affine spaces by various actions of the icosahedral group. Basically we concentrate on the rationality questions.

Algebraic Geometry
A Generalized Maximal Abelian Gauge in SU(3) Lattice Gauge Theory

William W. Tucker,John D. Stack

DOI: https://doi.org/10.1016/S0920-5632%2803%2901644-X

2002-09-18

Abstract:We introduce a generalized Maximum Abelian Gauge (MAG). We work with this new gauge on 12^4 lattices for beta=5.7,5.8 and 16^4 lattices for beta=5.9,6.0. We also introduce a form of abelian projection related to the generalized MAG. We measure U(1)xU(1) wilson loops and single color magnetic current densities.

High Energy Physics - Lattice
Affine complements in the projective space with the trivial group of automorphisms

Aleksandr V. Pukhlikov

2024-07-06

Abstract:We construct a new class of affine complements ${\mathbb P}^M\setminus S$ with the trivial group of automorphisms, where $S\subset {\mathbb P}^M$ is a rational hypersurface, $M$ is odd and $M\geqslant 5$.

Algebraic Geometry
Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces

Cong Ding

DOI: https://doi.org/10.1093/imrn/rnae045

2024-03-13

International Mathematics Research Notices

Abstract:Abstract We construct a sequence of explicit blow-ups and blow-downs on an irreducible compact Hermitian symmetric spaces $X$ which transforms it into a projective space of the same dimension. Moreover, this resolves a birational map given by Landsberg and Manivel. Centers of the blow-ups for $X$ are constructed by loci of chains of minimal rational curves and centers of the blow-ups for the projective space are constructed from the variety of minimal rational tangents of $X$ and its higher secant varieties. The result was known in the special case where $X$ is of rank 2 and could be found in Zak’s monograph “Tangents and secants of algebraic varieties.”

mathematics
Affine deformations of quasi-divisible convex cones

Xin Nie,Andrea Seppi

DOI: https://doi.org/10.1112/plms.12537

2020-09-26

Abstract:For any subgroup of $\mathrm{SL}(3,\mathbb{R})\ltimes\mathbb{R}^3$ obtained by adding a translation part to a subgroup of $\mathrm{SL}(3,\mathbb{R})$ which is the fundamental group of a finite-volume convex projective surface, we first show that under a natural condition on the translation parts of parabolic elements, the affine action of the group on $\mathbb{R}^3$ has convex domains of discontinuity that are regular in a certain sense, generalizing a result of Mess for globally hyperbolic flat spacetimes. We then classify all these domains and show that the quotient of each of them is an affine manifold foliated by convex surfaces with constant affine Gaussian curvature. The proof is based on a correspondence between the geometry of an affine space endowed with a convex cone and the geometry of a convex tube domain. As an independent result, we show that the moduli space of such groups is a vector bundle over the moduli space of finite-volume convex projective structures, with rank equaling the dimension of the Teichmüller space.

Differential Geometry,Geometric Topology
On preimages question

Yohsuke Matsuzawa,Kaoru Sano

2023-11-06

Abstract:For a surjective self-morphism on a projective variety defined over a number field, we study the preimages question, which asks if the set of rational points on the iterated preimages of an invariant closed subscheme eventually stabilize. We prove the answer is positive for self-morphisms on $\mathbb{P}^1 \times \mathbb{P}^1$. We also prove that the answer is positive even if we allow finite extension of the number field by a bounded degree if the morphism is étale or the invariant subscheme is $0$-dimensional. We prove certain uniformity of the stabilization for self-morphisms on abelian varieties. When the subscheme is not invariant, we provide counterexamples and a result in a positive direction for products of polynomial maps on $\mathbb{P}^1 \times \mathbb{P}^1$.

Algebraic Geometry,Dynamical Systems,Number Theory
On Normality of Projective Hypersurfaces with an Additive Action

Ivan Arzhantsev,Ivan Beldiev,Yulia Zaitseva

2024-04-29

Abstract:We study projective hypersurfaces $X$ admitting an induced additive action, i.e., an effective action ${\mathbb G_a^m\times X\to X}$ of the vector group $\mathbb G_a^m$ with an open orbit that can be extended to an action on the ambient projective space. A criterion for normality of such a hypersurface $X$ is given. Also, we prove that for any projective hypersurface $Z$ there exists a hypersurface $X$ with an induced additive action such that the complement to the open $\mathbb G_a^m$-orbit in $X$ is a projective cone over $Z$. We introduce a construction that produces non-degenerate hypersurfaces with induced additive action from Young diagrams and study the properties of the hypersurfaces obtained in this way.

Algebraic Geometry
Affine vs. Stein in rigid geometry

Marco Maculan,Jérôme Poineau

2023-05-16

Abstract:We investigate the relationship between affine and Stein varieties in the context of rigid geometry. We show that the two concepts are much more closely related than in complex geometry, e.g. they are equivalent for surfaces. This rests on the density of algebraic functions in analytic functions. One key ingredient to prove such a density statement is an extension result for Cartier divisors.

Algebraic Geometry,Complex Variables,Number Theory
A remark to a Theorem of Hacon and Pardini

Zhi Jiang

2009-01-01

Abstract:Assume that f : X → Y is a surjective generically finite morphism between smooth projective varieties of general type. In general, it is difficult to conclude any birational property of f from the plurigenera of X and Y . However, Hacon and Pardini in [HP] (Theorem 3) proved the following theorem for varieties of maximal Albanese dimension (i.e. whose Albanese map are generically finite onto their images):
Infinite-dimensional Convex Cones: Internal Geometric Structure and Analytical Representation

Valentin V. Gorokhovik

2024-11-25

Abstract:In the paper we consider convex cones in infinite-dimensional real vector spaces which are endowed with no topology. The main purpose is to study an internal geometric structure of convex cones and to obtain an analytical description of those. To this end, we first introduce the notion of an open component of a convex cone and then prove that an arbitrary convex cone is the disjoint union of the partial ordered family of its open components and, moreover, as an ordered set this family is an upper semilattice. We identify the structure of this upper semilattice with the internal geometric structure of a convex cone. We demonstrate that the internal geometric structure of a convex cone is related to its facial structure but in the infinite-dimensional setting these two structures may differ each other. Further, we study the internal geometric structure of conical halfspaces (convex cones whose complements are also convex cones). We show that every conical halfspace is the disjoint union of the linear ordered family of its open components each of which is a conical halfspace in its linear hull. Using the internal geometric structure of conical halfspaces, each asymmetric conical halfspace is associated with a linearly ordered family of linear functions, which generates in turn a real-valued function, called a step-linear one, analytically describing this conical halfspace. At last, we establish that an arbitrary asymmetric convex cone admits an analytical representation by the family of step-linear functions.

Optimization and Control
Gromov ellipticity of cones over projective manifolds

Shulim Kaliman,Mikhail Zaidenberg

2023-03-03

Abstract:We find classes of projective manifolds that are elliptic in the sense of Gromov and such that the affine cones over these manifolds also are elliptic off their vertices. For example, the latter holds for any generalized flag manifold of dimension at least 3 successively blown up in a finite set of points and infinitesimally near points. This also holds for any smooth projective rational surface. For the affine cones, the Gromov ellipticity is a much weaker property than the flexibility. Nonetheless, it still implies the infinite transitivity of the action of the endomorphism monoid on these cones.

Algebraic Geometry
Arithmetic and birational properties of linear spaces on intersections of two quadrics

Lena Ji,Fumiaki Suzuki

2024-02-29

Abstract:We study rationality questions for Fano schemes of linear spaces on smooth complete intersections of two quadrics, especially over non-closed fields. Our approach is to study hyperbolic reductions of the pencil of quadrics associated to $X$. We prove that the Fano schemes $F_r(X)$ of $r$-planes are birational to symmetric powers of hyperbolic reductions, generalizing results of Reid and Colliot-Th\'el\`ene--Sansuc--Swinnerton-Dyer, and we give several applications to rationality properties of $F_r(X)$. For instance, we show that if $X$ contains an $(r+1)$-plane over a field $k$, then $F_r(X)$ is rational over $k$. When $X$ has odd dimension, we show a partial converse for rationality of the Fano schemes of second maximal linear spaces, generalizing results of Hassett--Tschinkel and Benoist--Wittenberg. When $X$ has even dimension, the analogous result does not hold, and we further investigate this situation over the real numbers. In particular, we prove a rationality criterion for the Fano schemes of second maximal linear spaces on these even-dimensional complete intersections over $\mathbb R$; this may be viewed as extending work of Hassett--Koll\'ar--Tschinkel.

Algebraic Geometry

Affine cones as images of affine spaces

On conjugacy of additive actions in the affine Cremona group

Unirationality and $R$-equivalence for conic bundles over quasi-finite fields

Images of dominant endomorphisms of affine space

Varieties covered by affine spaces, uniformly rational varieties and their cones

Projective embeddings of homogeneous spaces with small boundary

Surjective rational maps and del Pezzo surfaces

The linear Shafarevich conjecture for quasiprojective varieties and algebraicity of Shafarevich morphisms

Icosahedron in birational geometry

A Generalized Maximal Abelian Gauge in SU(3) Lattice Gauge Theory

Affine complements in the projective space with the trivial group of automorphisms

Birational Transformations on Irreducible Compact Hermitian Symmetric Spaces

Affine deformations of quasi-divisible convex cones

On preimages question

On Normality of Projective Hypersurfaces with an Additive Action

Affine vs. Stein in rigid geometry

A remark to a Theorem of Hacon and Pardini

Infinite-dimensional Convex Cones: Internal Geometric Structure and Analytical Representation

Gromov ellipticity of cones over projective manifolds

Arithmetic and birational properties of linear spaces on intersections of two quadrics