Satake Framed Double Quivers

• Satake framed double quivers are framed double quivers enriched with quasi-split Satake diagram data that modify vertices and arrows to yield novel representation spaces.
• Their construction enforces parity conditions and bipartite decompositions at fixed vertices, leading to orthogonal, symplectic, and additional wedge representations in special cases.
• They underpin the definition of iCoulomb branches and connect with shifted twisted Yangians, offering a quiver-theoretic framework for fixed-point affine Grassmannian slices.

Searching arXiv for the cited papers and closely related background needed for a precise, research-grounded article. First, I’ll retrieve the main 2017 paper on derived Satake and Coulomb branches. Then I’ll retrieve the 2025 paper introducing Satake framed double quivers and islices. I’ll also check the first companion paper and the Sicilian-theory background explicitly referenced in the source material. Satake framed double quivers are framed double quivers equipped with quasi-split Satake-diagram data, namely an involution $\tau$ on an ADE Dynkin diagram together with a bipartite splitting of the $\tau$-fixed vertices, so that the usual type-$A$ representation spaces are replaced at fixed vertices by orthogonal or symplectic pieces and, in a special quasi-split rank-one situation, by additional $\wedge^2$-blocks. In the 2025 formulation, these data produce symplectic representation spaces ${}^{\imath}E_{V,W}$, gauge and flavor groups $G^\imath(V^\imath)$ and $G^\imath(W^\imath)$, and BFN-type iCoulomb branches $\mathcal M_C^\imath(V^\imath,W^\imath)$ conjectured to normalize top-dimensional components of affine Grassmannian $\sigma$-fixed slices, or islices, ${}^{\imath}\overline{W}_\mu^\lambda$ (Lu et al., 12 Oct 2025). Their background lies in the earlier derived-Satake realization of Coulomb-branch algebras for framed and double quivers through the morphism $\tau$0, where $\tau$1 becomes a commutative ring object in the equivariant derived Satake category and its Ext-algebra recovers the Coulomb branch (Braverman et al., 2017).

1. Quiver-theoretic definition

The starting point is a simple ADE Lie algebra $\tau$2 with Dynkin diagram $\tau$3 and Cartan matrix $\tau$4, together with a quasi-split Satake diagram $\tau$5 where $\tau$6 is an involutive automorphism of the diagram, $\tau$7. The split case is $\tau$8; the genuinely quasi-split cases with $\tau$9 are listed as types AIII$A$0, AIII$A$1, DI$A$2, and EII$A$3 (Lu et al., 12 Oct 2025).

The vertex set is decomposed into $A$4-orbits by

$A$5

and one sets $A$6. Starting from an ADE quiver $A$7, one forms its double quiver $A$8 by adjoining a reversed arrow for each $A$9, then the framed quiver $\wedge^2$0 by adding framing nodes $\wedge^2$1 and framing arrows $\wedge^2$2, and finally the framed double quiver

$\wedge^2$3

A Satake framed double quiver is precisely such a framed double quiver together with the quasi-split Satake diagram and the induced involution $\wedge^2$4 on arrows (Lu et al., 12 Oct 2025).

The induced involution on arrows is specified by

$\wedge^2$5

with two special rules: if $\wedge^2$6 and $\wedge^2$7, then $\wedge^2$8; if $\wedge^2$9, then ${}^{\imath}E_{V,W}$0. For organizing the ${}^{\imath}E_{V,W}$1-symmetric modifications, the distinguished subsets

${}^{\imath}E_{V,W}$2

${}^{\imath}E_{V,W}$3

are introduced, with a bijection ${}^{\imath}E_{V,W}$4 sending ${}^{\imath}E_{V,W}$5 to the edge connecting ${}^{\imath}E_{V,W}$6 with ${}^{\imath}E_{V,W}$7 (Lu et al., 12 Oct 2025).

A central feature is that the Satake structure modifies not only the combinatorics of the quiver but also the permitted dimension data. The imposed conditions are

${}^{\imath}E_{V,W}$8

together with the “not-2-odd” parity conditions

${}^{\imath}E_{V,W}$9

$G^\imath(V^\imath)$0

The paper states that this rephrases the parity condition $G^\imath(V^\imath)$1 from the iGKLO construction (Lu et al., 12 Oct 2025).

2. Orthogonal, symplectic, and hybrid representation data

The fixed-point locus $G^\imath(V^\imath)$2 is further decomposed into a bipartite partition

$G^\imath(V^\imath)$3

