 Award ID(s):
 2202363
 NSFPAR ID:
 10415284
 Date Published:
 Journal Name:
 Inventiones mathematicae
 Volume:
 232
 Issue:
 1
 ISSN:
 00209910
 Page Range / eLocation ID:
 301 to 363
 Format(s):
 Medium: X
 Sponsoring Org:
 National Science Foundation
More Like this

This paper is the first of a pair that aims to classify a large number of the type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . In this work we classify the braided autoequivalences of the categories of local modules for all known type I I quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . We find that the symmetries are all nonexceptional except for four cases (up to levelrank duality). These exceptional cases are the orbifolds C ( s l 2 , 16 ) Rep âĄ ( Z 2 ) 0 \mathcal {C}(\mathfrak {sl}_{2}, 16)^0_{\operatorname {Rep}(\mathbb {Z}_{2})} , C ( s l 3 , 9 ) Rep âĄ ( Z 3 ) 0 \mathcal {C}(\mathfrak {sl}_{3}, 9)^0_{\operatorname {Rep}(\mathbb {Z}_{3})} , C ( s l 4 , 8 ) Rep âĄ ( Z 4 ) 0 \mathcal {C}(\mathfrak {sl}_{4}, 8)^0_{\operatorname {Rep}(\mathbb {Z}_{4})} , and C ( s l 5 , 5 ) Rep âĄ ( Z 5 ) 0 \mathcal {C}(\mathfrak {sl}_{5}, 5)^0_{\operatorname {Rep}(\mathbb {Z}_{5})} . We develop several technical tools in this work. We give a skein theoretic description of the orbifold quantum subgroups of C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . Our methods here are general, and the techniques developed will generalise to give skein theory for any orbifold of a braided tensor category. We also give a formulation of orthogonal levelrank duality in the type D D  D D case, which is used to construct one of the exceptionals. We uncover an unexpected connection between quadratic categories and exceptional braided autoequivalences of the orbifolds. We use this connection to construct two of the four exceptionals. In the sequel to this paper we will use the classified braided autoequivalences to construct the corresponding type I I II quantum subgroups of the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) . This will essentially finish the type I I II classification for s l n \mathfrak {sl}_n modulo type I I classification. When paired with Gannonâs type I I classification for r â€ 6 r\leq 6 , our results will complete the type I I II classification for these same ranks. This paper includes an appendix by Terry Gannon, which provides useful results on the dimensions of objects in the categories C ( s l r + 1 , k ) \mathcal {C}(\mathfrak {sl}_{r+1}, k) .more » « less

Given an involution on a rational homology 3sphere Y with quotient the 3sphere, we prove a formula for the Lefschetz num ber of the map induced by this involution in the reduced mono pole Floer homology. This formula is motivated by a variant of Wittenâs conjecture relating the Donaldson and SeibergâWitten invariants of 4manifolds. A key ingredient is a skeintheoretic ar gument, making use of an exact triangle in monopole Floer homol ogy, that computes the Lefschetz number in terms of the Murasugi signature of the branch set and the sum of FrĂžyshov invariants as sociated to spin structures on Y . We discuss various applications of our formula in gauge theory, knot theory, contact geometry, and 4dimensional topology.more » « less

Abstract We introduce a contact invariant in the bordered sutured Heegaard Floer homology of a threemanifold with boundary. The input for the invariant is a contact manifold $(M, \xi , \mathcal {F})$ whose convex boundary is equipped with a signed singular foliation $\mathcal {F}$ closely related to the characteristic foliation. Such a manifold admits a family of foliated open book decompositions classified by a Giroux correspondence, as described in [LV20]. We use a special class of foliated open books to construct admissible bordered sutured Heegaard diagrams and identify welldefined classes $c_D$ and $c_A$ in the corresponding bordered sutured modules. Foliated open books exhibit userfriendly gluing behavior, and we show that the pairing on invariants induced by gluing compatible foliated open books recovers the Heegaard Floer contact invariant for closed contact manifolds. We also consider a natural map associated to forgetting the foliation $\mathcal {F}$ in favor of the dividing set and show that it maps the bordered sutured invariant to the contact invariant of a sutured manifold defined by HondaâKazezâMatiÄ.more » « less

Abstract Positive
intermediate Ricci curvature on a Riemannian$$k\mathrm{th}$$ $k\mathrm{th}$n manifold, to be denoted by , is a condition that interpolates between positive sectional and positive Ricci curvature (when$${{\,\mathrm{Ric}\,}}_k>0$$ ${\phantom{\rule{0ex}{0ex}}\mathrm{Ric}\phantom{\rule{0ex}{0ex}}}_{k}>0$ and$$k =1$$ $k=1$ respectively). In this work, we produce many examples of manifolds of$$k=n1$$ $k=n1$ with$${{\,\mathrm{Ric}\,}}_k>0$$ ${\phantom{\rule{0ex}{0ex}}\mathrm{Ric}\phantom{\rule{0ex}{0ex}}}_{k}>0$k small by examining symmetric and normal homogeneous spaces, along with certain metric deformations of fat homogeneous bundles. As a consequence, we show that every dimension congruent to$$n\ge 7$$ $n\xe2\x89\u201e7$ supports infinitely many closed simply connected manifolds of pairwise distinct homotopy type, all of which admit homogeneous metrics of$$3\,{{\,\mathrm{mod}\,}}4$$ $3\phantom{\rule{0ex}{0ex}}\phantom{\rule{0ex}{0ex}}\mathrm{mod}\phantom{\rule{0ex}{0ex}}4$ for some$${{\,\mathrm{Ric}\,}}_k>0$$ ${\phantom{\rule{0ex}{0ex}}\mathrm{Ric}\phantom{\rule{0ex}{0ex}}}_{k}>0$ . We also prove that each dimension$$k $k<n/2$ congruent to 0 or$$n\ge 4$$ $n\xe2\x89\u201e4$ supports closed manifolds which carry metrics of$$1\,{{\,\mathrm{mod}\,}}4$$ $1\phantom{\rule{0ex}{0ex}}\phantom{\rule{0ex}{0ex}}\mathrm{mod}\phantom{\rule{0ex}{0ex}}4$ with$${{\,\mathrm{Ric}\,}}_k>0$$ ${\phantom{\rule{0ex}{0ex}}\mathrm{Ric}\phantom{\rule{0ex}{0ex}}}_{k}>0$ , but do not admit metrics of positive sectional curvature.$$k\le n/2$$ $k\xe2\x89\u20acn/2$ 
Abstract Let
M be a connected, closed, oriented threemanifold andK ,ÂL two rationally nullhomologous oriented simple closed curves inÂM . We give an explicit algorithm for computing the linking number betweenK andL in terms of a presentation ofÂM as an irregular dihedral threefold cover ofÂ branched along a knot$$S^3$$ ${S}^{3}$ . Since every closed, oriented threemanifold admits such a presentation, our results apply to all (welldefined) linking numbers in all threemanifolds. Furthermore, ribbon obstructions for a knotÂ$$\alpha \subset S^3$$ $\mathrm{\xce\pm}\xe2\x8a\x82{S}^{3}$ can be derived from dihedral covers ofÂ$$\alpha $$ $\mathrm{\xce\pm}$ . The linking numbers we compute are necessary for evaluating one such obstruction. This work is a step toward testing potential counterexamples to the SliceRibbon Conjecture, among other applications.$$\alpha $$ $\mathrm{\xce\pm}$