On the algebraic fundamental group of smooth varieties in characteristic $p>0$

Hélène Esnault,Amit Hogadi

DOI: https://doi.org/10.1090/s0002-9947-2012-05470-5

IF: 1.3529

2012-05-01

Transactions of the American Mathematical Society

Abstract:We define an analog in characteristic p>0p>0 of the proalgebraic completion of the topological fundamental group of a complex manifold.

mathematics

What problem does this paper attempt to address?

On an Algebraic Formula and Applications to Group Action on Manifolds

Ping Li,Kefeng Liu

DOI: https://doi.org/10.4310/ajm.2013.v17.n2.a5

2013-01-01

Asian Journal of Mathematics

Abstract:We consider a purely algebraic result. Then given a circle or cyclic group of prime order action on a manifold, we will use it to estimate the lower bound of the number of fixed points. We also give an obstruction to the existence of $\mathbb{Z}_p$ action on manifolds with isolated fixed points when $p$ is a prime.
On flat bundles in characteristic 0 and $p>0$

Hélène Esnault

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

2012-05-22

Algebraic Geometry

Abstract:We discuss analogies between the fundamental groups of flat bundles in characteristic 0 and $p>0$ (contribution to the ECM 2012 volume)
Algebraic geometry in mixed characteristic

Bhargav Bhatt

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

2021-12-22

Algebraic Geometry

Abstract:Fix a prime number $p$. We report on some recent developments in algebraic geometry (broadly construed) over $p$-adically complete commutative rings. These developments include foundational advances within the subject as well as external applications.
A relative version of Gieseker's problem on stratifications in characteristic $p>0$

Hélène Esnault,Vasudevan Srinivas

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

2017-05-17

Algebraic Geometry

Abstract:We prove that the vanishing of the functoriality morphism for the \'etale fundamental group between smooth projective varieties over an algebraically closed field of characteristic $p>0$ forces the same property for the fundamental groups of stratifications. 2nd version: Acknowledgement added.
On the fundamental group of a spherical variety

Friedrich Knop

2024-09-11

Abstract:Let $X=G/H$ be a spherical variety over an algebraically closed field of characteristic $p\ge0$. We compute the $p'$-parts of $\pi_0(H)$ and $\pi_1(X)$ from the spherical system of $X$.

Algebraic Geometry,Representation Theory
The algebra of symmetric tensors on smooth projective varieties

Arnaud Beauville,Jie Liu

DOI: https://doi.org/10.1007/s11425-023-2284-4

2024-04-02

Science China Mathematics

Abstract:In this paper, we discuss the C-algebra H 0 ( X , S• T X ) for a smooth complex projective variety X . We compute it in some simple examples, and give a sharp bound on its Krull dimension. Then we propose a conjectural characterization of non-uniruled projective manifolds with pseudo-effective tangent bundle.

mathematics, applied
Semistable Higgs bundles and representations of algebraic fundamental groups: Positive characteristic case

guitang lan,mao sheng,kang zuo

2012-01-01

Abstract: Let $k$ be an algebraic closure of finite fields with odd characteristic $p$ and a smooth projective scheme $\mathbf{X}/W(k)$. Let $\mathbf{X}^0$ be its generic fiber and $X$ the closed fiber. For $\mathbf{X}^0$ a curve Faltings conjectured that semistable Higgs bundles of slope zero over $\mathbf{X}^0_{\mathbb{C}_p}$ correspond to genuine representations of the algebraic fundamental group of $\mathbf{X}^0_{\mathbb{C}_p}$ in his $p$-adic Simpson correspondence. This paper intends to study the conjecture in the characteristic $p$ setting. Among other results, we show that isomorphism classes of rank two semistable Higgs bundles with trivial chern classes over $X$ are associated to isomorphism classes of two dimensional genuine representations of $\mathbf{X}^0$ and the image of the association contains all irreducible crystalline representations. We introduce intermediate notions strongly semistable Higgs bundles and quasi-periodic Higgs bundles between semistable Higgs bundles and representations of algebraic fundamental groups. We show that quasi-periodic Higgs bundles give rise to genuine representations and strongly Higgs semistable are equivalent to quasi-periodic. We conjecture that a Higgs semistable bundle is indeed strongly Higgs semistable.
Galois covers of singular curves in positive characteristics

Soumyadip Das

DOI: https://doi.org/10.1007/s11856-024-2629-6

2024-04-30

Israel Journal of Mathematics

Abstract:We study the étale fundamental group of a singular reduced connected curve defined over an algebraically closed field of an arbitrary prime characteristic. It is shown that when the curve is projective, the étale fundamental group is a free product of the étale fundamental group of its normalization with a free finitely generated profinite group whose rank is well determined. A similar result is established for the tame fundamental groups of seminormal affine curves. In the affine case, we provide an Abhyankar-type complete group theoretic classification on which finite groups occur as the Galois groups for Galois étale connected covers over (singular) affine curves. An analogue of the Inertia Conjecture is also posed for certain singular curves.

