English
Related papers

Related papers: Rigid models of Presburger arithmetic

200 papers

Mathematical theories are classified in two distinct classes : {\it rigid}, and on the other hand, {\it non-rigid} ones. Rigid theories, like group theory, topology, category theory, etc., have a basic concept - given for instance by a set…

General Mathematics · Mathematics 2010-05-13 Elemer E. Rosinger

We consider the relation between geometrically finite groups and their limit sets in infinite-dimensional hyperbolic space. Specifically, we show that a rigidity theorem of Susskind and Swarup ('92) generalizes to infinite dimensions, while…

Dynamical Systems · Mathematics 2015-09-25 Lior Fishman , David Simmons , Mariusz Urbański

Using linear algebraic methods we show that every (possibly infinite-dimensional) representation of a quiver with underlying graph $A_{\infty, \infty}$ is Krull-Schmidt, as long as the arrows in the quiver eventually point outward.

Representation Theory · Mathematics 2022-11-24 Nathaniel Gallup , Stephen Sawin

We obtain an infinite family of orthogonal hypergeometric groups, which are higher rank arithmetic groups. We also list cases of arithmetic hypergeometric groups whose real Zariski closure is O(2,3).

Group Theory · Mathematics 2014-02-12 Tyakal Venkataramana

We exhibit a family of infinite, finitely-presented, nilpotent-by-abelian groups. Each member of this family is a solvable S-arithmetic group that is related to Baumslag-Solitar groups, and everyone of these groups has a quasi-isometry…

Group Theory · Mathematics 2007-05-23 Kevin Wortman

We propose a notion of Frobenius-Perron dimension for certain free $\mathbb{Z}$-modules of infinite rank and compute it for the $\mathbb{Z}$-modules of finite dimensional complex representations of unitary groups with nonnegative dominant…

Algebraic Geometry · Mathematics 2022-02-24 Changzheng Li , Ryan M. Shifler , Mingzhi Yang , Chi Zhang

Strongly bounded groups are those groups for which every action by isometries on a metric space has orbits of finite diameter. Many groups have been shown to have this property, and all the known infinite examples so far have cardinality at…

Group Theory · Mathematics 2020-10-07 Samuel M. Corson , Saharon Shelah

We entirely classify definable sets up to definable bijections in $\mathbb{Z}$-groups, where the language is the one of ordered abelian groups. From this, we deduce, among others, a classification of definable families of bounded definable…

Logic · Mathematics 2018-01-17 Raf Cluckers , Immanuel Halupczok

We construct arithmetic Kleinian groups that are profinitely rigid in the absolute sense: each is distinguished from all other finitely generated, residually finite groups by its set of finite quotients. The Bianchi group…

Geometric Topology · Mathematics 2020-08-12 M. R. Bridson , D. B. McReynolds , A. W. Reid , R. Spitler

A theorem of Elekes and Szab\'{o} recognizes algebraic groups among certain complex algebraic varieties with maximal size intersections with finite grids. We establish a generalization to relations of any arity and dimension, definable in:…

Logic · Mathematics 2023-03-07 Artem Chernikov , Ya'acov Peterzil , Sergei Starchenko

We show that every stable UCT Kirchberg algebra has a principal \'etale groupoid model, and thus contains a C$^*$-diagonal. Every unital UCT Kirchberg algebra $A$ for which $[1_A]_0$ has infinite order in $K_0(A)$ is also covered by our…

Operator Algebras · Mathematics 2026-05-29 Samuel Evington , Philipp Sibbel

We extend the family of classical Schur algebras in type A, which determine the polynomial representation theory of general linear groups over an infinite field, to a larger family, the rational Schur algebras, which determine the rational…

Representation Theory · Mathematics 2007-11-17 Richard Dipper , Stephen Doty

In this paper, we introduce new general frameworks for estimating the maximal dimension of Hilbert cubes contained in finite truncations of arbitrary sets. As applications, we investigate Hilbert cubes in a range of arithmetic sets,…

Number Theory · Mathematics 2026-03-17 Ernie Croot , Junzhe Mao , Chi Hoi Yip

In this paper, we study the multi-rigidity problem in rational homogeneous spaces. A Schubert class is called multi-rigid if every multiple of it can only be represented by a union of Schubert varieties. We prove the multi-rigidity of…

Algebraic Geometry · Mathematics 2024-10-30 Yuxiang Liu , Artan Sheshmani , Shing-Tung Yau

We announce new methods for using prismatic cohomology to compute the K-groups of $\mathbb{Z}/p^n$ and related rings. We use computer algebra methods to compute these K-groups through a large range in specific cases and also obtain explicit…

K-Theory and Homology · Mathematics 2022-04-08 Benjamin Antieau , Achim Krause , Thomas Nikolaus

We classify up to coarse equivalence all countable abelian groups of finite torsion free rank. The Q-cohomological dimension and the torsion free rank are the two invariants that give us such classification. We also prove that any countable…

Group Theory · Mathematics 2008-03-05 J. Higes

This article investigates the subject of rigid compact complex manifolds. First of all we investigate the different notions of rigidity (local rigidity, global rigidity, infinitesimal rigidity, etale rigidity and strong rigidity) and the…

Algebraic Geometry · Mathematics 2016-09-27 Ingrid Bauer , Fabrizio Catanese

In this talk, I will survey recent progress made on the classification of von Neumann algebras arising from countable groups and their actions on probability spaces. In particular, I will present the first results which provide classes of…

Operator Algebras · Mathematics 2012-12-04 Adrian Ioana

We introduce N\'eron models of formally finite type for uniformly rigid spaces, and we prove that they generalize the notion of formal N\'eron models for rigid-analytic groups as it was defined by Bosch and Schl\"oter. Using this…

Algebraic Geometry · Mathematics 2011-06-14 Christian Kappen

In this paper we construct certain irreducible infinite dimensional representations of algebraic groups with Frobenius maps. In particular, a few classical results of Steinberg and Deligne & Lusztig on complex representations of finite…

Representation Theory · Mathematics 2014-05-06 Nanhua Xi