with the convention that each arrow connects a vertex in $G^\imath(V^\imath)$4 to one in $G^\imath(V^\imath)$5. This determines signs

$G^\imath(V^\imath)$6

These signs control how vector spaces at fixed vertices are replaced by orthogonal or symplectic variants (Lu et al., 12 Oct 2025).

For $G^\imath(V^\imath)$7, the Satake-modified gauge and framing spaces are

$G^\imath(V^\imath)$8

and

$G^\imath(V^\imath)$9

The resulting symmetry groups are

$G^\imath(W^\imath)$0

where $G^\imath(W^\imath)$1 means $G^\imath(W^\imath)$2 for $G^\imath(W^\imath)$3 and $G^\imath(W^\imath)$4 for $G^\imath(W^\imath)$5 (Lu et al., 12 Oct 2025).

The standard framed-double-quiver cotangent representation is

$G^\imath(W^\imath)$6

but the Satake-ified symplectic vector space is

$G^\imath(W^\imath)$7

The final wedge term appears precisely in quasi-split type AIII$G^\imath(W^\imath)$8 when $G^\imath(W^\imath)$9 (Lu et al., 12 Oct 2025).

Lemma 8.7 states that $\mathcal M_C^\imath(V^\imath,W^\imath)$0 is naturally symplectic with actions of $\mathcal M_C^\imath(V^\imath,W^\imath)$1 and $\mathcal M_C^\imath(V^\imath,W^\imath)$2. This is the structural reason that Satake framed double quivers can be inserted into the BFN Coulomb-branch formalism despite generally not being of ordinary cotangent type (Lu et al., 12 Oct 2025).

The terminology “orthogonal,” “symplectic,” and “hybrid” is literal rather than metaphorical. In split type, $\mathcal M_C^\imath(V^\imath,W^\imath)$3 and the modification keeps the ADE diagram but replaces the fixed-vertex type-$\mathcal M_C^\imath(V^\imath,W^\imath)$4 pieces by orthogonal or symplectic ones. In nonsplit type, one obtains type-$\mathcal M_C^\imath(V^\imath,W^\imath)$5 data on $\mathcal M_C^\imath(V^\imath,W^\imath)$6 together with classical $\mathcal M_C^\imath(V^\imath,W^\imath)$7 pieces on $\mathcal M_C^\imath(V^\imath,W^\imath)$8 and, in AIII$\mathcal M_C^\imath(V^\imath,W^\imath)$9, the extra $\sigma$0 block. The paper explicitly describes these as “hybrid” representations (Lu et al., 12 Oct 2025).

3. iCoulomb branches and affine Grassmannian islices

Given the symplectic representation $\sigma$1 and gauge group $\sigma$2, one defines the iCoulomb branch

$\sigma$3

using the Braverman–Finkelberg–Nakajima framework in its general version, namely as a convolution algebra arising from equivariant Borel–Moore homology over the affine Grassmannian of $\sigma$4 with matter $\sigma$5 (Lu et al., 12 Oct 2025). The role played by explicit complex moment map equations $\sigma$6 in cotangent quivers is here replaced by the BFN convolution definition; the paper emphasizes that the branch is not of cotangent type in general, although in the special AIII$\sigma$7 case it remains of cotangent type with wedge representation.

The geometric target of the construction is a $\sigma$8-fixed locus inside affine Grassmannian slices. For even spherical $\sigma$9, the Poisson involution ${}^{\imath}\overline{W}_\mu^\lambda$0 preserves ${}^{\imath}\overline{W}_\mu^\lambda$1, and the fixed point locus

${}^{\imath}\overline{W}_\mu^\lambda$2

is Poisson. If ${}^{\imath}\overline{W}_\mu^\lambda$3, then the slice ${}^{\imath}\overline{W}_\mu^\lambda$4 is preserved by ${}^{\imath}\overline{W}_\mu^\lambda$5, and the associated islice is

${}^{\imath}\overline{W}_\mu^\lambda$6

The paper states that the islice inherits a Poisson structure via Dirac reduction (Lu et al., 12 Oct 2025).

The principal geometric conjecture is Conjecture 8.13(1): the iCoulomb branch ${}^{\imath}\overline{W}_\mu^\lambda$7 is a normalization of a top-dimensional component of the affine Grassmannian islice ${}^{\imath}\overline{W}_\mu^\lambda$8 (Lu et al., 12 Oct 2025). The associated dimension numerology is explicit. The open fixed-point piece ${}^{\imath}\overline{W}_\mu^\lambda$9 is nonempty if and only if the parity condition

