Instantons on ALE spaces for classical groups, involutions on quiver varieties, and quantum symmetric pairs

Basic Information

• Paper ID: 2510.13007
• Title: Instantons on ALE spaces for classical groups, involutions on quiver varieties, and quantum symmetric pairs
• Author: Hiraku Nakajima
• Classification: math.RT hep-th math.AG math.QA
• Publication Date: October 16, 2024 (arXiv v2)
• Paper Link: https://arxiv.org/abs/2510.13007v2

Abstract

The moduli spaces of instantons for classical groups on ALE spaces are examples of fixed point sets of involutions on quiver varieties, namely σ-quiver varieties. In 2018, Li Yiqiang considered their equivariant cohomology and, through the stable envelope of Maulik-Okounkov, constructed representations of coideal subalgebras of the Maulik-Okounkov Yangian, called twisted Yangians. In this paper, we compute the K-matrix explicitly as a matrix in concrete examples, identify the twisted Yangian with other twisted Yangians studied in the literature, and clarify the conditions necessary for their well-definedness.

Research Background and Motivation

Problem Background

1. Historical Development: In 1992, the author discovered the relationship between the cohomology of instanton moduli spaces on ALE spaces and representations of affine Kac-Moody Lie algebras, a discovery that has generated numerous developments in both geometry and representation theory.
2. Limitations: Most developments have been restricted to the case where the gauge group is a unitary group, corresponding to quiver varieties on the geometric side and quantum loop algebras or Yangians on the representation-theoretic side. Research on the case where the gauge group is a classical group (special orthogonal group or symplectic group) remains relatively sparse.
3. Li's Contribution: In 2018, Li Yiqiang considered involutions on finite-type quiver varieties, called the fixed point sets σ-quiver varieties, and equipped their equivariant cohomology with the structure of a coideal subalgebra of the Maulik-Okounkov Yangian.

Research Motivation

1. Theoretical Refinement: Concretize Li's abstract construction and compute the explicit matrix form of the K-matrix
2. Identification Problem: Compare and identify the twisted Yangian constructed by Li with other twisted Yangians in the literature
3. Clarification of Conditions: Determine the necessary conditions for the K-matrix to be well-defined

Core Contributions

1. Explicit Computation of K-matrices: Compute the K-matrix in Li's construction as an explicit matrix rather than an abstract linear operator in concrete examples
2. Identification of Twisted Yangians:
   • Prove that the twisted Yangian in the SO instanton case is the Olshanski twisted Yangian
   • Prove that the twisted Yangian in the partial flag variety case is the Molev-Ragoucy reflection equation algebra
3. Polarization Compatibility Condition: Discover and clarify the compatibility condition for polarization choices (Assumption 5.4), which is the key to making the K-matrix well-defined
4. Existence Results:
   • Find polarizations satisfying the compatibility condition in types A, D, E₆ (σ′=id, (+)-type) and A₁ (σ′=id, (−)-type)
   • Prove that for type Aₗ₋₁ (ℓ>2, σ′=id, (−)-type) no polarization satisfying the condition exists

Detailed Methodology

Task Definition

Study the equivariant cohomology of σ-quiver varieties as the structure of twisted Yangian representations, where σ-quiver varieties are defined as the fixed point sets of quiver varieties under the involution σ = σ′ ∘ Sw₀ ∘ ⋆ ∘ t.

Core Construction

1. Definition of Involution

The involution σ is composed of four parts:

• ⋆: Graph involution defined by the McKay correspondence, satisfying ρ*ᵢ ≅ ρᵢ⋆
• t: Transpose operation, replacing linear maps with their transposes
• Sw₀: Reflection functor corresponding to the longest Weyl group element
• σ′: Graph automorphism

2. K-matrix Construction

The K-matrix is defined through the stable envelope:

SF(u) = (RFᵢ₁,Fσ)(u+u₁)₂₁ ··· (RFᵢₙ,Fσ)(u+uₙ)₂₁ KF(u)RF,Fᵢₙ(u-uₙ) ··· RF,Fᵢ₁(u-u₁)

3. Reflection Equation

The K-matrix satisfies the reflection equation:

KF₂(u₂)RF₂,Fσ₁(u₁+u₂)₂₁KF₁(u₁)RF₁,F₂(u₁-u₂) = RFσ₂,Fσ₁(u₁-u₂)₂₁KF₁(u₁)RF₁,Fσ₂(u₁+u₂)KF₂(u₂)

Technical Innovations

1. Polarization Compatibility Condition

The key innovation is the discovery of Assumption 5.4:

• All relevant fixed point sets must admit induced polarizations
• Polarizations must remain consistent across connected components

2. Geometric Realization

Compute the matrix elements of the K-matrix through concrete geometric constructions (Young tableau parametrization of fixed points).

Experimental Setup

Main Examples

1. Sp Instanton Moduli Space (§6)

• Setting: Aₗ₋₁-type quiver, σ′=id, (−)-type
• Geometry: Moduli space of symplectic instantons on ALE spaces
• Result: For ℓ>2, no compatible polarization can be chosen

