Anchored $\mathfrak{gl}_N$ foams and annular Khovanov-Rozansky homology

Rostislav Akhmechet

2023-05-16

Abstract:We introduce equivariant $\mathfrak{gl}_N$ homology for links in the thickened annulus via foam evaluation.

Geometric Topology,Quantum Algebra

What problem does this paper attempt to address?

Symmetric Khovanov--Rozansky link homologies

Louis-Hadrien Robert,Emmanuel Wagner

DOI: https://doi.org/10.48550/arXiv.1801.02244

2019-09-05

Abstract:We provide a finite dimensional categorification of the symmetric evaluation of $\mathfrak{sl}_N$-webs using foam technology. As an output we obtain a symmetric link homology theory categorifying the link invariant associated to symmetric powers of the standard representation of $\mathfrak{sl}_N$. In addition, the construction is actually made in an equivariant setting. We prove also that there is a spectral sequence from the Khovanov-Rozansky triply graded link homology to the symmetric one and provide along the way a foam interpretation of Soergel bimodules.

Geometric Topology,Quantum Algebra
Deformations of colored sl(N) link homologies via foams

David E. V. Rose,Paul Wedrich

DOI: https://doi.org/10.2140/gt.2016.20.3431

2015-01-12

Abstract:We generalize results of Lee, Gornik and Wu on the structure of deformed colored sl(N) link homologies to the case of non-generic deformations. To this end, we use foam technology to give a completely combinatorial construction of Wu's deformed colored sl(N) link homologies. By studying the underlying deformed higher representation theoretic structures and generalizing the Karoubi envelope approach of Bar-Natan and Morrison we explicitly compute the deformed invariants in terms of undeformed type A link homologies of lower rank and color.

Geometric Topology,Quantum Algebra
Symmetries of $\mathfrak{gl}_N$-foams

You Qi,Louis-Hadrien Robert,Joshua Sussan,Emmanuel Wagner

2024-01-16

Abstract:We give an action of a Lie subalgebra of the Witt algebra on foams. This action is compatible with the $\mathfrak{gl}_N$-foam evaluation formula. In particular, this endows states spaces associated with $\mathfrak{gl}_N$-webs with an $\mathfrak{sl}_2$-action. When working in positive characteristic, this can be used to define a $p$-DG structure on these state spaces.

Geometric Topology,Quantum Algebra,Representation Theory
Foams with flat connections and algebraic K-theory

David Gepner,Mee Seong Im,Mikhail Khovanov,Nitu Kitchloo

2024-05-23

Abstract:This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will become clear, a vertex (or the smallest stratum) of an $n$-dimensional foam replaces an $(n+1)$-simplex with a total ordering of vertices. We show that the first K-theory group of a ring $R$ can be identified with the cobordism group of decorated 1-foams embedded in the plane. A similar relation between the $n$-th algebraic K-theory group of a ring $R$ and the cobordism group of decorated $n$-foams embedded in $\mathbb{R}^{n+1}$ is expected for $n>1$. An analogous correspondence is proposed for arbitrary exact categories. Modifying the embedding and other conditions on the foams may lead to new flavors of K-theory groups.

K-Theory and Homology,Algebraic Topology,Geometric Topology
Anchored Lagrangian submanifolds and their Floer theory

Kenji Fukaya,Yong-Geun Oh,Hiroshi Ohta,Kaoru Ono

DOI: https://doi.org/10.1090/conm/527/10399

2010-01-01

Contemporary Mathematics

Abstract:We introduce the notion of (graded) anchored Lagrangian submanifolds and use it to study the filtration of Floer' s chain complex. We then obtain an anchored version of Lagrangian Floer homology and its (higher) product structures. They are somewhat different from the more standard non-anchored version. The anchored version discussed in this paper is more naturally related to the variational picture of Lagrangian Floer theory and so to the likes of spectral invariants. We also discuss rationality of Lagrangian submanifold and reduction of the coefficient ring of Lagrangian Floer cohomology of thereof.
Symplectic annular Khovanov homology and fixed point localizations

Kristen Hendricks,Cheuk Yu Mak,Sriram Raghunath

2024-08-13

Abstract:We introduce a new version of symplectic annular Khovanov homology and establish spectral sequences from (i) the symplectic annular Khovanov homology of a knot to the link Floer homology of the lift of the annular axis in the double branched cover; (ii) the symplectic Khovanov homology of a two-periodic knot to the symplectic annular Khovanov homology of its quotient; and (iii) the symplectic Khovanov homology of a strongly invertible knot to the cone of the axis-moving map between the symplectic annular Khovanov homology of the two resolutions of its quotient.

Geometric Topology,Symplectic Geometry
Anchored symplectic embeddings

Michael Hutchings,Agniva Roy,Morgan Weiler,Yuan Yao

