G.-Pechenik-Pfannerer-Striker-Swanson applied hourglass plabic graphs to construct web bases for spaces of tensor invariants of fundamental representations of $U_q(\mathfrak{sl}_4)$, extending Kuperberg's celebrated basis for $U_q(\mathfrak{sl}_3)$. We give several combinatorial characterizations of basis webs in the kernel of the projection to invariants in a tensor product of arbitrary (type $1$) irreducibles. We apply this to show that the nonzero images of basis webs form a basis (a property shared with Lusztig's dual canonical basis) yielding distinguished clasped web bases for each such tensor product.

Let $P$ and $I$ be a projective and an injective representations of a Dynkin quiver. We consider quiver Grassmannians of subrepresentations of dimension $\dim P$ inside representations of dimension $\dim P + \dim I$. Based on extensive computer experiments, we formulate several conjectures about the algebro-geometric properties of these quiver Grassmannians.

Using the stable twisted trace formula for the triality automorphism, we show the adjoint lifting (to GL(8)) of cuspidal representations of GL(3) with a discrete series local component. We also describe the possible isobaric decompositions of the resulting automorphic representations on GL(8).

In these notes, we describe an interesting connection between unitary representations of Lie groups and nets of local algebras, as they appear in Algebraic Quantum Field Theory (AQFT). It is based on first translating the axioms for nets of operator algebras parameterized by regions in a space-time manifold into those for nets of real subspaces, and then study this structure from a perspective based on geometry and representation theory of Lie groups.

We study the cohomology of a chiral supercharge $Q$ in the $\mathcal{N}=4$ super-Yang-Mills (SYM) theory at tree level. The cohomology classes correspond one-to-one to the $\frac1{16}$ Bogomol'nyi-Prasad-Sommerfield (BPS) states at one-loop. We argue that monotone classes on the Coulomb branch respect the S-duality between the theories with $\mathrm{SO}(2N+1)$ and $\mathrm{USp}(2N)$ gauge groups, but find an explicit example of a pair of cohomology classes that "violate" the S-duality in the sense that the tree-level $Q$-cohomologies are not isomorphic between the neighborhoods near the two free points. Within this pair, one is a fortuitous class and the other is a monotone chiral ring element. Assuming the non-perturbative validity of S-duality, our results disprove a long-standing conjecture on the one-loop exactness of the $\frac1{16}$-BPS spectrum (including the $\frac1{8}$-BPS chiral ring spectrum) in the $\mathcal{N}=4$ SYM. Mathematically, this shows that, the relative Lie algebra cohomology $H^\bullet(\mathfrak{g}[A],\mathfrak{g})$ is generally not graded-isomorphic to $H^\bullet({}^L\mathfrak{g}[A],{}^L\mathfrak{g})$, where $\mathfrak{g}$ and ${}^L\mathfrak{g}$ are a pair of Langlands dual Lie algebras and $A=\mathbb{C}[z^+,z^-]\otimes\Lambda(\theta_1,\theta_2,\theta_3)$.

We define quantum deformations of Adams operations in $K$-theory, in the framework of quasimap quantum $K$-theory. They provide $K$-theoretic analogs of the quantum Steenrod operations from equivariant symplectic Gromov--Witten theory. We verify the compatibility of these operations with the Kahler and equivariant $q$-difference module structures, provide sample computations via $\mathbb{Z}/k$-equivariant localization, and identify them with $p$-curvature operators of the Kahler $q$-difference connections as studied in Koroteev-Smirnov. We also formulate and verify a $K$-theoretic quantum Hikita conjecture at roots of unity, and propose an indirect algebro-geometric definition of quantum Steenrod operations

Unlike the Hochschild chain complex of an algebra, the Hochschild cochain complex of an algebra is not functorial. Nonetheless, we show that the Hochschild cochain complex of an algebra even a dg category is of lax functoriality, i.e., there exists a lax functor from bicategory of dg categories to bicategory of $B_\infty$-algebras which sends every dg category to its Hochschild cochain complex. This result is a homotopy version of the lax functoriality of center of an algebra obtained by Davydov, Kong, Runkel, Grady, Oren, et al, in the more general context of dg categories, and extends the restricted functoriality of Hochschild cochain complex of a dg category obtained by Keller to global lax functoriality.

We show that a vector space valued TQFT constructed in work of De Renzi et al. [DGGPR23] extends naturally to a topological field theory which takes values in the symmetric monoidal category of linear cochains. Specifically, we consider a bordism category whose objects are surfaces with markings from the category of cochains Ch(A) over a given modular tensor category (such as the category of small quantum group representations), and whose morphisms are 3-dimensional bordisms with embedded ribbon graphs traveling between such marked surfaces. We construct a symmetric monoidal functor from the aforementioned ribbon bordism category to the category of linear cochains. The values of this theory on surfaces are identified with Hom complexes for Ch(A), and the 3-manifold invariants are alternating sums of the renormalized Lyubashenko invariant from [DGGPR23]. We show that our cochain valued TQFT furthermore preserves homotopies, and hence localizes to a theory which takes values in the derived $\infty$-category of dg vector spaces. The domain for this $\infty$-categorical theory is, up to some approximation, an $\infty$-category of ribbon bordism with labels in the homotopy $\infty$-category K(A). We suggest our localized theory as a starting point for the construction of a "derived TQFT" for the $\infty$-category of derived quantum group representations.

