Related papers: Proof of the simplicity conjecture

We show that certain twisting deformations of a family of supersolvable groups are simple as Hopf algebras. These groups are direct products of two generalized dihedral groups. Examples of this construction arise in dimensions 60 and…

We prove that the Dehn invariant of any flexible polyhedron in Euclidean space of dimension greater than or equal to 3 is constant during the flexion. In dimensions 3 and 4 this implies that any flexible polyhedron remains scissors…

We investigate the space complexity of refuting $3$-CNFs in Resolution and algebraic systems. We prove that every Polynomial Calculus with Resolution refutation of a random $3$-CNF $\phi$ in $n$ variables requires, with high probability,…

We prove that the Calabi invariant of a $C^1$ pseudo-rotation of the unit disk, that coincides with a rotation on the unit circle, is equal to its rotation number. This result has been shown some years ago by Michael Hutchings (under very…

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D \geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph…

This paper establishes robust obstructions to representing Hamiltonian diffeomorphisms as $k$-th powers ($k \geq 2$) or embedding them in flows for certain higher-dimensional symplectic manifolds $(M,\omega)$, including surface bundles. We…

In a sequence of four papers, we prove the following results (via a unified approach) for all sufficiently large $n$: (i) [1-factorization conjecture] Suppose that $n$ is even and $D\geq 2\lceil n/4\rceil -1$. Then every $D$-regular graph…

There is a long standing conjecture in Hamiltonian analysis which claims that there exist at least $n$ geometrically distinct closed characteristics on every compact convex hypersurface in $\R^{2n}$ with $n\ge 2$. Besides many partial…

We prove a generalization of the fixed point theorem of Cartwright and Littlewood. Namely, suppose $h : \mathbb{R}^2 \to\mathbb{R}^2$ is an orientation preserving planar homeomorphism, and let $C$ be a continuum such that $h^{-1}(C)\cup C$…

We give a different and simpler proof of a slightly modified (and weaker) variant of a recent theorem of Shelukhin extending Franks' "two-or-infinitely-many" theorem to Hamiltonian diffeomorphisms in higher dimensions and establishing a…

The Nielsen Conjecture for Homeomorphisms asserts that any homeomorphism $f$ of a closed manifold is isotopic to a map realizing the Nielsen number of $f$, which is a lower bound for the number of fixed points among all maps homotopic to…

We study a Floer-theoretic approach to harmonic maps from the two-torus into non-flat K\"ahler manifolds. Building on the complex-regularized polysymplectic (CRPS) formalism of [BF24], which provides a Hamiltonian description of harmonic…

A flexible polyhedron in an n-dimensional space of constant curvature, namely, in the Euclidean space, or in the Lobachevsky space, or in the sphere, is a polyhedron with rigid (n-1)-dimensional faces and hinges at (n-2)-dimensional faces.…

In this article we study the Arnold conjecture in settings where objects under consideration are no longer smooth but only continuous. The example of a Hamiltonian homeomorphism, on any closed symplectic manifold of dimension greater than…

Bifibrations, in symplectic geometry called also dual pairs, play a relevant role in the theory of superintegrable Hamiltonian systems. We prove the existence of an analogous bifibrated geometry in dynamical systems with a symmetry group…

We show that every nearly spherical manifold can be realized as the volume-preserving image of a round sphere, via the Brenier-McCann optimal transport map. This theorem extends Caffarelli's contraction theorem to nearly spherical manifolds…

A theorem of Kuranishi tells us that the moduli space of complex structures on any smooth compact manifold is always locally a finite-dimensional space. Globally, however, this is simply not true; we display examples in which the moduli…

In this paper we prove weak L^{1,p} (and thus C^{\alpha}) compactness for the class of uniformly mean-convex Riemannian n-manifolds with boundary satisfying bounds on curvature quantities, diameter, and (n-1)-volume of the boundary. We…

We prove that if $\Sigma$ is a closed surface of genus at least 3 and $G$ is a split real semisimple Lie group of rank at least $3$ acting faithfully by isometries on a symmetric space $N$, then there exists a Hitchin representation…

Let $\Omega \subset \mathbb{R}^n$ be a domain that supports the $p$-Poincar\'e inequality. Given a homeomorphism $\varphi \in L^1_p(\Omega)$, for $p>n$ we show the domain $\varphi(\Omega)$ has finite geodesic diameter. This result has a…