Related papers: Elementary geometric local-global principles for f…
We show pro-definability of spaces of definable types in various classical complete first order theories, including complete o-minimal theories, Presburger arithmetic, $p$-adically closed fields, real closed and algebraically closed valued…
Inspired by the work of Laumon on $\varepsilon$-factors and by Deligne's $1974$ letter to Serre, we give an explicit cohomological definition of $\varepsilon$-factors for $\ell$-adic Galois representations over henselian discrete valuation…
We classify all cubic extensions of any field of arbitrary characteristic, up to isomorphism, via an explicit construction involving three fundamental types of cubic forms. We deduce a classification of any Galois cubic extension of a…
Let $\ell$ be a prime number. We classify the subgroups $G$ of $\operatorname{Sp}_4(\mathbb{F}_\ell)$ and $\operatorname{GSp}_4(\mathbb{F}_\ell)$ that act irreducibly on $\mathbb{F}_\ell^4$, but such that every element of $G$ fixes an…
We consider nonhomogeneous fractional $p$-Laplace equations defined on a bounded nonsmooth domain which goes beyond the Lipschitz category. Under a sufficient flatness assumption on the domain in the sense of Reifenberg, we establish…
Suppose R is any localization of the ring of integers of a number field. We show that the K-theory of finitely generated R-modules, and the K-theory of locally compact R-modules, are Anderson duals in the K(1)-local homotopy category. The…
In this paper, we classify the possible group structures on the set of $R$-valued points of an abelian variety, where $R$ is any real closed field. We make use of a family of abelian varieties that, in effect, allows one to quantify over…
Let $A$ and $B$ be abelian varieties defined over the function field $k(S)$ of a smooth algebraic variety $S/k.$ We establish criteria, in terms of restriction maps to subvarieties of $S,$ for existence of various important classes of…
This is an introduction to author's ramification theory of a complete discrete valuation field with residue field whose p-basis consists of at most one element. New lower and upper filtrations are defined; cyclic extensions of degree p may…
For a quasi-projective scheme $X$ admitting a smooth compactification over a local field of residue characteristic $p > 0$, we construct a continuous reciprocity homomorphism from a tame class group to the abelian tame etale fundamental…
Let G be a finite group and p a prime dividing its order. We define new collections of p-subgroups of G. We study the homotopy relations among them and with the standard collections of p-subgroups. We determine their ampleness and sharpness…
We consider families of chain-cochain infinite complexes $\mathcal C$ of spaces with elements depending on a number of parameters, and endowed with a converging associative multiple product. The existence of left/right local/non-local…
On arithmetic surfaces over local rings of integers we examine whether any geometric point has a basis of \'etale neighborhoods whose $\mathfrak{c}$-completed \'etale homotopy types are of type $K(\pi,1)$ for a given full…
Let $B$ be a curve defined over an algebraically closed field $k$ and let $X\to B$ be an elliptic surface with base curve $B$. We investigate the geometry of everywhere locally trivial principal homogeneous spaces for $X$, i.e. elements of…
We consider graph properties that can be checked from labels, i.e., bit sequences, of logarithmic length attached to vertices. We prove that there exists such a labeling for checking a first-order formula with free set variables in the…
We provide a unified, elementary, topological approach to the classical results stating the continuity of the complex roots of a polynomial with respect to its coefficients, and the continuity of the coefficients with respect to the roots.…
In this paper we provide purely model-theoretic (algebraic) characterisations for classes definable in second-order logic and for pseudo-elementary classes (including PC and PC_{\Delta} classes). Classical results of this flavour include…
We show that dp-minimal valued fields are henselian and that a dp-minimal field admitting a definable type V topology is either real closed, algebraically closed or admits a non-trivial definable henselian valuation. We give classifications…
Finite Lorentz groups acting on 4-dimensional vector spaces coordinatized by finite fields with a prime number of elements are represented as homomorphic images of countable, rational subgroups of the Lorentz group acting on real…
Web spaces, wide web spaces and worldwide web spaces (alias C-spaces) provide useful generalizations of continuous domains. We present new characterizations of such spaces and their patch spaces, obtained by joining the original topology…