Searcharxiv⌕ Search

arXiv subjects

Egor Shelukhin

Publications and source records attributed to Egor Shelukhin.

At least 19 recordsLinked to original sources
arXiv2026

A proof of the Arnold-Givental conjecture

We prove the Arnold-Givental conjecture in full generality: given a closed symplectic manifold $(X, \omega)$, an anti-symplectic involution $\tau_X: X \to X$ with fixed point set $L={\rm Fix}(\tau_X)$, and a Hamiltonian diffeomorphism $\phi: X \to X$ such that $\phi(L)$ intersects transversely with $L$, the following inequality holds: \[ \# \big( \phi(L) \cap L \big) \geq {\mathrm dim}_{{\mathbb F}_2} H_*(L; {\mathbb F}_2).\] The proof combines the methods of integral Floer theory of the first and fourth authors, a reduction to Hamiltonian Floer cohomology due to Lu, and a new idea related to localization in a $\mathbb Z/2$-equivariant Floer theory tailored to the problem.

math.SG↗
arXiv2026

On orderability and the chord conjecture

We prove Arnol'd's chord conjecture for a large new class of contact manifolds: for every contact form and every closed Legendrian submanifold there exists a non-constant Reeb chord with endpoints on the Legendrian. This class is characterized by contact non-orderability and rigidity of symplectizations. This proves the chord conjecture for Brieskorn manifolds, many prequantization spaces, and for all prequantization spaces under a mild topological condition on the Legendrians. Moreover, it provides a uniform upper bound on the length of the minimal chord. Our approach involves a new link between Mohnke's construction and contact Hofer geometry.

math.SG↗
arXiv2026

Resonances and string point invertibility for compact rank one symmetric spaces

We calculate the Batalin-Vilkovisky (BV) algebra structure of Rabinowitz loop homology for compact rank one symmetric spaces. As a consequence, we prove that such a space satisfies a natural homological condition called string point invertibility if and only if its Euler characteristic is equal to the characteristic of the coefficient field for loop homology. This implies certain cases of Viterbo's conjecture on a uniform bound on the spectral norm of exact Lagrangian submanifolds in cotangent disk bundles. Furthermore, we prove that whenever a compact rank one symmetric space is string point invertible, the critical levels of its loop homology classes with respect to an arbitrary Riemannian metric satisfy a resonance condition with respect to degrees and a density condition for closed geodesics. This generalizes results of Hingston and Rademacher for spheres to a broader class of compact rank one symmetric spaces.

math.SG↗
arXiv2026

Quantum Steenrod powers and Hamiltonian maps

We prove a series of new results in Hamiltonian dynamics on a general closed symplectic manifold $(M, \omega)$, including: 1. If $M$ admits a Hamiltonian diffeomorphism which is either a pseudo-rotation or has finite order, then $M$ is geometrically uniruled. This resolves a variant of Problem 24 in McDuff--Salamon's list, which predicts an obstruction to the existence of such special Hamiltonian diffeomorphisms in terms of genus zero numerical invariants. 2. If a Hamiltonian possesses a periodic orbit in a non-torsion homology class, then it has infinitely many simple periodic points. The same conclusion holds if the manifold is not geometrically uniruled and the diffeomorphism is minimal for rational Floer homology. These two general results complement the known cases of the Hofer--Zehnder conjecture. 3. If a Hamiltonian diffeomorphism possesses a symplectically degenerate maximum, then it has infinitely many simple periodic points. This resolves an open question which stems from the work of Ginzburg and G\"urel. We also establish new cases of the generic Conley conjecture: infinitely many periodic points for generic Hamiltonian diffeomorphisms. The proofs rely on a systematic application of the integral Hamiltonian Floer theory package developed by the first and fourth author, a K\"unneth isomorphism in equivariant Floer homology, and new quantitative analysis of quantum power maps, which is of independent interest.

math.SG↗
arXiv2025

On quasimorphisms and distortion in homeomorphism groups

Let $M$ be a smooth compact oriented connected manifold, and ${\rm Homeo}_0(M,\mu)$ the group of homeomorphisms of $M$ supported away from $\partial M,$ which preserve a Borel probability measure $\mu$ induced by a volume form on $M$, and are isotopic to the identity. In this paper, we identify those Gambaudo-Ghys and Polterovich quasimorphisms $\Psi\colon {\rm Diff}_0(M,\mu)\to R$ which extend $C^0$-continuously to ${\rm Homeo}_0(M,\mu)$ as quasimorphisms, and to ${\rm Homeo}_0(M)$ as group cochains whose differentials are semi-bounded cocycles. We present several applications of this result which include unboundedness of certain bi-invariant metric on the commutator subgroup of ${\rm Homeo}_0(M,\mu)$, and conditions under which a homeomorphism in ${\rm Homeo}_0(M)$ is undistorted.

math.GT↗
arXiv2025

The $L^p$-diameter of the space of contractible loops

We prove that the space of contractible simple loops of a given fixed area in any compact oriented surface has infinite diameter as a homogeneous space of the group of area-preserving diffeomorphisms endowed with the $L^p$-metric. As a special case, this resolves the $L^p$-metric analogue of the well-known question in symplectic topology regarding the space of equators on the two-sphere. Our methods involve a new class of functionals on a normed group, which are more general than quasi-morphisms.

math.GT↗
arXiv2024

Non-orderability and the contact Hofer norm

We relate non-orderability in contact topology to shortening in the contact Hofer norm. Combined with considerations of open books, this provides many new examples of non-orderable contact manifolds, including contact boundaries of subcritical Weinstein domains, and in particular the long-standing case of the standard $S^1 \times S^2.$ We also produce new examples of contact manifolds admitting contactomorphisms without translated points, provide obstructions to subcritical polarizations of symplectic manifolds, and establish a $\mathcal{C}^0$-continuity property of the contact Hofer metric.

math.SG↗
arXiv2024

Weinstein exactness of nearby Lagrangians and related questions

We address the following problem: if a Hamiltonian diffeomorphism maps a Lagrangian submanifold $L$ to a small Weinstein neighborhood of $L$, is the image necessarily Hamiltonian isotopic to $L$ inside that neighborhood? On the one hand, we show that the question can have a negative answer in any symplectic manifold of dimension at least six. On the other hand, we answer an a priori weaker form of the question in the positive in various cases when $L$ satisfies a rationality condition: we prove that the image of $L$ is often exact inside the Weinstein neighborhood. We provide applications to the Lagrangian counterpart of the $C^0$ flux conjecture, to $C^0$-rigidity phenomena of Hamiltonian diffeomorphisms, and to topological properties of spaces of Lagrangians with the same rationality constraint. Moreover, we state and prove cases of an analogue of Viterbo's spectral norm conjecture for non-exact Lagrangians; in the process, we make progress on an old question of Viterbo regarding integer difference vectors between points of Lagrangians.

math.SG↗
arXiv2024

A dichotomy for the Hofer growth of area preserving maps on the sphere via symmetrization

We prove that autonomous Hamiltonian flows on the two-sphere exhibit the following dichotomy: the Hofer norm either grows linearly or is bounded in time by a universal constant C. Our approach involves a new technique, Hamiltonian symmetrization. Essentially, we prove that every autonomous Hamiltonian diffeomorphism is conjugate to an element C-close in the Hofer metric to one generated by a function of the height.

math.SG↗
arXiv2024

A symplectic Hilbert-Smith conjecture

We prove new cases of the Hilbert-Smith conjecture for actions by natural homeomorphisms in symplectic topology. Specifically, we prove that the group of $p$-adic integers $\mathbb Z_p$ does not admit non-trivial continuous actions by Hamiltonian homeomorphisms, the $C^0$ limits of Hamiltonian diffeomorphisms, on symplectically aspherical symplectic manifolds. For a class of symplectic manifolds, including all standard symplectic tori, we deduce that a locally compact group acting faithfully by homeomorphisms in the $C^0$ closure of time-one maps of symplectic isotopies must be a Lie group. Our methods of proof differ from prior approaches to the question and involve barcodes and power operations in Floer cohomology. They also apply to other natural metrics in symplectic topology, notably Hofer's metric. An appendix by Leonid Polterovich uses this to deduce obstructions on Hamiltonian actions by semi-simple $p$-adic analytic groups.

math.SG↗
arXiv2024

The chord conjecture for conormal bundles

We prove Arnol'd's chord conjecture for all Legendrian submanifolds of cosphere bundles of closed manifolds isotopic to conormal bundles of closed submanifolds. Our method of proof involves an isomorphism between wrapped Floer cohomology and the homology of a path space with coefficients in a local system and a twisted version of the Hurewicz theorem.

math.SG↗
arXiv2023

Spectral invariants over the integers

Spectral invariants are quantitative measurements in symplectic topology coming from Floer homology theory. We study their dependence on the choice of coefficients in the context of Hamiltonian Floer homology. We discover phenomena in this setting which hold for $\mathbb{Z}$-coefficients and fail for all field coefficients. For example, we prove that the spectral norm, an important metric derived from spectral invariants, is unbounded over $\mathbb{Z}$ for complex projective spaces, while it is uniformly bounded over all fields. This allows us to answer a symplectic version of a question of Hingston, originally asked in the setting of the energy functional on the loop space. We also provide applications to Hamiltonian dynamics and Hofer's geometry.

math.SG↗
arXiv2023

Remark on non-contractible closed geodesics and homotopy groups

We prove that if the $m$-th homotopy group for $m \geq 2$ of a closed manifold has non-trivial invariants or coinvariants under the action of the fundamental group, then there exist infinitely many geometrically distinct closed geodesics for a $C^4$-generic Riemannian metric. If moreover there are infinitely many conjugacy classes in the fundamental group, then the same holds for every Riemannian metric.

math.DG↗
arXiv2023

Persistent transcendental B\'ezout theorems

An example of Cornalba and Shiffman from 1972 disproves in dimension two or higher a classical prediction that the count of zeros of holomorphic self-mappings of the complex linear space should be controlled by the maximum modulus function. We prove that such a bound holds for a modified coarse count inspired by the theory of persistence modules originating in topological data analysis.

math.CV↗
arXiv2022

Coarse nodal count and topological persistence

Courant's theorem implies that the number of nodal domains of a Laplace eigenfunction is controlled by the corresponding eigenvalue. Over the years, there have been various attempts to find an appropriate generalization of this statement in different directions. We propose a new take on this problem using ideas from topological data analysis. We show that if one counts the nodal domains in a coarse way, basically ignoring small oscillations, Courant's theorem extends to linear combinations of eigenfunctions, to their products, to other operators, and to higher topological invariants of nodal sets. We also obtain a coarse version of the B\'ezout estimate for common zeros of linear combinations of eigenfunctions. We show that our results are essentially sharp and that the coarse count is necessary, since these extensions fail in general for the standard count. Our approach combines multiscale polynomial approximation in Sobolev spaces with new results in the theory of persistence modules and barcodes.

math.SP↗
arXiv2021

The Schwarz-Milnor lemma for braids and area-preserving diffeomorphisms

We prove a number of new results on the large-scale geometry of the $L^p$-metrics on the group of area-preserving diffeomorphisms of each orientable surface. Our proofs use in a key way the Fulton-MacPherson type compactification of the configuration space of $n$ points on the surface due to Axelrod-Singer and Kontsevich. This allows us to apply the Schwarz-Milnor lemma to configuration spaces, a natural approach which we carry out successfully for the first time. As sample results, we prove that all right-angled Artin groups admit quasi-isometric embeddings into the group of area-preserving diffeomorphisms endowed with the $L^p$-metric, and that all Gambaudo-Ghys quasi-morphisms on this metric group coming from the braid group on $n$ strands are Lipschitz. This was conjectured to hold, yet proven only for low values of $n$ and the genus $g$ of the surface.

math.GT↗
arXiv2021

Lagrangian configurations and Hamiltonian maps

We study configurations of disjoint Lagrangian submanifolds in certain low-dimensional symplectic manifolds from the perspective of the geometry of Hamiltonian maps. We detect infinite-dimensional flats in the Hamiltonian group of the two-sphere equipped with Hofer's metric, prove constraints on Lagrangian packing, find instances of Lagrangian Poincar\'{e} recurrence, and present a new hierarchy of normal subgroups of area-preserving homeomorphisms of the two-sphere. The technology involves Lagrangian spectral invariants with Hamiltonian term in symmetric product orbifolds.

math.SG↗