Reflexive dg categories were introduced by Kuznetsov and Shinder to abstract the duality between bounded and perfect derived categories. In particular this duality relates their Hochschild cohomologies, autoequivalence groups, and semiorthogonal decompositions. We establish reflexivity in a variety of settings including affine schemes, simple-minded collections, chain and cochain dg algebras of topological spaces, Ginzburg dg algebras, and Fukaya categories of cotangent bundles and surfaces as well as the closely related class of graded gentle algebras. Our proofs are based on the interplay of reflexivity with gluings, derived completions, and Koszul duality. In particular we show that for certain (co)connective dg algebras, reflexivity is equivalent to derived completeness.

We prove that, for a proper connective dg algebra $A$ with cohomology concentrated in degrees between $1-d$ and $0$, the extended heart $\mathcal{D}^{fd}(A)^{(-d,0]}\subseteq \mathcal{D}^{fd}(A)$ is an extriangulated category with almost-split conflations. We also prove a version of the 1st Brauer--Thrall Conjecture in this context.

Let $d$ be a positive integer. We study the proportion of irreducible characters of infinite families of irreducible Coxeter groups whose values evaluated on a fixed element $g$ are divisible by $d$. For Coxeter groups of types $A_n, B_n$ and $D_n$, the proportion tends to $1$ as $n$ approaches infinity. For Dihedral groups, which are Coxeter groups of type $I_2(n)$, we compute the limit of the proportion.

Moment polytopes of tensors, the study of which is deeply rooted in invariant theory, representation theory and symplectic geometry, have found relevance in numerous places, from quantum information (entanglement polytopes) and algebraic complexity theory (GCT program and the complexity of matrix multiplication) to optimization (scaling algorithms). Towards an open problem in algebraic complexity theory, we prove separations between the moment polytopes of matrix multiplication tensors and unit tensors. As a consequence, we find that matrix multiplication moment polytopes are not maximal, i.e. are strictly contained in the corresponding Kronecker polytope. As another consequence, we obtain a no-go result for a natural operational characterization of moment polytope inclusion in terms of asymptotic restriction. We generalize the separation and non-maximality to moment polytopes of iterated matrix multiplication tensors. Our result implies that tensor networks where multipartite entanglement structures beyond two-party entanglement are allowed can go beyond projected entangled-pair states (PEPS) in terms of expressivity. Our proof characterizes membership of uniform points in moment polytopes of tensors, and establishes a connection to polynomial multiplication tensors via the minrank of matrix subspaces. As a result of independent interest, we extend these techniques to obtain a new proof of the optimal border subrank bound for matrix multiplication.

We study the analogue of the Hopkins-Levitzky Theorem for dg-algebras $(A,d)$. We first consider the Hopkins approach. Here we show that for acyclic dg-algebras with graded-Artinian algebras of cycles $\ker(d)$, we also have that $(A,d)$ is left dg-Noetherian, and we show that acyclic dg-Artinian dg-algebras are dg-Noetherian. Then, studying the Levitzki approach, we consider a definition of a dg-semiprimary algebra. For dg-semiprimary dg-artinian dg-algebras $(A,d)$, we show that all dg-simple dg-modules are acyclic, and so are all dg-modules with finite dg-composition length. We finally show that dg-Artinian dg-semiprimary dg-algebras with nilpotent dg-radical $dgrad_2(A,d)$ are dg-Noetherian and acyclic.

Circuit algebras, used in the study of finite-type knot invariants, are a symmetric analogue of Jones's planar algebras. This work, the first of a pair of papers comprising a detailed study of circuit algebra combinatorics, provides three equivalent descriptions of circuit algebras: in terms of operads of wiring diagrams, modular operads and categories of Brauer diagrams. As an application, circuit algebra characterisations of algebras over the orthogonal and symplectic groups are given.

To any periodic module over any algebra, this paper introduces an associated trivial extension DG-algebra T. After first passing to a strictly unital $A_\infty$-minimal model, it then constructs a particular $A_\infty$-algebra N, called the unitally positive $A_\infty$-algebra, which roughly speaking describes the identity in degree zero and all the positive cohomology. The object N is fundamental, and can be constructed for any DG-category satisfying very mild assumptions. The main application is to birational geometry. When applied to contraction algebras, the construction gives a simple and direct proof of the Donovan-Wemyss conjecture, namely that smooth irreducible 3-fold flops are classified by their contraction algebras, and thus by noncommutative data.