English
Related papers

Related papers: Sofic metric groups and continuous logic

200 papers

We show that for topological groups and loop contractible coefficients the cohomology groups of continuous group cochains and of group cochains that are continuous on some identity neighbourhood are isomorphic. Moreover, we show a similar…

Algebraic Topology · Mathematics 2013-02-14 Martin Fuchssteiner , Christoph Wockel

We provide an infinite family of sofic one-relator groups that are not residually solvable nor residually finite. The proof is essentially different from the one in [1], as it does not require just Magnus' decompositions.

Group Theory · Mathematics 2025-02-10 Federico Berlai

This paper overviews recent developments in the classification up to quasi-isometry of finitely generated groups, and more specifically of relatively hyperbolic groups.

Geometric Topology · Mathematics 2007-05-23 Cornelia Drutu

We define and study metrics and weak metrics on the Teichmueller space of a surface of topologically finite type with boundary. These metrics and weak metrics are associated to the hyperbolic length spectrum of simple closed curves and of…

Geometric Topology · Mathematics 2009-03-05 Lixin Liu , Athanase Papadopoulos , Weixu Su , Guillaume Théret

This survey paper concerns mainly with some asymptotic topological properties of finitely presented discrete groups: quasi-simple filtration (QSF), geometric simple connectivity (GSC), topological inverse-representations, and the notion of…

Geometric Topology · Mathematics 2018-04-17 Daniele Ettore Otera , Valentin Poénaru

We prove that the topological complexity of a finite index subgroup of a hyperbolic group is linear in its index. This follows from a more general result relating the size of the quotient of a free cocompact action of hyperbolic group on a…

Group Theory · Mathematics 2024-10-15 Nir Lazarovich

We consider a natural generalisation of the class of hyperbolic Kac-Moody algebras. We describe in detail the conditions under which these algebras are Lorentzian. We also construct their fundamental weights, and analyse whether they…

High Energy Physics - Theory · Physics 2008-11-26 Matthias R Gaberdiel , David I Olive , Peter C West

Two approaches to Lipschitz structures for any set are presented, studied and compared. The first approach is similar to the one proposed in Fraser, Jr. R. B., Axiom systems for Lipschitz structures, Fundamenta Mathematicae, (1970), where…

General Topology · Mathematics 2024-04-23 Tullio Valent

We consider the infinite symmetric group and its infinite index subgroup given as the stabilizer subgroup of one element under the natural action on a countable set. This inclusion of discrete groups induces a hyperfinite subfactor for each…

Operator Algebras · Mathematics 2013-05-06 Makoto Yamashita

We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…

Representation Theory · Mathematics 2019-11-19 Michael Bate , David I. Stewart

In this paper we extend the results on controllability of linear systems obtained in "Controllability of linear systems on solvable Lie groups", from solvable Lie groups to Lie groups with finite semisimple center.

Optimization and Control · Mathematics 2016-01-05 Adriano Da Silva , Victor Ayala

This work contains the following results: the trajectory fullness of the homoclinic groups, their connections with factors, K-property, weak multiple mixing; the ergodicity of the weakly homoclinic group for Gauss and Poisson actions; the…

Dynamical Systems · Mathematics 2019-01-28 V. V. Ryzhikov

In this paper we survey a new criteria for solvability of finite groups in terms of number of supersolvable (also known as polycyclic) and non-supersolvable subgroups. In particular, we present original examples of supersolvable groups such…

General Mathematics · Mathematics 2022-08-29 Primitivo B. Acosta-Humánez , Orieta Liriano , Francis Mora-Ferreras

In this note we study countable subgroups of the full group of a measure preserving equivalence relation. We provide various constraints on the group structure, the nature of the action, and on the measure of fixed point sets, that imply…

Group Theory · Mathematics 2023-09-27 Vadim Alekseev , Alessandro Carderi , Andreas Thom , Robin Tucker-Drob

Logics with team semantics provide alternative means for logical characterization of complexity classes. Both dependence and independence logic are known to capture non-deterministic polynomial time, and the frontiers of tractability in…

Logic in Computer Science · Computer Science 2019-03-27 Miika Hannula , Lauri Hella

A sofic group $G$ is said to be flexibly stable if every sofic approximation to $G$ can converted to a sequence of disjoint unions of Schreier graphs by modifying an asymptotically vanishing proportion of edges. We establish that if…

Group Theory · Mathematics 2019-10-01 Lewis Bowen , Peter Burton

The inevitable noise in real measurements motivates the problem to continuously quantify the similarity between rigid objects such as periodic time series and proteins given by ordered points and considered up to isometry maintaining…

Computational Geometry · Computer Science 2022-07-19 Vitaliy Kurlin

A subgroup of a finite group G is said to be second maximal if it is maximal in every maximal subgroup of G that contains it. A question which has received considerable attention asks: can every positive integer occur as the number of the…

Group Theory · Mathematics 2008-10-22 Alberto Basile

We define strongly continuous max-additive and max-plus linear operator semigroups and study their main properties. We present some important examples of such semigroups coming from non-linear evolution equations.

Functional Analysis · Mathematics 2017-12-11 Marjeta Kramar Fijavž , Aljoša Peperko , Eszter Sikolya

This paper proposes a new category theoretic account of equationally axiomatizable classes of algebras. Our approach is well-suited for the treatment of algebras equipped with additional computationally relevant structure, such as ordered…

Logic in Computer Science · Computer Science 2019-02-05 Stefan Milius , Henning Urbat