Perverse sheaves and knot contact homology (Q524848): Difference between revisions

From MaRDI portal
Importer (talk | contribs)
Created a new Item
 
ReferenceBot (talk | contribs)
Changed an Item
(7 intermediate revisions by 5 users not shown)
Property / author
 
Property / author: Q265472 / rank
Normal rank
 
Property / author
 
Property / author: Yuri Yu. Berest / rank
 
Normal rank
Property / review text
 
As a category theoretical reformulation of the knot differential graded (DG) algebra \(\mathcal{A}_L\) for a link \(L\) in \(\mathbb{R}^3\) [\textit{L. Ng}, Geom. Topol. 9, 247--297 (2005; Zbl 1111.57011); ibid. 9, 1603--1637 (2005; Zbl 1112.57001)], the knot DG category \(\tilde{\mathcal{A}}_L\) is defined and gives a new algebraic construction of knot contact homology [loc. cit.], which provides the full noncommutative knot DGA [\textit{T. Ekholm} et al., Geom. Topol. 17, No. 2, 975--1112 (2013; Zbl 1267.53095)]. The outline of the paper is as follows: In Section 2, consider a category \(\mathcal{C}\) closed under finite colimits. Then it is stated that for any Reidemeister operator \(\sigma\), the isomorphism type of the normalized categorical braid closure (Definitions 2.16 and 2.5) is invariant under Markov moves, and hence gives a knot invariant (Theorem 2.17). Here, \(\sigma: A\sqcup A\to A\sqcup A\), with \(A\) an object of \(\mathcal{C}\), is said to be Reidemeister, if it is co-Cartesian Yang-Baxter (Definition 2.1), dualizable (Definition 2.11), and Wada (Definition 2.9, cf. [\textit{M. Wada}, Topology 31, No. 2, 399--406 (1992; Zbl 0758.57008)]), with invertible torsion \(\chi(\sigma)\) (Definition 2.15). In Section 3, the construction of a categorical braid closure is extended to the homological setting and states the following. Let \(\sigma: A\sqcup A\to A\sqcup A\) be a Reidemeister operator on a pseudoflat object \(A\), and let \(\theta:A\to A\) be a \(\sigma\)-natural map (Definition 3.1). Then the isomorphism type of \(\mathrm{Ho}(\mathcal{C})\) (weak homotopy equivalence type in \(\mathcal{C}\)) of the \(\theta\)-colored normalized homotopy braid closure (Definition 3.2) is invariant under Markov moves, and hence gives a knot invariant (Theorem 3.4). Two examples are also given which illustrate how Theorem 3.4 allows to refine classical link invariants defined by categorical braid closure. The input of the above construction is a natural action of the braid group \(B_n\) on the category of perverse sheaves on a two-dimensional disk with singularities at \(n\) marked points [\textit{S. Gelfand} et al., Duke Math. J. 83, No. 3, 621--643 (1996; Zbl 0861.32022)]. This argument is formulated with a GMV operator in Theorem 4.1. The background ideas to this input are explained in the introduction. A slight modification of the original GMV action, which is used in Sections 5 and 6, is also explained. This section is concluded with a diagram which illustrates the relation between the knot DG category and the knot DG algebra. Then, the knot DG category of a knot \(K\) is defined in Definition 5.3. Adopting the Baues-Lemaire cylinder on a semi-free DG category [\textit{H. J. Baues} and \textit{J. M. Lemaire}, Math. Ann. 225, 219--245 (1977; Zbl 0322.55019)], the independence of the quasi-isomorphism type of the knot DG category of the choice of the knot DGA construction is proved (Theorem 5.5). By this theorem, an alternative proof is given of the fact that the underlying quasi-isomorphism type of the combinatorial knot DGA is a knot invariant (Theorem 5.6 and [\textit{R. Anno} and \textit{T. Logvinenko}, ``Spherical DG functors'', Preprint, \url{arXiv:1309.5035}]). In Section 6, the knot \(k\)-category, the 0th homology of the knot DG category, is computed and a description of this category is given in terms of the knot group together with a peripheral pair (Theorem 6.2). In Section 7, the fully noncommutative link DG category is defined (Definition 7.1), and the main results of Section 5 and Section 6 are extended to this case (Theorems 7.4 and 7.7). The input for the fully noncommutative case is the original GMV action. This allows (Theorem 7.10) to relate the corresponding module category to perverse sheaves on \(\mathbb{R}^3\) that are singular along the link \(L\). In Section 8, the last section, two generalizations of the GMV operator are presented. They satisfy the Reidemeister condition, and hence the corresponding homotopy braid closure gives link invariants generalizing the link DG category associated with the original GMV action. The definitions of this paper are clearly stated while most of the theorems lack proofs. The authors say that detailed proofs will appear in their forthcoming paper [``Homotopy braid closure and link invariants'', in preparation].
Property / review text: As a category theoretical reformulation of the knot differential graded (DG) algebra \(\mathcal{A}_L\) for a link \(L\) in \(\mathbb{R}^3\) [\textit{L. Ng}, Geom. Topol. 9, 247--297 (2005; Zbl 1111.57011); ibid. 9, 1603--1637 (2005; Zbl 1112.57001)], the knot DG category \(\tilde{\mathcal{A}}_L\) is defined and gives a new algebraic construction of knot contact homology [loc. cit.], which provides the full noncommutative knot DGA [\textit{T. Ekholm} et al., Geom. Topol. 17, No. 2, 975--1112 (2013; Zbl 1267.53095)]. The outline of the paper is as follows: In Section 2, consider a category \(\mathcal{C}\) closed under finite colimits. Then it is stated that for any Reidemeister operator \(\sigma\), the isomorphism type of the normalized categorical braid closure (Definitions 2.16 and 2.5) is invariant under Markov moves, and hence gives a knot invariant (Theorem 2.17). Here, \(\sigma: A\sqcup A\to A\sqcup A\), with \(A\) an object of \(\mathcal{C}\), is said to be Reidemeister, if it is co-Cartesian Yang-Baxter (Definition 2.1), dualizable (Definition 2.11), and Wada (Definition 2.9, cf. [\textit{M. Wada}, Topology 31, No. 2, 399--406 (1992; Zbl 0758.57008)]), with invertible torsion \(\chi(\sigma)\) (Definition 2.15). In Section 3, the construction of a categorical braid closure is extended to the homological setting and states the following. Let \(\sigma: A\sqcup A\to A\sqcup A\) be a Reidemeister operator on a pseudoflat object \(A\), and let \(\theta:A\to A\) be a \(\sigma\)-natural map (Definition 3.1). Then the isomorphism type of \(\mathrm{Ho}(\mathcal{C})\) (weak homotopy equivalence type in \(\mathcal{C}\)) of the \(\theta\)-colored normalized homotopy braid closure (Definition 3.2) is invariant under Markov moves, and hence gives a knot invariant (Theorem 3.4). Two examples are also given which illustrate how Theorem 3.4 allows to refine classical link invariants defined by categorical braid closure. The input of the above construction is a natural action of the braid group \(B_n\) on the category of perverse sheaves on a two-dimensional disk with singularities at \(n\) marked points [\textit{S. Gelfand} et al., Duke Math. J. 83, No. 3, 621--643 (1996; Zbl 0861.32022)]. This argument is formulated with a GMV operator in Theorem 4.1. The background ideas to this input are explained in the introduction. A slight modification of the original GMV action, which is used in Sections 5 and 6, is also explained. This section is concluded with a diagram which illustrates the relation between the knot DG category and the knot DG algebra. Then, the knot DG category of a knot \(K\) is defined in Definition 5.3. Adopting the Baues-Lemaire cylinder on a semi-free DG category [\textit{H. J. Baues} and \textit{J. M. Lemaire}, Math. Ann. 225, 219--245 (1977; Zbl 0322.55019)], the independence of the quasi-isomorphism type of the knot DG category of the choice of the knot DGA construction is proved (Theorem 5.5). By this theorem, an alternative proof is given of the fact that the underlying quasi-isomorphism type of the combinatorial knot DGA is a knot invariant (Theorem 5.6 and [\textit{R. Anno} and \textit{T. Logvinenko}, ``Spherical DG functors'', Preprint, \url{arXiv:1309.5035}]). In Section 6, the knot \(k\)-category, the 0th homology of the knot DG category, is computed and a description of this category is given in terms of the knot group together with a peripheral pair (Theorem 6.2). In Section 7, the fully noncommutative link DG category is defined (Definition 7.1), and the main results of Section 5 and Section 6 are extended to this case (Theorems 7.4 and 7.7). The input for the fully noncommutative case is the original GMV action. This allows (Theorem 7.10) to relate the corresponding module category to perverse sheaves on \(\mathbb{R}^3\) that are singular along the link \(L\). In Section 8, the last section, two generalizations of the GMV operator are presented. They satisfy the Reidemeister condition, and hence the corresponding homotopy braid closure gives link invariants generalizing the link DG category associated with the original GMV action. The definitions of this paper are clearly stated while most of the theorems lack proofs. The authors say that detailed proofs will appear in their forthcoming paper [``Homotopy braid closure and link invariants'', in preparation]. / rank
 
