English
Related papers

Related papers: Definable groups and fields in t-minimal theories

200 papers

Groups of almost upper triangular infinite matrices with entries indexed by integers are studied. It is shown that, when the matrices are over a finite field, these groups admit a nondiscrete totally disconnected, locally compact group…

Group Theory · Mathematics 2019-12-17 Peter Groenhout , Colin D. Reid , George A. Willis

A tubular group $G$ is a finite graph of groups with $\mathbb{Z}^2$ vertex groups and $\mathbb{Z}$ edge groups. We characterize residually finite tubular groups: $G$ is residually finite if and only if its edge groups are separable. Methods…

Group Theory · Mathematics 2020-12-09 Nima Hoda , Daniel T. Wise , Daniel J. Woodhouse

We demonstrate that And\'ujar Guerrero, Thomas and Walsberg's results on definable compactness in o-minimal structures still hold true in definably complete locally o-minimal structures. As an application, we show that a definably simple…

Logic · Mathematics 2024-11-22 Masato Fujita

We introduce ideas from geometric group theory related to boundaries of groups. This is a mostly expository paper. We consider the visual boundary of a free abelian group, and show that it is an uncountable set with the trivial topology.

Metric Geometry · Mathematics 2009-11-23 Kyle Kitzmiller , Matt Rathbun

Sofic groups generalise both residually finite and amenable groups, and the concept is central to many important results and conjectures in measured group theory. We introduce a topological notion of a sofic boundary attached to a given…

Group Theory · Mathematics 2026-04-28 Vadim Alekseev , Martin Finn-Sell

In this article, we introduce an interesting topology-like concept concerning groups (and with almost the same method it can be defined for other algebraic systems). Given an arbitrary group $G$, we define a {\em topo-system} on $G$ as a…

Group Theory · Mathematics 2014-12-09 M. Shahryari

We show that if a field k contains sufficiently many elements(for instance, if k is infinite), and K is an algebraically closed field containing k, then every linear algebraic k-group over K is k-isomorphic to Aut(A\otimes_kK), where A is a…

Rings and Algebras · Mathematics 2007-05-23 Nikolai L. Gordeev , Vladimir L. Popov

Given a number field K, we consider families of critically separable rational maps of degree d over K possessing a certain fixed-point and multiplier structure. With suitable notions of isomorphism and good reduction between rational maps…

Number Theory · Mathematics 2019-02-20 Clayton Petsche

We study sets and groups definable in tame expansions of o-minimal structures. Let $\mathcal {\widetilde M}= \langle \mathcal M, P\rangle$ be an expansion of an o-minimal $\mathcal L$-structure $\cal M$ by a dense set $P$, such that three…

Logic · Mathematics 2019-10-02 Pantelis E. Eleftheriou , Ayhan Günaydin , Philipp Hieronymi

A topological group $G$ is called extremely amenable if every continuous action of $G$ on a compact space has a fixed point. This concept is linked with geometry of high dimensions (concentration of measure). We show that a von Neumann…

Operator Algebras · Mathematics 2007-09-03 Thierry Giordano , Vladimir Pestov

A linear system on a smooth complex algebraic surface gives rise to a family of smooth curves in the surface. Such a family has a topological monodromy representation valued in the mapping class group of a fiber. Extending arguments of…

Algebraic Geometry · Mathematics 2024-10-08 Nick Salter

We prove a dichotomy for o-minimal fields $\mathcal{R}$, expanded by a $T$-convex valuation ring (where $T$ is the theory of $\mathcal{R}$) and a compatible monomial group. We show that if $T$ is power bounded, then this expansion of…

Logic · Mathematics 2024-12-24 Elliot Kaplan , Christoph Kesting

We use a generalization of a construction by Ziegler to show that for any field $F$ and any countable collection of countable subsets $A_i \subseteq F, i \in \calI \subset \Z_{>0}$ there exist infinitely many fields $K$ of arbitrary…

Logic · Mathematics 2011-05-16 Alexandra Shlapentokh , Carlos Videla

An inner model M is MINIMAL if there is a class A such that <M,A> is amenable yet has no transitive proper elementary submodel. We study minimal universes in the context of 0#. For example we prove: If 0# exists then there is an inner model…

Logic · Mathematics 2008-02-03 Sy D. Friedman

In this paper we study the relation between the category of real Lie groups and that of groups definable in o-minimal expansions of the real field, which we will refer to as ``definable groups''. With this terminology, it is known…

Logic · Mathematics 2025-02-27 Alf Onshuus

We give a new proof of quantifier elimination in the theory of all ordered abelian groups in a suitable language. More precisely, this is only "quantifier elimination relative to ordered sets" in the following sense. Each definable set in…

Logic · Mathematics 2012-01-24 Raf Cluckers , Immanuel Halupczok

In this paper we study analogues of amenability for topological groups in the context of definable structures. We prove fixed point theorems for such groups. More importantly, we propose definitions for definable actions and continuous…

Logic · Mathematics 2018-12-14 Alf Onshuus , Luis Carlos Suárez

We study topological groups having all closed subgroups (totally) minimal and we call such groups c-(totally) minimal. We show that a locally compact c-minimal connected group is compact. Using a well-known theorem of Hall and Kulatilaka…

General Topology · Mathematics 2021-06-29 Wenfei Xi , Menachem Shlossberg

We characterize the fundamental group of a locally finite graph G with ends combinatorially, as a group of infinite words. Our characterization gives rise to a canonical embedding of this group in the inverse limit of the (free) fundamental…

Combinatorics · Mathematics 2009-10-30 Reinhard Diestel , Philipp Sprüssel

We study relatively minimal subgroups in topological groups. We find, in particular, some natural relatively minimal subgroups in unipotent groups which are defined over "good" rings. By "good" rings we mean archimedean absolute valued (not…

General Topology · Mathematics 2007-06-15 Menachem Shlossberg