Omega-stable groups

Daniel Lascar

DOI: https://doi.org/10.1007/978-3-540-68521-0_3

2024-03-11

Lecture notes in mathematics

Abstract:This is a self-contained presentation of the theory of ω-stable groups. All proofs are given.

mathematics

What problem does this paper attempt to address?

An automorphism group of an omega-stable structure that is not locally (OB)

Joseph Zielinski

DOI: https://doi.org/10.48550/arXiv.1510.05552

2015-10-19

Logic

Abstract:We observe that there is an example of an automorphism group of a model of an omega-stable theory---in fact, the prime model of an uncountably-categorical theory---that is not locally (OB), answering a question of C. Rosendal.
Absorbing ideals: a survey on $ω$-stable groups

Bruno Moreira Fernandes

2024-01-21

Abstract:We introduce a new concept in the Absorbing Ideal Theory in commutative rings, that is, the $\omega$-stable groups. We will provide examples and non-examples of these groups, and establish their relationship with H-congruence. Ultimately, we will study the action of these groups considering the transitivity condition

Commutative Algebra
Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

Colin Jahel,Matthieu Joseph

2023-11-28

Abstract:Let $G$ be a closed permutation group on a countably infinite set $\Omega$, which acts transitively but not highly transitively. If $G$ is oligomorphic, has no algebraicity and weakly eliminates imaginaries, we prove that any probability measure preserving ergodic action $G\curvearrowright (X,\mu)$ is either essentially free or essentially transitive. As this stabilizers rigidity result concerns a class of non locally compact Polish groups, our methods of proof drastically differ from that of similar results in the realm of locally compact groups. We bring the notion of dissociation from exchangeability theory in the context of stabilizers rigidity by proving that if $G\lneq\mathrm{Sym}(\Omega)$ is a transitive, proper, closed subgroup, which has no algebraicity and weakly eliminates imaginaries, then any dissociated probability measure preserving action of $G$ is either essentially free or essentially transitive. A key notion that we develop in our approach is that of invariant random expansions, which are $G$-invariant probability measures on the space of expansions of the canonical (model theoretic) structure associated with $G$. We also initiate the study of invariant random subgroups for Polish groups and prove that - although the result for p.m.p. ergodic actions fails for the group $\mathrm{Sym}(\Omega)$ of all permutations of $\Omega$ - any ergodic invariant random subgroup of $\mathrm{Sym}(\Omega)$ is essentially transitive.

Dynamical Systems,Group Theory,Logic
Determinative Vertices of Interval Family with Ωθ-Stability

ZZ Wang,L Wang,WS Yu

DOI: https://doi.org/10.1006/jmaa.2001.7730

IF: 1.417

2002-01-01

Journal of Mathematical Analysis and Applications

Abstract:In this article, we pay attention to the stability of interval polynomials with regard to the Omega(theta) region. An analysis on how to generate the finite set, whose stability implies robust stability of the entire family, is given. Those results are intuitive and convenient to operate. (C) 2002 Elsevier Science (USA).
Stable Translation Lengths on Free Splitting Complexes I: The Two Over All Theorem and its Applications

Michael Handel,Lee Mosher

DOI: https://doi.org/10.48550/arXiv.2212.09907

2022-12-20

Abstract:The outer automorphism group $\text{Out}(\Gamma;\mathscr A)$ of a group $\Gamma$ relative to a free factor system $\mathscr A$ of $\Gamma$ acts by isometries on the relative free splitting complex $\mathcal{FS}(\Gamma;\mathscr A)$, which is Gromov hyperbolic. This is the first of a multipart study of stable translation lengths of elements of this action, a quantitative generalization of earlier work on $\text{Out}(F_n)$. In this first part we state and prove the Two Over All Theorem, expressing a uniform exponential growth property along Stallings fold paths in $\mathcal{FS}(\Gamma;\mathscr A)$, and we give two applications of that theorem. First, the natural map from the outer space $\mathscr O(\Gamma;\mathscr A)$ to the free splitting complex $\mathcal{FS}(\Gamma;\mathscr A)$ is coarsely Lipschitz, with respect to the log-Lipschitz semimetric on $\mathscr O(\Gamma;\mathscr A)$. Second, if $\phi \in \text{Out}(\Gamma;\mathscr A)$ has a filling attracting lamination with expansion factor $\lambda>1$ then the stable translation length of $\phi$ on $\mathcal{FS}(\Gamma;\mathscr A)$ has an upper bounded of the form $B \log(\lambda)$.

