Related papers: On the S-fundamental group scheme

We define the abelian fundamental group with modulus of a regular flat scheme over a discrete valuation ring, taking into account wild ramification along a divisor. Our definition provides a mixed-characteristic analogue of the abelian…

Let $k$ be a field, $X$ a connected scheme proper over $k$, $D\subsetneq X$ an ample effective connected divisor, $x\in D(k)$. For Tannakian categories $\mathcal{C}_X$ and $\mathcal{C}_D$ whose objects consist of vector bundles on $X$ and…

We show that the classification of simple finite group schemes over an algebraically closed field reduces to the classification of abstract simple finite groups and of simple restricted Lie algebras in positive characteristic. Both these…

In \cite{armstrong}, M. Armstrong proved a beautiful result describing fundamental groups of quotient spaces. In this paper we prove an analogue of Armstrong's theorem in the setting of $F$-divided \cite{dS07} and essentially finite…

We establish a Grothendieck--Lefschetz theorem for smooth ample subvarieties of smooth projective varieties over an algebraically closed field of characteristic zero and, more generally, for smooth subvarieties whose complement has small…

Let $k$ be an infinite finitely generated field of characteristic $p>0$. Fix a separated scheme $X$ smooth, geometrically connected, and of finite type over $k$ and a smooth proper morphism $f:Y\rightarrow X$. The main result of this paper…

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…

We establish the existence of Springer isomorphisms for reductive group schemes over general base schemes. For this, we first study centralizers of fiberwise regular sections of reductive group schemes, and we establish their flatness in…

Let $k$ be an algebraically closed field of characteristic $p>0$ and let $C/k$ be a smooth connected affine curve. Denote by $\pi_1(C)$ its algebraic fundamental group. The goal of this paper is to characterize a certain subset of closed…

We prove that the Local Fundamental Group Scheme satisfies the Lefschetz - Bott theorems in characteristic p. The proofs are standard applications of the Enriques-Severi -Zariski-Serre vanishing theorems and known facts about the…

For a given flag variety, we characterize the primes $p$ for which there exists a weight $\lambda$ such that the Hard Lefschetz Theorem holds for multiplication by $\lambda$ on the cohomology of the flag variety with coefficients in an…

The smallness is proved of fundamental groups for arithmetic schemes. This is a higher dimensional analogue of the Hermite-Minkowski theorem. We also refer to the case of varieties over finite fields. As an application, we prove certain…

These notes are an introduction to and an overview of the theory of algebraic surfaces over algebraically closed fields of positive characteristic. After some background in characteristic-p-geometry, we sketch the Kodaira-Enriques…

This is a survey paper on algebraic surfaces in positive characteristic based on a series of lectures that the author gave at the University of Edinburgh in March 2023. It is focused on certain positive characteristic phenomena like…

We make quantitative improvements to recently obtained results on the structure of the image of a large difference set under certain quadratic forms and other homogeneous polynomials. Previous proofs used deep results of Benoist-Quint on…

It was recently proven by Esnault, Shusterman and the second named author, that the \'etale fundamental group of a connected smooth projective variety over an algebraically closed field $k$ is finitely presented. In this note, we extend…

We study the problem of deformation quantization for (algebraic) symplectic manifolds over a base field of positive characteristic. We prove a reasonably complete classification theorem for one class of such quantizations; in the course of…

By relying on a new approach to Lefschetz type questions based on Beilinson's singular support and Saito's characteristic cycle, we prove an instance of the wild Lefschetz theorem envisioned by Deligne. Our main tool are new finiteness…

We prove a version of the Lefschetz hyperplane theorem for fppf cohomology with coefficients in any finite commutative group scheme over the ground field. As consequences, we establish new Lefschetz results for the Picard scheme.

In this paper, the notion of local algebraic fundamental groups of normal complex analytic singularities are generalized to certain profinite groups called $D$-local algebraic fundamental groups which turns out to be useful even for the…