arXiv subjects
Publications and source records attributed to Lev Buhovsky.
A set $A$ in a finite dimensional Euclidean space is \emph{monovex} if for every two points $x,y \in A$ there is a continuous path within the set that connects $x$ and $y$ and is monotone (nonincreasing or nondecreasing) in each coordinate. We prove that every open monovex set as well as every closed monovex set is contractible, and provide an example of a nonopen and nonclosed monovex set that is not contractible. Our proofs reveal additional properties of monovex sets.
We prove here a quantitative $h$-principle statement that applies to isotropic embeddings of discs. We then apply it to get $C^0$-flexibility and rigidity results in symplectic geometry. On the flexible side, we prove that a symplectic homeomorphism might take a symplectic disc to a smooth isotropic one. We also get a $C^0$-rigidity result for the action of a symplectic homeomorphism on the reduction of a coisotropic submanifold.
This paper studies the action of symplectic homeomorphisms on smooth submanifolds, with a main focus on the behaviour of symplectic homeomorphisms with respect to numerical invariants like capacities. Our main result is that a symplectic homeomorphism may preserve and squeeze codimension $4$ symplectic submanifolds ($C^0$-flexibility), while this is impossible for codimension $2$ symplectic submanifolds ($C^0$-rigidity). We also discuss $C^0$-invariants of coistropic and Lagrangian submanifolds, proving some rigidity results and formulating some conjectures. We finally formulate an Eliashberg-Gromov $C^0$-rigidity type question for submanifolds, which we solve in many cases. Our main technical tool is a quantitative $h$-principle result in symplectic geometry.
In this note, we generalise a result of Lalonde, McDuff and Polterovich concerning the $ C^0 $ flux conjecture, thus confirming the conjecture in new cases of a symplectic manifold. Also, we prove the continuity of the flux homomorphism on the space of smooth symplectic isotopies endowed with the $ C^0 $ topology, which implies the $ C^0 $ rigidity of Hamiltonian paths, conjectured by Seyfaddini.
Given a closed symplectic manifold (M,ω) of dimension greater than 2, we consider all Riemannian metrics on M, which are compatible with the symplectic structure ω. For each such metric, we look at the first eigenvalue λ_1 of the Laplacian associated with it. We show that λ_1 can be made arbitrarily large, when we vary the metric. This generalizes previous results of Polterovich, and of Mangoubi.
We prove that a topological Hamiltonian flow as defined by Oh and Muller, has a unique $L^{(1,\infty)}$ generating topological Hamiltonian function. This answers a question raised by Oh and Muller, and improves a previous result of Viterbo.
On any symplectic manifold of dimension greater than 2, we construct a pair of smooth functions, such that on the one hand, the uniform norm of their Poisson bracket equals to 1, but on the other hand, this pair cannot be reasonably approximated (in the uniform norm) by a pair of Poisson commuting smooth functions. This comes in contrast with the dimension 2 case, where by a partial case of a result of Zapolsky, an opposite statement holds.
We introduce new invariants associated to collections of compact subsets of a symplectic manifold. They are defined through an elementary-looking variational problem involving Poisson brackets. The proof of the non-triviality of these invariants involves various flavors of Floer theory. We present applications to approximation theory on symplectic manifolds and to Hamiltonian dynamics.
Given a diffeomorphism of the interval, consider the uniform norm of the derivative of its n-th iteration. We get a sequence of real numbers called the growth sequence. Its asymptotic behavior is an invariant which naturally appears both in smooth dynamics and in geometry of the diffeomorphisms groups. We find sharp estimates for the growth sequence of a given diffeomorphism in terms of the modulus of continuity of its derivative. These estimates extend previous results of Polterovich and Sodin, and Borichev.
We study the class of norms on the space of smooth functions on a closed symplectic manifold, which are invariant under the action of the group of Hamiltonian diffeomorphisms. Our main result shows that any such norm that is continuous with respect to the $C^{\infty}$-topology, is dominated from above by the $L_{\infty}$-norm. As a corollary, we obtain that any bi-invariant Finsler pseudo-metric on the group of Hamiltonian diffeomorphisms that is generated by an invariant norm that satisfies the aforementioned continuity assumption, is either identically zero or equivalent to Hofer's metric.
In this paper we introduce a new method for approaching the C^0 - rigidity results for the Poisson bracket. Using this method, we provide a different proof for the lower semi-continuity under C^0 perturbations, for the uniform norm of the Poisson bracket. We find the precise rate for the modulus of the semi-continuity. This extends the previous results of Cardin-Viterbo, Zapolsky, Entov and Polterovich. Using our method, we prove a C^0 - rigidity result in the spirit of the work of Humiliere. We also discuss a general question of the C^0 - rigidity for multilinear differential operators.
In this paper we present an explicit construction of a relative symplectic packing. This confirms the sharpness of the upper bound for the relative packing of a ball into the pair (CP^2, T^2) of the standard complex projective plane and the Clifford torus, obtained by Biran and Cornea.
In this paper we find new topological restrictions on Lagrangian submanifolds of cotangent bundles of spheres and of Lens spaces.
We use Floer cohomology to prove the monotone version of a conjecture of Audin: the minimal Maslov number of a monotone Lagrangian torus in C^n is 2. Our approach is based on the study of the quantum cup product on Floer cohomology and in particular the behaviour of Oh's spectral sequence with respect to this product. As further applications we prove existence of holomorphic disks with boundaries on Lagrangians as well as new results on Lagrangian intersections.