SearcharxivSearch

arXiv subjects

Andrey Gogolev

Publications and source records attributed to Andrey Gogolev.

At least 19 recordsLinked to original sources

Symplecto-rigidity and bootstrap for Anosov symplectomorphisms and contact Anosov flows

This paper is a sequel to the authors' paper on rigidity of higher dimensional contact Anosov flows~[GRH]. At the time the authors were unaware of much earlier work of Hamenstädt~[Ham] devoted to the same problem. The methods of~[GRH] and~[Ham] are overlapping but not entirely the same. In this paper we strengthen some the results of Hamenstädt, by further bootstrapping the regularity of the conjugacy of 2-pinched contact Anosov flows. We also introduce a notion of symplecto-rigidity for symplectomorphisms and prove that some Anosov diffeomorphisms are symplecto-rigid. We further combine symplecto-rigidity with various rigidity techniques to establish a number of smooth rigidity results of Anosov symplectomorphisms. Some new phenomena are present in the realm of Anosov symplectomorphism. For example, while the well-known de la Llave example on the 4-torus demonstrates absence of rigidity in the space of smooth Anosov diffeomorphisms, however, we prove that it is rigid in the space of Anosov sympelctomorphisms.

math.DS

Deformation and perturbative rigidity near de la Llave examples

De la Llave's examples are Anosov diffeomorphisms on the four-torus $\mathbb{T}^4$ with constant Lyapunov spectrum, yet they are not $C^{1}$-conjugate to the linear model or to each other. Nevertheless, we show that such examples are ``locally exceptional'': we prove deformation and local rigidity for generic diffeomorphisms in proximity of de la Llave's examples.

math.DS

Smooth rigidity for 3-dimensional dissipative Anosov flows

We consider two transitive $3$-dimensional Anosov flows which do not preserve volume and which are continuously conjugate to each other. Then, disregarding certain exceptional cases, such as flows with $C^1$ regular stable or unstable distributions, we prove that either the conjugacy is smooth or it sends the positive SRB measure of the first flow to the negative SRB measure of the second flow and vice versa. We give a number of corollaries of this result. In particular, we establish local rigidity on a $C^1$-open $C^\infty$-dense subspace of transitive Anosov flows; we improve the classical de la Llave-Marco-Moriyón rigidity theorem for dissipative Anosov diffeomorphisms on the $2$-torus by merely assuming matching of (full) Jacobian data at periodic points; we also exhibit the first evidence that the Teichmüller space of smooth conjugacy classes of Anosov diffeomorphisms on the $2$-torus is well-stratified according to regularity.

math.DS

Bouncing Outer Billiards

We introduce a new class of billiard-like system, ``bouncing outer billiards" which are 3-dimensional cousins of outer billiards of Neumann and Moser. We prove that bouncing outer billiard on a smooth convex body has at least four 1-parameter families of fixed points. We also fully describe dynamics of bouncing outer billiard on a line segment. Finally we carry out numerical experiments suggesting very complicated (non-ergodic) behavior for several shapes including the square and an ellipse.

math.DS

A counterexample to marked length spectrum semi-rigidity

Given a closed orientable negatively curved Riemannian surface $(M,g)$, we show how to construct a perturbation $(M,g^\prime)$ such that each closed geodesic becomes longer, and yet there is no diffeomorphism $f : (M,g^\prime) \rightarrow (M,g)$ which contracts every tangent vector.

math.DG

Dominated splitting from constant periodic data and global rigidity of Anosov automorphisms

We show that a $\mathrm{GL}(d,\mathbb{R})$ cocycle over a hyperbolic system with constant periodic data has a dominated splitting whenever the periodic data indicates it should. This implies global periodic data rigidity of generic Anosov automorphisms of $\mathbb{T}^d$. Further, our approach also works when the periodic data is narrow, that is, sufficiently close to constant. We can show global periodic data rigidity for certain non-linear Anosov diffeomorphisms in a neighborhood of an irreducible Anosov automorphism with simple spectrum.

math.DS

