Quivers with Involutions and Shifted Twisted Yangians via Coulomb Branches

Basic Information

• Paper ID: 2510.12118
• Title: Quivers with Involutions and Shifted Twisted Yangians via Coulomb Branches
• Authors: Yaolong Shen, Changjian Su, Rui Xiong
• Classification: math.RT (Representation Theory), math.AG (Algebraic Geometry)
• Publication Date: October 14, 2024
• Paper Link: https://arxiv.org/abs/2510.12118

Abstract

This paper studies quivers with involutions, particularly the Coulomb branches of the fixed point loci of involutions on the associated 3-dimensional $\mathcal{N} = 4$ supersymmetric gauge theories. The authors establish an algebra homomorphism from the corresponding shifted twisted Yangian to the quantized Coulomb branch algebra, providing a new instance of 3-dimensional mirror symmetry.

Research Background and Motivation

Problem Background

1. Categorification of Affine Hecke Algebras: Since Ariki's proof that the category of finite-dimensional modules over affine Hecke algebras of type A categorifies the negative part of the quantum group $U^-$, this field has developed rapidly. For type B affine Hecke algebras, the Enomoto-Kashiwara conjecture was proven by Varagnolo-Vasserot.
2. Development of Quantum Symmetric Pairs: Recent progress on quantum symmetric pairs $(U, U^{\imath})$ has been significant, where $U^{\imath}$ is a coideal subalgebra of the quantum group $U$. Many fundamental constructions of quantum groups have been generalized to the $\imath$-quantum group framework.
3. Deep Connections Between Algebras: Although the Enomoto-Kashiwara algebra $\tau^B$ and the $\imath$-quantum group $U^{\imath}$ can be defined from the same combinatorial data, they are typically distinct algebras. This paper aims to establish deep connections between them through three-dimensional mirror symmetry.

Research Motivation

• Explore the relationship between $\tau^B$ (Higgs branch side) and $U^{\imath}$ (Coulomb branch side)
• Establish this connection through 3-dimensional $\mathcal{N} = 4$ supersymmetric gauge theory
• Generalize BFN theory to quivers with involutions

Core Contributions

1. Establish New Algebra Homomorphism: Prove the existence of an algebra homomorphism from the shifted twisted Yangian $Y^{\imath}_{\mu}$ to the quantized Coulomb branch algebra $A_{\hbar}$.
2. Generalize GKLO Representation: Construct GKLO-type representations of shifted twisted Yangians, generalizing the classical Gerasimov-Kharchev-Lebedev-Oblezin construction.
3. New Instance of 3-Dimensional Mirror Symmetry: Provide new examples of 3-dimensional mirror symmetry connecting Higgs and Coulomb branches.
4. Technical Innovations:
   • Define Drinfeld-type representations of shifted twisted Yangians
   • Establish explicit formulas for monopole operators
   • Verify complex $\imath$-Serre relations

Detailed Methodology

Task Definition

Study gauge theories $(G, N)$ associated with quivers with involutions $(Q, \tau)$, where:

• $G = G^{\tau}_V$ (gauge group fixed by involution)
• $N = E^{\tau}_V \oplus L_{W,V}$ (representation space)

The goal is to establish a homomorphism between shifted twisted Yangians and Coulomb branch algebras.

Core Construction

1. Definition of Shifted Twisted Yangian

The shifted twisted Yangian $Y^{\tau}_{\mu}(g)$ is generated by $h_{i,r}$ and $b_{i,s}$ satisfying relations:

Fundamental Relations:

[h_{i,r}, h_{j,s}] = 0, h_{i,s} = (-1)^{s+1}h_{\tau i, s}

Mixed Relations:

[h_{i,r+2}, b_{j,s}] - [h_{i,r}, b_{j,s+2}] = (complex combination of anticommutators and commutators)

Relations for $b$ Generators:

[b_{i,r+1}, b_{j,s}] - [b_{i,r}, b_{j,s+1}] = (expressions involving anticommutators)

2. GKLO-Type Representation

Construct difference operators:

Cartan Generator Correspondence:

$H_i(u) := (-1)^{v_i-1}(2u)^{c_{i,\tau i}}(-1)^{\delta_{i\to\tau(i)}} \frac{W_i(-u)W_{\tau i}(u)}{V_i(-u+\frac{\hbar}{2})V_i(-u-\frac{\hbar}{2})} \prod_{h\in Q_1, s(h)=i} V_{t(h)}(-u) \prod_{h\in Q_1, s(h)=\tau i} V_{t(h)}(u)$

Monopole Operators:

$B_i(u) = \sum_{r=1}^{v_i} \frac{1}{-u-x_{i,r}-\frac{\hbar}{2}} \frac{\prod_{h\in Q_1, s(h)=i} V_{t(h)}(x_{i,r}+\frac{\hbar}{2})}{\prod_{h\in Q_1^{\tau}, s(h)=i} (2x_{i,r}+\frac{\hbar}{2})} \frac{W_{\tau i}(-x_{i,r}-\frac{\hbar}{2})}{V_{i,r}(x_{i,r})} d_{i,r}$

Technical Innovation Points

1. Handling Involution Constraints: Cleverly handle geometric structures under involution constraints by introducing involution-fixed gauge groups and representation spaces.
2. Choice of Shifted Parameters: Select involution-invariant coweights $\mu$ to ensure compatibility of algebraic structures.
3. Verification of Complex Serre Relations: Particularly the verification of relation (3.7) requires establishing generating function forms and employing Bernoulli polynomial techniques.

