Webs and canonical bases in degree two

Chris Fraser

2023-12-19

Abstract:We show that Lusztig's canonical basis for the degree two part of the Grassmannian coordinate ring is given by SL(k) web diagrams. Equivalently, we show that every SL(2) web immanant of a plabic graph for Gr(k,n) is an SL(k) web invariant.

Combinatorics,Representation Theory

What problem does this paper attempt to address?

Web bases in degree two from hourglass plabic graphs

Christian Gaetz,Oliver Pechenik,Stephan Pfannerer,Jessica Striker,Joshua P. Swanson

2024-02-22

Abstract:Webs give a diagrammatic calculus for spaces of $U_q(\mathfrak{sl}_r)$-tensor invariants, but intrinsic characterizations of web bases are only known in certain cases. Recently, we introduced hourglass plabic graphs to give the first such $U_q(\mathfrak{sl}_4)$-web bases. Separately, Fraser introduced a web basis for Pl\"{u}cker degree two representations of arbitrary $U_q(\mathfrak{sl}_r)$. Here, we show that Fraser's basis agrees with that predicted by the hourglass plabic graph framework and give an intrinsic characterization of the resulting webs. A further compelling feature with many applications is that our bases exhibit rotation-invariance. Together with the results of our earlier paper, this implies that hourglass plabic graphs give a uniform description of all known rotation-invariant $U_q(\mathfrak{sl}_r)$-web bases. Moreover, this provides a single combinatorial model simultaneously generalizing the Tamari lattice, the alternating sign matrix lattice, and the lattice of plane partitions. As a part of our argument, we develop properties of square faces in arbitrary hourglass plabic graphs, a key step in our program towards general $U_q(\mathfrak{sl}_r)$-web bases.

Quantum Algebra,Combinatorics,Representation Theory
The sl_3 web algebra

marco mackaay,weiwei pan,d tubbenhauer

DOI: https://doi.org/10.1007/s00209-013-1262-6

2014-01-01

Mathematische Zeitschrift

Abstract:In this paper we use Kuperberg's -webs and Khovanov's -foams to define a new algebra , which we call the -web algebra. It is the analogue of Khovanov's arc algebra. We prove that is a graded symmetric Frobenius algebra. Furthermore, we categorify an instance of -skew Howe duality, which allows us to prove that is Morita equivalent to a certain cyclotomic KLR-algebra of level 3. This allows us to determine the split Grothendieck group , to show that its center is isomorphic to the cohomology ring of a certain Spaltenstein variety, and to prove that is a graded cellular algebra.
Webs and multiwebs for the symplectic group

Richard Kenyon,Haihan Wu

2024-11-05

Abstract:We define $2n$-multiwebs on planar graphs and discuss their relation with $\mathrm{Sp}(2n)$-webs. On a planar graph with a symplectic local system we define a matrix whose Pfaffian is the sum of traces of $2n$-multiwebs. As application we generalize Kasteleyn's theorem from dimer covers to $2n$-multiweb covers of planar graphs with $U(n)$ gauge group. For $\mathrm{Sp}(4)$ we relate Kuperberg's ``tetravalent vertex'' to the determinant, and classify reduced $4$-webs on some simple surfaces: the annulus, torus, and pair of pants. We likewise define, for $\mathrm{Sp}(2n)$ and $q=1$, a $2n$-valent vertex corresponding to the determinant, and classify reduced $2n$-webs on an annulus.

Mathematical Physics,Probability,Representation Theory
Rotation-invariant web bases from hourglass plabic graphs

Christian Gaetz,Oliver Pechenik,Stephan Pfannerer,Jessica Striker,Joshua P. Swanson

2024-06-18

Abstract:Webs give a diagrammatic calculus for spaces of tensor invariants. We introduce hourglass plabic graphs as a new avatar of webs, and use these to give the first rotation-invariant $U_q(\mathfrak{sl}_4)$-web basis, a long-sought object. The characterization of our basis webs relies on the combinatorics of these new plabic graphs and associated configurations of a symmetrized six-vertex model. We give growth rules, based on a novel crystal-theoretic technique, for generating our basis webs from tableaux and we use skein relations to give an algorithm for expressing arbitrary webs in the basis. We also discuss how previously known rotation-invariant web bases can be unified in our framework of hourglass plabic graphs.

Combinatorics,Quantum Algebra,Representation Theory
Monomial web basis for the SL(N) skein algebra of the twice punctured sphere

Tommaso Cremaschi,Daniel C. Douglas

2024-07-05