2024-07-11

Abstract:Given two four-dimensional symplectic manifolds, together with knots in their boundaries, we define an ``anchored symplectic embedding'' to be a symplectic embedding, together with a two-dimensional symplectic cobordism between the knots (in the four-dimensional cobordism determined by the embedding). We use techniques from embedded contact homology to determine quantitative critera for when anchored symplectic embeddings exist, for many examples of toric domains. In particular we find examples where ordinarily symplectic embeddings exist, but they cannot be upgraded to anchored symplectic embeddings unless one enlarges the target domain.

Symplectic Geometry
sl3-foam homology calculations

Lukas Lewark

DOI: https://doi.org/10.2140/agt.2013.13.3661

2013-02-21

Abstract:We exhibit a certain infinite family of three-stranded quasi-alternating pretzel knots which are counterexamples to Lobb's conjecture that the sl_3-knot concordance invariant s_3 (suitably normalised) should be equal to the Rasmussen invariant s_2. For this family, |s_3| < |s_2|. However, we also find other knots for which |s_3| > |s_2|. The main tool is an implementation of Morrison and Nieh's algorithm to calculate Khovanov's sl_3-foam link homology. Our C++-program is fast enough to calculate the integral homology of e.g. the (6,5)-torus knot in six minutes. Furthermore, we propose a potential improvement of the algorithm by gluing sub-tangles in a more flexible way.

Geometric Topology
On unification of colored annular sl(2) knot homology

Anna Beliakova,Matthew Hogancamp,Krzysztof Karol Putyra,Stephan Martin Wehrli

2023-05-05

Abstract:We show that the Khovanov and Cooper-Krushkal models for colored sl(2) homology are equivalent in the case of the unknot, when formulated in the quantum annular Bar-Natan category. Again for the unknot, these two theories are shown to be equivalent to a third colored homology theory, defined using the action of Jones-Wenzl projectors on the quantum annular homology of cables. The proof is given by conceptualizing the properties of all three models into a Chebyshev system and by proving its uniqueness. In addition, we show that the classes of the Cooper-Hogancamp projectors in the quantum horizontal trace coincide with those of the Cooper-Krushkal projectors on the passing through strands. As an application, we compute the full quantum Hochschild homology of Khovanov's arc algebras. Finally, we state precise conjectures formalizing cabling operations and extending the above results to all knots.

Geometric Topology,Quantum Algebra,Representation Theory
Monopole Invariants for Webs and Foams

Jiakai Li

2024-10-31

Abstract:We develop a package of monopole Floer-theoretic invariants for webs and foams using real Seiberg-Witten theory with orbifold singularities, based on Kronheimer and Mrowka's framework of monopole Floer homology.

Geometric Topology
Anchor maps and stable modules in depth two

Lars Kadison

DOI: https://doi.org/10.48550/arXiv.math/0606489

2006-08-15

Abstract:An algebra extension A | B is right depth two if its tensor-square A\otimes_B A is in the Dress category Add A as A-B-bimodules. We consider necessary conditions for right, similarly left, D2 extensions in terms of partial A-invariance of two-sided ideals in A contracted to the centralizer. Finite dimensional algebras extending central simple algebras are shown to be depth two. Following P. Xu <a class="link-https" data-arxiv-id="math.QA/9905192" href="https://arxiv.org/abs/math.QA/9905192">math.QA/9905192</a>, left and right bialgebroids over a base algebra R may be defined in terms of anchor maps, or representations on R. The anchor maps for the bialgebroids S = End {}_BA_B and T = End {}_AA\otimes_BA_A over the centralizer R = C_A(B) are the modules {}_SR and R_T studied in <a class="link-https" data-arxiv-id="math.RA/0505004" href="https://arxiv.org/abs/math.RA/0505004">math.RA/0505004</a>, <a class="link-https" data-arxiv-id="math.RA/0408155" href="https://arxiv.org/abs/math.RA/0408155">math.RA/0408155</a> and <a class="link-https" data-arxiv-id="math.GR/0409346" href="https://arxiv.org/abs/math.GR/0409346">math.GR/0409346</a>, which provide information about the bialgebroids and the extension (cf. <a class="link-https" data-arxiv-id="math.QA/0409106" href="https://arxiv.org/abs/math.QA/0409106">math.QA/0409106</a>). The anchor maps for the Hopf algebroids in <a class="link-https" data-arxiv-id="math.KT/0105105" href="https://arxiv.org/abs/math.KT/0105105">math.KT/0105105</a> and <a class="link-https" data-arxiv-id="math.QA/0508411" href="https://arxiv.org/abs/math.QA/0508411">math.QA/0508411</a> reverse the order of right multiplication and action by a Hopf algebra element, and lift to the isomorphism in <a class="link-https" data-arxiv-id="math.QA/0508638" href="https://arxiv.org/abs/math.QA/0508638">math.QA/0508638</a>. We sketch a theory of stable $A$-modules and their endomorphism rings and generalize the smash product decomposition in Prop. 1.1, (L. Kadison, Hopf Algebroid and H-separable extensions, Proc. A.M.S. 131 (2003), 2993-3002) to any A-module. We observe that Schneider's coGalois theory (<a class="link-external link-http" href="http://Isr.J.Math" rel="external noopener nofollow">this http URL</a> 1990) provides examples of codepth two, such as the quotient epimorphism of a finite dimensional normal Hopf subalgebra. A homomorphism of finite dimensional coalgebras is codepth two if and only if its dual homomorphism of algebras is depth two.