2. SO Instanton Moduli Space (§6)

• Setting: Aₗ₋₁-type quiver, σ′=id, (+)-type
• Geometry: Moduli space of orthogonal instantons on ALE spaces
• Result: Twisted Yangian is isomorphic to Y(oₗ)

3. Partial Flag Varieties (§7)

• Setting: Aₗ₋₁-type quiver, σ′≠id
• Geometry: Cotangent bundles of classical-type partial flag varieties
• Result: Twisted Yangian is isomorphic to B(ℓ,⌊ℓ/2⌋)

Computational Methods

1. Fixed Point Analysis: Parametrize torus fixed points using Young tableaux
2. Normal Bundle Analysis: Compute weights of normal bundles and polarization choices
3. Stable Envelope: Construct R-matrices and K-matrices through geometric stable envelopes

Experimental Results

Main Results

1. SO Instanton Case (Theorem 6.21)

The equivariant cohomology H*_(M^σ(w₁)) is a representation of the Olshanski twisted Yangian Y(oₗ).

2. Partial Flag Variety Case (Theorem 7.4)

The equivariant cohomology H*_(M^σ(w)) is a representation of the Molev-Ragoucy reflection equation algebra B(ℓ,⌊ℓ/2⌋).

3. Poincaré Polynomial (Theorem 6.12)

For the Sp instanton case, the Poincaré polynomial is:

∑_{T:(6.9)} t^{2l_{Sp}(T)}

where l_(T) is given by a special counting formula for Young tableaux.

Technical Findings

1. Polarization Obstruction

Discover that for the (−)-type case of Aₗ₋₁ (ℓ>2), no polarization satisfying the compatibility condition exists, explaining why certain cases cannot yield well-defined twisted Yangian representations.

2. Connectivity

• SO instanton moduli spaces are generally disconnected
• Sp instanton moduli spaces are always connected

Related Work

Historical Background

1. Nakajima (1992): Established the connection between instanton moduli space cohomology and affine Kac-Moody algebras
2. Li (2018): Introduced the concept of σ-quiver varieties and constructed abstract twisted Yangian representations
3. Maulik-Okounkov (2019): Developed the theory of stable envelopes

Related Directions

1. Quantum Symmetric Pairs: This work is closely related to quantum symmetric pair theory
2. Coulomb Branches: σ-quiver varieties are related to Coulomb branches of 3-dimensional N=4 gauge theories
3. Affine Grassmannian Slices: Connected to the theory of generalized affine Grassmannian slices

Conclusions and Discussion

Main Conclusions

1. Successful Identification: Successfully identify the twisted Yangian constructed by Li with known twisted Yangians in the literature
2. Clarification of Conditions: Find necessary and sufficient conditions for the K-matrix to be well-defined
3. Computational Realization: Provide explicit computational methods for K-matrices

Limitations

1. Smoothness Restriction: Only consider smooth σ-quiver varieties, excluding singular cases
2. Type Restriction: Main results focus on ADE types; other Lie algebra types require further investigation
3. Polarization Choice: In certain cases, no compatible polarization can be found

Future Directions

1. Singular Cases: Extend to singular σ-quiver varieties
2. K-theory: Develop K-theoretic versions of the theory
3. Representation-Theoretic Applications: Explore further applications in representation theory

In-Depth Evaluation

Strengths

1. Theoretical Depth: Combines abstract algebraic constructions with concrete geometric computations
2. Computational Completeness: Provides detailed matrix calculations, bridging the gap between theory and practice
3. Condition Discovery: The discovery of new compatibility conditions is an important theoretical contribution
4. Identification Work: Successfully connects twisted Yangian theories from different sources in the literature

Weaknesses

1. Limited Examples: Primarily concentrated on concrete examples of type A; generality needs strengthening
2. Technical Complexity: The computational process is quite technical, potentially affecting readability
3. Limited Applications: Mainly theoretical results so far; practical applications require further development

Impact

1. Theoretical Contribution: Provides important geometric realizations for twisted Yangian theory
2. Methodological Innovation: The discovery of polarization compatibility conditions may influence related fields
3. Bridging Role: Connects different branches of algebraic geometry, representation theory, and mathematical physics

Applicable Scenarios

1. Representation Theory Research: Provides geometric realizations for representations of quantum groups and twisted Yangians
2. Mathematical Physics: Potential applications in gauge theory and integrable systems
3. Algebraic Geometry: Offers new perspectives for quiver variety theory

References

The paper cites a rich body of related literature, primarily including:

• Nakajima's early instanton work (1992-2004)
• Li's work on σ-quiver varieties (2019)
• Maulik-Okounkov's work on stable envelopes (2019)
• Classical literature on twisted Yangians (Molev, Olshanski, etc.)

This paper is an important contribution to the intersection of representation theory and algebraic geometry. Through concrete calculations, it verifies and refines Li's abstract theory, providing deep insights into understanding the algebraic structure of instanton moduli spaces for classical groups.