Let L$L$ be an exact Lagrangian submanifold of a cotangent bundle T∗⁢M$T^* M$, asymptotic to a Legendrian submanifold Λ⊂T∞⁢M$\Lambda \subset T^{\infty } M$. We study a locally constant sheaf of ∞$\infty$-categories on L$L$, called the sheaf of brane structures or BraneL$\mathrm{Brane}_L$. Its fiber is the ∞$\infty$-category of spectra, and we construct a Hamiltonian invariant, fully faithful functor

We provide a construction of equivariant Lagrangian Floer homology H⁢FG⁡(L0,L1)$HF_G(L_0, L_1)$, for a compact Lie group G$G$ acting on a symplectic manifold M$M$ in a Hamiltonian fashion, and a pair of G$G$-Lagrangian submanifolds L0,L1⊂M$L_0, L_1 \subset M$. We do so by using symplectic homotopy quotients involving cotangent bundles of an approximation of E⁢G$EG$. Our construction relies on Wehrheim

Given a class of embeddings into a contact or a symplectic manifold, we give a sufficient condition, that we call isocontact or isosymplectic realization, for this class to satisfy a general h$h$-principle. The flexibility follows from the h$h$-principles for isocontact and isosymplectic embeddings, it provides a framework for classical results, and we give two new applications. Our main result is

For a compact subset K$K$ of a closed symplectic manifold (M,ω)$(M, \omega)$, we prove that K$K$ is heavy if and only if its relative symplectic cohomology over the Novikov field is nonzero. As an application, we show that if two compact sets are not heavy and Poisson commuting, then their union is also not heavy. A discussion on superheaviness together with some partial results is also included.

We study several aspects of fillings for links of general isolated quotient singularities using Floer theory, including co-fillings, Weinstein fillings, strong fillings, exact fillings and exact orbifold fillings, focusing on the non-existence of exact fillings of contact links of isolated terminal quotient singularities. We provide an extensive list of isolated terminal quotient singularities whose

We calculate the rational cohomology of the classifying space of the diffeomorphism group of the manifolds U g , 1 n : = # g ( S n × S n + 1 ) ∖ int ( D 2 n + 1 ) $U_{g,1}^n:= \#^g(S^n \times S^{n+1})\setminus \mathrm{int}(D^{2n+1})$ , for large g $g$ and n $n$ , up to degree n − 3 $n-3$ . The answer is that it is a free graded commutative algebra on an appropriate set of Miller–Morita–Mumford classes

Let χ ∈ H 1 ( Σ h , Q ) $\chi \in H^1(\Sigma _h,\mathbb {Q})$ denote a rational cohomology class, and let H χ $\operatorname{H}_\chi$ denote its Hodge norm. We recover the result that H χ $\operatorname{H}_\chi$ is a plurisubharmonic function on the Teichmüller space T h ${\mathcal {T}}_h$ , and characterize complex directions along which the complex Hessian of H χ $\operatorname{H}_\chi$ vanishes

We define a condition called almost strict domination for pairs of representations ρ1:π1⁡(Sg,n)→PSL⁡(2,R)$\rho _1:\pi _1(S_{g,n})\rightarrow \textrm {PSL}(2,\mathbb {R})$, ρ2:π1⁡(Sg,n)→G$\rho _2:\pi _1(S_{g,n})\rightarrow G$, where G$G$ is the isometry group of a Hadamard manifold, and prove that it holds if and only if one can find a (ρ1,ρ2)$(\rho _1,\rho _2)$-equivariant spacelike maximal surface

In this article, we study the iteration of Cox rings of klt singularities (and Fano varieties) from a topological perspective. Given a klt singularity (X,Δ;x)$(X,\Delta;x)$, we define the iteration of Cox rings of (X,Δ;x)$(X,\Delta;x)$. The first result of this article is that the iteration of Cox rings Cox(k)⁢(X,Δ;x)${\rm Cox}^{(k)}(X,\Delta;x)$ of a klt singularity stabilizes for k$k$ large enough