Quantum Algebra,Representation Theory
Stabilization distance bounds from link Floer homology

András Juhász,Ian Zemke

2024-03-29

Abstract:We consider the set of connected surfaces in the 4-ball with boundary a fixed knot in the 3-sphere. We define the stabilization distance between two surfaces as the minimal $g$ such that we can get from one to the other using stabilizations and destabilizations through surfaces of genus at most $g$. Similarly, we consider a double point distance between two surfaces of the same genus, which is the minimum over all regular homotopies connecting the two surfaces of the maximal number of double points appearing in the homotopy. To many of the concordance invariants defined using Heegaard Floer homology, we construct an analogous invariant for a pair of surfaces. We show that these give lower bounds on the stabilization distance and the double point distance. We compute our invariants for some pairs of deform-spun slice disks by proving a trace formula on the full infinity knot Floer complex, and by determining the action on knot Floer homology of an automorphism of the connected sum of a knot with itself that swaps the two summands. We use our invariants to find pairs of slice disks with arbitrarily large distance with respect to many of the metrics we consider in this paper. We also answer a slice disk analogue of Problem 1.105 (B) from Kirby's problem list by showing the existence of non-0-cobordant slice disks.

Mathematics
A Topological Theory for Unoriented SL(4) Foams

Mikhail Khovanov,Józef H. Przytycki,Louis-Hadrien Robert,Marithania Silvero

DOI: https://doi.org/10.1007/s00009-024-02591-7

2024-03-12

Mediterranean Journal of Mathematics

Abstract:Unoriented SL(3) foams are two-dimensional CW complexes with generic singularities embedded in 3- and 4-manifolds. They naturally come up in the Kronheimer–Mrowka SO(3) gauge theory for 3-orbifolds and, in the oriented case, in a categorification of the Kuperberg bracket quantum invariant. The present paper studies the more technically complicated case of SL(4) foams. Combinatorial evaluation of unoriented SL(4) foams is defined and state spaces for it are studied. In particular, over a suitably localized ground ring, the state space of any web is free of the rank given by the number of its 4-colorings.

mathematics, applied
Gompf's cork and Heegaard Floer homology

Irving Dai,Abhishek Mallick,Ian Zemke

2024-08-31

Abstract:Gompf showed that for $K$ in a certain family of double-twist knots, the swallow-follow operation makes $1/n$-surgery on $K \# -K$ into a cork boundary. We derive a general Floer-theoretic condition on $K$ under which this is the case. Our formalism allows us to produce many further examples of corks, partially answering a question of Gompf. Unlike Gompf's method, our proof does not rely on any closed 4-manifold invariants or effective embeddings, and also generalizes to other diffeomorphisms.

Geometric Topology
Symmetries of equivariant Khovanov-Rozansky homology

You Qi,Louis-Hadrien Robert,Joshua Sussan,Emmanuel Wagner

2023-07-19

Abstract:We construct an $\mathfrak{sl}_2$-action on equivariant $\mathfrak{gl}_N$-link homologies. As a consequence we obtain an action of $\mathfrak{sl}_2$ on these homologies as well as a $p$-DG structures for $p$ a prime number. We explore topological applications of these structures.

Geometric Topology,Quantum Algebra,Representation Theory
A topological theory of unoriented SL(4) foams

Mikhail Khovanov,Jozef H. Przytycki,Louis-Hadrien Robert,Marithania Silvero

2023-07-03

Abstract:Unoriented SL(3) foams are two-dimensional CW complexes with generic singularities embedded in 3- and 4-manifolds. They naturally come up in the Kronheimer-Mrowka SO(3) gauge theory for 3-orbifolds and, in the oriented case, in a categorification of the Kuperberg bracket quantum invariant. The present paper studies the more technically complicated case of SL(4) foams. Combinatorial evaluation of unoriented SL(4) foams is defined and state spaces for it are studied. In particular, over a suitably localized ground ring, the state space of any web is free of the rank given by the number of its 4-colorings.

