English
Related papers

Related papers: On definable J-sets

200 papers

We explore the relationship between subgroups and the possible shifts of finite type (SFTs) that can be defined on the group. In particular, we investigate two group invariants, weak periodicity and strong periodicity, defined via symbolic…

Group Theory · Mathematics 2015-09-15 David Carroll , Andrew Penland

Let $X$ be a definable group definable over a small model $M_0$. Recall that a global type $p$ on $X$ is definable $f$-generic over $M_0$ if every left translate of $p$ is definable over $M_0$. We call $p$ strongly $f$-generic over $M_0$ if…

Logic · Mathematics 2023-11-01 Ningyuan Yao , Zhentao Zhang

We study the definable topological dynamics $(G,S_G(M))$ of a definable group acting on its type space, where $M$ is a structure and $G$ is a group definable in $M$. In \cite{Newelski-I}, Newelski raised a question of whether weakly generic…

Logic · Mathematics 2023-02-22 Ningyuan Yao , Zhentao Zhang

In this paper, using definability of types over indiscernible sequences as a template, we study a property of formulas and theories called "uniform definability of types over finite sets" (UDTFS). We explore UDTFS and show how it relates to…

Logic · Mathematics 2010-05-27 Vincent Guingona

We introduce the concept of a topological J-group and determine for many important examples of topological groups if they are topological J-groups or not. Besides other results, we show that the underlying topological space of a pathwise…

Group Theory · Mathematics 2022-09-15 Rafael Dahmen

Let G be a connected reductive group defined over a finite field F_q. We give a parametrization of the irreducible representations of G(F_q) in terms of (twisted) categorical centres of various monoidal categories associated to G. (Results…

Representation Theory · Mathematics 2016-12-20 G. Lusztig

A pointwise definable model is one in which every object is definable without parameters. In a model of set theory, this property strengthens V=HOD, but is not first-order expressible. Nevertheless, if ZFC is consistent, then there are…

Logic · Mathematics 2012-06-20 Joel David Hamkins , David Linetsky , Jonas Reitz

We study the definable topological dynamics $(G(M), S_G(M))$ of a definable group acting on its type space, where $M$ is either an $o$-minimal structure or a $p$-adically closed field, and $G$ a definable amenable group. We focus on the…

Logic · Mathematics 2023-02-14 Ningyuan Yao , Zhentao Zhang

This paper and its companion arXiv:0911.3173 have been replaced by arXiv:1602.05139. We define the compatibility JSJ tree of a group G over a class of subgroups. It exists whenever G is finitely presented and leads to a canonical tree (not…

Group Theory · Mathematics 2016-03-28 Vincent Guirardel , Gilbert Levitt

We study models M of set theory that are "condensable", in the sense that there is an "ordinal" v of M such that the rank initial segment of M determined by v is both isomorphic to M, and also an elementary submodel of M for infinitary…

Logic · Mathematics 2021-06-21 Ali Enayat

We introduce the notions of definable amenability and extreme definable amenability for groups in continuous structures and conduct an extensive analysis of them, drawing parallels with the classical first-order case. We characterize both…

Logic · Mathematics 2025-04-03 Juan Felipe Carmona , Alf Onshuus

We prove for residually finite groups the following long standing conjecture: the number of twisted conjugacy classes of an automorphism of a finitely generated group is equal (if it is finite) to the number of finite dimensional…

Group Theory · Mathematics 2012-05-01 Alexander Fel'shtyn , Evgenij Troitsky

Model sets (also called cut and project sets) are generalizations of lattices, and multi-component model sets are generalizations of lattices with colourings. In this paper, we study self-similarities of multi-component model sets. The main…

Mathematical Physics · Physics 2007-05-23 Michael Baake , Robert V. Moody

Let $\mathcal{S}$ be a family of sets with VC-codensity less than $2$. We prove that, if $\mathcal{S}$ has the $(\omega, 2)$-property (for any infinitely many sets in $\mathcal{S}$, at least $2$ among them intersect), then $\mathcal{S}$ can…

Logic · Mathematics 2025-04-29 Pablo Andújar Guerrero

We study finite-dimensional groups definable in models of the theory of real closed fields with a generic derivation (also known as CODF). We prove that any such group definably embeds in a semialgebraic group. We extend the results to…

Logic · Mathematics 2023-02-28 Ya'acov Peterzil , Anand Pillay , Francoise Point

Finite groups with given systems of permuteral and strongly permuteral subgroups are studied. New characterizations of w-supersoluble and supersoluble groups are received.

Group Theory · Mathematics 2013-05-14 A. F. Vasil'ev , V. A. Vasil'ev , T. I. Vasil'eva

A group is small if it has countably many complete $n$-types over the empty set for each natural number n. More generally, a group $G$ is weakly small if it has countably many complete 1-types over every finite subset of G. We show here…

Logic · Mathematics 2019-03-01 Cédric Milliet

We leverage probabilistic models of neural representations to investigate how residual networks fit classes. To this end, we estimate class-conditional density models for representations learned by deep ResNets. We then use these models to…

Machine Learning · Computer Science 2022-12-02 Michał Jamroż , Marcin Kurdziel

This paper investigates some properties of complex structures on Lie algebras. In particular, we focus on $\textit{nilpotent}$ $\textit{complex structures}$ that are characterized by a suitable $J$-invariant ascending or descending central…

Differential Geometry · Mathematics 2022-02-07 Junze Zhang

This article consists in two independent parts. In the first one, we investigate the geometric properties of almost periodicity of model sets (or cut-and-project sets, defined under the weakest hypotheses); in particular we show that they…

Dynamical Systems · Mathematics 2015-12-03 Pierre-Antoine Guihéneuf
‹ Prev 1 2 3 10 Next ›