$\tau$00

holds, and then

$\tau$01

The same section states that the rank vectors of the component groups of $\tau$02 and $\tau$03 match the dimension vectors extracted from the coweights $\tau$04 (Lu et al., 12 Oct 2025).

This geometry is best understood as a fixed-point analogue of the ordinary affine Grassmannian-slice/Coulomb-branch correspondence. A plausible implication is that Satake framed double quivers supply the quiver-theoretic model for the $\tau$05-fixed Poisson geometry in much the same way that ordinary framed double quivers model type-$\tau$06 Coulomb branches. The paper makes this suggestion precise only at the level of normalization and top-dimensional components, not as a complete identification in all cases (Lu et al., 12 Oct 2025).

4. Derived-Satake antecedents and the type-$\tau$07 prototype

The 2017 companion paper provides the derived-Satake mechanism that underlies the later quiver–Satake synthesis. For a complex reductive group $\tau$08 and a finite-dimensional complex representation $\tau$09, the variety of triples $\tau$10 is defined as the moduli of $\tau$11 where $\tau$12 is a trivializable $\tau$13-bundle on the formal disk $\tau$14, $\tau$15 is a trivialization over the punctured disk $\tau$16, and $\tau$17 is a compatible section of the associated $\tau$18-bundle. Equivalently, points are pairs $\tau$19 with $\tau$20 and $\tau$21 such that both $\tau$22 and $\tau$23 are regular, modulo $\tau$24 (Braverman et al., 2017).

Projection to the affine Grassmannian defines a $\tau$25-equivariant morphism

$\tau$26

or, in loop coordinates, $\tau$27. Writing $\tau$28 for the dualizing complex on $\tau$29, one sets

$\tau$30

The affine Grassmannian carries the usual convolution product

$\tau$31

and Proposition 2.1 gives $\tau$32 a canonical multiplication $\tau$33 and unit $\tau$34, making $\tau$35 a unital associative algebra object. Theorem 2.5 proves commutativity, using nearby cycles on the Beilinson–Drinfeld Grassmannian; Appendix B gives a direct global proof via a global convolution diagram (Braverman et al., 2017).

The associated Coulomb-branch algebra is recovered as Ext-cohomology: $\tau$36 and the induced multiplication agrees with the Coulomb-branch convolution product

$\tau$37

More generally, if $\tau$38 is any commutative ring object in $\tau$39, then

$\tau$40

is a commutative graded Coulomb-branch algebra, and gluing is implemented by diagonal pullback

$\tau$41

which again yields a commutative ring object (Braverman et al., 2017).

This framework is the type-$\tau$42 precursor of the later Satake framed double-quiver picture. In particular, the paper studies star-shaped framed type-$\tau$43 quivers, expected to be Higgs branches of $\tau$44 Sicilian theories, and shows that gluing and “leg amputation” on ring objects produce their Coulomb branches (Braverman et al., 2017). The main identification in this direction is Theorem 2.11: for the framed type-$\tau$45 quiver with $\tau$46 and $\tau$47 with flavor group $\tau$48,

$\tau$49

as ring objects on $\tau$50, where $\tau$51 is the regular sheaf corresponding under geometric Satake to the regular representation $\tau$52. Consequently,

$\tau$53

recovering the nilpotent cone of the Langlands dual group (Braverman et al., 2017).

The Satake framed double-quiver construction of 2025 can be read as an extension of this paradigm from ordinary framed/double quivers to quasi-split and fixed-point data. That is an interpretation rather than an explicit theorem, but it matches the stated “bridging” role of the 2017 paper: from framed double quivers one obtains ring objects on the affine Grassmannian, and from ring objects one obtains Coulomb branches through Ext-cohomology (Braverman et al., 2017).

5. Shifted twisted Yangians and quantization

On the algebraic side, Satake framed double quivers are linked to shifted twisted Yangians. For any quasi-split Satake diagram $\tau$54 of ADE type and any even spherical coweight $\tau$55, the shifted twisted Yangian $\tau$56 is defined as the $\tau$57-algebra generated by Drinfeld currents

$\tau$58

subject to the relations recorded in Definition 2.2 and equations (2.7)–(2.10), including the initial conditions

$\tau$59

and the commutativity $\tau$60 (Lu et al., 12 Oct 2025).

Theorem 2.10 establishes a PBW basis: ordered monomials in root vectors $\tau$61 together with Cartan coefficients $\tau$62 form a PBW basis of $\tau$63. The same theorem gives injective shift homomorphisms

$\tau$64