Geometric Topology,Combinatorics,Quantum Algebra
Foams and KZ-equations in Rozansky-Witten theories

Sergei Gukov,Babak Haghighat,Nicolai Reshetikhin

2024-07-29

Abstract:In this paper, we present a geometric description of foams, which are prevalent in topological quantum field theories (TQFTs) based on quantum algebra, and reciprocally explore the geometry of Rozansky-Witten (RW) theory from an algebraic perspective. This approach illuminates various aspects of decorated TQFTs via geometry of the target space $X$ of RW theory. Through the formulation of the Knizhnik-Zamolodchikov (KZ) equation within this geometric framework, we derive the corresponding braiding and associator morphisms. We discuss applications where the target space of RW theory emerges as the Coulomb branch of a compactified 6d SCFT or Little String Theory, with the latter being particularly intriguing as it results in a compact $X$.

High Energy Physics - Theory
Relative geometric assembly and mapping cones, Part II: Chern characters and the Novikov property

Robin J. Deeley,Magnus Goffeng

DOI: https://doi.org/10.48550/arXiv.1705.08467

2017-05-23

K-Theory and Homology

Abstract:We study Chern characters and the assembly mapping for free actions using the framework of geometric $K$-homology. The focus is on the relative groups associated with a group homomorphism $\phi:\Gamma_1\to \Gamma_2$ along with applications to Novikov type properties. In particular, we prove a relative strong Novikov property for homomorphisms of hyperbolic groups and a relative strong $\ell^1$-Novikov property for polynomially bounded homomorphisms of groups with polynomially bounded cohomology in $\C$. As a corollary, relative higher signatures on a manifold with boundary $W$, with $\pi_1(\partial W)\to \pi_1(W)$ belonging to the class above, are homotopy invariant.
Thin links and Conway spheres

Zibrowius,Claudius

DOI: https://doi.org/10.1112/s0010437x24007152

2024-05-21

Compositio Mathematica

Abstract:When restricted to alternating links, both Heegaard Floer and Khovanov homology concentrate along a single diagonal -grading. This leads to the broader class of thin links that one would like to characterize without reference to the invariant in question. We provide a relative version of thinness for tangles and use this to characterize thinness via tangle decompositions along Conway spheres. These results bear a strong resemblance to the L-space gluing theorem for three-manifolds with torus boundary. Our results are based on certain immersed curve invariants for Conway tangles, namely the Heegaard Floer invariant and the Khovanov invariant that were developed by the authors in previous works.

mathematics
Framed cohomological Hall algebras and cohomological stable envelopes

Tommaso Maria Botta

DOI: https://doi.org/10.1007/s11005-023-01716-5

2023-08-23

Abstract:There are multiple conjectures relating the cohomological Hall algebras (CoHAs) of certain substacks of the moduli stack of representations of a quiver $Q$ to the Yangian $Y^{Q}_{MO}$ by Maulik-Okounkov, whose construction is based on the notion of stable envelopes of Nakajima varieties. In this article, we introduce the cohomological Hall algebra of the moduli stack of framed representations of a quiver $Q$ (framed CoHA) and we show that the equivariant cohomology of the disjoint union of the Nakajima varieties $\mathcal{M}_Q(\text{v},\text{w})$ for all dimension vectors $\text{v}$ and framing vectors $\text{w}$ has a canonical structure of subalgebra of the framed CoHA. Restricted to this subalgebra, the algebra multiplication is identified with the stable envelope map. As a corollary, we deduce an explicit inductive formula to compute stable envelopes in terms of tautological classes.

Algebraic Geometry,Mathematical Physics,Quantum Algebra,Representation Theory

Anchored $\mathfrak{gl}_N$ foams and annular Khovanov-Rozansky homology

Symmetric Khovanov--Rozansky link homologies

Deformations of colored sl(N) link homologies via foams

Symmetries of $\mathfrak{gl}_N$-foams

Foams with flat connections and algebraic K-theory

Anchored Lagrangian submanifolds and their Floer theory

Symplectic annular Khovanov homology and fixed point localizations

Anchored symplectic embeddings

sl3-foam homology calculations

On unification of colored annular sl(2) knot homology

Monopole Invariants for Webs and Foams

Anchor maps and stable modules in depth two

Stabilization distance bounds from link Floer homology

A Topological Theory for Unoriented SL(4) Foams

Gompf's cork and Heegaard Floer homology

Symmetries of equivariant Khovanov-Rozansky homology

A topological theory of unoriented SL(4) foams

Foams and KZ-equations in Rozansky-Witten theories

Relative geometric assembly and mapping cones, Part II: Chern characters and the Novikov property

Thin links and Conway spheres

Framed cohomological Hall algebras and cohomological stable envelopes