Smooth rigidity for very non-algebraic Anosov diffeomorphisms of codimension one

In this paper we introduce a new methodology for smooth rigidity of Anosov diffeomorphisms based on "matching functions." The main observation is that under certain bunching assumptions on the diffeomorphism the periodic cycle functionals can provide such matching functions. For example we consider a sufficiently small C^1 neighborhood of a linear hyperbolic automorphism of the 3-dimensional torus which has a pair of complex conjugate eigenvalues. Then we show that two very non-algebraic (an open and dense condition) Anosov diffeomorphisms from this neighborhood are smoothly conjugate if and only they have matching Jacobian periodic data. We also obtain a similar result for certain higher dimensional codimension one Anosov diffeomorphisms.

math.DS

Smooth rigidity for higher dimensional contact Anosov flows

We apply the matching functions technique in the setting of contact Anosov flows which satisfy a bunching assumption. This allows us to generalize the 3-dimensional rigidity result of Feldman-Ornstein~\cite{FO}. Namely, we show that if two such Anosov flows are $C^0$ conjugate then they are $C^{r}$, conjugate for some $r\in[1,2)$ or even $C^\infty$ conjugate under some additional assumptions. This, for example, applies to $1/4$-pinched geodesic flows on compact Riemannian manifolds of negative sectional curvature. We can also use our result to recover Hamendstädt's marked length spectrum rigidity result for real hyperbolic manifolds.

math.DS

Smooth rigidity for 3-dimensional volume preserving Anosov flows and weighted marked length spectrum rigidity

Let $X_1^t$ and $X_2^t$ be volume preserving Anosov flows on a 3-dimensional manifold $M$. We prove that if $X_1^t$ and $X_2^t$ are $C^0$ conjugate then the conjugacy is, in fact, smooth, unless $M$ is a mapping torus of an Anosov automorphism of $\mathbb T^2$ and both flows are constant roof suspension flows. We deduce several applications. Among them is a new result on rigidity of Anosov diffeorphisms on $\mathbb T^2$ and a new "weighted" marked length spectrum rigidity result for surfaces of negative curvature.

math.DS

Riemannian Anosov extension and applications

Let $Σ$ be a Riemannian manifold with strictly convex spherical boundary. Assuming absence of conjugate points and that the trapped set is hyperbolic, we show that $Σ$ can be isometrically embedded into a closed Riemannian manifold with Anosov geodesic flow. We use this embedding to provide a direct link between the classical Livshits theorem for Anosov flows and the Livshits theorem for the X-ray transform which appears in the boundary rigidity program. Also, we give an application for lens rigidity in a conformal class.

math.DG

Joint integrability and spectral rigidity for Anosov diffeomorphisms

Let $f\colon\mathbb{T}^d\to\mathbb{T}^d$ be an Anosov diffeomorphism whose linearization $A\in{\rm GL}(d,\mathbb{Z})$ is irreducible. Assume that $f$ is also absolutely partially hyperbolic where a weak stable subbundle is considered as the center subbundle. We show that if the strong stable and unstable subbundles are jointly integrable, then $f$ is dynamically coherent and all foliations match corresponding linear foliation under the conjugacy to the linearization $A$. Moreover, $f$ admits the finest dominated splitting in weak stable subbundle with dimensions matching those for $A$, and it has spectral rigidity along all these subbundles. In dimension 4 we are also able to obtain a similar result which allows to group the weak stable and unstable subbundles into a center subbundle and assumes joint integrability of strong stable and unstable subbundles. As an application, we show that for every symplectic diffeomorphism $f\in{\rm Diff}^2_ω(\mathbb{T}^4)$ which is $C^1$-close to an irreducible non-conformal automorphism $A\in{\rm Sp}(4,\mathbb{Z})$, the extremal subbundles of $f$ are jointly integrable if and only if $f$ is smoothly conjugate to $A$.

math.DS

Smooth rigidity for codimension one Anosov flows

