$A$-analyticity of separatricies of foliations

Stéphane Druel

2024-07-01

Abstract:Let $X$ be a smooth quasi-projective surface over a number field $K$, and let $L$ be a foliation on $X$. We prove that if $L$ is closed under $p$-th powers for almost all primes $p$, then any $L$-invariant smooth formal curve is $A$-analytic. Building on prior work of Bost we obtain an algebraicity criterion for those curves.

Number Theory

What problem does this paper attempt to address?

Fano foliations with small algebraic ranks

Jie Liu

2023-08-21

Abstract:In this paper we study the algebraic ranks of foliations on $\mathbb{Q}$-factorial normal projective varieties. We start by establishing a Kobayashi-Ochiai's theorem for Fano foliations in terms of algebraic rank. We then investigate the local positivity of the anti-canonical divisors of foliations, obtaining a lower bound for the algebraic rank of a foliation in terms of Seshadri constant. We describe those foliations whose algebraic rank slightly exceeds this bound and classify Fano foliations on smooth projective varieties attaining this bound. Finally we construct several examples to illustrate the general situation, which in particular allow us to answer a question asked by Araujo and Druel on the generalised indices of foliations.

Algebraic Geometry
Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

Nils Bruin,Nathan Ilten,Zhe Xu

2023-12-04

Abstract:Wahl's local Euler characteristic measures the local contributions of a singularity to the usual Euler characteristic of a sheaf. Using tools from toric geometry, we study the local Euler characteristic of sheaves of symmetric differentials for isolated surface singularities of type $A_n$. We prove an explicit formula for the local Euler characteristic of the $m$th symmetric power of the cotangent bundle; this is a quasi-polynomial in $m$ of period $n+1$. We also express the components of the local Euler characteristic as a count of lattice points in a non-convex polyhedron, again showing it is a quasi-polynomial. We apply our computations to obtain new examples of algebraic quasi-hyperbolic surfaces in $\mathbb{P}^3$ of low degree. We show that an explicit family of surfaces with many singularities constructed by Labs has no genus $0$ curves for the members of degree at least $8$ and no curves of genus $0$ or $1$ for degree at least $10$.

Algebraic Geometry,Number Theory
Non-linear bi-algebraic curves and surfaces in moduli spaces of Abelian differentials

Bertrand Deroin,Carlos Matheus

2023-06-26

Abstract:The strata of the moduli spaces of Abelian differentials are non-homogenous spaces carrying natural bi-algebraic structures. Partly inspired by the case of homogenous spaces carrying bi-algebraic structures (such as torii, Abelian varieties and Shimura varieties), Klingler and Lerer recently showed that any bi-algebraic curve in a stratum of the moduli space of Abelian differentials is linear provided that the so-called condition $(\star)$ is fulfilled. In this note, we construct a non-linear bi-algebraic curve, resp. surface, of Abelian differentials of genus $7$, resp. $10$.

Algebraic Geometry
The analytic topology suffices for the $B_{\mathrm{dR}}^+$-Grassmannian

Kestutis Cesnavicius,Alex Youcis

2024-11-11

Abstract:The $B_{\mathrm{dR}}^+$-affine Grassmannian was introduced by Scholze in the context of the geometric local Langlands program in mixed characteristic and is the Fargues-Fontaine curve analogue of the equal characteristic Beilinson-Drinfeld affine Grassmannian. For a reductive group $G$, it is defined as the étale (equivalently, $v$-) sheafification of the presheaf quotient $LG/L^+G$ of the $B_{\mathrm{dR}}$-loop group $LG$ by the $B_{\mathrm{dR}}^+$-loop subgroup $L^+G$. We combine algebraization and approximation techniques with known cases of the Grothendieck-Serre conjecture to show that the analytic topology suffices for this sheafification, more precisely, that the $B_{\mathrm{dR}}^+$-affine Grassmannian agrees with the analytic sheafification of the aforementioned presheaf quotient $LG/L^+G$.

Algebraic Geometry,Number Theory
$p$-adic hyperbolicity for moduli spaces of abelian motives

Abhishek Oswal,Ananth N. Shankar,Xinwen Zhu,Anand Patel

2024-10-09