Normal rank
Property / reviewed by
 
Property / reviewed by: Akira Asada / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 57M27 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 57Q45 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 53D42 / rank
 
Normal rank
Property / Mathematics Subject Classification ID
 
Property / Mathematics Subject Classification ID: 18F20 / rank
 
Normal rank
Property / zbMATH DE Number
 
Property / zbMATH DE Number: 6708155 / rank
 
Normal rank
Property / zbMATH Keywords
 
knot differential graded (DG) algebra
Property / zbMATH Keywords: knot differential graded (DG) algebra / rank
 
Normal rank
Property / zbMATH Keywords
 
knot DG category
Property / zbMATH Keywords: knot DG category / rank
 
Normal rank
Property / zbMATH Keywords
 
knot contact homology
Property / zbMATH Keywords: knot contact homology / rank
 
Normal rank
Property / zbMATH Keywords
 
co-Cartesian Yang-Baxter operator
Property / zbMATH Keywords: co-Cartesian Yang-Baxter operator / rank
 
Normal rank
Property / zbMATH Keywords
 
Wada condition
Property / zbMATH Keywords: Wada condition / rank
 
Normal rank
Property / zbMATH Keywords
 
Reidemeister operator
Property / zbMATH Keywords: Reidemeister operator / rank
 
Normal rank
Property / zbMATH Keywords
 