Manolescu and Piccirillo (2023) recently initiated a program to construct an exotic S 4 $S^4$ or # n CP 2 $\# n \mathbb {CP}^2$ by using zero surgery homeomorphisms and Rasmussen's s $s$ -invariant. They find five knots that if any were slice, one could construct an exotic S 4 $S^4$ and disprove the Smooth 4-dimensional Poincaré conjecture. We rule out this exciting possibility and show that these

We develop and exposit some general algebra useful for working with certain algebraic structures that arise in stable homotopy theory, such as those encoding well-behaved theories of power operations for E ∞ $\mathbb {E}_\infty$ ring spectra. In particular, we consider Quillen cohomology in the context of algebras over algebraic theories, plethories, and Koszul resolutions for algebras over additive

We prove that for all k , m , n ∈ N ∪ { ∞ } $k,m,n \in \mathbb {N} \cup \lbrace \infty \rbrace$ with 4 ⩽ k ⩽ m ⩽ n $4 \leqslant k \leqslant m \leqslant n$ , there exists a finitely generated group G $G$ with a finitely generated subgroup H $H$ such that asdim ( G ) = k $\operatorname{asdim}(G) = k$ , asdim A N ( G ) = m $\operatorname{asdim}_{\textnormal {AN}}(G) = m$ , and asdim A N ( H ) = n $\o

We consider the classical Steenrod problem on realization of integral homology classes by continuous images of smooth oriented manifolds. Let k ( n ) $k(n)$ be the smallest positive integer such that any integral n $n$ -dimensional homology class becomes realizable in the sense of Steenrod after multiplication by  k ( n ) $k(n)$ . The best known upper bound for k ( n ) $k(n)$ was obtained independently

We introduce a new method for proving twisted homological stability, and use it to prove such results for symmetric groups and general linear groups. In addition to sometimes slightly improving the stable range given by the traditional method (due to Dwyer), it is easier to adapt to nonstandard situations. As an illustration of this, we generalize to GL n $\operatorname{GL}_n$ of many rings R $R$ a

In this paper, generalizing our previous construction, we equip the relative moduli stack of complexes over a Calabi–Yau fibration (possibly with singular fibers) with a shifted Poisson structure. Applying this construction to the anticanonical linear systems on surfaces, we get examples of compatible Poisson brackets on projective spaces extending Feigin–Odesskii Poisson brackets. Computing explicitly

We introduce the notion of hyperbolic orientation of a motivic ring spectrum, which generalises the various existing notions of orientation (by the groups GL $\operatorname{GL}$ , SL c $\operatorname{SL}^c$ , SL $\operatorname{SL}$ , Sp $\operatorname{Sp}$ ). We show that hyperbolic orientations of η $\eta$ -periodic ring spectra correspond to theories of Pontryagin classes, much in the same way that

We study the homotopy of the connected sum of a manifold with a projective space, viewed as a typical way to stabilize manifolds. In particular, we show a loop homotopy decomposition of a manifold after stabilization by a projective space, and provide concrete examples. To do this, we trace the effect in homotopy theory of surgery on certain product manifolds by showing a loop homotopy decomposition

We establish motivic versions of the theorems of Lin and Gunawardena, thereby confirming the motivic Segal conjecture for the algebraic group  μ ℓ $\mu _\ell$ of ℓ $\ell$ th roots of unity, where ℓ $\ell$ is any prime. To achieve this we develop motivic Singer constructions associated to the symmetric group  S ℓ $S_\ell$ and to  μ ℓ $\mu _\ell$ , and introduce a delayed limit Adams spectral sequence