Abstract:We prove that Shimura varieties of abelian type satisfy a $p$-adic Borel-extension property over discretely valued fields. More precisely, let $\mathsf{D}$ denote the rigid-analytic closed unit disc and $\mathsf{D}^{\times} = \mathsf{D} \setminus \{0\}$, let $X$ be a smooth rigid-analytic variety, and let $S(G,\mathcal{H})_{\mathsf{K}}$ denote a Shimura variety of abelian type with torsion-free level structure. We prove every rigid-analytic map defined over a discretely valued $p$-adic field $\mathsf{D}^{\times} \times X \rightarrow S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{an}}$ extends to an analytic map $\mathsf{D} \times X \rightarrow (S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}})^{\textrm{an}}$, where $S(G,\mathcal{H})_{\mathsf{K}}^{\textrm{BB}}$ is the Baily-Borel compactification of $S(G,\mathcal{H})_{\mathsf{K}}$. We also deduce various applications to algebraicity of analytic maps, degenerations of families of abeloids, and to $p$-adic notions of hyperbolicity. Along the way, we also prove an extension result for Rapoport-Zink spaces.

Number Theory,Algebraic Geometry
Independence of l in Lafforgue's theorem

CheeWhye Chin

DOI: https://doi.org/10.1016/S0001-8708%2802%2900082-8

2002-06-26

Abstract:Let X be a smooth curve over a finite field of characteristic p, let l be a prime number different from p, and let L be an irreducible lisse l-adic sheaf on X whose determinant is of finite order. By a theorem of Lafforgue, for each prime number l' different from p, there exists an irreducible lisse l'-adic sheaf L' on X which is compatible with L, in the sense that at every closed point x of X, the characteristic polynomials of Frobenius at x for L and L' are equal. We prove an "independence of l" assertion on the fields of definition of these irreducible l'-adic sheaves L' : namely, that there exists a number field F such that for any prime number l' different from p, the l'-adic sheaf L' above is defined over the completion of F at one of its l'-adic places.

Algebraic Geometry,Number Theory
Mod-p Poincaré Duality in p-adic Analytic Geometry

Bogdan Zavyalov

2024-02-22

Abstract:We show Poincaré Duality for $\mathbf{F}_p$-étale cohomology of a smooth proper rigid-analytic space over a non-archimedean field $K$ of mixed characteristic $(0, p)$. It positively answers the question raised by P. Scholze in [Sch13a]. We prove duality via constructing Faltings' trace map relating Poincaré Duality on the generic fiber to (almost) Grothendieck Duality on the mod-$p$ fiber of a formal model. We also formally deduce Poincaré Duality for $\mathbf{Z}/p^n\mathbf{Z}$, $\mathbf{Z}_p$, and $\mathbf{Q}_p$-coefficients.

Algebraic Geometry,Number Theory
A Eudoxian study of discriminant curves associated to normal surface singularities

Evelia Rosa García Barroso,Patrick Popescu-Pampu

2024-10-29

Abstract:Let $(f,g): (S,s) \to (\mathbb{C}^2, 0)$ be a finite morphism from a germ of normal complex analytic surface to the germ of $\mathbb{C}^2$ at the origin. We show that the affine algebraic curve in $\mathbb{C}^2$ defined by the initial Newton polynomial of a defining series of the discriminant germ of $(f,g)$ depends up to toric automorphisms only on the germs of curves defined by $f$ and $g$. This result generalizes a theorem of Gryszka, Gwoździewicz and Parusiński, which is the special case in which $(S,s)$ is smooth. Our proof uses a common generalization of formulas of Lê and Casas-Alvero for the intersection number of the discriminant with a germ of plane curve. It uses also a theorem of Delgado and Maugendre characterizing the special members of pencils of curves on normal surface singularities. We apply it to the pencils generated by all pairs $(f^b, g^a)$, for varying positive integral exponents $a, b$, following a strategy initiated by Gwoździewicz. This is similar to the Eudoxian method of comparison of magnitudes by comparing the sizes of their positive integral multiples.

Algebraic Geometry
On real analytic functions on closed subanalytic domains

Armin Rainer

2023-11-06

Abstract:We show that a function $f : X \to \mathbb R$ defined on a closed uniformly polynomially cuspidal set $X$ in $\mathbb R^n$ is real analytic if and only if $f$ is smooth and all its composites with germs of polynomial curves in $X$ are real analytic. The degree of the polynomial curves needed for this is effectively related to the regularity of the boundary of $X$. For instance, if the boundary of $X$ is locally Lipschitz, then polynomial curves of degree $2$ suffice. In this Lipschitz case, we also prove that a function $f : X \to \mathbb R$ is real analytic if and only if all its composites with germs of quadratic polynomial maps in two variables with images in $X$ are real analytic; here it is not necessary to assume that $f$ is smooth.

Classical Analysis and ODEs,Algebraic Geometry,Differential Geometry
A Hodge--Tate decomposition with rigid analytic coefficients

Lucas Gerth

2024-11-12

