Related papers: Arithmetic hyperbolicity and a stacky Chevalley-We…

We give rigidity results for the discrete Bonnet-Myers diameter bound and the Lichnerowicz eigenvalue estimate. Both inequalities are sharp if and only if the underlying graph is a hypercube. The proofs use well-known semigroup methods as…

This paper extends the affine Springer theory developed by Bouthier, Kazhdan, and the second author (see [BKV]) to the mixed characteristic case. In particular, we introduce a theory of perfectly placid perfect infinity stacks and establish…

We explicate a number of notions of algebraic laminations existing in the literature, particularly in the context of an exact sequence $$1\to H\to G \to Q \to 1 $$ of hyperbolic groups. These laminations arise in different contexts:…

The goal of this paper is to introduce a new constructive geometric proof of the affine version of Chevalley's Theorem. This proof is algorithmic and a verbatim implementation resulted in an efficient code for computing the constructible…

We prove a function-field version of Chebotarev's density theorem in the framework of difference algebraic geometry by developing the notion of Galois coverings of generalised difference schemes, and using Hrushovski's twisted Lang-Weil…

The paper contains a general construction which produces new examples of non simply-connected smooth projective surfaces. We analyze the resulting surfaces and their fundamental groups. Many of these fundamental groups are expected to be…

Using the Tannakian formalism, we formulate conjectural analogs of Chebotar\"ev's Density Theorem for $F$-isocrystals over a smooth geometrically irreducible variety defined over a finite field. We prove these analogs for several large…

In the first part of this paper, we establish some results around generalized Borel's Theorem. As an application, in the second part, we construct example of smooth surface of degree $d\geq 19$ in $\mathbb{CP}^3$ whose complements is…

Let $X$ be a smooth projective curve of genus $\geq2$ over a number field. A natural variant of Grothendieck's Section Conjecture postulates that every section of the fundamental exact sequence for $X$ which everywhere locally comes from a…

For any affine Hopf algebra $H$ which admits a large central Hopf subalgebra, $H$ can be endowed with a Cayley-Hamilton Hopf algebra structure in the sense of De Concini-Procesi-Reshetikhin-Rosso. The category of finite-dimensional modules…

We obtain Hausdorff-Young inequalities for the one-dimensional Cherednik--Opdam transform and its inverse, and we establish a real Paley-Wiener theorem for its inverse that generalizes an analogous result by N. B. Andersen for the Jacobi…

Shafarevich conjecture/problem is about the finiteness of isomorphism classes of a family of varieties defined over a number field with good reduction outside a finite collection of places. For K3 surfaces, such a finiteness result was…

We give a homotopy theoretic characterization of stacks on a site $\cC$ as the {\it homotopy sheaves} of groupoids on $\cC$. We use this characterization to construct a model category in which stacks are the fibrant objects. We compare…

We prove a generalized vanishing theorem for certain quasi-coherent sheaves along the derived blow-ups of quasi-smooth derived Artin stacks. We give four applications of the generalized vanishing theorem: we prove a $K$-theoretic version of…

We prove a finiteness theorem for the first flat cohomology group of finite flat group schemes over integral normal proper varieties over finite fields. As a consequence, we can prove the invariance of the finiteness of the Tate-Shafarevich…

We prove an existence theorem for jet differentials on complete intersection varieties that generalizes a theorem of S. Diverio. We also show that one can readily deduce hyperbolicity for generic complete intersections of high multidegree…

Chevalley's theorem states that for any simple finite dimensional Lie algebra G (1) the restriction homomorphism of the algebra of polynomials on G onto the Cartan subalgebra H induces an isomorphism between the algebra of G-invariant…

To a generic holomorphic vector bundle on an algebraic curve and an irreducible finite-dimensional representation of a semisimple Lie algebra, we assign a representation of the corresponding affine Krichever--Novikov algebra in the space of…

The hyperbolicity statements for subvarieties and complements of hypersurfaces in abelian varieties admit arithmetic analogues, due to Faltings (and Vojta for the semi-abelian case). In Atti Accad. Naz. Lincei Rend. Lincei Mat. Appl. 29…

In this note we remark that Chevalley's ambiguous class number formula is an immediate consequence of the Hasse norm theorem, the local and global norm index theorems for cyclic extensions.