Finite saturation for unirational varieties

Efthymios Sofos,Yuchao Wang

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

2017-10-21

Abstract:We import ideas from geometry to settle Sarnak's saturation problem for a large class of algebraic varieties.

Number Theory

What problem does this paper attempt to address?

Relative Lipschitz saturation of complex algebraic varieties

François Bernard

2024-06-25

Abstract:This paper is devoted to the study of the relative Lipschitz saturation of complex algebraic varieties. More precisely, we investigate the concept of Lipschitz saturation of a variety in another, and we focus on the case where the dominant morphism between the two varieties is not necessarily finite. In particular, we answer, in the case of algebraic varieties, an open question of Pham and Teissier concerning the finiteness of the Lipschitz saturation of general algebras. Finally, we use the Lipschitz saturation to provide algebraic criteria for two algebraic varieties to be linked by an algebraic morphism, which is a locally biLipschitz homeomorphism on the closed points of the variety.

Algebraic Geometry
Arithmetic finiteness of very irregular varieties

Thomas Krämer,Marco Maculan

2024-08-14

Abstract:We prove the Shafarevich conjecture for very irregular varieties of dimension less than half the dimension of their Albanese variety, subject to some mild numerical conditions. Our proof relies on the Lawrence-Venkatesh method as in the work of Lawrence-Sawin, together with the big monodromy criterion from our work with Javanpeykar and Lehn.

Algebraic Geometry,Number Theory
A notion of seminormalization for real algebraic varieties

François Bernard

DOI: https://doi.org/10.1112/jlms.12891

2024-03-31

Journal of the London Mathematical Society

Abstract:Abstract The seminormalization of an algebraic variety is the biggest variety linked to by a finite, birational, and bijective morphism. In this paper, we introduce a variant of the seminormalization, suited for real algebraic varieties, called the R‐seminormalization. This object has a universal property of the same kind as the one of the seminormalization but related to the real closed points of the variety. In a previous paper, the author studied the seminormalization of complex algebraic varieties using rational functions that extend continuously to the closed points for the Euclidean topology. We adapt some of those results here to the R‐seminormalization, and we provide several examples. We also show that the R‐seminormalization modifies the singularities of a real variety by normalizing the purely complex points and seminormalizing the real ones.

mathematics
Saturation rank for nilradical of parabolic subalgebras in Type A

Yang Pan

2024-05-03

Abstract:Let $\mfp(d)$ be a standard parabolic subalgebra of $\mfsl_{n+1}(K)$ and $\mfu$ be the corresponding nilradical defined over an algebraically closed field $K$ of characteristic $p>0$. We construct a finite connected quiver $Q(d)$, through which we provide a combinatorial characterization of the centralizer $c_{\mfu}(x(d))$ of the Richardson element $x(d)$. We specifically focus on the centralizer when the levi factor of $\mfp(d)$ is determined by either one or two simple roots. This allows us to demonstrate that, under certain mild restrictions, the saturation rank of $\mfu$ equals the semisimple rank of the algebraic $K$-group $\SL_{n+1}(K)$.

Representation Theory
The Shafarevich conjecture for hypersurfaces in abelian varieties

Brian Lawrence,Will Sawin

2024-05-27

Abstract:Faltings proved that there are finitely many abelian varieties of genus $g$ over a number field $K$, with good reduction outside a finite set of primes $S$. Fixing one of these abelian varieties $A$, we prove that there are finitely many smooth hypersurfaces in $A$, with good reduction outside $S$, representing a given ample class in the Néron-Severi group of $A$, up to translation, as long as the dimension of $A$ is at least $4$. Our approach builds on the approach of arXiv:1807.02721 which studies $p$-adic variations of Hodge structure to turn finiteness results for $p$-adic Galois representations into geometric finiteness statements. A key new ingredient is an approach to proving big monodromy for the variations of Hodge structure arising from the middle cohomology of these hypersurfaces using the Tannakian theory of sheaf convolution on abelian varieties.

Number Theory
The saturation number for Cayley's cubic surface

Yuchao Wang

DOI: https://doi.org/10.48550/arXiv.1406.6963

2014-06-26

Number Theory

Abstract:We investigate the density of rational points on Cayley's cubic surface whose coordinates have few prime factors. The key tools used are the circle method and universal torsors.
Limits of saturated ideals

Joachim Jelisiejew,Tomasz Mańdziuk

2024-10-31

Abstract:We investigate the question whether a given homogeneous ideal is a limit of saturated ones. We provide cohomological necessary criteria for this to hold and apply them to a range of examples. Our motivation comes from the theory of border apolarity and varieties of sums of powers, where the question above is tightly connected to proving new lower bounds for border ranks of tensors.

Commutative Algebra,Algebraic Geometry
Algebraic Geometry Fall 2013

Eduard Looijenga

2013-01-01

