Torsion pairs, and in particular t-structures, play a central role in the study of triangulated categories. Specifically, t-structures induced by silting (or tilting) objects often admit desirable properties with strong connections to derived equivalences. In this paper, using the correspondence of Saorín-Šťovíček between cohereditary cotorsion pairs in Frobenius exact categories and t-structures in their stable categories, we construct a family of t-structures in the $Q$-shaped derived category of Holm and Jorgensen, arising from admissible partitions of $Q$. We give an explicit description of the associated cotorsion pairs inside the Frobenius exact category of the bifibrant objects, and we identify the corresponding co-aisles by certain homological vanishing conditions. Such t-structures are proved to be induced by a silting object, that can be completely determined by the combinatorics of $Q$. Finally, we illustrate our results by recovering well-known equivalences in the $Q$-shaped setting, while also providing examples where the combinatorial conditions fail (e.g. cyclic quivers), showing that such categories may admit no non-trivial t-structures, revealing phenomena analogous to those observed by Linckelmann in stable module categories.

Let $\mathfrak{g}=\mathfrak{g}(A)$ be the Borcherds-Kac-Moody Lie algebra (BKM LA), corresponding to a BKM Cartan matrix $A$ filled by negative integers. Let $P^+\subset \mathfrak{h}^*$ the classical dominant integral cone (wherein pairings are non-negative). The non-integrable simple highest weight modules $L(μ)$'s widely studied were broadly those by Naito ([Trans. Amer. Soc., 1995]), for $μ$'s dot-linked to $P^+$-translates of sums $- \sum_{j\in J}α_j$ of mutually orthogonal and imaginary simple roots $α_j$'s. Recently, we computed weights of all highest weight $\mathfrak{g}$-modules $V$'s, and characters of $L(ρ)$ for Weyl vector $ρ$ in negative type-$A$. These needed a family of ``integrable'' $L(μ)$'s for $μ$'s inside our novel signed-dominant-integral cone $P^{\pm}$ (which generalizes $P^+$). Pairings $μ(α_i^{\vee})\leq 0$ therein are multiples of $\frac{A_{ii}}{2}$ for all $i$. Nevertheless, $L(μ)$ contain ``Chevalley-Serre relations'' $f_i^{\frac{2}{A_{ii}}{μ(α_i^{\vee})}+1}L(μ)_μ=0$; which differ from relations in $L(λ)$ for all $λ\in P^+$, and are seemingly unstudied earlier (also by Naito). This paper initiates the study in rank-2, of the module structures and maximal vectors (or Verma embeddings) in the Verma covers $M(μ)$ of $L(μ)$'s for $μ\in P^{\pm}$. In this, our goal is to explore in weight spaces of those Verma covers, the strictness (or otherwise, an uniform equality) of lower bounds by Kac and Kazhdan ([Adv. Math., 1979]) for count of linearly independent maximal vectors. We obtain presentations and characters of all $V$'s when Kac-Kazhdan equation has unique solution in the interior of root-cone. This builds on the unique solution case in Lemma 3.1 from that paper.

We prove several results about Stiefel-Whitney Classes (SWCs) $w_k(π)$ of representations $π$ of $S_n$. First, each SWC is polynomial in the character values of $π$ at involutions. Next, for a fixed $k$, the proportion of irreducible $π$ for which $w_k(π)=0$ approaches $100\%$ as $n \to \infty$. A similar result holds for the top SWCs. We also provide a simple criterion which determines the first nonvanishing SWC for a representation. The first four SWCs are computed explicitly. Finally, we give analogues for alternating groups.

Given a complex reductive group $G$, a representation $V$ of $G$ and a Borel-stable subspace $M \subset V$, we consider the associated Steinberg-type variety $Z$. We prove that, under a certain condition on $(V,M)$, called gluability, the equivariant Borel-Moore homology or $K$-theory of $Z$, equipped with the convolution product, is obtained as the intersection of two copies of the nil-Hecke algebra inside its localization. We also provide a description of these new algebras in terms of poles and residues. Similar results are obtained when $G$ is replaced by its loop group. This generalizes results of Ginzburg, Kapranov and Vasserot describing the affine Hecke algebra and DAHA, as well as a result of Teleman and Gannon--Webster that realizes certain Coulomb branches by gluing two copies of the universal centralizer.

We propose an $\infty$-categorical approach to Khovanov--Qi's Hopfological algebra that, in particular, refines several foundational aspects of the theory by recasting the previous constructions in terms of $\infty$-categories of modules in monoidal $\infty$-categories. This perspective leads to a more general variant of Hopfological algebra that takes place over an arbitrary rigidly-compactly generated symmetric monoidal stable $\infty$-category, which we also outline in the article. In the appendix, we compare the construction of Hopfological derived categories to that of Holm--Jørgensen's $Q$-shaped derived categories.

