arXiv subjects

Svetlana Katok

Publications and source records attributed to Svetlana Katok.

12 recordsLinked to original sources

arXiv2026

Reduction theory for Fuchsian groups with cusps

We study a family of Bowen-Series-like maps associated to any finitely generated Fuchsian group of the first kind with at least one cusp. These maps act on the boundary of the hyperbolic plane in a piecewise manner by generators of the group. We show that the two-dimensional natural extension (reduction map) of the boundary map has a domain of bijectivity and global attractor with a finite rectangular structure, confirming a conjecture of Don Zagier. Our work is based on the construction of a special fundamental polygon, related to the free product structure of the group, whose marking is preserved by "Teichmüller deformation."

math.DS↗

arXiv2022

On the topological entropy of (a,b)-continued fraction transformations

We study the topological entropy of a two-parameter family of maps related to (a,b)-continued fraction algorithms and prove that it is constant on a square within the parameter space (two vertices of this square correspond to well-studied continued fraction algorithms). The proof uses conjugation to maps of constant slope. We also present experimental evidence that the topological entropy is flexible (i.e., takes any value in a range) on the whole parameter space.

math.DS↗

arXiv2022

Rigidity of topological entropy of boundary maps associated to Fuchsian groups

Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study a family of generalized Bowen-Series boundary maps and prove the following rigidity result: in this family the topological entropy is constant and depends only on the genus of the surface. We give an explicit formula for this entropy and show that the value of the topological entropy also stays constant in the Teichmüller space of the surface. The proofs use conjugation to maps of constant slope.

math.DS↗

arXiv2022

Rigidity and flexibility of entropies of boundary maps associated to Fuchsian groups

Given a closed, orientable surface of constant negative curvature and genus $g \ge 2$, we study the topological entropy and measure-theoretic entropy (with respect to a smooth invariant measure) of generalized Bowen--Series boundary maps. Each such map is defined for a particular fundamental polygon for the surface and a particular multi-parameter. We present and sketch the proofs of two strikingly different results: topological entropy is constant in this entire family ("rigidity"), while measure-theoretic entropy varies within Teichmüller space, taking all values ("flexibility") between zero and a maximum, which is achieved on the surface that admits a regular fundamental $(8g-4)$-gon. We obtain explicit formulas for both entropies. The rigidity proof uses conjugation to maps of constant slope, while the flexibility proof -- valid only for certain multi-parameters -- uses the realization of geodesic flow as a special flow over the natural extension of the boundary map.

math.DS↗

arXiv2021

Flexibility of measure-theoretic entropy of boundary maps associated to Fuchsian groups

Given a closed, oriented, compact surface $S$ of constant negative curvature and genus $g \ge 2$, we study the measure-theoretic entropy of the Bowen-Series boundary map with respect to its smooth invariant measure. We obtain an explicit formula for the entropy that only depends on the perimeter of the $(8g-4)$-sided fundamental polygon of the surface $S$ and its genus. Using this, we analyze how the entropy changes in the Teichmüller space of $S$ and prove the following flexibility result: the measure-theoretic entropy takes all values between $0$ and a maximum that is achieved on the surface that admits a regular $(8g-4)$-sided fundamental polygon. We also compare the measure-theoretic entropy to the topological entropy of these maps and show that the smooth invariant measure is not the measure of maximal entropy.

math.DS↗

arXiv2018

Adler and Flatto revisited: cross-sections for geodesic flow on compact surfaces of constant negative curvature

We describe a family of arithmetic cross-sections for geodesic flow on compact surfaces of constant negative curvature based on the study of generalized Bowen-Series boundary maps associated to cocompact torsion-free Fuchsian groups and their natural extensions, introduced in Katok-Ugarcovici's 2017 paper. If the boundary map satisfies the short cycle property, i.e., the forward orbits at each discontinuity point coincide after one step, the natural extension map has a global attractor with finite rectangular structure, and the associated arithmetic cross-section is parametrized by the attractor. This construction allows us to represent the geodesic flow as a special flow over a symbolic system of coding sequences. In special cases where the "cycle ends" are discontinuity points of the boundary maps, the resulting symbolic system is sofic. Thus we extend and in some ways simplify several results of Adler-Flatto's 1991 paper. We also compute the measure-theoretic entropy of the boundary maps.

math.DS↗

arXiv2017

