Related papers: Drinfeld's lemma for algebraic stacks
Consider the set of solutions to a system of polynomial equations in many variables. An algebraic manifold is an open submanifold of such a set. We introduce a new method for computing integrals and sampling from distributions on algebraic…
We prove an estimate on denominators of rational Drinfeld associators. To obtain this result, we prove the corresponding estimate for the p-adic associators stable under the action of suitable elements of Gal(\bar{Q}/Q). As an application,…
Following the analysis of differentiable mappings of Y. Yomdin, M. Gromov has stated a very elegant "Algebraic Lemma" which says that the "differentiable size" of an algebraic subset may be bounded in terms only of its dimension, degree and…
We define the notion of fundamental group of an algebraic stack, prove a comparison theorem between the fundamental group of a stack over the complex numbers and that of the associated analytic orbifold, show that this notion coincides with…
We prove a triangulation theorem for semi-algebraic sets over a p-adically closed field, quite similar to its real counterpart. We derive from it several applications like the existence of flexible retractions and splitting for…
We will discuss $\infty$-categorical perverse $p$-adic differential equations over stacks. On one hand, we are going to study some $p$-adic analogous results of the Drinfeld's original lemma about the \'etale fundamental groups in the…
The aim of this article is twofold: first, improve the multiplicity estimate obtained by the second author for Drinfeld quasi-modular forms; and then, study the structure of certain algebras of "almost-$A$-quasi-modular forms"
We view the inertia construction of algebraic stacks as an operator on the Grothendieck groups of various categories of algebraic stacks. We show that the inertia operator is locally finite and diagonalizable. This is proved for the…
In this short note we prove a lemma about the dimension of certain algebraic sets of matrices. This result is needed in our paper arXiv:1201.1672. The result presented here has also applications in other situations and so it should appear…
Separation Logic with inductive definitions is a well-known approach for deductive verification of programs that manipulate dynamic data structures. Deciding verification conditions in this context is usually based on user-provided lemmas…
We prove a ``general shrinking lemma'' that resembles the Schwarz--Pick--Ahlfors Lemma and its many generalizations, but differs in applying to maps of a finite disk into a disk, rather than requiring the domain of the map to be complete.…
In the arithmetic of function fields, Drinfeld modules play the role that elliptic curves play in the arithmetic of number fields. The aim of this paper is to study a non-existence problem of Drinfeld modules with constrains on torsion…
Differential linear logic (DiLL) provides a fine analysis of resource consumption in cut-elimination. We investigate the subsystem of DiLL without promotion in a deep inference formalism, where cuts are at an atomic level. In our system…
We present a new notion of distribution and derived distribution of rank $r \in \mathbb{N}$ for a global function field $K$ with a distinguished place $\infty$. It allows to describe the relations between division points, isogenies, and…
We prove an equidistribution result for torsion points of Drinfeld modules of generic characteristic. We also show that similar equidistribution statements provide proofs for the Manin-Mumford and the Bogomolov conjectures for Drinfeld…
A new proof of an old theorem of Drinfeld concerning the representability of the moduli problem of special formal $\mathcal{O}_{D}$-modules by Deligne's $p$-adic formal model of Drinfeld's upper half-plane is given for $d=2.$ The display…
We consider the formal reduction of a system of linear differential equations and show that, if the system can be block-diagonalised through transformation with a ramified Shearing-transformation and following application of the Splitting…
We give criteria for certain morphisms from an algebraic stack to a (not necessarily algebraic) stack to admit an (appropriately defined) scheme-theoretic image. We apply our criteria to show that certain natural moduli stacks of local…
We develop a theory of good moduli spaces for derived Artin stacks, which naturally generalizes the classical theory of good moduli spaces introduced by Alper. As such, many of the fundamental results and properties regarding good moduli…
The aim of this article is to give an elementary proof of the fact that the Schwarz-Pick Lemma follows from the Ahlfors-Schwarz-Pick Lemma.