Abstract:For any non-zero complex number $q$, excluding finitely many roots of unity of small order, a linear basis for the $\mathrm{SL}(n)$ skein algebra of the twice punctured sphere is constructed. In particular, the skein algebra is a commutative polynomial algebra in $n-1$ generators, where each generator is represented by an explicit $\mathrm{SL}(n)$ web, without crossings, on the surface. This includes the case $q=1$, where the skein algebra is identified with the coordinate ring of the $\mathrm{SL}(n)$ character variety of the twice punctured sphere. The proof of both the spanning and linear independence properties of the basis depends on the so-called $\mathrm{SL}(n)$ quantum trace map, due originally to Bonahon-Wong in the case $n=2$. A consequence of the proof is that the polynomial algebra sits as a distinguished subalgebra of the Lê-Sikora $\mathrm{SL}(n)$ stated skein algebra of the annulus. We end by discussing the relationship with Fock-Goncharov duality.

Geometric Topology,Combinatorics,Quantum Algebra,Representation Theory
Verlinde/Grassmannian Correspondence and Rank 2 Δ-Wall-crossing

Yongbin Ruan,Ming Zhang

DOI: https://doi.org/10.1007/s42543-021-00046-6

2022-01-01

Peking Mathematical Journal

Abstract:Motivated by Witten’s work, we propose a K -theoretic Verlinde/Grassmannian correspondence which relates the GL Verlinde numbers to the K -theoretic quasimap invariants of the Grassmannian. We recover these two types of invariants by imposing different stability conditions on the gauged linear sigma model associated with the Grassmannian. We construct two families of stability conditions connecting the two theories and prove two wall-crossing results. We confirm the Verlinde/Grassmannian correspondence in the rank two case.
Canonical bases for Coulomb branches of 4d $\mathcal{N}=2$ gauge theories

Sabin Cautis,Harold Williams

2023-06-06

Abstract:We construct and study a nonstandard t-structure on the derived category of equivariant coherent sheaves on the Braverman-Finkelberg-Nakajima space of triples $\mathcal{R}_{G,N}$, where $N$ is a representation of a reductive group $G$. Its heart $\mathcal{KP}_{G,N}$ is a finite-length, rigid, monoidal abelian category with renormalized $r$-matrices. We refer to objects of $\mathcal{KP}_{G,N}$ as Koszul-perverse coherent sheaves. Simple objects of $\mathcal{KP}_{G,N}$ define a canonical basis in the quantized $K$-theoretic Coulomb branch of the associated gauge theory. These simples possess various characteristic properties of Wilson-'t Hooft lines, and we interpret our construction as an algebro-geometric definition of the category of half-BPS line defects in a 4d $\mathcal{N}=2$ gauge theory of cotangent type.

Algebraic Geometry,Mathematical Physics,Representation Theory
Canonical bases of the oriented skein category

Yaolong Shen

2024-01-12

Abstract:We develop a bar involution and canonical basis for every morphism space of the oriented skein category through a diagrammatic approach. In particular, our construction gives rise to Kazhdan-Lusztig type bases on quantized walled Brauer algebras.

Quantum Algebra,Representation Theory
Cluster Categorification of Rank 2 Webs

Ian Le,Emine Yıldırım

2024-02-22

Abstract:The homogeneous coordinate ring of the Grassmannian $\rm{Gr}(k,n)$ has a well-known cluster structure. There is a categorification of this cluster structure via a category of modules for a ring $\mathcal{A}_{k,n}$ due to Jensen-King-Su, building on work of Geiss-Leclerc-Schr\"oer, in which cluster variables correspond to indecomposable rigid modules. We give a combinatorial description of modules that correspond to rank $2$ cluster variables by using webs. This conjecturally gives the categorification of all rank $2$ cluster variables.

Combinatorics,Representation Theory
Gröbner bases in the mod 2 cohomology of oriented Grassmann manifolds G͠ 2 t ,3

Uroš A. Colović,Branislav I. Prvulović

DOI: https://doi.org/10.1515/ms-2024-0015

2024-05-29

Mathematica Slovaca

Abstract:For n a power of two, we give a complete description of the cohomology algebra H * ( G͠ n ,3 ; Z 2 ) of the Grassmann manifold G͠ n ,3 of oriented 3-planes in R n . We do this by finding a reduced Gröbner basis for an ideal closely related to this cohomology algebra. Using this Gröbner basis we also present an additive basis for H * ( G͠ n ,3 ; Z 2 ).

mathematics
Coherent sheaves and quantum Coulomb branches II: quiver gauge theories and knot homology

Ben Webster

2024-09-05