Group Theory
On the Homological Stability of Orthogonal and Spin Groups

Marco Schlichting,Sunny Sood

2024-12-10

Abstract:We prove homological stability results for the orthogonal group, special orthogonal group, elementary orthogonal group and the spin group with respect to the hyperbolic form. We prove homological stability over a commutative local ring $R$ with infinite residue field such that $2 \in R^{*}$. In the orthogonal case, this improves the range for homological stability given by Mirzaii by 1 and generalises the result obtained by Sprehn and Wahl to the case of local rings. In the special orthogonal case, this generalises the result obtained by Essert for infinite fields to the case of local rings, and is the first homological stability result for the special orthogonal group over a local ring. For the elementary orthogonal group, this is the first known homological stability result. For the spin group, this coincides with $H_{1}$-stability and $H_{2}$-stability results stated in Hahn-O'Meara, and is the first homological stability result that accounts for all homology groups.

K-Theory and Homology
The stable module category and model structures for hierarchically defined groups

Gregory Kendall

2024-09-24

Abstract:In this work we construct a compactly generated tensor-triangulated stable category for a large class of infinite groups, including those in Kropholler's hierarchy $\mathrm{LH}\mathfrak{F}$. This can be constructed as the homotopy category of a certain model category structure, which we show is Quillen equivalent to several other model categories, including those constructed by Bravo, Gillespie, and Hovey in their work on stable module categories for general rings. We also investigate the compact objects in this category. In particular, we give a characterisation of those groups of finite global Gorenstein AC-projective dimension such that the trivial representation $\mathbb{Z}$ is compact.

Category Theory,Group Theory
Stable automorphic forms for the general linear group

Jae-Hyun Yang

2024-01-03

Abstract:In this paper, we introduce the notion of the stability of automorphic forms for the general linear group and relate the stability of automorphic forms to the moduli space of real tori and the Jacobian real locus.

Number Theory,Algebraic Geometry
Stable functions and Følner's Theorem

Gabriel Conant

2024-10-23

Abstract:We show that if $G$ is an amenable group and $A\subseteq G$ has positive upper Banach density, then there is an identity neighborhood $B$ in the Bohr topology on $G$ that is almost contained in $AA^{-1}$ in the sense that $B\backslash AA^{-1}$ has upper Banach density $0$. This generalizes the abelian case (due to Følner) and the countable case (due to Beiglböck, Bergelson, and Fish). The proof is indirectly based on local stable group theory in continuous logic. The main ingredients are Grothendieck's double-limit characterization of relatively weakly compact sets in spaces of continuous functions, along with results of Ellis and Nerurkar on the topological dynamics of weakly almost periodic flows.

Dynamical Systems,Combinatorics,Group Theory,Logic
On the (non) superstable part of the free group

Chloé Perin,Rizos Sklinos

DOI: https://doi.org/10.48550/arXiv.1411.6253

2014-11-23

Abstract:In this short note we prove that a definable set $X$ over $\mathbb F_n$ is superstable only if $X(\mathbb F_n)=X(\mathbb F_{\omega})$.

Logic
A local approach to stability groups

Martin L. Newell,Marco Trombetti

DOI: https://doi.org/10.1007/s10801-024-01345-8

2024-06-26

Journal of Algebraic Combinatorics

Abstract:In this short note we prove a local version of Philip Hall's theorem on the nilpotency of the stability group of a chain of subgroups by only using elementary commutator calculus (Hall's theorem is a direct consequence of our result). This provides a new way of dealing with stability groups.

mathematics
Homological stability for general linear groups over Dedekind domains

Oscar Randal-Williams

2024-05-13

Abstract:We prove a new kind of homological stability theorem for automorphism groups of finitely-generated projective modules over Dedekind domains, which takes into account all possible stabilisation maps between these, rather than only stabilisation by the free module of rank 1. We show the same kind of stability holds for Clausen and Jansen's reductive Borel--Serre spaces.