mathematics
On the ring of unipotent vector bundles on elliptic curves in positive characteristics

Stefan Schroeer

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

2009-08-26

Abstract:Using Fourier-Mukai transformations, we prove some results about the ring of unipotent vector bundles on elliptic curves in positive characteristics. This ring was determined by Atiyah in characteristic zero, who showed that it is a polynomial ring in one variable. It turns out that the situation in characteristic p>0 is completely different and rather bizarre: the ring is nonnoetherian and contains a subring whose spectrum contains infinitely many copies of Spec(Z), which are glued with successively higher and higher infinitesimal identification at the point corresponding to the prime p.

Algebraic Geometry
On the proalgebraic fundamental group of topological spaces and amalgamated products of affine group schemes

Christopher Deninger,Michael Wibmer

2023-06-06

Abstract:The proalgebraic fundamental group of a connected topological space $X$, recently introduced by the first author, is an affine group scheme whose representations classify local systems of finite-dimensional vector spaces on $X$. In this article, we further develop the theory of the proalgebraic fundamental group, in particular, we establish homotopy invariance and a Seifert-van Kampen theorem. To facilitate the latter, we study amalgamated free product of affine group schemes. We also compute the proalgebraic fundamental group of the arithmetically relevant Kucharcyzk-Scholze spaces and compare it to the motivic Galois group.

Algebraic Geometry,Number Theory
An obstruction to lifting to characteristic $0$

Hélène Esnault,Vasudevan Srinivas,Jakob Stix

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

2021-06-16

Abstract:We introduce a new obstruction to lifting smooth proper varieties in characteristic $p>0$ to characteristic $0$. It is based on Grothendieck's specialization homomorphism and the resulting discrete finiteness properties of étale fundamental groups.

Algebraic Geometry,Number Theory
On vanishing of fundamental forms of algebraic varieties

Lawrence Ein,Wenbo Niu

2023-04-18

Abstract:We study fundamental forms of algebraic varieties using the sheaves of principal parts of line bundles and establish a vanishing theorem for any order fundamental forms. We also give connection of fundamental forms with the higher order Gauss map and higher order tangent varieties.

Algebraic Geometry
Projective smooth representations in natural characteristic

Amit Ophir,Claus Sorensen

2024-11-20

Abstract:We investigate under which circumstances there exists nonzero {\it{projective}} smooth $\field[G]$-modules, where $\field$ is a field of characteristic $p$ and $G$ is a locally pro-$p$ group. We prove the non-existence of (non-trivial) projective objects for so-called {\it{fair}} groups -- a family including $\bf{G}(\frak{F})$ for a connected reductive group $\bf{G}$ defined over a non-archimedean local field $\frak{F}$. This was proved in \cite{SS24} for finite extensions $\frak{F}/\Bbb{Q}_p$. The argument we present in this note has the benefit of being completely elementary and, perhaps more importantly, adaptable to $\frak{F}=\Bbb{F}_q(\!(t)\!)$. Finally, we elucidate the fairness condition via a criterion in the Chabauty space of $G$.

Number Theory,Representation Theory
Lefschetz classes on projective varieties

June Huh,Botong Wang

DOI: https://doi.org/10.1090/proc/13757

IF: 0.9709

2017-07-28

Proceedings of the American Mathematical Society

Abstract:<p> The Lefschetz algebra <math alttext="upper L Superscript asterisk Baseline left-parenthesis upper X right-parenthesis"> <semantics> <mrow> <msup> <mi>L</mi> <mo> ∗ </mo> </msup> <mo stretchy="false">(</mo> <mi>X</mi> <mo stretchy="false">)</mo> </mrow> <annotation>L^*(X)</annotation> </semantics> </math> of a smooth complex projective variety <math alttext="upper X"> <semantics> <mi>X</mi> <annotation>X</annotation> </semantics> </math> is the subalgebra of the cohomology algebra of <math alttext="upper X"> <semantics> <mi>X</mi> <annotation>X</annotation> </semantics> </math> generated by divisor classes. We construct smooth complex projective varieties whose Lefschetz algebras do not satisfy analogues of the hard Lefschetz theorem and Poincaré duality. </p>

mathematics, applied
Formal orbifolds and orbifold bundles in positive characteristic

Manish Kumar,A. J. Parameswaran

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

2015-12-10

Abstract:We define formal orbifolds over an algebraically closed field of arbitrary characteristic as curves together with some branch data. Their étale coverings and their fundamental groups are also defined. These fundamental group approximates the fundamental group of an appropriate affine curve. We also define vector bundles on these objects and the category of orbifold bundles on any smooth projective curve. Analogues of various statement about vector bundles which are true in characteristic zero are proved. Some of these are positive characteristic avatar of notions which appear in the second author's work ([Par]) in characteristic zero.