Structure of attractors for boundary maps associated to Fuchsian groups

We study dynamical properties of generalized Bowen-Series boundary maps associated to cocompact torsion-free Fuchsian groups. These maps are defined on the unit circle (the boundary of the Poincaré disk) by the generators of the group and have a finite set of discontinuities. We study the two forward orbits of each discontinuity point and show that for a family of such maps the cycle property holds: the orbits coincide after finitely many steps. We also show that for an open set of discontinuity points the associated two-dimensional natural extension maps possess global attractors with finite rectangular structure. These two properties belong to the list of "good" reduction algorithms, equivalence or implications between which were suggested by Don Zagier.

math.DS↗

arXiv2014

The Fried average entropy and slow entropy for actions of higher rank abelian groups

We consider two numerical entropy--type invariants for actions of $\Zk$, invariant under a choice of generators and well-adapted for smooth actions whose individual elements have positive entropy. We concentrate on the maximal rank case, i.e. $\Zk,\,k\ge 2$ actions on $k+1$-dimensional manifolds. In this case we show that for a fixed dimension (or, equivalently, rank) each of the invariants determines the other and their values are closely related to regulators in algebraic number fields. In particular, in contrast with the classical case of $\mathbb Z$ actions the entropies of ergodic maximal rank actions take only countably many values. Our main result is the dichotomy that is best expressed under the assumption of weak mixing or, equivalently, no periodic factors: either both invariants vanish, or their values are bounded away from zero by universal constants. Furthermore, the lower bounds grow with dimension: for the first invariant (the Fried average entropy) exponentially, and for the second (the slow entropy) linearly.

math.DS↗

arXiv2011

Applications of (a,b)-continued fraction transformations

We describe a general method of arithmetic coding of geodesics on the modular surface based on a two parameter family of continued fraction transformations studied previously by the authors. The finite rectangular structure of the attractors of the natural extension maps and the corresponding "reduction theory" play an essential role. In special cases, when an (a,b)-expansion admits a so-called "dual", the coding sequences are obtained by juxtaposition of the boundary expansions of the fixed points, and the set of coding sequences is a countable sofic shift. We also prove that the natural extension maps are Bernoulli shifts and compute the density of the absolutely continuous invariant measure and the measure-theoretic entropy of the one-dimensional map.

math.DS↗

arXiv2010

Structure of attractors for (a,b)-continued fraction transformations

We study a two-parameter family of one-dimensional maps and related (a,b)-continued fractions suggested for consideration by Don Zagier. We prove that the associated natural extension maps have attractors with finite rectangular structure for the entire parameter set except for a Cantor-like set of one-dimensional Lebesgue zero measure that we completely describe. We show that the structure of these attractors can be "computed" from the data (a,b), and that for a dense open set of parameters the Reduction theory conjecture holds, i.e. every point is mapped to the attractor after finitely many iterations. We also show how this theory can be applied to the study of invariant measures and ergodic properties of the associated Gauss-like maps.

math.DS↗

arXiv2000

Spanning sets for automorphic forms and dynamics of the frame flow on complex hyperbolic spaces

Let G be a semisimple Lie group with no compact factors, K a maximal compact subgroup of G, and $Γ$ a lattice in G. We study automorphic forms for $Γ$ if G is of real rank one with some additional assumptions, using dynamical approach based on properties of the homogeneous flow on $Γ\backslash G$ and a Livshitz type theorem we prove for such a flow. In the Hermitian case G=SU(n,1) we construct relative Poincare series associated to closed geodesics on $Γ\backslash G/K$ for one-dimensional representations of K, and prove that they span the corresponding spaces of cusp forms.

math.CV↗

arXiv2000

Rigidity of measurable structure for Z^d-actions by automorphisms of a torus

We show that for certain classes of actions of Z^d, d >= 2, by automorphisms of the torus any measurable conjugacy has to be affine, hence measurable conjugacy implies algebraic conjugacy; similarly any measurable factor is algebraic, and algebraic and affine centralizers provide invariants of measurable conjugacy. Using the algebraic machinery of dual modules and information about class numbers of algebraic number fields we consruct various examples of Z^d-actions by Bernoulli automorphisms whose measurable orbit structure is rigid, including actions which are weakly isomorphic but not isomorphic. We show that the structure of the centralizer for these actions may or may not serve as a distinguishing measure-theoretic invariant.

math.DS↗