categorical braid closure
Property / zbMATH Keywords: categorical braid closure / rank
 
Normal rank
Property / zbMATH Keywords
 
Gelfand-MacPherson-Vilonen (GMV) operator
Property / zbMATH Keywords: Gelfand-MacPherson-Vilonen (GMV) operator / rank
 
Normal rank
Property / zbMATH Keywords
 
perverse sheaf
Property / zbMATH Keywords: perverse sheaf / rank
 
Normal rank
Property / MaRDI profile type
 
Property / MaRDI profile type: MaRDI publication profile / rank
 
Normal rank
Property / OpenAlex ID
 
Property / OpenAlex ID: W2962813211 / rank
 
Normal rank
Property / arXiv ID
 
Property / arXiv ID: 1610.02438 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Spherical DG-functors / rank
 
Normal rank
Property / cites work
 
Property / cites work: Minimal models in homotopy theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: VIRTUAL KNOT INVARIANTS FROM GROUP BIQUANDLES AND THEIR COCYCLES / rank
 
Normal rank
Property / cites work
 
Property / cites work: Representations of the braid group by automorphisms of groups, invariants of links, and Garside groups. / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4896538 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3160254 / rank
 
Normal rank
Property / cites work
 
Property / cites work: The contact homology of Legendrian submanifolds in \(\mathbb R^{2n+1}\) / rank
 
Normal rank
Property / cites work
 