Commutative Algebra,Algebraic Topology,K-Theory and Homology
Uniform -Stability Modulo a Subgroup

Y. Li,G. Tian,X. Zhu

DOI: https://doi.org/10.1070/sm9430

2021-01-01

Sbornik Mathematics

Abstract:In this paper, we prove a version of uniform K-stability for a pair (v, w) with respect to a reductive Lie group G modulo a subgroup G(0) of G.
Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

K. Nakayama,T. Sato,K. Terashima,H. Matsui,T. Takahashi,M. Kubota,K. Ono,T. Nishizaki,Y. Takahashi,N. Kobayashi

DOI: https://doi.org/10.1103/PhysRevB.75.014513

2006-11-20

Abstract:We have performed high-resolution angle-resolved photoemission spectroscopy on YBa2Cu3O7-delta (Y123; delta = 0.06; Tc = 92 K). By accurately determining the Fermi surface and energy band dispersion, we solve long-standing controversial issues as to the anomalous electronic states of Y-based high-Tc cuprates. We unambiguously identified surface-bilayer-derived bonding and antibonding bands, together with their bulk counterparts. The surface bands are highly overdoped (hole concentration x = 0.29), showing no evidence for the gap opening or the dispersion anomaly in the antinodal region, while the bulk bands show a clear dx2-y2-wave superconducting gap and the Bogoliubov quasiparticle-like behavior with a characteristic energy scale of 50-60 meV indicative of a strong electron-boson coupling in the superconducting state. All these results suggest that the metallic and superconducting states coexist at the adjacent bilayer of Y123 surface.

Superconductivity,Strongly Correlated Electrons
Stable tree expressions with Omega-classes and Double Ramification cycles

Xavier Blot,Danilo Lewański,Paolo Rossi,Sergei Shadrin

2024-03-08

Abstract:We propose a new system of conjectural relations in the tautological ring of the moduli space of curves involving stable rooted trees with level structure decorated by Hodge and {\Omega}-classes and prove these conjectures in different cases.

Algebraic Geometry,Mathematical Physics
Orbifolds and stable homotopy groups

Johann K. Leida

DOI: https://doi.org/10.48550/arXiv.math/0505431

2005-05-20

Algebraic Topology

Abstract:Lie groupoids generalize transformation groups, and so provide a natural language for studying orbifolds and other noncommutative geometries. In this paper, we investigate a connection between orbifolds and equivariant stable homotopy theory using such groupoids. A different sort of twisted sector, along with a classical theorem of tom Dieck, allows for a natural definition of stable orbifold homotopy groups, and motivates defining extended unstable orbifold homotopy groups generalizing previous definitions.
Quantitative structure of stable sets in finite abelian groups

C. Terry,J. Wolf

DOI: https://doi.org/10.48550/arXiv.1805.06847

2018-05-18

Abstract:We prove an arithmetic regularity lemma for stable subsets of finite abelian groups, generalising our previous result for high-dimensional vector spaces over finite fields of prime order. A qualitative version of this generalisation was recently obtained by the first author in joint work with Conant and Pillay, using model-theoretic techniques. In contrast, the approach in the present paper is highly quantitative and relies on several key ingredients from arithmetic combinatorics.

Logic,Combinatorics
Overgroups of exterior powers of an elementary group. Normalizers

Roman Lubkov,Ilia Nekrasov

DOI: https://doi.org/10.4171/DM/956

2024-04-24

Abstract:We establish two characterizations of an algebraic group scheme $\bigwedge^m GL_n$ over $\mathbb{Z}$. Geometrically, the scheme $\bigwedge^m GL_n$ is a stabilizer of an explicitly given invariant form or, generally, an invariant ideal of forms. Algebraically, $\bigwedge^m GL_n$ is isomorphic (as a scheme over $\mathbb{Z}$) to a normalizer of the elementary subgroup functor $\bigwedge^m E_n$ and a normalizer of the subscheme $\bigwedge^m SL_n$. Our immediate goal is to apply both descriptions in the "sandwich classification" of overgroups of the elementary subgroup. Additionally, the results can be seen as a solution of the linear preserver problem for algebraic group schemes over $\mathbb{Z}$, providing a more functorial description that goes beyond geometry of the classical case over fields.

