English
Related papers

Related papers: Strongly minimal reducts of ACVF

200 papers

In this document we prove: Let $\mathbb K=(K,+,\cdot,v,\Gamma)$ be an algebraically closed valued field and let $(G,\oplus)$ be a $\mathbb K$-definable group that is either the multiplicative group or contains a finite index subgroup that…

Logic · Mathematics 2023-09-20 Santiago Pinzon

We prove that if a strongly minimal non-locally modular reduct of an algebraically closed valued field of characteristic 0 contains +, then this reduct is bi-interpretable with the underlying field.

Logic · Mathematics 2015-09-11 Piotr Kowalski , Serge Randriambololona

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

Let $\mathcal M=\langle K;O\rangle$ be a real closed valued field and let $k$ be its residue field. We prove that every interpretable field in $\mathcal M$ is definably isomorphic to either $K$, $K(\sqrt{-1})$, $k$, or $k(\sqrt{-1})$. The…

Logic · Mathematics 2021-05-11 Assaf Hasson , Ya'acov Peterzil

We study infinite groups interpretable in three families of valued fields: $V$-minimal, power bounded $T$-convex, and $p$-adically closed fields. We show that every such group $G$ has unbounded exponent and that if $G$ is dp-minimal then it…

Logic · Mathematics 2024-04-09 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Let $\mathcal{K}=(K,v,\ldots)$ be a dp-minimal expansion of a non-trivially valued field of characteristic $0$ and $\mathcal{F}$ an infinite field interpretable in $\mathcal{K}$. Assume that $\mathcal{K}$ is one of the following: (i)…

Logic · Mathematics 2021-09-03 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Let $K$ be a $p$-adically closed field and $G$ a group interpretable in $K$. We show that if $G$ is definably semisimple (i.e. $G$ has no definable infinite normal abelian subgroups) then there exists a finite normal subgroup $H$ such that…

Logic · Mathematics 2022-11-02 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

Let $G$ be a simple algebraic group over an algebraically closed field $K$ of characteristic $p\geqslant 0$, let $H$ be a proper closed subgroup of $G$ and let $V$ be a nontrivial irreducible $KG$-module, which is $p$-restricted, tensor…

Group Theory · Mathematics 2016-05-23 Timothy C. Burness , Claude Marion , Donna M. Testerman

We prove that an infinite field interpretable in a $p$-adically closed field $K$ is definably isomorphic to a finite extension of $K$. The result remains true in any $P$-minimal field where definable functions are generically…

Logic · Mathematics 2021-03-30 Yatir Halevi , Assaf Hasson , Ya'acov Peterzil

We show that an infinite group $G$ definable in a $1$-h-minimal field admits a strictly $K$-differentiable structure with respect to which $G$ is a (weak) Lie group, and show that definable local subgroups sharing the same Lie algebra have…

Logic · Mathematics 2023-03-03 Juan Pablo Acosta , Assaf Hasson

Let $G$ be a simple linear algebraic group over an algebraically closed field $K$ of characteristic $p \geqslant 0$, let $H$ be a proper closed subgroup of $G$ and let $V$ be a nontrivial finite dimensional irreducible rational $KG$-module.…

Group Theory · Mathematics 2018-10-08 Timothy C. Burness , Donna M. Testerman

Let k be a field, let G be an affine algebraic k-group and V a finite-dimensional G-module. We say V is rigid if the socle series and radical series coincide for the action of G on each indecomposable summand of V; say V is geometrically…

Representation Theory · Mathematics 2025-01-20 Michael Bate , David I. Stewart

Let K be an algebraically closed field. For a graded K-Algebra R, we write cmdef R:=dim R -depth R. We show that for each reductive group G (over K) which is not linearly reductive, there exists a faithful G-module V such that cmdef…

Commutative Algebra · Mathematics 2007-11-30 Martin Kohls

We show that for $G$ a simple compact Lie group, the infinitesimal subgroup $G^{00}$ is bi-intepretable with a real closed valued field. We deduce that for $G$ an infinite definably compact group definable in an o-minimal expansion of a…

Logic · Mathematics 2021-07-14 Martin Bays , Ya'acov Peterzil

We prove Zilber's Trichotomy Conjecture for strongly minimal expansions of two-dimensional groups, definable in o-minimal structures: Theorem. Let M be an o-minimal expansion of a real closed field, (G;+) a 2-dimensional group definable in…

Logic · Mathematics 2021-04-13 Pantelis Eleftheriou , Assaf Hasson , Ya'acov Peterzil

For a local field $F$ we consider tamely ramified principal series representations $V$ of $G={\rm GL}_{d+1}(F)$ with coefficients in a finite extension $K$ of ${\mathbb Q}_p$. Let $I_0$ be a pro-$p$-Iwahori subgroup in $G$, let ${\mathcal…

Representation Theory · Mathematics 2014-08-15 Elmar Grosse-Klönne

We prove Zilber's trichotomy for reducts of ACVF expanding $(K,+)$ or $(K^*, \cdot)$.

Logic · Mathematics 2024-01-29 Alf Onshuus , Assaf Hasson , Santiago Pinzon

We prove several structural results on definably compact groups G in o-minimal expansions of real closed fields, such as (i) G is definably an almost direct product of a semisimple group and a commutative group, and (ii) the group (G, .) is…

Logic · Mathematics 2008-11-04 Ehud Hrushovski , Ya'acov Peterzil , Anand Pillay

For $G$ an algebraic group definable over a model of $\operatorname{ACVF}$, or more generally a definable subgroup of an algebraic group, we study the stable completion $\widehat{G}$ of $G$, as introduced by Loeser and the second author.…

Logic · Mathematics 2021-01-08 Martin Hils , Ehud Hrushovski , Pierre Simon

We consider interpretable topological spaces and topological groups in a $p$-adically closed field $K$. We identify a special class of "admissible topologies" with topological tameness properties like generic continuity, similar to the…

Logic · Mathematics 2022-08-23 Will Johnson
‹ Prev 1 2 3 10 Next ›