Abstract:Let $X$ be a smooth proper rigid analytic space over a complete algebraically closed field extension $K$ of $\mathbb{Q}_p$. We establish a Hodge--Tate decomposition for $X$ with $G$-coefficients, where $G$ is any commutative locally $p$-divisible rigid group. This generalizes the Hodge--Tate decomposition of Faltings and Scholze, which is the case $G=\mathbb{G}_a$. For this, we introduce geometric analogs of the Hodge--Tate spectral sequence with general locally $p$-divisible coefficients. We prove that these spectral sequences degenerate at $E_2$. Our results apply more generally to a class of smooth families of commutative adic groups over $X$ and in the relative setting of smooth proper morphisms $X\rightarrow S$ of smooth rigid spaces. We deduce applications to analytic Brauer groups and the geometric $p$-adic Simpson correspondence.

Algebraic Geometry
Checking real analyticity on surfaces

Jacek Bochnak,János Kollár,Wojciech Kucharz

DOI: https://doi.org/10.1016/j.matpur.2019.05.008

IF: 2.282

2020-01-01

Journal de Mathématiques Pures et Appliquées

Abstract:<p>We prove that a real-valued function (that is not assumed to be continuous) on a real analytic manifold is analytic whenever all its restrictions to analytic submanifolds homeomorphic to <span><math>S2</math></span> are analytic. This is a real analog for the classical theorem of Hartogs that a function on a complex manifold is complex analytic iff it is complex analytic when restricted to any complex curve.</p><h2>Résumé</h2><p>Nous montrons qu'une fonction à valeurs réelles (qui n'est pas assumée être continue), définie sur une variété analytique réelle est analytique si et seulement si toutes ses restrictions aux surfaces analytiques homeomorphe à la 2-sphère sont analytiques. Ce résultat est un analogue réel de théorème classique de Hartogs qu'une fonction à valeurs complexes sur une variété analytique complexe est analytique si et seulement si toutes ses restrictions aux courbes analytiques complexes sont analytique.</p>
The Poincaré Problem for a foliated surface

Xin Lü,Shengli Tan

2024-10-07

Abstract:Let $\mathcal F$ be a foliation on a smooth projective surface $S$ over the complex number $\mathbb{C}$. We introduce three birational non-negative invariants $c_1^2(\mathcal F)$, $c_2(\mathcal F)$ and $\chi(\mathcal F)$, called the Chern numbers. If the foliation $\mathcal F$ is not of general type, the first Chern number $c_1^2(\mathcal F)=0$, and $c_2(\mathcal F)=\chi(\mathcal F)=0$ except when $\mathcal F$ is induced by a non-isotrivial fibration of genus $g=1$. If $\mathcal F$ is of general type, we obtain a slope inequality when $\mathcal F$ is algebraically integral. As a corollary, $\mathcal F$ is always transcendental if the slope is less than $2$. On the other hand, we also prove three sharp Noether type inequalities if $\mathcal F$ is of general type. As applications, we obtain a criterion for foliations to be transcendental using Noether type inequalities, and we also give a partial positive answer to the question on the lower bound on the volume of a foliation of general type.

Algebraic Geometry
On the non-analyticity locus of an arc-analytic function

Krzysztof Kurdyka,Adam Parusiński

DOI: https://doi.org/10.1090/s1056-3911-2011-00553-5

2011-03-01

Journal of Algebraic Geometry

Abstract:Let X X be a real analytic manifold. A function f : X → R f:X\to \mathbb {R} is called arc-analytic if it is real analytic on each real analytic arc. In real analytic geometry there are many examples of arc-analytic functions that are not real analytic. They appear while studying the arc-symmetric sets and the blow-analytic equivalence. In this paper we show that the non-analyticity locus of an arc-analytic function is arc-symmetric. We also discuss the behavior of the non-analyticity locus under blowings-up. By a result of Bierstone and Milman, an arc-analytic function f : X → R f:X\to \mathbb {R} that satisfies a polynomial equation with real analytic coefficients, can be made analytic, over any relatively compact subset of X X , by a sequence of blowings-up with smooth centers. We show that these centers can be chosen, at each stage of the resolution, inside the non-analyticity loci.

mathematics
A basepoint free theorem for algebraically integrable foliations

Priyankur Chaudhuri,Omprokash Das

2023-11-19

Abstract:We show that if $\mathcal{F}$ is an algebraically integrable foliation on a $\mathbb{Q}$-factorial normal projective variety $X$, $ A, B \geq 0$ are $\mathbb{Q}$-divisors on $X$ with $A$ ample such that $(\mathcal{F}, B)$ is foliated dlt and $K_{\mathcal{F}}+ A+B$ is nef, then $K_{\mathcal{F}}+A+B$ is semiample. We also provide some applications of this and related results such as contraction theorem for F-dlt pairs and a special case of the b-semiampleness conjecture.

Algebraic Geometry
Singular curves and Baker-Akhiezer functions

