Working with weighted Grassmannians

2025-04-15T12:12:57Z

We propose a modified construction of a weighted generalised Grassmannian, which includes all weighted projective spaces as its special case. For a weighted Grassmannian (i.e., for series A) we obtain an explicit parametrisation of possible $\mathbb{Z}$-gradings on Pl\"{u}cker coordinates, and provide the explicit formulae for its dualising sheaf and Hilbert series in terms of this parametrisation. We expect that our approach can be generalised to other irreducible root systems.

Local theta correspondences and Langlands parameters for rigid inner twists

2025-04-15T11:37:01Z

In this paper, we formulate a conjecture that describes the local theta correspondences in terms of the local Langland correspondences for rigid inner twists, which contain the correspondences for quaternionic dual pairs. Moreover, we verify the conjecture holds in some specific cases.

Barcoding Invariants and Their Equivalent Discriminating Power

2025-04-15T09:21:50Z

The persistence barcode (equivalently, the persistence diagram), which can be obtained from the interval decomposition of a persistence module, plays a pivotal role in applications of persistent homology. For multi-parameter persistent homology, which lacks a complete discrete invariant, and where persistence modules are no longer always interval decomposable, many alternative invariants have been proposed. Many of these invariants are akin to persistence barcodes, in that they assign (possibly signed) multisets of intervals. Furthermore, to any interval decomposable module, those invariants assign the multiset of intervals that correspond to its summands. Naturally, identifying the relationships among invariants of this type, or ordering them by their discriminating power, is a fundamental question. To address this, we formalize the notion of barcoding invariants and compare their discriminating powers. Notably, this formalization enables us to prove that all barcoding invariants with the same basis possess equivalent discriminating power. One implication of our result is that introducing a new barcoding invariant does not add any value in terms of its generic discriminating power, even if the new invariant is distinct from the existing barcoding invariants. This suggests the need for a more flexible and adaptable comparison framework for barcoding invariants. Along the way, we generalize several recent results on the discriminative power of invariants for poset representations within our unified framework.

On consecutive factors of the lower central series of right-angled Coxeter groups

2025-04-14T22:07:51Z

We study the lower central series of the right-angled Coxeter group $RC_\mathcal K$ and the corresponding associated graded Lie algebra $L(RC_\mathcal K)$ and describe the basis of the fourth graded component of $L(RC_\mathcal K)$ for any $\mathcal K$.

Integer quadratic forms and extensions of subsets of linearly independent roots

2025-04-14T21:44:13Z