Property / cites work: Legendrian contact homology in 𝑃×ℝ / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knot contact homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Filtrations on the knot contact homology of transverse knots / rank
 
Normal rank
Property / cites work
 
Property / cites work: A complete knot invariant from contact homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Invariants in contact topology / rank
 
Normal rank
Property / cites work
 
Property / cites work: \(\mathcal{A}_\infty\)-functors and homotopy theory of dg-categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Biquandles and virtual links / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perverse sheaves and quivers / rank
 
Normal rank
Property / cites work
 
Property / cites work: Classical link invariants and the Burau representation / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4790109 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q4220599 / rank
 
Normal rank
Property / cites work
 
Property / cites work: An approach to automorphisms of free groups and braids via transvections / rank
 
Normal rank
Property / cites work
 
Property / cites work: Action of braid groups on determinantal ideals, compact spaces and a stratification of Teichmüller space / rank
 
Normal rank
Property / cites work
 
Property / cites work: Braided tensor categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Traced monoidal categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: Perverse schobers and birational geometry / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q5489372 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Rings of Fricke characters and automorphism groups of free groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Microlocal branes are constructible sheaves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Constructible sheaves and the Fukaya category / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knot and braid invariants from contact homology. I / rank
 
Normal rank
Property / cites work
 
Property / cites work: Knot and braid invariants from contact homology. II / rank
 
Normal rank
Property / cites work
 
Property / cites work: Framed knot contact homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Combinatorial knot contact homology and transverse knots / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Topological Introduction to Knot Contact Homology / rank
 
Normal rank
Property / cites work
 
Property / cites work: Augmentations are sheaves / rank
 
Normal rank
Property / cites work
 
Property / cites work: Ribbon graphs and their invariants derived from quantum groups / rank
 
Normal rank
Property / cites work
 
Property / cites work: Q3416973 / rank
 
Normal rank
Property / cites work
 
Property / cites work: Braid group actions on derived categories of coherent sheaves. / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Survey of Graphical Languages for Monoidal Categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: THE CONORMAL TORUS IS A COMPLETE KNOT INVARIANT / rank
 
Normal rank
Property / cites work
 
Property / cites work: Legendrian knots and constructible sheaves / rank
 
Normal rank
Property / cites work
 
Property / cites work: A Quillen model structure on the category of dg categories / rank
 
Normal rank
Property / cites work
 
Property / cites work: What do dg-categories form? / rank
 
Normal rank
Property / cites work
 
Property / cites work: The homotopy theory of dg-categories and derived Morita theory / rank
 
Normal rank
Property / cites work
 
Property / cites work: The Yang-Baxter equation and invariants of links / rank
 
Normal rank
Property / cites work
 
Property / cites work: Group invariants of links / rank
 
Normal rank
links / mardi / namelinks / mardi / name
 

Revision as of 17:14, 13 July 2024