for anti-dominant $\tau$65 (Lu et al., 12 Oct 2025).

The iGKLO representation is the mechanism relating these algebras to geometry. Theorem 3.8 states that for a quasi-split Satake diagram, a $\tau$66-invariant dominant coweight $\tau$67, and even spherical $\tau$68 satisfying the parity constraint $\tau$69, there is a homomorphism

$\tau$70

where $\tau$71 is a ring of difference operators generated by $\tau$72, shifts $\tau$73, and minors $\tau$74 with relations

$\tau$75

The truncated shifted twisted Yangian is defined by

$\tau$76

(Lu et al., 12 Oct 2025).

The fixed-point geometry reappears in the classical limit. Theorem 7.4 identifies the associated graded of $\tau$77 with the coordinate ring of the Poisson fixed locus: $\tau$78 Theorems 7.5 and 7.6 further state that the classical limit of the iGKLO map defines the closure $\tau$79 of a top-dimensional irreducible component $\tau$80, both in the undeformed case and over the Beilinson–Drinfeld base (Lu et al., 12 Oct 2025). The paper therefore proposes the quantization conjecture that $\tau$81 quantizes $\tau$82.

This algebraic picture explains why Satake framed double quivers are not merely a geometric rephrasing of fixed-point slices. They provide the quiver input for iCoulomb branches, while shifted twisted Yangians provide a quantization expected to match the same geometric objects. The 2025 paper formulates this as a program rather than a completed equivalence in full generality (Lu et al., 12 Oct 2025).

6. Type AI, explicit examples, and current status

The best-developed identifications occur in type AI. In that case, with $\tau$83 and $\tau$84 dominant and even, a variant of $\tau$85 is identified with the truncated shifted twisted Yangian $\tau$86, and hence with finite $\tau$87-algebras of classical types BCD (Lu et al., 12 Oct 2025). Geometrically, Theorem 7.9 identifies the islices with nilpotent Slodowy-slice intersections: $\tau$88 where $\tau$89 or $\tau$90 according to the parity of parts of $\tau$91. The statement generalizes Lusztig’s bijection and the Mirković–Vybornov isomorphisms from type $\tau$92 to classical types B/C/D through the $\tau$93-fixed-locus formalism (Lu et al., 12 Oct 2025).

Several explicit low-rank examples clarify the construction. For type $\tau$94 with $\tau$95 and $\tau$96, the slice $\tau$97 is described by polynomial matrices

$\tau$98

with $\tau$99, $A$00 monic of degree $A$01, $A$02, and $A$03. The involution sends $A$04, and the fixed points satisfy

$A$05

The corresponding islice has dimension $A$06 and the associated iquiver is rank one with $A$07 orthogonal or symplectic according to the bipartition (Lu et al., 12 Oct 2025).

For type $A$08 in the nonsplit AIII case, the involution swaps the two vertices, $A$09, the gauge group remains $A$10, and the representation acquires the additional block

$A$11

The parity condition $A$12 controls nonemptiness and dimension, and the fixed open piece has dimension $A$13 (Lu et al., 12 Oct 2025). For split type $A$14, all fixed vertices lie in $A$15, the bipartition chooses orthogonal versus symplectic assignments, and the resulting iCoulomb branches are described in the paper as purely ortho-symplectic (Lu et al., 12 Oct 2025).

The current status is mixed between theorem and conjecture. Proven results include the PBW basis for $A$16, the existence of iGKLO homomorphisms for all quasi-split ADE types, the classical-limit construction of top-dimensional components of islices, the type-AI identification with previously defined truncated shifted twisted Yangians and finite $A$17-algebras, and the type-AI identification of islices with Slodowy slices (Lu et al., 12 Oct 2025). Conjectural statements include the normalization of islices by iCoulomb branches, the quantization of $A$18 by $A$19, general presentations of truncated shifted twisted Yangians, and K-theoretic iCoulomb branches with truncated shifted affine iquantum groups (Lu et al., 12 Oct 2025).

A common misconception is to treat Satake framed double quivers as ordinary Nakajima quivers with a decorative involution. The construction is stricter: the involution acts simultaneously on vertices and arrows, fixed vertices are replaced by orthogonal or symplectic spaces according to a bipartite sign choice, and quasi-split edges may contribute genuine $A$20-terms. Another misconception is that the associated branches are always cotangent-type quiver varieties; the paper explicitly states that this holds only in special cases such as AIII$A$21, while the general definition uses the full BFN convolution formalism (Lu et al., 12 Oct 2025).