Abstract:We continue our study of noncommutative resolutions of Coulomb branches in the case of quiver gauge theories. These include the Slodowy slices in type A and symmetric powers in $\mathbb{C}^2$ as special cases. These resolutions are based on vortex line defects in quantum field theory, but have a precise mathematical description, which in the quiver case is a modification of the formalism of KLRW algebras. While best understood in a context which depends on the geometry of the affine Grassmannian and representation theory in characteristic $p$, we give a description of the Coulomb branches and their commutative and non-commutative resolutions which can be understood purely in terms of algebra. This allows us to construct a purely algebraic version of the knot homology theory defined using string theory by Aganagić, categorifying the Reshetikhin-Turaev invariants for minuscule representations of type ADE Lie algebras. We show that this homological invariant agrees with the categorification of these invariants previously defined by the author, and thus with Khovanov-Rozansky homology in type A.

Algebraic Geometry,Mathematical Physics,Representation Theory
Linv invariant and $G_2$ web space

Takuro Sakamoto,Yasuyoshi Yonezawa

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

2015-03-29

Geometric Topology

Abstract:In this paper, we reconstruct Kuperberg's $G_2$ web space. We introduce a new web (a trivalent diagram) and new relations between Kuperberg's web diagrams and the new diagram. Using the $G_2$ webs, we define crossing formulas corresponding to R-matrices associated to some $G_2$ irreducible representations and calculate $G_2$ quantum link invariant for some torus links.
Gröbner bases in the mod $2$ cohomology of oriented Grassmann manifolds $\widetilde G_{2^t,3}$

Uroš A. Colović,Branislav I. Prvulović

2023-06-09

Abstract:For $n$ a power of two, we give a complete description of the cohomology algebra $H^*(\widetilde G_{n,3};\mathbb Z_2)$ of the Grassmann manifold $\widetilde G_{n,3}$ of oriented $3$-planes in $\mathbb R^n$. We do this by finding a reduced Gröbner basis for an ideal closely related to this cohomology algebra. Using this Gröbner basis we also present an additive basis for $H^*(\widetilde G_{n,3};\mathbb Z_2)$.

Algebraic Topology
Generic Extensions and Canonical Bases for Cyclic Quivers

Bangming Deng,Jie Du,Jie Xiao

DOI: https://doi.org/10.4153/cjm-2007-054-7

2007-01-01

Abstract:We use the monomial basis theory developed by Deng and Du to present an elementary algebraic construction of the canonical bases for both the Ringel-Hall algebra of a cyclic quiver and the positive part U+ of the quantum affine sl(n). This construction relies on analysis of quiver representations and the introduction of a new integral PBW-like basis for the Lusztig Z[v, v(-1)] -form of U+.
Tame quivers and affine bases II: nonsimply-laced cases

Jie Xiao,Han Xu

2024-02-06

Abstract:In [Tame_quivers_and_affine_bases_I], we give a Ringel-Hall algebra approach to the canonical bases in the symmetric affine cases. In this paper, we extend the results to general symmetrizable affine cases by using Ringel-Hall algebras of representations of a valued quiver. We obtain a bar-invariant basis $\mathbf{B}'=\{C(\mathbf{c},t_\lambda)|(\mathbf{c},t_\lambda)\in\mathcal{G}^a\}$ in the generic composition algebra $\mathcal{C}^*$ and prove that $\mathcal{B}'=\mathbf{B}'\sqcup(-\mathbf{B}')$ coincides with Lusztig's signed canonical basis $\mathcal{B}$. Moreover, in type $\tilde{B}_n,\tilde{C}_n$, $\mathbf{B}'$ is the canonical basis $\mathbf{B}$.

Representation Theory,Quantum Algebra,Rings and Algebras
Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces I: construction

Daniel C. Douglas,Zhe Sun

2024-01-07

Abstract:For a finite-type surface $\mathfrak{S}$, we study a preferred basis for the commutative algebra $\mathbb{C}[\mathscr{R}_{\mathrm{SL}_3(\mathbb{C})}(\mathfrak{S})]$ of regular functions on the $\mathrm{SL}_3(\mathbb{C})$-character variety, introduced by Sikora-Westbury. These basis elements come from the trace functions associated to certain tri-valent graphs embedded in the surface $\mathfrak{S}$. We show that this basis can be naturally indexed by non-negative integer coordinates, defined by Knutson-Tao rhombus inequalities and modulo 3 congruence conditions. These coordinates are related, by the geometric theory of Fock and Goncharov, to the tropical points at infinity of the dual version of the character variety.

