English
Related papers

Related papers: Hensel minimality, $p$-adic exponentiation and Tat…

200 papers

The Tate conjecture has two parts: i) Tate classes are linear combination of algebraic classes, ii) semisimplicity of Galois representations (for smooth projective varieties). B. Moonen proved that i) implies ii) in characteristic 0, using…

Algebraic Geometry · Mathematics 2023-03-14 Yves André

Pseudoexponential fields are exponential fields similar to complex exponentiation satisfying the Schanuel Property, which is the abstract statement of Schanuel's Conjecture, and an adapted form of existential closure. Here we show that if…

Number Theory · Mathematics 2017-02-01 Vincenzo Mantova

We study ordinary abelian schemes in characteristic $p$ and their moduli spaces from the perspective of char $p$ Mumford--Tate, log Ax--Lindemann, and geometric Andr\'e--Oort conjectures (abbreviated as $\MTT_p$, $\mathrm{logAL}_p$ and…

Number Theory · Mathematics 2025-12-02 Ruofan Jiang

We deduce a special case of Zilber's quasiminimality conjecture, for the complex exponential field, from work of Henson and Rubel. Specifically, we deal with those subsets of $\mathbb{C}$ defined by formulas of the form…

Logic · Mathematics 2016-08-24 Gareth Boxall

Recently, Cluckers, Halupczok and Rideau-Kikuchi developed a new axiomatic framework for tame non-Archimedean geometry, called Hensel minimality. It was extended to mixed characteristic together with the author. Hensel minimality aims to…

Logic · Mathematics 2024-01-04 Floris Vermeulen

We consider surfaces immersed in three-dimensional pseudohermitian manifolds. We define the notion of (p-)mean curvature and of the associated (p-)minimal surfaces, extending some concepts previously given for the (flat) Heisenberg group.…

Differential Geometry · Mathematics 2008-04-16 Jih-Hsin Cheng , Jenn-Fang Hwang , Andrea Malchiodi , Paul Yang

We provide a type-theoretical characterization of weakly-normalizing terms in an infinitary lambda-calculus. We adapt for this purpose the standard quantitative (with non-idempotent intersections) type assignment system of the…

Logic in Computer Science · Computer Science 2016-10-21 Pierre Vial

For $C$ a complete algebraically closed extension of $\mathbb{Q}_p$, we show that a one-dimensional $p$-divisible group $G/ \mathcal{O}_C$ can be defined over a complete discretely valued subfield $L \subset C$ with Hodge-Tate period ratios…

Number Theory · Mathematics 2020-03-26 Sean Howe

For a classical group over a non-archimedean local field of odd residual characteristic p, we prove that two cuspidal types, defined over an algebraically closed field C of characteristic different from p, intertwine if and only if they are…

Representation Theory · Mathematics 2020-09-01 Robert Kurinczuk , Daniel Skodlerack , Shaun Stevens

We study the geometry of germs of definable (semialgebraic or subanalytic) sets over a $p$-adic field from the metric, differential and measure geometric point of view. We prove that the local density of such sets at each of their points…

Logic · Mathematics 2012-10-23 R. Cluckers , G. Comte , F. Loeser

We represent minimal upper gradients of Newtonian functions, in the range $1\le p<\infty$, by maximal directional derivatives along "generic" curves passing through a given point, using plan-modulus duality and disintegration techniques. As…

Metric Geometry · Mathematics 2024-03-13 Sylvester Eriksson-Bique , Elefterios Soultanis

In a paper of Tate and the author, we conjectured a uniform bound for the p-adic distance of torsion points on a semiabelian variety, not lying in a subvariety, to that subvariety. We survey the progress made on that conjecture and on…

Number Theory · Mathematics 2025-10-13 José Felipe Voloch

We establish properties of families of automorphic representations as we vary prescribed supercuspidal representations at a given finite set of primes. For the tame supercuspidals constructed by J.-K. Yu we prove the limit multiplicity…

Representation Theory · Mathematics 2019-12-23 Ju-Lee Kim , Sug Woo Shin , Nicolas Templier

Let $\mathcal{K}:=(K;+,\cdot, D, 0, 1)$ be a differentially closed field of characteristic $0$ with field of constants $C$. In the first part of the paper we explore the connection between Ax-Schanuel type theorems (predimension…

Logic · Mathematics 2020-08-10 Vahagn Aslanyan

In this paper, we consider an infinite dimensional exponential family, $\mathcal{P}$ of probability densities, which are parametrized by functions in a reproducing kernel Hilbert space, $H$ and show it to be quite rich in the sense that a…

Statistics Theory · Mathematics 2017-05-29 Bharath Sriperumbudur , Kenji Fukumizu , Arthur Gretton , Aapo Hyvärinen , Revant Kumar

In this paper we revisit some facts about thin interpolating sequences in the unit disc from three perspectives: uniform algebras, model spaces, and $H^p$ spaces. We extend the notion of asymptotic interpolation to $H^p$ spaces, for $1 \leq…

Complex Variables · Mathematics 2016-02-08 Pamela Gorkin , Sandra Pott , Brett D. Wick

We study the notion of dp-minimality, beginning by providing several essential facts, establishing several equivalent definitions, and comparing dp-minimality to other minimality notions. The rest of the paper is dedicated to examples. We…

Logic · Mathematics 2009-11-12 Alfred Dolich , John Goodrick , David Lippel

This paper addresses some questions about dimension theory for P-minimal structures. We show that, for any definable set A, the dimension of the frontier of A is strictly smaller than the dimension of A itself, and that A has a…

Logic · Mathematics 2015-09-01 Pablo Cubides-Kovacsics , Luck Darnière , Eva Leenknegt

Let $T$ be the Student one- or two-sample $t$-, $F$-, or Welch statistic. Now release the underlying assumptions of normality, independence and identical distribution and consider a more general case where one only assumes that the vector…

Statistics Theory · Mathematics 2014-10-23 Dmitrii Zholud

Through careful analysis of types inspired by [AGTW21] we characterize a notion of definable compactness for definable topologies in general o-minimal structures, generalizing results from [PP07] about closed and bounded definable sets in…

Logic · Mathematics 2021-11-09 Pablo Andújar Guerrero