Let $G = \mathbf{GL}_d(\mathbb{F})$ be the general linear group over a field of cardinal $q$, and let $\mathbb{k}$ be a field of positive characteristic which does not divide $q(q-1)$. Building on the works of Cline, Parshall, and Scott, we show how to compute Ext-groups between $\mathbb{k}G$-modules using the quantum Schur algebra. The main novelty is our ability to compute these Ext-groups in higher degree than what was done before. More precisely, let $\ell$ be the order of $q$ in $\mathbb{k}$. In previous work, this method enabled the computation of the cohomology groups $H^*(\mathbf{GL}_d,M)$ in degree $*\leq \ell-1$. We show that for a lot of modules $M$, we can compute these cohomology groups in higher degree, with an example where we can compute until degree $3(\ell-1)$. We also show some new result on Ext-groups between modules over the quantum Schur algebra along the way.

In this paper, we first introduce Nijenhuis Lie 2-algebras as the categorification of Nijenhuis Lie algebras. We prove that the category of Nijenhuis Lie 2-algebras is equivalent to the category of 2-term Nijenhuis $L_\infty$-algebras. Next, given a Nijenhuis Lie algebra, we introduce the notion of a 2-representation and show that the corresponding semidirect product inherits a Nijenhuis Lie 2-algebra structure. On the other hand, we consider a $2$-term representation up to homotopy of a Nijenhuis Lie algebra and obtain a $2$-term Nijenhuis $L_\infty$-algebra as the semidirect product. Finally, we show that the category of $2$-representations and the category of $2$-term representations up to homotopy of a Nijenhuis Lie algebra are equivalent.

We establish $L^p$ bounds for operators associated with the quasi-regular representation of the free group on its Gromov boundary. The $p=2$ case recovers Haagerup's inequality, yielding a new interpolation-theoretic proof of the the Rapid Decay property for the free group.

In this paper, we study the transition matrix between the PBW basis and the canonical basis for the negative part of the quantized enveloping algebra of the Kronecker quiver from a geometric viewpoint. Building on Lusztig's geometric construction of the canonical basis, we construct sheaf-complex realizations of PBW basis elements by means of flag sheaf complexes over the strata $X(α,m)$ of representation varieties. Our first goal is to give a geometric description of the simple constituents appearing in the restrictions of these flag sheaf complexes to the strata $X(α,m)$. This allows us to compare the PBW-type sheaf complexes with the simple perverse sheaves $IC(X(α),L_χ)$ arising in Lusztig's construction. Using this description together with a purity result for the relevant $\mathbb{F}_q$-structures, we obtain another proof that the elements defined by Lusztig's perverse sheaves indeed form a basis of the composition algebra.Our second goal is to make the transition coefficients between the PBW basis and the canonical basis geometrically explicit. More precisely, we show that these coefficients are governed by the multiplicities of local systems in the restrictions of intersection cohomology complexes to smaller strata. As a consequence, the transition matrix from the canonical basis to the PBW basis is upper triangular with diagonal entries equal to $1$, and its coefficients admit a direct geometric interpretation. In particular, in the Kronecker quiver case we recover the triangularity of the transition matrix and obtain positivity properties of the corresponding coefficient polynomials.

Twisted quantum loop algebras are a generalization of twisted quantum affine algebras in Drinfeld new presentation. The Hall algebras of Geigle--Lenzing's weighted projective lines are used to realize (untwisted) quantum loop algebras of simply-laced type associated to star-shaped graphs by Schiffmann and Dou--Jiang--Xiao. In this paper, we use the semi-derived Ringel-Hall algebras of more general weighted projective lines to realize the twisted quantum loop algebras associated to the valued star-shaped graphs, including the twisted quantum affine algebras in Drinfeld new presentation.

We study the space of one-point functions on the torus for a possibly nonrational $C_2$-cofinite vertex operator algebra $V$ by relating it to a trace object of the subcategory of projective objects in the representation category of $V$. We identify the dual of the trace space with symmetric functions on the endomorphism algebra $E$ of a projective generator. Motivated by the Gainutdinov-Runkel conjecture, recently established using different methods by Gui and Zhang, we present a complementary representation-theoretic approach based on Arike-Nagatomo pseudo-traces. In this framework, we prove surjectivity of the Gainutdinov-Runkel map from symmetric functions on $E$ to one-point functions. Under the additional assumption of separated conformal weights modulo $\mathbb{Z}$, we also prove injectivity, using projective-cover techniques inspired by Huang.

We study the cohomology of a quasimap space that categorifies the constant term of the geometric Eisenstein series for the mirabolic parabolic subgroup of $GL$ over the function field $\mathbb{F}_q(C)$ of a smooth projective curve $C$. This cohomology carries a natural action of an algebra of correspondences whose commutative subalgebra is the ring of regular functions on the Coulomb branch, which here is the $A_{n}$-surface singularity. A choice of rank-one local system on $C$ induces an action of the étale fundamental group on the Coulomb branch; the scheme-theoretic fixed locus carries a natural vector bundle. Our main result identifies the cohomology of the quasimap space with the local cohomology of this vector bundle, for a generic range of parameters.

