A note on fsg groups in p-adically closed fields
Let be a definable group in a -adically closed field . We show that has finitely satisfiable generics (fsg) if and only if is definably compact. The case was previously proved by Onshuus and Pillay.
Source author record
Will Johnson
Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.
ResearcherUnclaimed source record
Catalog footprint
Research overview
16works
3topics
1close collaborators
Published work
16 publications
preprint2022arXiv
Abelian groups definable in p-adically closed fields
Recall that a group G has finitely satisfiable generics (fsg) or definable f-generics (dfg) if there is a global type p on G and a small model M0 such that every left translate of p is finitely satisfiable in M0 or definable over M0, respectively. We show that any abelian group definable in a p-adically closed field is an extension of a definably compact fsg definable group by a dfg definable group. We discuss an approach which might prove a similar statement for interpretable abelian groups. In the case where G is an abelian group definable in the standard model Qp, we show that G0=G00, and that G is an open subgroup of an algebraic group, up to finite factors. This latter result can be seen as a rough classification of abelian definable groups in Qp.
Open access
preprint2022arXiv
On non-compact p-adic definable groups
Peterzil and Steinhorn proved that if a group G definable in an o-minimal structure is not definably compact, then G contains a definable torsion-free subgroup of dimension one. We prove here a p-adic analogue of the Peterzil-Steinhorn theorem, in the special case of abelian groups. Let G be an abelian group definable in a p-adically closed field M. If G is not definably compact then there is a definable subgroup H of dimension one which is not definably compact. In a future paper we will generalize this to non-abelian G.
Open access
preprint2022arXiv
Topologizing interpretable groups in p-adically closed fields
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 topology on definable subsets of Kn. We show every interpretable set has at least one admissible topology, and every interpretable group has a unique admissible group topology. We then consider definable compactness (in the sense of Fornasiero) on interpretable groups. We show that an interpretable group is definably compact if and only if it has finitely satisfiable generics (fsg), generalizing an earlier result on definable groups. As a consequence, we see that fsg is a definable property in definable families of interpretable groups, and that any fsg interpretable group defined over Qp is definably isomorphic to a definable group.
Open access
preprint2022arXiv
Type-definable NIP fields are Artin-Schreier closed
Let K be a type-definable infinite field in an NIP theory. If K has characteristic p>0, then K is Artin-Schreier closed (it has no Artin-Schreier extensions). As a consequence, p does not divide the degree of any finite separable extension of K. This generalizes a theorem of Kaplan, Scanlon, and Wagner.
Open access
preprint2021arXiv
Henselianity in NIP Fp-algebras
We prove an assortment of results on (commutative and unital) NIP rings, especially Fp-algebras. Let R be a NIP ring. Then every prime ideal or radical ideal of R is externally definable, and every localization S−1R is NIP. Suppose R is additionally an Fp-algebra. Then R is a finite product of Henselian local rings. Suppose in addition that R is integral. Then R is a Henselian local domain, whose prime ideals are linearly ordered by inclusion. Suppose in addition that the residue field R/m is infinite. Then the Artin-Schreier map R→R is surjective (generalizing the theorem of Kaplan, Scanlon, and Wagner for fields).
Open access
preprint2020arXiv
A criterion for uniform finiteness in the imaginary sorts
Let T be a theory. If T eliminates ∃∞, it need not follow that Teq eliminates ∃∞, as shown by the example of the p-adics. We give a criterion to determine whether Teq eliminates ∃∞. Specifically, we show that Teq eliminates ∃∞ if and only if ∃∞ is eliminated on all interpretable sets of "unary imaginaries." This criterion can be applied in cases where a full description of Teq is unknown. As an application, we show that Teq eliminates ∃∞ when T is a C-minimal expansion of ACVF.
Open access
preprint2020arXiv
Dp-finite fields I: infinitesimals and positive characteristic
We prove that NIP valued fields of positive characteristic are henselian. Furthermore, we partially generalize the known results on dp-minimal fields to dp-finite fields. We prove a dichotomy: if K is a sufficiently saturated dp-finite expansion of a field, then either K has finite Morley rank or K has a non-trivial Aut(K/A)-invariant valuation ring for a small set A. In the positive characteristic case, we can even demand that the valuation ring is henselian. Using this, we classify the positive characteristic dp-finite pure fields.
Open access
preprint2020arXiv
Dp-finite fields IV: the rank 2 picture
We investigate fields of characteristic 0 and dp-rank 2. While we do not obtain a classification, we prove that any unstable field of characteristic 0 and dp-rank 2 admits a unique definable V-topology. If this statement could be generalized to higher ranks, we would obtain the expected classification of fields of finite dp-rank. We obtain the unique definable V-topology by investigating the "canonical topology" defined in earlier work. Contrary to earlier expectations, the canonical topology need not be a V-topology. However, we are able to characterize the canonical topology (on fields of dp-rank 2 and characteristic 0) in terms of differential valued fields. This differential valued structure is obtained through a partial classification of "2-inflators," a sort of generalized valuation that arises naturally in fields of finite rank. Additionally, we give an example of a dp-rank 2 expansion of ACVF with a definable set of full rank and empty interior. This example interferes with certain strategies for proving the henselianity conjecture.
Open access
preprint2020arXiv
Dp-finite fields V: topological fields of finite weight
We prove that unstable dp-finite fields admit definable V-topologies. As a consequence, the henselianity conjecture for dp-finite fields implies the Shelah conjecture for dp-finite fields. This gives a conceptually simpler proof of the classification of dp-finite fields of positive characteristic. For n≥1, we define a local class of "Wn-topological fields", generalizing V-topological fields. A W1-topology is the same thing as a V-topology, and a Wn-topology is some higher-rank analogue. If K is an unstable dp-finite field, then the canonical topology is a definable Wn-topology for n=dp-rk(K). Every Wn-topology has between 1 and n coarsenings that are V-topologies. If the given Wn-topology is definable in some structure, then so are the V-topological coarsenings.
Open access
preprint2020arXiv
Dp-finite fields VI: the dp-finite Shelah conjecture
We prove the dp-finite case of the Shelah conjecture on NIP fields. If K is a dp-finite field, then K admits a non-trivial definable henselian valuation ring, unless K is finite, real closed, or algebraically closed. As a consequence, the conjectural classification of dp-finite fields holds. Additionally, dp-finite valued fields are henselian. Lastly, if K is an unstable dp-finite expansion of a field, then K admits a unique definable V-topology.
Open access
preprint2020arXiv
Forking and Dividing in Fields with Several Orderings and Valuations
We consider existentially closed fields with several orderings, valuations, and p-valuations. We show that these structures are NTP2 of finite burden, but usually have the independence property. Moreover, forking agrees with dividing, and forking can be characterized in terms of forking in ACVF, RCF, and pCF.
Open access
preprint2015arXiv
On dp-minimal fields
We classify dp-minimal pure fields up to elementary equivalence. Most are equivalent to Hahn series fields K((tΓ)) where Γ satisfies some divisibility conditions and K is Fpalg or a local field of characteristic zero. We show that dp-small fields (including VC-minimal fields) are algebraically closed or real closed.
Open access
preprint2012arXiv
Circular Planar Resistor Networks with Nonlinear and Signed Conductors
We consider the inverse boundary value problem in the case of discrete electrical networks containing nonlinear (non-ohmic) resistors. Generalizing work of Curtis, Ingerman, Morrow, Colin de Verdiere, Gitler, and Vertigan, we characterize the circular planar graphs for which the inverse boundary value problem has a solution in this generalized non-linear setting. The answer is the same as in the linear setting. Our method of proof never requires that the resistors behave in a continuous or monotone fashion; this allows us to recover signed conductances in many cases. We apply this to the problem of recovery in graphs that are not circular planar. We also use our results to make a frivolous knot-theoretic statement, and to slightly generalize a fact proved by Lam and Pylyavskyy about factorization schemes in their electrical linear group.
Open access
preprint2011arXiv
Combinatorial Game Theory, Well-Tempered Scoring Games, and a Knot Game
We begin by reviewing and proving the basic facts of combinatorial game theory. We then consider scoring games (also known as Milnor games or positional games), focusing on the "fixed-length" games for which all sequences of play terminate after the same number of moves. The theory of fixed-length scoring games is shown to have properties similar to the theory of loopy combinatorial games, with operations similar to onsides and offsides. We give a complete description of the structure of fixed-length scoring games in terms of the class of short partizan games. We also consider fixed-length scoring games taking values in the two-element boolean algebra, and classify these games up to indistinguishability. We then apply these results to analyze some positions in the knotting-unknotting game of Pechenik, Townsend, Henrich, MacNaughton, and Silversmith.
Open access
preprint2011arXiv
The Combinatorial Game Theory of Well-Tempered Scoring Games
We consider the class of "well-tempered" integer-valued scoring games, which have the property that the parity of the length of the game is independent of the line of play. We consider disjunctive sums of these games, and develop a theory for them analogous to the standard theory of disjunctive sums of normal-play partizan games. We show that the monoid of well-tempered scoring games modulo indistinguishability is cancellative but not a group, and we describe its structure in terms of the group of normal-play partizan games. We also classify Boolean-valued well-tempered scoring games, showing that there are exactly seventy, up to equivalence.
Open access
Research graph
See the researcher in context
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
Building this map preview
BZPEER is loading the nearby papers, people, topics and institutions for this page.