We consider subsets of linearly independent roots in a certain root system $\varPhi$. Let $S'$ be such a subset, and let $S'$ be associated with any Carter diagram $\Gamma'$. The main question of the paper: what root $\gamma \in \varPhi$ can be added to $S'$ so that $S' \cup \gamma$ is also a subset of linearly independent roots? This extra root $\gamma$ is called the linkage root. The vector $\gamma^{\nabla}$ of inner products $\{(\gamma,\tau'_i)\mid \tau'_i \in S'\}$ is called the linkage label vector. Let $B_{\Gamma'}$ be the Cartan matrix associated with $\Gamma'$. It is shown that $\gamma$ is a linkage root if and only if $\mathscr{B}^{\vee}_{\Gamma'}(\gamma^{\nabla}) < 2$, where $\mathscr{B}^{\vee}_{\Gamma'}$ is a quadratic form with the matrix inverse to $B_{\Gamma'}$. The set of all linkage roots for $\Gamma'$ is called a linkage system and is denoted by $\mathscr{L}(\Gamma')$. The Cartan matrix associated with any Carter diagram $\Gamma'$ is conjugate to the Cartan matrix associated with some Dynkin diagram $\Gamma$, [St23]. The sizes of $\mathscr{L}(\Gamma')$ and $\mathscr{L}(\Gamma)$ are the same. Let $W^{\vee}$ be the Weyl group of the quadratic form $\mathscr{B}^{\vee}_{\Gamma'}$. This group acts on the linkage system and forms several orbits. The sizes and structure of orbits for linkage systems $\mathscr{L}(D_l)$ and $\mathscr{L}(D_l(a_k))$ are presented.

Tensor products, $q$-characters and $R$-matrices for quantum toroidal algebras

2025-04-14T18:08:48Z

We introduce a new topological coproduct $\Delta^{\psi}_{u}$ for quantum toroidal algebras $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ in all untwisted types, leading to a well-defined tensor product on the category $\widehat{\mathcal{O}}_{\mathrm{int}}$ of integrable representations. This is defined by twisting the Drinfeld coproduct $\Delta_{u}$ with an anti-involution $\psi$ of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$ that swaps its horizontal and vertical quantum affine subalgebras. Other applications of $\psi$ include generalising the celebrated Miki automorphism from type $A$, and an action of the universal cover of $SL_{2}(\mathbb{Z})$. Next, we investigate the ensuing tensor representations of $U_{q}(\mathfrak{g}_{\mathrm{tor}})$, and prove quantum toroidal analogues for a series of influential results by Chari-Pressley on the affine level. In particular, there is a compatibility with Drinfeld polynomials, and the product of irreducibles is generically irreducible. We moreover show that the $q$-character of a tensor product is equal to the product of $q$-characters for its factors. Furthermore, we obtain $R$-matrices with spectral parameter which provide solutions to the (trigonometric, quantum) Yang-Baxter equation, and endow $\widehat{\mathcal{O}}_{\mathrm{int}}$ with a meromorphic braiding. These moreover give rise to a commuting family of transfer matrices for each module.

D-convolution categories and Hopf algebras

2025-04-14T18:03:56Z

For a smooth affine algebraic group $G$, one can attach various D-module categories to it that admit convolution monoidal structure. We consider the derived category of D-modules on $G$, the stack $G/G_{ad}$ and the category of Harish-Chandra bimodules. Combining the work of Beilinson-Drinfeld on D-modules and Hecke patterns with the recent work of the author with Dimofte and Py, we show that each of the above categories (more precisely the equivariant version) is monoidal equivalent to a localization of the DG category of modules of a graded Hopf algebra. As a consequence, we give an explicit braided monoidal structure to the derived category of D-modules on $G/G_{ad}$, which when restricted to the heart, recovers the braiding of Bezrukavnikov-Finkelberg-Ostrik.

Generalized Symmetries of Non-SUSY and Discrete Torsion String Backgrounds

2025-04-14T17:59:55Z

String / M-theory backgrounds with degrees of freedom at a localized singularity provide a general template for generating strongly correlated systems decoupled from lower-dimensional gravity. There are by now several complementary procedures for extracting the associated generalized symmetry data from orbifolds of the form $\mathbb{R}^6 / \Gamma$, including methods based on the boundary topology of the asymptotic geometry, as well as the adjacency matrix for fermionic degrees of freedom in the quiver gauge theory of probe branes. In this paper we show that this match between the two methods also works in non-supersymmetric and discrete torsion backgrounds. In particular, a refinement of geometric boundary data based on Chen-Ruan cohomology matches the expected answer based on quiver data. Additionally, we also show that free (i.e., non-torsion) factors count the number of higher-dimensional branes which couple to the localized singularity. We use this to also extract quadratic pairing terms in the associated symmetry theory (SymTh) for these systems, and explain how these considerations generalize to a broader class of backgrounds.

Grothendieck-Springer resolutions and TQFTs

2025-04-14T14:53:01Z

Let $G$ be a connected complex semisimple group with Lie algebra $\mathfrak{g}$ and fixed Kostant slice $\mathrm{Kos}\subseteq\mathfrak{g}^*$. In a previous work, we show that $((T^*G)_{\text{reg}}\rightrightarrows\mathfrak{g}^*_{\text{reg}},\mathrm{Kos})$ yields the open Moore-Tachikawa TQFT. Morphisms in the image of this TQFT are called open Moore-Tachikawa varieties. By replacing $T^*G\rightrightarrows\mathfrak{g}^*$ and $\mathrm{Kos}\subseteq\mathfrak{g}^*$ with the double $\mathrm{D}(G)\rightrightarrows G$ and a Steinberg slice $\mathrm{Ste}\subseteq G$, respectively, one obtains quasi-Hamiltonian analogues of the open Moore-Tachikawa TQFT and varieties. We consider a conjugacy class $\mathcal{C}$ of parabolic subalgebras of $\mathfrak{g}$. This class determines partial Grothendieck-Springer resolutions $\mu_{\mathcal{C}}:\mathfrak{g}_{\mathcal{C}}\longrightarrow\mathfrak{g}^*=\mathfrak{g}$ and $\nu_{\mathcal{C}}:G_{\mathcal{C}}\longrightarrow G$. We construct a canonical symplectic groupoid $(T^*G)_{\mathcal{C}}\rightrightarrows\mathfrak{g}_{\mathcal{C}}$ and quasi-symplectic groupoid $\mathrm{D}(G)_{\mathcal{C}}\rightrightarrows G_{\mathcal{C}}$. In addition, we prove that the pairs $(((T^*G)_{\mathcal{C}})_{\text{reg}}\rightrightarrows(\mathfrak{g}_{\mathcal{C}})_{\text{reg}},\mu_{\mathcal{C}}^{-1}(\mathrm{Kos}))$ and $((\mathrm{D}(G)_{\mathcal{C}})_{\text{reg}}\rightrightarrows(G_{\mathcal{C}})_{\text{reg}},\nu_{\mathcal{C}}^{-1}(\mathrm{Ste}))$ determine TQFTs in a $1$-shifted Weinstein symplectic category. Our main result is about the Hamiltonian symplectic varieties arising from the former TQFT; we show that these have canonical Lagrangian relations to the open Moore-Tachikawa varieties. Pertinent specializations of our results to the full Grothendieck-Springer resolution are discussed throughout this manuscript.

Affine and cyclotomic $q$-Schur categories via webs

2025-04-14T14:34:52Z

We formulate two new $\mathbb Z[q,q^{-1}]$-linear diagrammatic monoidal categories, the affine $q$-web category and the affine $q$-Schur category, as well as their respective cyclotomic quotient categories. Diagrammatic integral bases for the Hom-spaces of all these categories are established. In addition, we establish the following isomorphisms, providing diagrammatic presentations of these $q$-Schur algebras for the first time: (i)~ the path algebras of the affine $q$-web category to R.~Green's affine $q$-Schur algebras, (ii)~ the path algebras of the affine $q$-Schur category to Maksimau-Stroppel's higher level affine $q$-Schur algebras, and most significantly, (iii)~ the path algebras of the cyclotomic $q$-Schur categories to Dipper-James-Mathas' cyclotomic $q$-Schur algebras.

Whittaker modules for $U_q(\mathfrak{sl}_3)$

2025-04-14T14:27:35Z

In this paper, we study the Whittaker modules for the quantum enveloping algebra $U_q(\sl_3)$ with respect to a fixed Whittaker function. We construct the universal Whittaker module, find all its Whittaker vectors and investigate the submodules generated by subsets of Whittaker vectors and corresponding quotient modules. We also find Whittaker vectors and determine the irreducibility of these quotient modules and show that they exhaust all irreducible Whittaker modules. Finally, we can determine all maximal submodules of the universal Whittaker module. The Whittaker model of $U_q(\sl_3)$ are quite different from that of $U_q(\sl_2)$ and finite-dimensional simple Lie algebras, since the center of our algebra is not a polynomial algebra.

A short proof for the acyclicity of oriented exchange graphs of cluster algebras

2025-04-14T14:09:06Z

The statement in the title was proved in \cite{Cao23} by introducing dominant sets of seeds, which are analogs of torsion classes in representation theory. In this note, we observe a short proof by the existence of consistent cluster scattering diagrams.

Explicit cluster multiplication formulas for the quantum cluster algebra of type $A_2^{(1)}$

2025-04-14T12:35:08Z

Let $Q$ be an affine quiver of type $A_2^{(1)}$. We explicitly construct the cluster multiplication formulas for the quantum cluster algebra of $Q$ with principal coefficients. As applications, we obtain: (1)\ an exact expression for every quantum cluster variable as a polynomial in terms of the quantum cluster variables in clusters which are one-step mutations from the initial cluster; (2)\ an explicit bar-invariant positive $\mathbb{ZP}$-basis.

Representation theory of the group of automorphisms of a finite rooted tree

2025-04-14T11:12:27Z

We construct the ordinary irreducible representations of the group of automorphisms of a finite rooted tree and we get a natural parametrization of them. To achieve this goals, we introduce and study the combinatorics of tree compositions, a natural generalization of set compositions but with new features and more complexity. These combinatorial structures lead to a family of permutation representations which have the same parametrization of the irreducible representations. Our trees are not necessarily spherically homogeneous and our approach is coordinate free.

Cohomology ring of unitary $N=(2,2)$ full vertex algebra and mirror symmetry

2025-04-14T06:27:03Z

The mirror symmetry among Calabi-Yau manifolds is mysterious, however, the mirror operation in 2d N=(2,2) supersymmetric conformal field theory (SCFT) is an elementary operation. In this paper, we mathematically formulate SCFTs using unitary full vertex operator superalgebras (full VOAs) and develop a cohomology theory of unitary SCFTs (aka holomorphic / topological twists). In particular, we introduce cohomology rings, Hodge numbers, and the Witten index of a unitary $N=(2,2)$ full VOA, and prove that the cohomology rings determine 2d topological field theories and give relations between them (Hodge duality and T-duality). Based on this, we propose a possible approach to prove the existence of mirror Calabi-Yau manifolds for the Hodge numbers using SCFTs. For the proof, one need a construction of sigma models connecting Calabi-Yau manifolds and SCFTs which is still not rigorous, but expected properties are tested for the case of Abelian varieties and a special K3 surface based on some unitary $N=(2,2)$ full VOAs.