No Arabic abstract
We construct an example of a non-trivial homogeneous quasimorphism on the group of Hamiltonian diffeomorphisms of the $2$- and $4$-dimensional quadric which is continuous with respect to both $C^0$-topology and the Hofer metric. This answers a variant of a question of Entov-Polterovich-Py which is one of the open problems listed in the monograph of McDuff-Salamon. One of the key ideas is to work with quantum cohomology rings with different coefficient fields which might be of independent interest. As another application of this idea, we answer a question of Polterovich-Wu. Some by-products about Lagrangian intersection and the existence of Lagrangian submanifolds that are diffeomorphic but not Hamiltonian isotopic for the $4$-dimensional quadric are also discussed.
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 Hofers 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.
The purpose of this paper is to study the relation between the $C^0$-topology and the topology induced by the spectral norm on the group of Hamiltonian diffeomorphisms of a closed symplectic manifold. Following the approach of Buhovsky-Humili`ere-Seyfaddini, we prove the $C^0$-continuity of the spectral norm for complex projective spaces and negative monotone symplectic manifolds. The case of complex projective spaces provides an alternative approach to the $C^0$-continuity of the spectral norm proven by Shelukhin. We also prove a partial $C^0$-continuity of the spectral norm for rational symplectic manifolds. Some applications such as the Arnold conjecture in the context of $C^0$-symplectic topology are also discussed.
We characterise, in several complementary ways, etale groupoids with locally compact Hausdorff space of units whose essential groupoid C*-algebra has the ideal intersection property, assuming that the groupoid is either Hausdorff or $sigma$-compact. This leads directly to a characterisation of the simplicity of this C*-algebra which, for Hausdorff groupoids, agrees with the reduced groupoid C*-algebra. Specifically, we prove that the ideal intersection property is equivalent to the absence of essentially confined amenable sections of isotropy groups. For groupoids with compact space of units we moreover show that is equivalent to the uniqueness of equivariant pseudo-expectations and in the minimal case to an appropriate generalisation of Powers averaging property. A key technical idea underlying our results is a new notion of groupoid action on C*-algebras that includes the essential groupoid C*-algebra itself. By considering a relative version of Powers averaging property, we obtain new examples of C*-irreducible inclusions in the sense of R{o}rdam. These arise from the inclusion of the C*-algebra generated by a suitable group representation into a simple groupoid C*-algebra. This is illustrated by the example of the C*-algebra generated by the quasi-regular representation of Thompsons group T with respect to Thompsons group F, which is contained C*-irreducibly in the Cuntz algebra $mathcal{O}_2$.
We study a cylindrical Lagrangian cobordism group for Lagrangian torus fibres in symplectic manifolds which are the total spaces of smooth Lagrangian torus fibrations. We use ideas from family Floer theory and tropical geometry to obtain both obstructions to and constructions of cobordisms; in particular, we give examples of symplectic tori in which the cobordism group has no non-trivial cobordism relations between pairwise distinct fibres, and ones in which the degree zero fibre cobordism group is a divisible group. The results are independent of but motivated by mirror symmetry, and a relation to rational equivalence of 0-cycles on the mirror rigid analytic space.
An exact Lagrangian submanifold $L$ in the symplectization of standard contact $(2n-1)$-space with Legendrian boundary $Sigma$ can be glued to itself along $Sigma$. This gives a Legendrian embedding $Lambda(L,L)$ of the double of $L$ into contact $(2n+1)$-space. We show that the Legendrian isotopy class of $Lambda(L,L)$ is determined by formal data: the manifold $L$ together with a trivialization of its complexified tangent bundle. In particular, if $L$ is a disk then $Lambda(L,L)$ is the Legendrian unknot.