We introduce the matching functions technique in the setting of Anosov flows. Then we observe that simple periodic cycle functionals (also known as temporal distance functions) provide a source of matching functions for conjugate Anosov flows. For conservative codimension one Anosov flows $φ^t\colon M\to M$, $\dim M\ge 4$, these simple periodic cycle functionals are $C^1$ regular and, hence, can be used to improve regularity of the conjugacy. Specifically, we prove that a continuous conjugacy must, in fact, be a $C^1$ diffeomorphism for an open and dense set of codimension one conservative Anosov flows.

math.DS

Abelian Livshits theorems and geometric applications

We introduce a notion of abelian cohomology in the context of smooth flows. This is an equivalence relation which is weaker than the standard cohomology equivalence relation for flows. We develop Livshits theory for abelian cohomology over transitive Anosov flows. In particular, we prove an abelian Livshits theorem for homologically full Anosov flows. Then we apply this theorem to strengthen marked length spectrum rigidity for negatively curved surfaces. We also present an application to rigidity of contact Anosov flows. Some new results on homologically full Anosov flows are also given.

math.DS

Surgery for partially hyperbolic dynamical systems II. Blow-up of a complex curve

In this paper we use the blow-up surgery introduced in [G] to produce new higher dimensional partially hyperbolic flows. The main contribution of the paper is the slow-down construction which accompanies the blow-up construction. This new ingredient allows to dispose of a rather strong domination assumption which was crucial for results in [G]. Consequently we gain more flexibility which allows to construct new volume-preserving partially hyperbolic flows as well as new examples which are not fiberwise Anosov. The latter are produced by starting with the geodesic flow on complex hyperbolic manifold which admits a totally geodesic complex curve. Then by performing the slow-down first and the blow-up second we obtain a new (volume-preserving) partially hyperbolic flows.

math.DS

A note on self orbit equivalences of Anosov flows and bundles with fiberwise Anosov flows

We show that a self orbit equivalence of a transitive Anosov flow on a $3$-manifold which is homotopic to identity has to either preserve every orbit or the Anosov flow is $\mathbb{R}$-covered and the orbit equivalence has to be of a specific type. This result shows that one can remove a relatively unnatural assumption in a result of Farrell and Gogolev about the topological rigidity of bundles supporting a fiberwise Anosov flow when the fiber is $3$-dimensional.

math.DS

Centralizers of partially hyperbolic diffeomorphisms in dimension 3

In this note we describe centralizers of volume preserving partially hyperbolic diffeomorphisms which are homotopic to identity on Seifert fibered and hyperbolic 3-manifolds. Our proof follows the strategy of Damjanovic, Wilkinson and Xu (arXiv:1902.05201) who recently classified the centralizer for perturbations of time-$1$ maps of geodesic flows in negative curvature. We strongly rely on recent classification results in dimension 3 established in (arXiv:1908.06227).

math.DS

Anomalous partially hyperbolic diffeomorphisms III: abundance and incoherence

Let $M$ be a closed 3-manifold which admits an Anosov flow. In this paper we develop a technique for constructing partially hyperbolic representatives in many mapping classes of $M$. We apply this technique both in the setting of geodesic flows on closed hyperbolic surfaces and for Anosov flows which admit transverse tori. We emphasize the similarity of both constructions through the concept of $h$-transversality, a tool which allows us to compose different mapping classes while retaining partial hyperbolicity. In the case of the geodesic flow of a closed hyperbolic surface $S$ we build stably ergodic, partially hyperbolic diffeomorphisms whose mapping classes form a subgroup of the mapping class group $\mathcal{M}(T^1S)$ which is isomorphic to $\mathcal{M}(S)$. At the same time we show that the totality of mapping classes which can be realized by partially hyperbolic diffeomorphisms does not form a subgroup of $\mathcal{M}(T^1S)$. Finally, some of the examples on $T^1S$ are absolutely partially hyperbolic, stably ergodic and robustly non-dynamically coherent, disproving a conjecture by F. Rodriguez Hertz, J. Rodriguez Hertz and R. Ures.

math.DS