Perverse sheaves and knot contact homology (Q524848): Difference between revisions
From MaRDI portal
Created a new Item |
ReferenceBot (talk | contribs) Changed an Item |
||
(7 intermediate revisions by 5 users not shown) | |||
Property / author | |||
Property / author: Q265472 / 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 / name | links / 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
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
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