Related papers: Type invariants for non-abelian odometers

We present a conservative extension ICaTT of the dependent type theory CaTT for weak $\omega$-categories with a type witnessing coinductive invertibility of cells. This extension allows for a concise description of the "walking equivalence"…

We study genericity of dynamical properties in the space of homeomorphisms of the Cantor set and in the space of subshifts of a suitably large shift space. These rather different settings are related by a Glasner-King type correspondence:…

Given a variety with a finite group action, we compare its equivariant categorical measure, that is, the categorical measure of the corresponding quotient stack, and the categorical measure of the extended quotient. Using weak factorization…

This paper extends the results of "Operads and Algebraic Homotopy" in giving algebraic invariants for the stable homotopy type of a pointed simply-connected simplicial set.

Let $M=G/K$ be a generalized flag manifold, that is the adjoint orbit of a compact semisimple Lie group $G$. We use the variational approach to find invariant Einstein metrics for all flag manifolds with two isotropy summands. We also…

We prove that multimodal maps with an absolutely continuous invariant measure have exponential return time statistics around a.e. point. We also show a `polynomial Gibbs property' for these systems, and that the convergence to the entropy…

The symmetric interaction combinators are an equally expressive variant of Lafont's interaction combinators. They are a graph-rewriting model of deterministic computation. We define two notions of observational equivalence for them,…

We introduce and study the notion of continuous orbit equivalence of actions of countable discrete groups on Cartan pairs in (twisted) groupoid context. We characterize orbit equivalence of actions in terms of the corresponding…

In this paper we show that for every congruent monotileable amenable group $G$ and for every metrizable Choquet simplex $K$, there exists a minimal $G$-subshift, which is free on a full measure set, whose set of invariant probability…

We generalize the Beckner's type Poincar\'e inequality \cite{Beckner} to a large class of probability measures on an abstract Wiener space of the form $\mu\star\nu$, where $\mu$ is the reference Gaussian measure and $\nu$ is a probability…

We calculate slow entropy type invariant introduced by A. Katok and J.-P. Thouvenot in [5] for higher rank smooth abelian actions for two leading cases: when the invariant measure is absolutely continuous and when it is hyperbolic. We…

We will discuss the equivariant cohomology of a manifold endowed with the action of a Lie group. Localization formulae for equivariant integrals are explained by a vanishing theorem for equivariant cohomology with generalized coefficients.…

This is the first of a series of papers dealing with the asymptotic behavior of certain integrals occuring in the description of the spectrum of an invariant elliptic operator on a compact Riemannian manifold carrying the action of a…

$O(N)$ invariants are the observables of real tensor models. We use regular colored graphs to represent these invariants, the valence of the vertices of the graphs relates to the tensor rank. We enumerate $O(N)$ invariants as $d$-regular…

We study minimal $\mathbb{Z}^d$-Cantor systems and the relationship between their speedups, their collections of invariant Borel measures, their associated unital dimension groups, and their orbit equivalence classes. In the particular case…

We extend the theory of Vassiliev (or finite type) invariants for knots to knotoids using two different approaches. Firstly, we take closures on knotoids to obtain knots and we use the Vassiliev invariants for knots, proving that these are…

This study defines finite-type invariants for curves on surfaces and reveals the construction of these finite-type invariants for stable homeomorphism classes of curves on compact oriented surfaces without boundaries. These invariants are a…

In this expository article, we consider first order elliptic differential operators acting on smooth vector bundles over compact manifolds, and certain invariants derived from the analysis of these operators, namely the eta invariant} and…

In this paper we show that the known models for $(\infty, 1)$-categories can all be extended to equivariant versions for any discrete group $G$. We show that in two of the models we can also consider actions of any simplicial group $G$.

Rauzy-type dynamics are group actions on a collection of combinatorial objects. The first and best known example concerns an action on permutations, associated to interval exchange transformations (IET) for the Poincar\'e map on compact…