Experimental Setup

Main Examples

Example 1: Diagonal Type

When quiver $Q$ is a disjoint union of two identical copies and involution $\tau$ exchanges corresponding vertices:

G^{\tau}_V \simeq G_{V^+}, E^{\tau}_V \simeq E_{V^+}

Example 2: Type AIII

Consider quivers with involutions obtained from AIII-type Satake diagrams:

• $Q_0 = \{1, \ldots, 2n\}$, $\tau i = 2n+1-i$
• When $n=3$: $G^{\tau}_V \sim GL(v_1) \times GL(v_2) \times GL(v_3)$

Verification Strategy

Verify the main theorem through the following steps:

1. Relation Verification: Verify all defining relations of shifted twisted Yangians hold under the difference operator representation
2. Monopole Operator Computation: Use equivariant localization techniques to compute explicit monopole operator formulas
3. Serre Relations: Specially handle complex $\imath$-Serre relations (3.7)

Experimental Results

Main Results

Theorem 4.2 (GKLO-Type Representation): There exists a unique $H^*_{G_W}(pt)(\hbar)$-algebra homomorphism

ψ: Y^τ_μ(g_Q) ⊗ H^*_{G_W}(pt) → Diff_ℏ(T^τ_V) ⊗ H^*_{G_W}(pt)

mapping $h_i(z)$ to $H_i(z)$ and $b_i(z)$ to $B_i(z)$.

Theorem 4.3 (Main Result): The homomorphism $ψ$ factors through the quantized Coulomb branch algebra $A_ℏ[ℏ^{-1}]$, yielding an algebra homomorphism:

Ψ: Y^τ_μ(g_Q) ⊗ H^*_{G_W}(pt) → A_ℏ[ℏ^{-1}]

Key Verifications

1. Fundamental Commutation Relations: Verification of $[H_i(u), H_j(v)] = 0$ and $H_{\tau i}(u) = H_i(-u)$
2. Mixed Relations: Relation (3.11) is verified through complex rational function identities
3. $\imath$-Serre Relations: The most complex relation (3.7) is verified by introducing Bernoulli polynomials and generating function techniques

Specific Computational Results

Proposition 2.4: For $f \in \mathbb{Q}[x]$, we have:

f(c_1(Q_i)) ∩ [R^{ε_{i,1}}] = ∑_{r=1}^{v_i} f(x_{i,r}) (complex product expression) d_{i,r}

This provides an explicit formula for monopole operators.

Related Work

Historical Development

1. Categorification of Quantum Groups: From Lascoux-Leclerc-Thibon conjecture to Ariki's proof
2. Affine Hecke Algebras: Enomoto-Kashiwara's type B conjecture and its proof
3. Quantum Symmetric Pairs: From Letzter's pioneering work to recent developments

Positioning of This Paper

• Connects two important algebraic structures: $\tau^B$ and $U^{\imath}$
• Generalizes BFN's Coulomb branch theory to the involution case
• Provides the first geometric realization of shifted twisted Yangians

Conclusions and Discussion

Main Conclusions

1. Establish an algebra homomorphism between shifted twisted Yangians and Coulomb branch algebras
2. Provide new instances of 3-dimensional mirror symmetry
3. Generalize GKLO representation theory to the twisted case

Limitations

1. Technical Assumptions: Requires quivers to be simply-laced and involutions to have no fixed points
2. Surjectivity: While the homomorphism is expected to be surjective after field extension, the proof requires new techniques
3. Generalization: Current results are restricted to quasi-split cases

Future Directions

1. K-Theory Generalization: Extend results to K-theory quantized Coulomb branches
2. Higgs Branch: Study corresponding Higgs branch structures
3. Surjectivity Proof: Establish surjectivity of the homomorphism
4. Non-Quasi-Split Cases: Generalize to more general Satake diagrams

In-Depth Evaluation

Strengths

1. Theoretical Depth: Connects important concepts from representation theory, algebraic geometry, and mathematical physics
2. Technical Innovation: Significant technical breakthroughs in handling involution constraints and complex Serre relations
3. Computational Completeness: Provides detailed calculations and verifications
4. Geometric Insight: Understands algebraic structures through Coulomb branch geometry

Weaknesses

1. High Technical Threshold: Requires deep background in multiple fields
2. Restrictive Assumptions: Strong technical assumptions limit applicability
3. Computational Complexity: Certain verification processes are extremely tedious

Impact

1. Theoretical Contribution: Provides important geometric realization for quantum symmetric pair theory
2. Methodological: Generalization of GKLO construction has general significance
3. Application Prospects: Provides framework for studying broader 3-dimensional mirror symmetry

Applicable Scenarios

• Representation theory research on quantum symmetric pairs
• Mathematical study of 3-dimensional supersymmetric gauge theories
• Geometry of twisted affine Grassmannian slices
• Representation theory of twisted Yangians

References

The paper cites important literature in the field, including:

• BFN18, BFN19: Foundational work by Braverman-Finkelberg-Nakajima on Coulomb branches
• LZ24: Lu-Zhang on Drinfeld-type representations of twisted Yangians
• VV11: Varagnolo-Vasserot on type B affine Hecke algebras
• GKLO05: Classical GKLO representation theory