Related papers: Webs and canonical bases in degree two

We study solvable lattice models associated to canonical Grothendieck polynomials and their duals. We derive inversion relations and Cauchy identities.

Webs and Springer fibers are separately important objects in representation theory: webs give a diagrammatic calculus for tensor invariants of $\mathfrak{sl}_k$, and the cohomology group of Springer fibers can be used to construct the…

The aim of these notes is to describe how to construct canonical bundles of moving frames and differential invariants for parametrized curves in Lagrangian Grassmannians, at least in the monotonic case. Such curves appear as Jacobi curves…

We study the deformation complex of a canonical morphism $i$ from the properad of (degree shifted) Lie bialgebras $\mathbf{Lieb}_{c,d}$ to its polydifferential version $\mathcal{D}(\mathbf{Lieb}_{c,d})$ and show that it is quasi-isomorphic…

The purpose of this article is to study the deformations of smooth surfaces $X$ of general type whose canonical map is a finite, degree 2 morphism onto a minimal rational surface or onto $\mathbf F_1$, embedded in projective space by a very…

The ${\rm SL}_3$-skein algebra of a closed surface $\Sigma_g$ is a quantization of the ${\rm SL}_3$ character variety of $\Sigma_g$, where $g$ denotes the genus of the surface. This algebra admits a basis consisting of non-elliptic web…

The Kazhdan Lusztig isomorphism, relating the affine Hecke algebra of a $p$-adic group to the equivariant $K$ theory of the Steinberg variety of its Langlands dual, played a key role in the proof of the Deligne Langlands conjectures…

Let $k$ be a field of characteristic not 2 or 3. Let $V$ be the $k$-space of binary cubic polynomials. The natural symplectic structure on $k^2$ promotes to a symplectic structure $\omega$ on $V$ and from the natural symplectic action of…

We provide a criterion to distinguish two graphs which are indistinguishable by $2$-dimensional Weisfeiler-Lehman algorithm for almost all graphs. Haemers conjectured that almost all graphs are identified by their spectrum. Our approach…

Let C be a projective curve either reduced with planar singularities or contained in a smooth algebraic surface. We show that the canonical ring R(C, \omega_C)= \oplus_{k \geq 0} H^0(C, \omega_C^k is generated in degree 1 if C is…

In Part I of this series we described three algorithms that construct canonical tree-decompositions of graphs which distinguish all their k-blocks and tangles of order k. We now establish bounds on the number of parts in these…

We identify the canonical contact structure on the link of a simple elliptic or cusp singularity by drawing a Legendrian handlebody diagram of one of its Stein fillings. We also show that the canonical contact structure on the link of a…

For a planar bipartite graph $\mathcal G$ equipped with a $\mathrm{SL}_n$-local system, we show that the determinant of the associated Kasteleyn matrix counts "$n$-multiwebs" (generalizations of $n$-webs) in $\mathcal G$, weighted by their…

A function $f$ of a graph is called a complete graph invariant if the isomorphism of graphs $G$ and $H$ is equivalent to the equality $f(G)=f(H)$. If, in addition, $f(G)$ is a graph isomorphic to $G$, then $f$ is called a canonical form for…

Given a finite Lie incidence geometry which is either a polar space of rank at least $3$ or a strong parapolar space of symplectic rank at least $4$ and diameter at most $4$, or the parapolar space arising from the line Grassmannian of a…

The modified quantized enveloping algebra $\dot{\mathbf{U}}$ has a remarkable canonical basis, which was introduced by Lusztig. In this paper, we give an explicit description of all elements of the canonical basis of $\dot{\mathbf{U}}$ for…

The d-invariant of an integral, positive definite lattice L records the minimal norm of a characteristic covector in each equivalence class mod 2L. We prove that the 2-isomorphism type of a connected graph is determined by the d-invariant…

Generalizing the classical theorems of Max Noether and Petri, we describe generators and relations for the canonical ring of a stacky curve, including an explicit Gr\"obner basis. We work in a general algebro-geometric context and treat log…

We introduce a modified quantum enveloping algebra as well as a (modified) covering quantum algebra for the ortho-symplectic Lie superalgebra osp(1|2). Then we formulate and compute the corresponding canonical bases, and relate them to the…

Here we investigate the canonical Gaussian map for higher multiple coverings of curves, the case of double coverings being completely understood thanks to previous work by Duflot. In particular, we prove that every smooth curve can be…