An official website of the United States government
Abstract Using the invariant theory of arc spaces, we find minimal strong generating sets for certain cosets of affine vertex algebras inside free field algebras that are related to classical Howe duality. These results have several applications. First, for any vertex algebra $${{\mathcal {V}}}$$, we have a surjective homomorphism of differential algebras $$\mathbb {C}[J_{\infty }(X_{{{\mathcal {V}}}})] \rightarrow \text {gr}^{F}({{\mathcal {V}}})$$; equivalently, the singular support of $${{\mathcal {V}}}$$ is a closed subscheme of the arc space of the associated scheme $$X_{{{\mathcal {V}}}}$$. We give many new examples of classically free vertex algebras (i.e., this map is an isomorphism), including $$L_{k}({{\mathfrak {s}}}{{\mathfrak {p}}}_{2n})$$ for all positive integers $$n$$ and $$k$$. We also give new examples where the kernel of this map is nontrivial but is finitely generated as a differential ideal. Next, we prove a coset realization of the subregular $${{\mathcal {W}}}$$-algebra of $${{\mathfrak {s}}}{{\mathfrak {l}}}_{n}$$ at a critical level that was previously conjectured by Creutzig, Gao, and the 1st author. Finally, we give some new level-rank dualities involving affine vertex superalgebras.
more »
« less
Polynomial Representations of the Witt Lie Algebra
Abstract The Witt algebra $${\mathfrak{W}}_{n}$$ is the Lie algebra of all derivations of the $$n$$-variable polynomial ring $$\textbf{V}_{n}=\textbf{C}[x_{1}, \ldots , x_{n}]$$ (or of algebraic vector fields on $$\textbf{A}^{n}$$). A representation of $${\mathfrak{W}}_{n}$$ is polynomial if it arises as a subquotient of a sum of tensor powers of $$\textbf{V}_{n}$$. Our main theorems assert that finitely generated polynomial representations of $${\mathfrak{W}}_{n}$$ are noetherian and have rational Hilbert series. A key intermediate result states polynomial representations of the infinite Witt algebra are equivalent to representations of $$\textbf{Fin}^{\textrm{op}}$$, where $$\textbf{Fin}$$ is the category of finite sets. We also show that polynomial representations of $${\mathfrak{W}}_{n}$$ are equivalent to polynomial representations of the endomorphism monoid of $$\textbf{A}^{n}$$. These equivalences are a special case of an operadic version of Schur–Weyl duality, which we establish.
more »
« less
- Award ID(s):
- 2302149
- PAR ID:
- 10516426
- Publisher / Repository:
- Oxford University Press
- Date Published:
- Journal Name:
- International Mathematics Research Notices
- Volume:
- 2024
- Issue:
- 16
- ISSN:
- 1073-7928
- Format(s):
- Medium: X Size: p. 11688-11710
- Size(s):
- p. 11688-11710
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Using Auroux’s description of Fukaya categories of symmetric products of punctured surfaces, we compute the partially wrapped Fukaya category of the complement of $k+1$ generic hyperplanes in $$\mathbb{CP}^{n}$$ , for $$k\geqslant n$$ , with respect to certain stops in terms of the endomorphism algebra of a generating set of objects. The stops are chosen so that the resulting algebra is formal. In the case of the complement of $n+2$ generic hyperplanes in $$\mathbb{C}P^{n}$$ ( $$n$$ -dimensional pair of pants), we show that our partial wrapped Fukaya category is equivalent to a certain categorical resolution of the derived category of the singular affine variety $$x_{1}x_{2}\ldots x_{n+1}=0$$ . By localizing, we deduce that the (fully) wrapped Fukaya category of the $$n$$ -dimensional pair of pants is equivalent to the derived category of $$x_{1}x_{2}\ldots x_{n+1}=0$$ . We also prove similar equivalences for finite abelian covers of the $$n$$ -dimensional pair of pants.more » « less
-
null (Ed.)Abstract Let $$W$$ be an irreducible complex reflection group acting on its reflection representation $$V$$. We consider the doubly graded action of $$W$$ on the exterior algebra $$\wedge (V \oplus V^*)$$ as well as its quotient $$DR_W:= \wedge (V \oplus V^*)/ \langle \wedge (V \oplus V^*)^{W}_+ \rangle $$ by the ideal generated by its homogeneous $$W$$-invariants with vanishing constant term. We describe the bigraded isomorphism type of $$DR_W$$; when $$W = {{\mathfrak{S}}}_n$$ is the symmetric group, the answer is a difference of Kronecker products of hook-shaped $${{\mathfrak{S}}}_n$$-modules. We relate the Hilbert series of $$DR_W$$ to the (type A) Catalan and Narayana numbers and describe a standard monomial basis of $$DR_W$$ using a variant of Motzkin paths. Our methods are type-uniform and involve a Lefschetz-like theory, which applies to the exterior algebra $$\wedge (V \oplus V^*)$$.more » « less
-
A representation of\mathfrak{gl}(V)=V \otimes V^{\ast}is a linear map\mu \colon \mathfrak{gl}(V) \otimes M \rightarrow Msatisfying a certain identity. By currying, giving a linear map\muis equivalent to giving a linear mapa \colon V \otimes M \rightarrow V \otimes M, and one can translate the condition for\muto be a representation into a condition ona. This alternate formulation does not use the dual ofVand makes sense for any objectVin a tensor category\mathcal{C}. We call such objects representations of thecurried general linear algebraonV. The currying process can be carried out for many algebras built out of a vector space and its dual, and we examine several cases in detail. We show that many well-known combinatorial categories are equivalent to the curried forms of familiar Lie algebras in the tensor category of linear species; for example, the titular Brauer category is the curried form of the symplectic Lie algebra. This perspective puts these categories in a new light, has some technical applications, and suggests new directions to explore.more » « less
-
Abstract We construct a family of PBWD (Poincaré-Birkhoff-Witt-Drinfeld) bases for the positive subalgebras of quantum loop algebras of type $$B_{n}$$ and $$G_{2}$$, as well as their Lusztig and RTT (for type $$B_{n}$$ only) integral forms, in the new Drinfeld realization. We also establish a shuffle algebra realization of these $${\mathbb {Q}}(v)$$-algebras (proved earlier in [26] by completely different tools) and generalize the latter to the above $${{\mathbb {Z}}}[v,v^{-1}]$$-forms. The rational counterparts provide shuffle algebra realizations of positive subalgebras of type $$B_{n}$$ and $$G_{2}$$ Yangians and their Drinfeld-Gavarini duals. All of this generalizes the type $$A_{n}$$ results of [30].more » « less