Geometric Topology,Quantum Algebra
Coherent IC-sheaves on type $A_{n}$ affine Grassmannians and dual canonical basis of affine type $A_{1}$

Michael Finkelberg,Ryo Fujita

DOI: https://doi.org/10.1090/ert/558

2024-06-10

Abstract:The convolution ring $K^{GL_n(\mathcal{O})\rtimes\mathbb{C}^\times}(\mathrm{Gr}_{GL_n})$ was identified with a quantum unipotent cell of the loop group $LSL_2$ in [Cautis-Williams, J. Amer. Math. Soc. 32 (2019), pp. 709-778]. We identify the basis formed by the classes of irreducible equivariant perverse coherent sheaves with the dual canonical basis of the quantum unipotent cell.

Representation Theory,Algebraic Geometry,Quantum Algebra
Gröbner bases and the Cohen-Macaulay property of Li's double determinantal varieties

Nathan Fieldsteel,Patricia Klein

DOI: https://doi.org/10.1090/bproc/56

2020-12-10

Abstract:We consider double determinantal varieties, a special case of Nakajima quiver varieties. Li conjectured that double determinantal varieties are normal, irreducible, Cohen-Macaulay varieties whose defining ideals have a Gröbner basis given by their natural generators. We use liaison theory to prove this conjecture in a manner that generalizes results for mixed ladder determinantal varieties. We also give a formula for the dimension of a double determinantal variety.

Commutative Algebra,Combinatorics
Webs and squabs of conics over finite fields

Nour Alnajjarine,Michel Lavrauw

2024-05-17

Abstract:This paper is a contribution towards a solution for the longstanding open problem of classifying linear systems of conics over finite fields initiated by L. E. Dickson in 1908, through his study of the projective equivalence classes of pencils of conics in $\mathrm{PG}(2,q)$, for $q$ odd. In this paper a set of complete invariants is determined for the projective equivalence classes of webs and of squabs of conics in $\mathrm{PG}(2,q)$, both for $q$ odd and even. Our approach is mainly geometric, and involves a comprehensive study of the geometric and combinatorial properties of the Veronese surface in $\mathrm{PG}(5,q)$. The main contribution is the determination of the distribution of the different types of hyperplanes incident with the $K$-orbit representatives of points and lines of $\mathrm{PG}(5,q)$, where $K\cong\mathrm{PGL}(3,q)$, is the subgroup of $\mathrm{PGL}(6,q)$ stabilizing the Veronese surface.

Combinatorics,Algebraic Geometry
Foundations of Frobenius Heisenberg categories

Jonathan Brundan,Alistair Savage,Ben Webster

DOI: https://doi.org/10.1016/j.jalgebra.2021.02.025

2023-09-28

Abstract:We describe bases for the morphism spaces of the Frobenius Heisenberg categories associated to a symmetric graded Frobenius algebra, proving several open conjectures. Our proof uses a categorical comultiplication and generalized cyclotomic quotients of the category. We use our basis theorem to prove that the Grothendieck ring of the Karoubi envelope of the Frobenius Heisenberg category recovers the lattice Heisenberg algebra associated to the Frobenius algebra.

Representation Theory,Category Theory

Webs and canonical bases in degree two

Web bases in degree two from hourglass plabic graphs

The sl_3 web algebra

Webs and multiwebs for the symplectic group

Rotation-invariant web bases from hourglass plabic graphs

Monomial web basis for the SL(N) skein algebra of the twice punctured sphere

Verlinde/Grassmannian Correspondence and Rank 2 Δ-Wall-crossing

Canonical bases for Coulomb branches of 4d $\mathcal{N}=2$ gauge theories

Canonical bases of the oriented skein category

Cluster Categorification of Rank 2 Webs

Gröbner bases in the mod 2 cohomology of oriented Grassmann manifolds G͠ 2 t ,3

Coherent sheaves and quantum Coulomb branches II: quiver gauge theories and knot homology

Linv invariant and $G_2$ web space

Gröbner bases in the mod $2$ cohomology of oriented Grassmann manifolds $\widetilde G_{2^t,3}$

Generic Extensions and Canonical Bases for Cyclic Quivers

Tame quivers and affine bases II: nonsimply-laced cases

Tropical Fock-Goncharov coordinates for $\mathrm{SL}_3$-webs on surfaces I: construction

Coherent IC-sheaves on type $A_{n}$ affine Grassmannians and dual canonical basis of affine type $A_{1}$

Gröbner bases and the Cohen-Macaulay property of Li's double determinantal varieties

Webs and squabs of conics over finite fields

Foundations of Frobenius Heisenberg categories