Let Λ ± $\Lambda _\pm$ be Legendrian submanifolds in the cosphere bundle T ∗ , ∞ M $T^{*,\infty }M$ . Given a Lagrangian cobordism L $L$ of Legendrians from Λ − $\Lambda _-$ to Λ + $\Lambda _+$ , we construct a functor Φ L * : Sh Λ + c ( M ) → Sh Λ − c ( M ) ⊗ C − * ( Ω * Λ − ) C − * ( Ω * L ) ${\mathrm{\Phi}}_{L}^{\ast}:{{\rm Sh}}_{{\mathrm{\Lambda}}_{+}}^{c}(M)\to {{\rm Sh}}_{{\mathrm{\Lambda}}_

We define several equivariant concordance invariants using knot Floer homology. We show that our invariants provide a lower bound for the equivariant slice genus and use this to give a family of strongly invertible slice knots whose equivariant slice genus grows arbitrarily large, answering a question of Boyle and Issa. We also apply our formalism to several seemingly nonequivariant questions. In particular

We show that, for ε = 1 4000 $\varepsilon =\frac{1}{4000}$ , any action of a finite cyclic group by ( 1 + ε ) $(1+\varepsilon )$ -bilipschitz homeomorphisms on a closed 3-manifold is conjugated to a smooth action.

The Torelli group of a genus g $g$ oriented surface Σ g $\Sigma _g$ is the subgroup I g $\mathcal {I}_g$ of the mapping class group Mod ( Σ g ) ${\rm Mod}(\Sigma _g)$ consisting of all mapping classes that act trivially on H 1 ( Σ g , Z ) ${\rm H}_1(\Sigma _g, \mathbb {Z})$ . The quotient group Mod ( Σ g ) / I g ${\rm Mod}(\Sigma _g) / \mathcal {I}_g$ is isomorphic to the symplectic group Sp ( 2 g

We give a dynamical characterization of convex cocompact group actions on properly convex domains in projective space in the sense of Danciger–Guéritaud–Kassel: we show that convex cocompactness in R P d $\mathbb {R}\mathrm{P}^d$ is equivalent to an expansion property of the group about its limit set, occurring in different Grassmannians. As an application, we give a sufficient and necessary condition

In this paper we study the automorphism group of the procongruence mapping class group through its action on the associated procongruence curve and pants complexes. Our main result is a rigidity theorem for the procongruence completion of the pants complex. As an application we prove that moduli stacks of smooth algebraic curves satisfy a weak anabelian property in the procongruence setting.

Let S $S$ be a compact orientable surface of genus g $g$ with marked points in the interior. Franks–Handel (Proc. Amer. Math. Soc. 141 (2013) 2951–2962) proved that if n < 2 g $n<2g$ then the image of a homomorphism from the mapping class group Mod ( S ) ${\rm Mod}(S)$ of S $S$ to GL ( n , C ) ${\rm GL}(n,{\mathbb {C}})$ is trivial if g ⩾ 3 $g\geqslant 3$ and is finite cyclic if g = 2 $g=2$ . The first

Let ω $\omega$ be a Kähler form on the real 4-torus T 4 $T^4$ . Suppose that ω $\omega$ satisfies an irrationality condition that can be achieved by an arbitrarily small perturbation of ω $\omega$ . This note shows that the smoothly trivial symplectic mapping class group of the one-point symplectic blowup of ( T 4 , ω ) $(T^4,\omega )$ is infinitely generated.

Let M $M$ be an orientable connected n $n$ -dimensional manifold with n ∈ { 6 , 7 } $n\in \lbrace 6,7\rbrace$ and let Y ⊂ M $Y\subset M$ be a two-sided closed connected incompressible hypersurface that does not admit a metric of positive scalar curvature (abbreviated by psc). Moreover, suppose that the universal covers of M $M$ and Y $Y$ are either both spin or both nonspin. Using Gromov's μ $\mu$

We establish a bridge between homotopy groups of spheres and commutator calculus in groups, and solve in this manner the “dimension problem” by providing a converse to Sjogren's theorem: every abelian group of bounded exponent can be embedded in the dimension quotient of a group. This is proven by embedding for arbitrary s , d $s,d$ the torsion of the homotopy group π s ( S d ) $\pi _s(S^d)$ into a

Landry, Minsky and Taylor defined the taut polynomial of a veering triangulation. Its specialisations generalise the Teichmüller polynomial of a fibred face of the Thurston norm ball. We prove that the taut polynomial of a veering triangulation is equal to a certain twisted Alexander polynomial of the underlying manifold. Thus, the Teichmüller polynomials are just specialisations of twisted Alexander

We provide a sufficient condition for splitness of a link in terms of its reduced sl ( N ) $\mathfrak {sl}(N)$ link homology with arbitrary field coefficients. The proof of sufficiency uses Dowlin's spectral sequence and sutured Floer homology with twisted coefficients. If N $N$ is prime and the coefficient field is of characteristic N $N$ , then the sufficient condition for splitness is also necessary

Given a lattice Veech group in the mapping class group of a closed surface S $S$ , this paper investigates the geometry of Γ $\Gamma$ , the associated π 1 S $\pi _1S$ -extension group. We prove that Γ $\Gamma$ is the fundamental group of a bundle with a singular Euclidean-by-hyperbolic geometry. Our main result is that collapsing “obvious” product regions of the universal cover produces an action of

We show that the sheaf of A 1 ${\mathbb {A}}^1$ -connected components of a reductive algebraic group over a perfect field is strongly A 1 ${\mathbb {A}}^1$ -invariant. As a consequence, torsors under such groups give rise to A 1 ${\mathbb {A}}^1$ -fiber sequences. We also show that sections of A 1 ${\mathbb {A}}^1$ -connected components of anisotropic, semisimple, simply connected algebraic groups

We define a relative version of the Turaev–Viro invariants for an ideally triangulated compact 3-manifold with nonempty boundary and a coloring on the edges, generalizing the Turaev–Viro invariants [36] of the manifold. We also propose the volume conjecture for these invariants whose asymptotic behavior is related to the volume of the manifold in the hyperbolic polyhedral metric [22, 23] with singular

We give an obstruction to positive scalar curvature metrics on 4-manifolds with the homology S 1 × S 3 $S^{1} \times S^{3}$ described in terms of homology cobordism invariants from Seiberg–Witten theory. The main tool of the proof is a relative Bauer–Furuta-type invariant on a periodic-end 4-manifold.

We show that for a closed hyperbolic 3-manifold, the size of the first eigenvalue of the Hodge Laplacian acting on coexact 1-forms is comparable to an isoperimetric ratio relating geodesic length and stable commutator length with comparison constants that depend polynomially on the volume and on a lower bound on injectivity radius, refining estimates of Lipnowski and Stern. We use this estimate to

We prove that semisimple four-dimensional oriented topological field theories lead to stable diffeomorphism invariants and can therefore not distinguish homeomorphic closed oriented smooth four-manifolds and homotopy equivalent simply connected closed oriented smooth four-manifolds. We show that all currently known four-dimensional field theories are semisimple, including unitary field theories, and

We prove that the comparison map from G $G$ -fixed points to G $G$ -homotopy fixed points, for the G $G$ -fold smash power of a bounded below spectrum  B $B$ , becomes an equivalence after p $p$ -completion if G $G$ is a finite p $p$ -group and H ∗ ( B ; F p ) $H_*(B; \mathbb {F}_p)$ is of finite type. We also prove that the map becomes an equivalence after I ( G ) $I(G)$ -completion if G $G$ is any

We introduce a type of surgery decomposition of Weinstein manifolds that we call simplicial decompositions. The main result of this paper is that the Chekanov–Eliashberg dg-algebra of the attaching spheres of a Weinstein manifold satisfies a descent (cosheaf) property with respect to a simplicial decomposition. Simplicial decompositions generalize the notion of Weinstein connected sum and we show that

We characterize the representations of the fundamental group of a closed surface to ◂⋅▸PSL2⁢(C)$\mathrm{PSL}_2(\mathbb {C})$ that arise as the holonomy of a branched complex projective structure with fixed branch divisor. In particular, we compute the holonomies of the spherical metrics with prescribed integral conical angles and the holonomies of affine structures with fixed conical angles on closed surfaces

For a Legendrian link ◂⊂▸Λ⊂J1⁢M$\Lambda \subset J^1M$ with M=R$M = \mathbb {R}$ or S1$S^1$, immersed exact Lagrangian fillings L⊂Symp◂≅▸(J1⁢M)≅T∗⁢◂()▸(R>0×M)$L \subset \mbox{Symp}(J^1M) \cong T^*(\mathbb {R}_{>0} \times M)$ of Λ$\Lambda$ can be lifted to conical Legendrian fillings ◂⊂▸Σ⊂J1⁢◂()▸(R>0×M)$\Sigma \subset J^1(\mathbb {R}_{>0} \times M)$ of Λ$\Lambda$. When Σ$\Sigma$ is embedded, using the

We prove that if an integer homology three-sphere contains an embedded incompressible torus, then its fundamental group admits irreducible ◂⋅▸S⁢U⁡(2)$SU(2)$-representations.

The purpose of this paper is to introduce Nk⁡(ℓ)$N_k(\ell )$-maps (◂,▸1⩽k,ℓ⩽∞$1\leqslant k,\ell \leqslant \infty$), which describe higher homotopy normalities, and to study their basic properties and examples. An Nk⁡(ℓ)$N_k(\ell )$-map is defined with higher homotopical conditions. It is shown that a homomorphism is an Nk⁡(ℓ)$N_k(\ell )$-map if and only if there exists fiberwise maps between fiberwise

We provide an inductive algorithm computing Gromov–Witten invariants in all genera with arbitrary insertions of all smooth complete intersections in projective space. We also prove that all Gromov–Witten classes of all smooth complete intersections in projective space belong to the tautological ring of the moduli space of stable curves. The main idea is to show that invariants with insertions of primitive

We study families of diffeomorphisms detected by trivalent graphs via the Kontsevich classes. We specify some recent results and constructions of the second named author to show that those non-trivial elements in homotopy groups ◂f()▸π∗⁡◂()▸(B⁢Diff∂⁢(Dd))⊗Q$\pi _*(B\mathrm{Diff}_{\partial }(D^d))\otimes {\mathbb {Q}}$ are lifted to homotopy groups of the moduli space of h$h$-cobordisms ◂f()▸π∗⁡◂()

We define the Milnor number of a one-dimensional holomorphic foliation F$\mathcal {F}$ as the intersection number of two holomorphic sections with respect to a compact connected component C$C$ of its singular set. Under certain conditions, we prove that the Milnor number of F$\mathcal {F}$ on a three-dimensional manifold with respect to C$C$ is invariant by C1$C^1$ topological equivalences.

We study the question when a manifold that fibers over a sphere can be rationally essential, or have positive simplicial volume. More concretely, we show that mapping tori of manifolds (whose fundamental groups can be quite arbitrary) of dimension ◂⩾▸2⁢n+1⩾7$2n +1 \geqslant 7$ with non-zero simplicial volume are very common. This contrasts the case of fiber bundles over a sphere of dimension d⩾2$d\geqslant

Given an irreducible, end-periodic homeomorphism f:S→S$f: S \rightarrow S$ of a surface with finitely many ends, all accumulated by genus, the mapping torus, Mf$M_f$, is the interior of a compact, irreducible, atoroidal 3-manifold ◂◽.▸M¯f$\overline{M}_f$ with incompressible boundary. Our main result is an upper bound on the infimal hyperbolic volume of ◂◽.▸M¯f$\overline{M}_f$ in terms of the translation

In this paper, we investigate basic geometric quantities of a random hyperbolic surface of genus g$g$ with respect to the Weil–Petersson measure on the moduli space Mg$\mathcal {M}_g$. We show that as g$g$ goes to infinity, a generic surface X∈Mg$X\in \mathcal {M}_g$ satisfies asymptotically:

The main theme of this paper is higher virtual algebraic fibering properties of right-angled Coxeter groups (RACGs), with a special focus on those whose defining flag complex is a finite building. We prove for particular classes of finite buildings that their random induced subcomplexes have a number of strong properties, most prominently that they are highly connected. From this we are able to deduce

We define on any affine invariant orbifold M$\mathcal {M}$ a foliation FM$\mathcal {F}^{\mathcal {M}}$ that generalizes the isoperiodic foliation on strata of the moduli space of translation surfaces and study the dynamics of its leaves in the rank 1 case. We establish a criterion that ensures the density of the leaves and provide two applications of this criterion. The first one is a classification

The earring tangle consists of four strands 4pt◂⊂▸×I⊂S2×I$4\text{pt} \times I \subset S^2 \times I$ and one meridian around one of the strands. Equipping this tangle with a nontrivial ◂⋅▸S⁢O⁡(3)$SO(3)$ bundle, we show that its traceless ◂⋅▸S⁢U⁡(2)$SU(2)$ flat moduli space is topologically a smooth genus three surface. We also show that the restriction map from this surface to the traceless flat moduli

We prove that the Khovanov spectra associated to links and tangles are functorial up to homotopy and sign.

We prove that if a fibered knot K$K$ with genus greater than 1 in a three-manifold M$M$ has a sufficiently complicated monodromy, then K$K$ induces a minimal genus Heegaard splitting P$P$ that is unique up to isotopy, and small genus Heegaard splittings of M$M$ are stabilizations of P$P$. We provide a complexity bound in terms of the Heegaard genus of M$M$. We also provide global complexity bounds

We prove that every cusped hyperbolic 3-manifold has a finite cover admitting infinitely many geometric ideal triangulations. Furthermore, every long Dehn filling of one cusp in this cover admits infinitely many geometric ideal triangulations. This cover is constructed in several stages, using results about separability of peripheral subgroups and their double cosets, in addition to a new conjugacy

We show that the stable module ∞$\infty$-category of a finite group G$G$ decomposes in three different ways as a limit of the stable module ∞$\infty$-categories of certain subgroups of G$G$. Analogously to Dwyer's terminology for homology decompositions, we call these the centraliser, normaliser, and subgroup decompositions. We construct centraliser and normaliser decompositions and extend the subgroup

We prove that any graph of multicurves satisfying certain natural properties is either hyperbolic, relatively hyperbolic, or thick. Further, this geometric characterization is determined by the set of subsurfaces that intersect every vertex of the graph. This extends previously established results for the pants graph and the separating curve graph to a broad family of graphs associated to surfaces

We use Galois group actions on étale cohomology to prove results of formality for dg-operads and dg-algebras with torsion coefficients. Our theory applies, among other related objects, to the dg-operad of singular chains of the operad of little disks and to the dg-algebra of singular cochains of the configuration space of points in the complex space. The formality that we obtain is only up to a certain

We study relative symplectic cobordisms between contact submanifolds, and in particular relative symplectic cobordisms to the empty set, that we call hats. While we make some observations in higher dimensions, we focus on the case of transverse knots in the standard 3-sphere, and hats in blow-ups of the (punctured) complex projective planes. We apply the construction to give constraints on the algebraic

We show that the Iwahori–Hecke algebras Hn$\mathcal {H}_n$ of type An−1$A_{n-1}$ satisfy homological stability, where homology is interpreted as an appropriate Tor group. Our result precisely recovers Nakaoka's homological stability result for the symmetric groups in the case that the defining parameter is equal to 1. We believe that this paper, and our joint work with Boyd on Temperley–Lieb algebras

For any smooth connected linear algebraic group G$G$ over an algebraically closed field k$k$, we describe the Picard group of the universal moduli stack of principal G$G$-bundles over pointed smooth k$k$-projective curves.