Abstract:This is a survey paper about moduli spaces that have a natural structure of a (possibly incomplete) locally symmetric variety. We outline the Baily-Borel compactification for such varieties and compare it with the compactifications furnished by techniques in algebraic geometry. These differ in general, but we show that a reconciliation is possible by means of a generalization of the Baily-Borel technique for a class of incomplete locally symmetric varieties. The emphasis is here on moduli spaces of varieties other than that of polarized
Weak saturation rank: a failure of linear algebraic approach to weak saturation

Nikolai Terekhov,Maksim Zhukovskii

2024-06-14

Abstract:Given a graph $F$ and a positive integer $n$, the weak $F$-saturation number $\mathrm{wsat}(K_n,F)$ is the minimum number of edges in a graph $H$ on $n$ vertices such that the edges missing in $H$ can be added, one at a time, so that every edge creates a copy of $F$. Kalai in 1985 introduced a linear algebraic approach that became one of the most efficient tools to prove lower bounds on weak saturation numbers. If $W$ is a vector space spanned by vectors $w(e)$ assigned to edges $e$ of $K_n$ in such a way that, for every copy $F'\subset K_n$ of $F$, there exist non-zero $\lambda_e$, $e\in E(F')$, satisfying $\sum_{e\in E(F')}\lambda_e w(e)=0$, then $\mathrm{dim}W\leq \mathrm{wsat}(K_n,F)$. In this paper, we prove limitations of this approach: we show infinitely many $F$ such that, for every vector space $W$ as above, $\mathrm{dim}W<\mathrm{wsat}(K_n,F)$. We also suggest a modification of this approach that allows to get tight lower bounds even when the original linear algebraic approach is not sufficient. Finally, we generalise our results to random graphs, complete multipartite graphs, and hypergraphs.

Combinatorics
The Geometry of Locally Bounded Rational Functions

Victor Delage,Goulwen Fichou,Aftab Patel

2024-10-13

Abstract:This paper develops the geometry of locally bounded rational functions on non-singular real algebraic varieties. First various basic geometric and algebraic results regarding these functions are established in any dimension, culminating with a version of Łojasiewicz's inequality. The geometry is further developed for the case of dimension 2, where it can be shown that there exist many of the usual correspondences between the algebra and geometry of these functions that one expects from complex algebraic geometry and from other classes of functions in real algebraic geometry such as regulous functions.

Algebraic Geometry
Quotient-saturated groups

Jordi Delgado,Mallika Roy,Enric Ventura

2024-04-04

Abstract:We introduce the new notion of quotient-saturation as a measure of the immensity of the quotient structure of a group. We present a sufficient condition for a finitely presented group to be quotient-saturated, and use it to deduce that non-elementary finitely presented subgroups of a hyperbolic group (in particular, non-elementary hyperbolic groups themselves) are quotient-saturated. Finally, we elaborate on the previous results to extend the scope of this property to finitely presented acylindrically hyperbolic groups.

Group Theory
Product of Sets on Varieties in Finite Fields

Che-Jui Chang,Ali Mohammadi,Thang Pham,Chun-Yen Shen

DOI: https://doi.org/10.1007/s00041-024-10079-x

2024-03-29

Journal of Fourier Analysis and Applications

Abstract:Let V be a variety in and . It is known that if any line passing through the origin contains a bounded number of points from E , then whenever . In this paper, we show that the barrier can be broken when V is a paraboloid in some specific dimensions. The main novelty in our approach is to link this question to the distance problem in one lower dimensional vector space, allowing us to use recent developments in this area to obtain improvements.

mathematics, applied
Unification theorems in algebraic geometry

E. Daniyarova,A. Myasnikov,V. Remeslennikov

DOI: https://doi.org/10.48550/arXiv.0808.2522

2008-08-20

Abstract:In this paper, for a given finitely generated algebra (an algebraic structure with arbitrary operations and no predicates) A we study finitely generated limit algebras of A, approaching them via model theory and algebraic geometry. Along the way we lay down foundations of algebraic geometry over arbitrary algebraic structures.

Algebraic Geometry,Logic
Saturation results around the Erdős--Szekeres problem

Gábor Damásdi,Zichao Dong,Manfred Scheucher,Ji Zeng

2024-09-12

Abstract:In this paper, we consider saturation problems related to the celebrated Erdős--Szekeres convex polygon problem. For each $n \ge 7$, we construct a planar point set of size $(7/8) \cdot 2^{n-2}$ which is saturated for convex $n$-gons. That is, the set contains no $n$ points in convex position while the addition of any new point creates such a configuration. This demonstrates that the saturation number is smaller than the Ramsey number for the Erdős--Szekeres problem. The proof also shows that the original Erdős--Szekeres construction is indeed saturated. Our construction is based on a similar improvement for the saturation version of the cups-versus-caps theorem. Moreover, we consider the generalization of the cups-versus-caps theorem to monotone paths in ordered hypergraphs. In contrast to the geometric setting, we show that this abstract saturation number is always equal to the corresponding Ramsey number.

Combinatorics
A transfer principle for unirationality

Daniel Erman,Eric Riedl

2024-10-26

Abstract:We apply ideas related to the strength of polynomials to provide new cases of unirational hypersurfaces. It is famously known that hypersurfaces that are smooth in very high codimension are unirational, and a simple corollary then implies that any polynomial of sufficiently high strength will give rise to a unirational hypersurface. Our main result shows that unirationality is preserved under a substitution of high collective strength. In particular, we prove that polynomials of sufficiently high secondary strength are unirational. Along the way, we introduce a ``transfer principle,'' showing that polynomials of high collective strength have Fano schemes defined by polynomials of high collective strength. This gives an alternate proof of a result of Xi Chen on unirationality of Fano schemes, and proves a weakened form of the de Jong-Debarre Conjecture. Combined with some ideas of Starr, this implies a version of Kazhdan and Ziegler's result about the universality of complete intersections of polynomials.

Algebraic Geometry,Commutative Algebra
Integral points on varieties with infinite étale fundamental group

Niven T. Achenjang,Jackson S. Morrow

2023-06-23

Abstract:We study integral points on varieties with infinite étale fundamental groups. More precisely, for a number field $F$ and $X/F$ a smooth projective variety, we prove that for any geometrically Galois cover $\varphi\colon Y \to X$ of degree at least $2\dim(X)^2$, there exists an ample line bundle $\mathscr{L}$ on $Y$ such that for a general member $D$ of the complete linear system $|\mathscr{L}|$, $D$ is geometrically irreducible and any set of $\varphi(D)$-integral points on $X$ is finite. We apply this result to varieties with infinite étale fundamental group to give new examples of irreducible, ample divisors on varieties for which finiteness of integral points is provable.

Number Theory
Homogeneous Spaces Associated to Certain Semi-Universal Deformations

Eduard Looijenga

2010-01-01

Abstract:It is believed that the discriminant variety of a semiuniversal deformation of an isolated hypersurface singularity has nice properties, both from the algebro-geometric and homotopy theoretic point of view. Until now, complete results have only been obtained for rational double points. The aim of this lecture is to report on recent progress concerning this question in the case of a unimodular singularity, which supports this belief.
The saturation number of $\cb$-bounded stable monomial ideals and their powers

Reza Abdolmaleki,Jürgen Herzog,Guangjun Zhu

DOI: https://doi.org/10.1215/21562261-2022-0013

2019-09-24

Abstract:Let $S=K[x_1,\ldots,x_n]$ be the polynomial ring in $n$ variables over a field $K$. In this paper, we compute the socle of $\cb$-bounded strongly stable ideals and determine that the saturation number of strongly stable ideals and of equigenerated $\cb$-bounded strongly stable ideals. We also provide explicit formulas for the saturation number $\sat(I)$ of Veronese type ideals $I$. Using this formula, we show that $\sat(I^k)$ is quasi-linear from the beginning and we determine the quasi-linear function explicitly.

Commutative Algebra
An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain

Henri Lombardi,Claude Quitté,Ihsen Yengui

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

2023-04-01

Abstract:We give an algorithm for computing the V-saturation of any finitely-generated submodule of a power of V[X], where V is a valuation domain. Our algorithm is based on a notion of "echelon form" which ensures its correctness. This allows us to compute a finite system of generators for the syzygy module of any finitely generated submodule of a power of V[X].

Commutative Algebra
Saturated ideals from Laver collapses

Monroe Eskew

2024-08-08

Abstract:Addressing a question of Shioya, we show that two-step iterations of the Laver collapse can force saturated ideals and Chang conjectures.

Logic

Finite saturation for unirational varieties

Relative Lipschitz saturation of complex algebraic varieties

Arithmetic finiteness of very irregular varieties

A notion of seminormalization for real algebraic varieties

Saturation rank for nilradical of parabolic subalgebras in Type A

The Shafarevich conjecture for hypersurfaces in abelian varieties

The saturation number for Cayley's cubic surface

Limits of saturated ideals

Algebraic Geometry Fall 2013

Weak saturation rank: a failure of linear algebraic approach to weak saturation

The Geometry of Locally Bounded Rational Functions

Quotient-saturated groups

Product of Sets on Varieties in Finite Fields

Unification theorems in algebraic geometry

Saturation results around the Erdős--Szekeres problem

A transfer principle for unirationality

Integral points on varieties with infinite étale fundamental group

Homogeneous Spaces Associated to Certain Semi-Universal Deformations

The saturation number of $\cb$-bounded stable monomial ideals and their powers

An algorithm for computing syzygies on $V[X]$ when $V$ is a valuation domain

Saturated ideals from Laver collapses