Sebastian Klein,Eva Lübcke,Martin Ulrich Schmidt,Tobias Simon

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

2020-01-13

Abstract:We present the concept of Baker-Akhiezer functions on singular complex curves. For this purpose, we translate the algebraic presentation of such curves in [Se, Chapter~IV] into the analytic setting. Generalised divisors and their interplay with partial desingularisations are the fundament of the construction of Baker-Akhiezer functions.

Algebraic Geometry
Arithmetic duality for $p$-adic pro-étale cohomology of analytic curves

Pierre Colmez,Sally Gilles,Wiesława Nizioł

2023-08-25

Abstract:We prove a Poincaré duality for arithmetic $p$-adic pro-étale cohomology of smooth dagger curves over finite extensions of ${\mathbf Q}_p$. We deduce it, via the Hochschild-Serre spectral sequence, from geometric comparison theorems combined with Tate and Serre dualities. The compatibility of all the products involved is checked via reduction to the ghost circle, for which we also prove a Poincaré duality (showing that it behaves like a proper smooth analytic variety of dimension $1/2$). Along the way we study functional analytic properties of arithmetic $p$-adic pro-étale cohomology and prove that the usual cohomology is nuclear Fréchet and the compactly supported one -- of compact type.

Number Theory,Algebraic Geometry
On the p-rank of singular curves and their smooth models

Sadık Terzi

2024-01-19

Abstract:In this paper, we are concerned with the computation of the $p$-rank and $a$-number of singular curves and their smooth model. We consider a pair $X, X'$ of proper curves over an algebraically closed field $k$ of characteristic $p$, where $X'$ is a singular curve which lies on a smooth projective variety, particularly on smooth projective surfaces $S$ (with $p_g(S) = 0 = q(S)$) and $X$ is the smooth model of $X'$. We determine the $p$-rank of $X$ by using the exact sequence of group schemes relating the Jacobians $J_X$ and $J_{X'}$. As an application, we determine a relation about the fundamental invariants $p$-rank and $a$-number of a family of singular curves and their smooth models. Moreover, we calculate $a$-number and find lower bound for $p$-rank of a family of smooth curves.

Algebraic Geometry
Generic singularities of holomorphic foliations by curves on $\mathbb{P}^n$

Sahil Gehlawat,Viêt-Anh Nguyên

2024-09-10

Abstract:Let $\mathcal{F}_d(\mathbb{P}^n)$ be the space of all singular holomorphic foliations by curves on $\mathbb{P}^n$ ($n \geq 2$) with degree $d \geq 1.$ We show that there is subset $\mathcal{S}_d(\mathbb{P}^n)$ of $\mathcal{F}_d(\mathbb{P}^n)$ with full Lebesgue measure with the following properties: 1. for every $\mathcal{F} \in \mathcal{S}_d(\mathbb{P}^n),$ all singular points of $\mathcal{F}$ are linearizable hyperbolic. 2. If, moreover, $d \geq 2,$ then every $\mathcal{F}$ does not possess any invariant algebraic curve.

Complex Variables,Differential Geometry
Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space

Erwan Rousseau

DOI: https://doi.org/10.48550/arXiv.math/0603715

2006-09-28

Abstract:In this article we prove that every entire curve in the complement of a generic hypersurface of degree $d\geq 586$ in $\mathbb{P}_{\mathbb{C}}^{3}$ is algebraically degenerate i.e there exists a proper subvariety which contains the entire curve.

Algebraic Geometry,Complex Variables

$A$-analyticity of separatricies of foliations

Fano foliations with small algebraic ranks

Local Euler characteristics of $A_n$-singularities and their application to hyperbolicity

Non-linear bi-algebraic curves and surfaces in moduli spaces of Abelian differentials

The analytic topology suffices for the $B_{\mathrm{dR}}^+$-Grassmannian

$p$-adic hyperbolicity for moduli spaces of abelian motives

Independence of l in Lafforgue's theorem

Mod-p Poincaré Duality in p-adic Analytic Geometry

A Eudoxian study of discriminant curves associated to normal surface singularities

On real analytic functions on closed subanalytic domains

A Hodge--Tate decomposition with rigid analytic coefficients

Checking real analyticity on surfaces

The Poincaré Problem for a foliated surface

On the non-analyticity locus of an arc-analytic function

A basepoint free theorem for algebraically integrable foliations

Singular curves and Baker-Akhiezer functions

Arithmetic duality for $p$-adic pro-étale cohomology of analytic curves

On the p-rank of singular curves and their smooth models

Generic singularities of holomorphic foliations by curves on $\mathbb{P}^n$

Weak analytic hyperbolicity of complements of generic surfaces of high degree in projective 3-space