Group Theory,Algebraic Geometry,Representation Theory
Group stability and Property (T)

Oren Becker,Alexander Lubotzky

DOI: https://doi.org/10.48550/arXiv.1809.00632

2019-02-22

Abstract:In recent years, there has been a considerable amount of interest in the stability of a finitely-generated group $\Gamma$ with respect to a sequence of groups $\left\{G_{n}\right\}_{n=1}^{\infty}$, equipped with bi-invariant metrics $\left\{d_{n}\right\}_{n=1}^{\infty}$. We consider the case $G_{n}=\operatorname{U}\left(n\right)$ (resp. $G_{n}=\operatorname{Sym}\left(n\right)$), equipped with the normalized Hilbert-Schmidt metric $d_{n}^{\operatorname{HS}}$ (resp. the normalized Hamming metric $d_{n}^{\operatorname{Hamming}}$). Our main result is that if $\Gamma$ is infinite, hyperlinear (resp. sofic) and has Property $\operatorname{(T)}$, then it is not stable with respect to $\left(\operatorname{U}\left(n\right),d_{n}^{\operatorname{HS}}\right)$ (resp. $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$). This answers a question of Hadwin and Shulman regarding the stability of $\operatorname{SL}_{3}\left(\mathbb{Z}\right)$. We also deduce that the mapping class group $\operatorname{MCG}\left(g\right)$, $g\geq 3$, and $\operatorname{Aut}\left(\mathbb{F}_n\right)$, $n\geq 3$, are not stable with respect to $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$. Our main result exhibits a difference between stability with respect to the normalized Hilbert-Schmidt metric on $\operatorname{U}\left(n\right)$ and the (unnormalized) $p$-Schatten metrics, since many groups with Property $\operatorname{(T)}$ are stable with respect to the latter metrics, as shown by De Chiffre-Glebsky-Lubotzky-Thom and Lubotzky-Oppenheim. We suggest a more flexible notion of stability that may repair this deficiency of stability with respect to $\left(\operatorname{U}\left(n\right),d_{n}^{\operatorname{HS}}\right)$ and $\left(\operatorname{Sym}\left(n\right),d_{n}^{\operatorname{Hamming}}\right)$.

Group Theory
On α-stability and linear stability of generated coherent systems

Abel Castorena,George H. Hitching

2024-09-19

Abstract:There is a well studied notion of GIT-stability for coherent systems over curves, which depends on a real parameter $\alpha$. For generated coherent systems, there is a further notion of stability derived from Mumford's definition of linear stability for varieties in projective space. Let $\alpha_S$ be close to zero and $\alpha_L \gg 0$. We show that a generated coherent system which is $\alpha_S$-stable and linearly stable is $\alpha_L$-stable, and give examples showing that without further assumptions, there are no other implications between these three types of stability. We observe that several of the systems constructed have stable dual span bundle, including systems which are not $\alpha$-semistable for any value of $\alpha$. We use this to prove a case of Butler's conjecture for systems of type $(2, d, 5)$.

Algebraic Geometry

Omega-stable groups

An automorphism group of an omega-stable structure that is not locally (OB)

Absorbing ideals: a survey on $ω$-stable groups

Stabilizers for ergodic actions and invariant random expansions of non-archimedean Polish groups

Determinative Vertices of Interval Family with Ωθ-Stability

Stable Translation Lengths on Free Splitting Complexes I: The Two Over All Theorem and its Applications

On the Homological Stability of Orthogonal and Spin Groups

The stable module category and model structures for hierarchically defined groups

Stable automorphic forms for the general linear group

Stable functions and Følner's Theorem

On the (non) superstable part of the free group

A local approach to stability groups

Homological stability for general linear groups over Dedekind domains

Uniform -Stability Modulo a Subgroup

Bulk and surface low-energy excitations in YBa2Cu3O7-d studied by high-resolution angle-resolved photoemission spectroscopy

Stable tree expressions with Omega-classes and Double Ramification cycles

Orbifolds and stable homotopy groups

Quantitative structure of stable sets in finite abelian groups

Overgroups of exterior powers of an elementary group. Normalizers

Group stability and Property (T)

On α-stability and linear stability of generated coherent systems