Related papers: Le lemme d'Abhyankar perfectoide
We prove a purity theorem for abelian schemes in arbitrary unramified mixed characteristic (0,p). The case p=2 is completely new and the case p>2 fixes several errors in the literature.
The paper constructs new Hecke endomorphism algebras with a stratified structure. A novel feature of the proof is to approach difficult Ext^1 vanishing conditions by building entire exact category structures in which the analogous vanishing…
An algebraically exact category in one that admits all of the limits and colimits which every variety of algebras possesses and every forgetful functor between varieties preserves, and which verifies the same interactions between these…
In this paper a characterisation is given of solvable complemented Lie algebras. They decompose as a direct sum of abelian subalgebras and their ideals relate nicely to this decomposition. The class of such algebras is shown to be a…
Suppose that $\pi \: Y \to X$ is a finite map of normal varieties over a perfect field of characteristic $p > 0$. Previous work of the authors gave a criterion for when Frobenius splittings on $X$ (or more generally any $p^{-e}$-linear map)…
We consider the problem of extending maps from algebras to their profinite completions in finitely generated quasivarieties. Our developments are based on the construction of the profinite completion of an algebra as its natural extension.…
Leibniz algebras are non-antisymmetric generalizations of Lie algebras that have attracted substantial interest due to their close relation with the latter class. A Leibniz algebra $A$ is called perfect if it coincides with its derived…
We discuss an "almost" version of Auslander regularity and use it to prove the Auslander regularity of various Banach algebras over non-discretely valued fields appearing naturally in $p$-adic locally analytic representation theory:…
We introduce the notion of almost representations of Lie algebras and quantum tori, and establish an Ulam-stability type phenomenon: every irreducible almost representation is close to a genuine irreducible representation. As an…
In this article, we study the $L^{2}$-harmonic forms on the complete $2n$-dimensional almost K\"{a}her manifold $X$. We observe that the $L^{2}$-harmonic forms can decomposition into Lefschetz powers of primitive forms. Therefore we can…
This article discusses ramification and the structure of relative K\"ahler differentials of extensions of valued fields. We begin by surveying the theory developed in recent work with Franz-Viktor Kuhlmann and Anna Rzepka constructing the…
Given a semifinite von Neumann algebra $\mathcal M$ equipped with a faithful normal semifinite trace $\tau$, we prove that the spaces $L^0(\mathcal M,\tau)$ and $\mathcal R_\tau$ are complete with respect to pointwise, almost uniform and…
This paper examines whether the concept of an almost-algebraic Lie algebra developed by Auslander and Brezin in \cite{ab} can be introduced for Leibniz algebras. Two possible analogues are considered: almost-reductive and almost-algebraic…
We present here quantitative versions in 1 dimension of Faltings'theorem according to which the set of the K-rational points (where K is a given number field) of an abelian variety A definied over K, which are close (with respect to a…
We introduce a new class of possibly infinite dimensional Lie algebras and study their structural properties. Examples of this new class of Lie algebras are finite dimensional simple Lie algebras containing a nonzero split torus, affine and…
Recently, Abbadini and Guffanti gave an algebraic proof of Herbrand's theorem using a completion for Lawvere doctrines that freely adds existential and universal quantifiers. A more direct argument can be given by only completing with…
In this paper we extend the unramified class field theory for arithmetic surfaces of K. Kato and S. Saito to the relative case. Let X be a regular proper arithmetic surface and let Y be the support of divisor on X. Let CH_0(X,Y) denote the…
We show that every smooth projective curve over a finite field k admits a finite tame morphism to the projective line over k. Furthermore, we construct a curve with no such map when k is an infinite perfect field of characteristic two. Our…
In this paper, we introduce the notion of quasi-$F$-splitting for rings in mixed characteristic. By comparing quasi-$F$-splitting with perfectoid purity, we obtain a new inversion of adjunction-type result. Furthermore, we study the…
We clarify the relationship between the linear commutator and the ordinary commutator by showing that in any variety satisfying a nontrivial idempotent Mal'cev condition the linear commutator is definable in terms of the centralizer…