We derive generalizations of McShane’s identity for higher ranked surface group representations by studying a family of mapping class group invariant functions introduced by Goncharov and Shen which generalize the notion of horocycle lengths. In particular, we obtain McShane-type identities for finite-area cusped convex real projective surfaces by generalizing the Birman–Series geodesic scarcity theorem. More generally, we establish McShane-type identities for positive surface group representations with loxodromic boundary monodromy, as well as McShane-type inequalities for general rank positive representations with unipotent boundary monodromy. Our identities are systematically expressed in terms of projective invariants, and we study these invariants: we establish boundedness and Fuchsian rigidity results for triple and cross ratios. We apply our identities to derive the simple spectral discreteness of unipotent-bordered positive representations, collar lemmas, and generalizations of the Thurston metric.

We show the intersection of a compact almost complex subvariety of dimension 4 and a compact almost complex submanifold of codimension 2 is a J-holomorphic curve. This is a generalization of positivity of intersections for J-holomorphic curves in almost complex 4-manifolds to higher dimensions. As an application, we discuss pseudoholomorphic sections of a complex line bundle. We introduce a method to produce J-holomorphic curves using the differential geometry of almost Hermitian manifolds. When our main result is applied to pseudoholomorphic maps, we prove the singularity subset of a pseudoholomorphic map between almost complex 4-manifolds is J-holomorphic. Building on this, we show degree one pseudoholomorphic maps between almost complex 4-manifolds are actually birational morphisms in pseudoholomorphic category.

We prove an analogue of the Madsen–Weiss theorem for high-dimensional manifolds. In particular, we explicitly describe the ring of characteristic classes of smooth fibre bundles whose fibres are connected sums of$g$copies of$S$^{$n$}×$S$^{$n$}, in the limit $${g \to \infty}$$ . Rationally it is a polynomial ring in certain explicit generators, giving a high-dimensional analogue of Mumford’s conjecture.

No abstract uploaded!

We make the elementary observation that the Lagrangian submanifolds of$C$^{$n$},$n$≥3, constructed by Ekholm, Eliashberg, Murphy and Smith are non-uniruled and, moreover, have infinite relative Gromov width. The construction of these submanifolds involve exact Lagrangian caps, which obviously are non-uniruled in themselves. This property is also used to show that if a Legendrian submanifold inside a contactisation admits an exact Lagrangian cap, then its Chekanov–Eliashberg algebra is acyclic.