English
Related papers

Related papers: Valued fields, Metastable groups

200 papers

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…

Algebraic Geometry · Mathematics 2023-05-31 Nathanial Lowry

The rules governing the essentially algebraic notion of a category with families have been observed (independently) by Steve Awodey and Marcelo Fiore to precisely match those of a representable natural transformation between presheaves.…

Category Theory · Mathematics 2021-03-11 Clive Newstead

The paper deals with Henselian valued field with analytic structure. Actually, we are focused on separated analytic structures, but the results remain valid for strictly convergent analytic ones as well. A classical example of the latter is…

Algebraic Geometry · Mathematics 2018-11-29 Krzysztof Jan Nowak

We prove that, given a finitely generated subgroup $H$ of a free group $F$, the following questions are decidable: is $H$ closed (dense) in $F$ for the pro-(met)abelian topology? is the closure of $H$ in $F$ for the pro-(met)abelian…

Group Theory · Mathematics 2023-05-25 Claude Marion , Pedro V. Silva , Gareth Tracey

Let $V$ be a complete discrete valuation ring with residue field $\mathbb{F}$. We define a cyclic homology theory for algebras over $\mathbb{F}$, by lifting them to free algebras over $V$, which we enlarge to tube algebras and complete…

K-Theory and Homology · Mathematics 2024-10-29 Ralf Meyer , Devarshi Mukherjee

For every natural number $m$, the existentially closed models of the theory of fields with $m$ commuting derivations can be given a first-order geometric characterization in several ways. In particular, the theory of these differential…

Logic · Mathematics 2013-01-04 David Pierce

We study the Vapnik-Chervonenkis (VC) density of definable families in certain stable first-order theories. In particular we obtain uniform bounds on VC density of definable families in finite U-rank theories without the finite cover…

Logic · Mathematics 2016-02-10 M. Aschenbrenner , A. Dolich , D. Haskell , D. Macpherson , S. Starchenko

We expand our previously founded basic theory of equiresidual algebraic geometry over an arbitrary commutative field, to a well-behaved theory of (equiresidual) algebraic varieties over a commutative field, thanks to the generalisation of…

Algebraic Geometry · Mathematics 2020-03-17 Jean Barbet-Berthet

In this version small mistakes are corrected and the exposition is changed as suggested by the referee (to appear in Canadian Journal of Mathematics). The first main result of the paper is a criterion for a partially commutative group $\GG$…

Group Theory · Mathematics 2008-07-28 Montserrat Casals-Ruiz , Ilya V. Kazachkov

In a stable abelian group, we characterize generic types of cosets of type-definable subgroups.

Logic · Mathematics 2007-05-23 Martin Ziegler

We study infinite groups interpretable in power bounded $T$-convex, $V$-minimal or $p$-adically closed fields. We show that if $G$ is an interpretable definably semisimple group (i.e., has no definable infinite normal abelian subgroups)…

Logic · Mathematics 2025-08-06 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We study the problem of realizing families of subgroups as the set of stabilizers of configurations from a subshift of finite type (SFT). This problem generalizes both the existence of strongly and weakly aperiodic SFTs. We show that a…

Dynamical Systems · Mathematics 2024-06-07 Nicolás Bitar

Let p=tp(a/A) be a stationary type in an arbitrary finite rank stable theory, and P an A-invariant family of partial types. The following property is introduced and characterised: whenever c is definable over (A,a) and a is not algebraic…

Logic · Mathematics 2013-12-19 Rahim Moosa , Anand Pillay

Let $A$ be an abelian variety over an algebraically closed field. We show that $A$ is the automorphism group scheme of some smooth projective variety if and only if $A$ has only finitely many automorphisms as an algebraic group. This…

Algebraic Geometry · Mathematics 2021-05-24 Jérémy Blanc , Michel Brion

We introduce the notion of a neutral representation of a finite group, or finite group scheme, $G$; a representation $V$ with the property that if a gerbe $\mathcal{G}$ over a field $k$ that is a form of the classifying stack $\mathcal{B}…

Algebraic Geometry · Mathematics 2026-03-24 Giulio Bresciani , Angelo Vistoli , Tianzhi Yang

We analyze definably compact groups in o-minimal expansions of ordered groups as a combination of semi-linear groups and groups definable in o-minimal expansions of real closed fields. The analysis involves structure theorems about their…

Logic · Mathematics 2012-02-28 Pantelis Eleftheriou , Ya'acov Peterzil

We show that the theory of algebraically closed fields with multiplicative circular orders has a model companion $\mathrm{ACFO}$. Using number-theoretic results on character sums over finite fields, we show that if $\mathbb{F}$ is an…

Logic · Mathematics 2019-07-17 Chieu-Minh Tran

We consider $G$, a linear group defined over $k$, an algebraically closed field. By considering $k$ as an embedded residue field of an algebraically closed valued field $K$, we can associate to it a compact $G$-space $S^\mu_G(k)$,…

Logic · Mathematics 2022-08-09 Moshe Kamensky , Sergei Starchenko , Jinhe Ye

This paper is about the $dfg$/$fsg$ decomposition for groups $G$ definable in $p$-adically closed fields. It is proved that for $G$ definably amenable, $G$ has a definable normal $dfg$ subgroup $H$ such that the quotient $G/H$ is a…

Logic · Mathematics 2026-01-29 Anand Pillay , Ningyuan Yao , Zhentao Zhang

This article is a survey of conjectures and results on reductive algebraic groups having good reduction at a suitable set of discrete valuations of the base field. Until recently, this subject has received relatively little attention, but…

Number Theory · Mathematics 2020-08-18 Andrei S. Rapinchuk , Igor A. Rapinchuk
‹ Prev 1 3 4 5 6 7 10 Next ›