scientific article
Language Label Description Also known as
English
Perverse sheaves and knot contact homology
scientific article

    Statements

    Perverse sheaves and knot contact homology (English)
    0 references
    0 references
    0 references
    0 references
    26 April 2017
    0 references
    As a category theoretical reformulation of the knot differential graded (DG) algebra \(\mathcal{A}_L\) for a link \(L\) in \(\mathbb{R}^3\) [\textit{L. Ng}, Geom. Topol. 9, 247--297 (2005; Zbl 1111.57011); ibid. 9, 1603--1637 (2005; Zbl 1112.57001)], the knot DG category \(\tilde{\mathcal{A}}_L\) is defined and gives a new algebraic construction of knot contact homology [loc. cit.], which provides the full noncommutative knot DGA [\textit{T. Ekholm} et al., Geom. Topol. 17, No. 2, 975--1112 (2013; Zbl 1267.53095)]. The outline of the paper is as follows: In Section 2, consider a category \(\mathcal{C}\) closed under finite colimits. Then it is stated that for any Reidemeister operator \(\sigma\), the isomorphism type of the normalized categorical braid closure (Definitions 2.16 and 2.5) is invariant under Markov moves, and hence gives a knot invariant (Theorem 2.17). Here, \(\sigma: A\sqcup A\to A\sqcup A\), with \(A\) an object of \(\mathcal{C}\), is said to be Reidemeister, if it is co-Cartesian Yang-Baxter (Definition 2.1), dualizable (Definition 2.11), and Wada (Definition 2.9, cf. [\textit{M. Wada}, Topology 31, No. 2, 399--406 (1992; Zbl 0758.57008)]), with invertible torsion \(\chi(\sigma)\) (Definition 2.15). In Section 3, the construction of a categorical braid closure is extended to the homological setting and states the following. Let \(\sigma: A\sqcup A\to A\sqcup A\) be a Reidemeister operator on a pseudoflat object \(A\), and let \(\theta:A\to A\) be a \(\sigma\)-natural map (Definition 3.1). Then the isomorphism type of \(\mathrm{Ho}(\mathcal{C})\) (weak homotopy equivalence type in \(\mathcal{C}\)) of the \(\theta\)-colored normalized homotopy braid closure (Definition 3.2) is invariant under Markov moves, and hence gives a knot invariant (Theorem 3.4). Two examples are also given which illustrate how Theorem 3.4 allows to refine classical link invariants defined by categorical braid closure. The input of the above construction is a natural action of the braid group \(B_n\) on the category of perverse sheaves on a two-dimensional disk with singularities at \(n\) marked points [\textit{S. Gelfand} et al., Duke Math. J. 83, No. 3, 621--643 (1996; Zbl 0861.32022)]. This argument is formulated with a GMV operator in Theorem 4.1. The background ideas to this input are explained in the introduction. A slight modification of the original GMV action, which is used in Sections 5 and 6, is also explained. This section is concluded with a diagram which illustrates the relation between the knot DG category and the knot DG algebra. Then, the knot DG category of a knot \(K\) is defined in Definition 5.3. Adopting the Baues-Lemaire cylinder on a semi-free DG category [\textit{H. J. Baues} and \textit{J. M. Lemaire}, Math. Ann. 225, 219--245 (1977; Zbl 0322.55019)], the independence of the quasi-isomorphism type of the knot DG category of the choice of the knot DGA construction is proved (Theorem 5.5). By this theorem, an alternative proof is given of the fact that the underlying quasi-isomorphism type of the combinatorial knot DGA is a knot invariant (Theorem 5.6 and [\textit{R. Anno} and \textit{T. Logvinenko}, ``Spherical DG functors'', Preprint, \url{arXiv:1309.5035}]). In Section 6, the knot \(k\)-category, the 0th homology of the knot DG category, is computed and a description of this category is given in terms of the knot group together with a peripheral pair (Theorem 6.2). In Section 7, the fully noncommutative link DG category is defined (Definition 7.1), and the main results of Section 5 and Section 6 are extended to this case (Theorems 7.4 and 7.7). The input for the fully noncommutative case is the original GMV action. This allows (Theorem 7.10) to relate the corresponding module category to perverse sheaves on \(\mathbb{R}^3\) that are singular along the link \(L\). In Section 8, the last section, two generalizations of the GMV operator are presented. They satisfy the Reidemeister condition, and hence the corresponding homotopy braid closure gives link invariants generalizing the link DG category associated with the original GMV action. The definitions of this paper are clearly stated while most of the theorems lack proofs. The authors say that detailed proofs will appear in their forthcoming paper [``Homotopy braid closure and link invariants'', in preparation].
    0 references
    0 references
    knot differential graded (DG) algebra
    0 references
    knot DG category
    0 references
    knot contact homology
    0 references
    co-Cartesian Yang-Baxter operator
    0 references
    Wada condition
    0 references
    Reidemeister operator
    0 references
    categorical braid closure
    0 references
    Gelfand-MacPherson-Vilonen (GMV) operator
    0 references
    perverse sheaf
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references

    Identifiers

    0 references
    0 references
    0 references
    0 references
    0 references
    0 references
    0 references