Algebraic Geometry,Number Theory
Varieties with Vanishing Holomorphic Euler Characteristic

Jungkai Alfred Chen,Olivier Debarre,Zhi Jiang

DOI: https://doi.org/10.1515/crelle-2012-0073

2012-01-01

Abstract:We study smooth complex projective varieties X of maximal Albanese dimension and of general type satisfying (chi)(X, O-X) = 0. We prove that the Albanese variety of X has at least three simple factors. Examples were constructed by Ein and Lazarsfeld, and we prove that in dimension 3, these examples are (up to abelian etale covers) the only ones. By results of 'lien, another source of examples is provided by varieties X of maximal Albanese dimension and of general type satisfying h(0) (X, omega(X)) = 1. Examples were constructed by Chen and Hawn, and again, we prove that in dimension 3, these examples are (up to abelian etale covers) the only ones. We also formulate a conjecture on the general structure of these varieties in all dimensions.
Simpson's correspondence on singular varieties in positive characteristic

Adrian Langer

2024-02-10

Abstract:The main aim of the paper is to provide analogues of Simpson's correspondence on singular projective varieties defined over an algebraically closed field of characteristic $p>0$. There are two main cases. In the first case, we consider analogues of numerically flat vector bundles on a big open subset of a normal projective variety (with arbitrary singularities). Here we introduce the S-fundamental group scheme for quasi-projective varieties that admit compactifications with complement of codimension $\ge 2$. We prove that this group scheme coincides with the S-funda\-men\-tal group scheme of the regular locus of any of its (small) projective compactification. In particular, it provides a new invariant for normal projective varieties isomorphic in codimension $1$. In the second case, we consider vector bundles with an integrable $\lambda$-connection on a normal projective variety $X$ that is (almost) liftable modulo $p^2$. In this case we restrict to varieties with $F$-liftable singularities that are analogous to log canonical singularities. We prove that a semistable Higgs vector bundle on the regular locus of $X$, with appropriately defined vanishing Chern classes, admits a canonical Higgs--de Rham flow. This provides an analogue of some results due to D. Greb, S. Kebekus, B. Taji and T. Peternell. Finally, we give some applications of the obtained results, also to varieties defined in characteristic zero.

Algebraic Geometry
The geometry of polynomial representations in positive characteristic

Arthur Bik,Jan Draisma,Andrew Snowden

2024-06-12

Abstract:A $\mathbf{GL}$-variety is a (typically infinite dimensional) variety modeled on the polynomial representation theory of the general linear group. In previous work, we studied these varieties in characteristic 0. In this paper, we obtain results in positive characteristic: for example, we prove a version of Chevalley's theorem on constructible sets. We give an application of our theory to strength of polynomials.

Algebraic Geometry,Representation Theory
Exceptional algebraic curves for infinite groups of $\textrm{PGL}(n,\mathbb{C})$

Angel Cano,Luis Loeza,Rodrigo Dávila Figueroa

2023-04-26

Abstract:We characterize algebraic curves in $\mathbb{P}^{n-1}_\mathbb{C}$ invariant under an infinite subgroup of $\textrm{PGL}(n,\mathbb{C})$, $n\geq 3$. More precisely, it is shown that given a one-dimensional algebraic set in $\mathbb{P}^{n-1}_\mathbb{C}$ which is invariant under an infinite subgroup of projective transformations should satisfy that each irreducible non-degenerate component is projectively equivalent to a monomial curve.

Algebraic Geometry,Dynamical Systems
The homotopy sequence of the algebraic fundamental group

Lei Zhang

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

2013-07-14

Abstract:In this note, we prove that the homotopy sequence of the algebraic fundamental group is exact if the base field is of characteristic 0.

Algebraic Geometry

On the algebraic fundamental group of smooth varieties in characteristic $p>0$

On an Algebraic Formula and Applications to Group Action on Manifolds

On flat bundles in characteristic 0 and $p>0$

Algebraic geometry in mixed characteristic

A relative version of Gieseker's problem on stratifications in characteristic $p>0$

On the fundamental group of a spherical variety

The algebra of symmetric tensors on smooth projective varieties

Semistable Higgs bundles and representations of algebraic fundamental groups: Positive characteristic case

Galois covers of singular curves in positive characteristics

On the ring of unipotent vector bundles on elliptic curves in positive characteristics

On the proalgebraic fundamental group of topological spaces and amalgamated products of affine group schemes

An obstruction to lifting to characteristic $0$

On vanishing of fundamental forms of algebraic varieties

Projective smooth representations in natural characteristic

Lefschetz classes on projective varieties

Formal orbifolds and orbifold bundles in positive characteristic

Varieties with Vanishing Holomorphic Euler Characteristic

Simpson's correspondence on singular varieties in positive characteristic

The geometry of polynomial representations in positive characteristic

Exceptional algebraic curves for infinite groups of $\textrm{PGL}(n,\mathbb{C})$

The homotopy sequence of the algebraic fundamental group