Projective representations arise naturally in physics and representation theory, and determining whether they can be linearized has been a fundamental problem. In this work, we study the analogous problem for quantum cellular automata (QCA) representations, which incorporate locality constraints imposed by a metric space $X$. Over an arbitrary field $\mathbb{F}$, we develop an obstruction theory for the linearization of QCA representations, using the algebraic $K$-theory spectrum of QCA constructed in previous work of the authors. The resulting obstructions are governed by the homotopy type of the QCA spaces, from which we extract universal obstruction classes to linearization. In the complex algebraic and unitary case, we also fully compute the homotopy types of the QCA spaces over a point, a line, and a plane.

The Lie algebra $\bar{S}_2$ of polynomial vector fields on $\mathbb{C}^2$ with constant divergence is an important Cartan type Lie algebra. In this paper, we study Whittaker $\bar{S}_2$-modules that are locally finite over $\text{span}\{\frac{\partial}{\partial t_1}, \frac{\partial}{\partial t_2}\}$. We first show that each block $Ω^{\widetilde{S}_2}_{\mathbf{a}}$ of the category of $(A_2, \bar{S}_2)$-Whittaker modules with finite-dimensional Whittaker vector spaces is equivalent to the category of finite-dimensional modules over the parabolic subalgebra $\bar{S}_2^{\geq 0}$. Then we classify all simple Whittaker $\bar{S}_2$-modules in every block $Ω^{\bar{S}_2}_{\mathbf{a}}$ . Finally, we establish an equivalence between $Ω^{\bar{S}_2}_{\mathbf{1}}$ and the category $H_{\mathbf{1}}$-fmod of finite-dimensional modules over an associative algebra $H_{\mathbf{1}}$, whose generators are also determined.

We give an explicit description of the BPS Lie algebra of any quiver with zero potential, by relating the perverse filtration on the cohomological Hall algebra with certain limit conditions on polynomials. Our results also give a partial description of the perverse filtration for arbitrary potential, which we conjecture is complete in the case of tripled quivers with canonical cubic potential.

Let $\g$ be a simple complex Lie algebra of type $G_2$, $F_4$, or $E_8$, and let $G$ be the unique connected simply connected complex Lie group with $\mathrm{Lie}(G)=\g$ and compact real form $K$. We prove a triangular decomposition theorem for the lower crystal lattice $\OAztG$ of the quantized function algebra $\OtG$, establishing that $\OAztG=A_0\text{-alg}<\RAzp \cup \RAzm>.$ This extends the triangular decomposition recently obtained for types $A_n, B_n, C_n, D_n, E_6$, and $E_7$ in~\cite{DDPa} to all simple complex Lie algebras. As a consequence, we obtain: (i) the inclusion $\OAztG\subseteq\OAztK$ conjectured by Matassa-Yuncken and (ii) the crystal limit $\CpKo$ is a compact quantum semigroup with a unique bi-invariant (Haar) state.

In 2018, Kalck and Yang showed that the singularity categories associated with $3$-dimensional Gorenstein quotient singularities are triangle equivalent (up to direct summands) to small cluster categories associated with McKay quivers with potential. We introduce higher McKay quivers with potential and generalize Kalck and Yang's theorem to arbitrary dimensions. The singularity categories we consider occur as the stable categories of categories of Cohen-Macaulay modules. We refine our description of the singularity categories by showing that these categories of Cohen-Macaulay modules are equivalent to Higgs categories in the sense of Wu. Moreover, we describe the singularity categories in the non-Gorenstein case.

We introduce a purely Lie algebraic formalization of the Feigin--Tipunin's geometric construction of logarithmic CFTs/VOAs. After reformulating the geometric representation theory of FT construction under this new setting, within this framework, we uniformly construct the (multiplet) principal W-algebras at positive integer level associated with any simple Lie algebra $\mathfrak{g}$ and Lie superalgebra $\mathfrak{osp}(1|2r)$, thereby establishing Weyl-type character formulas and simplicity theorems that extend the first author's previous results.

We prove that the $τ$-tilting graph of any quasi-silted algebra is connected and has the reachable-in-face property. Our approach utilizes $τ$-reduction and wall and chamber structures. In particular, we observe a sufficient condition on the wall and chamber structure under which the connectivity of $τ$-tilting graphs is preserved under taking quotients of algebras. As an immediate consequence, the connectivity of $τ$-tilting graphs is also established for several new classes of algebras.

In this paper, we study the representation theory of affine Nappi-Witten Lie algebra $\widehat{H_4}$ corresponding to the Nappi-Witten Lie algebra $H_4$. We completely classify all Cartan-free modules of rank one for the Nappi-Witten Lie algebra $H_4$. With the help of Cartan free $H_4$ modules we classify all Cartan-free modules of rank one over affine Nappi Witten Lie algebra. We also give a necessary and sufficient condition for these modules to be irreducible. Finally as an application we classify Cartan free modules of rank one for affine-Virasoro Nappi-Witten Lie algebras.