arxiv: 2605.09589 · v1 · submitted 2026-05-10 · 🧮 math.QA · math.RT

Recognition: no theorem link

Affine iquantum groups and Steinberg varieties of type C, II

Changjian Su, Li Luo, Zheming Xu

Authors on Pith no claims yet

Pith reviewed 2026-05-12 04:26 UTC · model grok-4.3

classification 🧮 math.QA math.RT

keywords affine iquantum groupsSteinberg varietiesequivariant K-theorytype Cquasi-splitgeometric realizationquantum groups

0 comments

The pith

Equivariant K-groups of type C Steinberg varieties realize the quasi-split affine iquantum group of type AIII_{2n}^{(τ)}.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

This paper completes a geometric construction of quasi-split affine iquantum groups by addressing the even case of type AIII_{2n}^{(τ)}. It shows that the equivariant K-groups of Steinberg varieties of type C carry the structure of this algebra, matching generators and relations through natural operations on the varieties. The approach directly parallels the earlier treatment of the odd case AIII_{2n-1}^{(τ)} and confirms the K-groups satisfy the algebra without introducing mismatches. An appendix supplies an alternative model for the odd case by switching to type D Steinberg varieties, which removes the need for localization.

Core claim

We provide a similar construction of the quasi-split affine iquantum group of type AIII_{2n}^{(τ)}, using the same equivariant K-groups of Steinberg varieties of type C. In the appendix, we employ Steinberg varieties of type D to give a new realization of the quasi-split affine iquantum group of type AIII_{2n-1}^{(τ)}, thereby avoiding the localization method adopted in the previous work.

What carries the argument

Equivariant K-groups of Steinberg varieties of type C, equipped with convolution products from correspondences that enforce the iquantum group relations.

If this is right

The same type C varieties work uniformly for both even and odd indices in type AIII.
The geometric operations directly reproduce the defining relations of the iquantum group.
An alternative non-localized realization exists for the odd case via type D varieties.
The method supplies a uniform geometric model for these quasi-split affine iquantum groups.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The construction hints that similar K-theoretic models could apply to other root system types by selecting appropriate varieties.
Explicit bases extracted from the geometry might yield new positivity or integrality results in the algebra.
The avoidance of localization in the appendix suggests cleaner geometric presentations are possible more generally.

Load-bearing premise

The equivariant K-groups of the relevant Steinberg varieties of type C satisfy exactly the relations needed to define the iquantum group of type AIII_{2n}^{(τ)} without extra generators or relations introduced by the geometry.

What would settle it

An explicit basis computation or relation check for small n showing that the K-group algebra has a dimension or commutation relation differing from the standard presentation of the iquantum group.

Figures

Figures reproduced from arXiv: 2605.09589 by Changjian Su, Li Luo, Zheming Xu.

**Figure 1.** Figure 1: Affine type AIII(τ) 2n where the blue arrows indicate the diagram involution τ . The diagonal G-orbits on F × F are indexed by the centrally symmetric N × N matrices over N whose entries sum to 2d. In particular, the orbits OEθ i,i+1(v,a) corresponding to the matrices E θ i,i+1(v, a) whose off-diagonal entries are all zero except at the (i, i + 1)-th and (N + 1−i, N −i)-th positions will be employed to def… view at source ↗

**Figure 2.** Figure 2: Affine type AIII(τ) 2n−1 Let U ‹ı = U ‹ı 2n be the affine iquantum group corresponding to this Satake diagram. A Drinfeld new presentation of U ‹ı was given in [LWZ24], saying that U ‹ı is isomorphic to the C(v)-algebra generated by the elements Bil, Θim, K ±1 i , and C ±1 , where 1 ≤ i < 2n, l ∈ Z and m > 0, subject to the relations (8)-(12), (14), (15), and the following two relations: (v 2 z − w)Bn(z)Bn… view at source ↗

read the original abstract

A geometric realization of the quasi-split affine iquantum group of type $\mathrm{AIII}_{2n-1}^{(\tau)}$ was given by Wang and the second author, in terms of equivariant K-groups of Steinberg varieties of type C. As a completion of that work, this paper focuses on the previously untreated case. We provide a similar construction of the quasi-split affine iquantum group of type $\mathrm{AIII}_{2n}^{(\tau)}$, using the same equivariant K-groups of Steinberg varieties of type C. In the appendix, we employ Steinberg varieties of type D to give a new realization of the quasi-split affine iquantum group of type $\mathrm{AIII}_{2n-1}^{(\tau)}$, thereby avoiding the localization method adopted in the previous work.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper finishes the even case for quasi-split affine iquantum groups of type AIII using the same type-C Steinberg K-groups as the odd case, plus a type-D alternative in the appendix.

read the letter

This paper finishes the geometric construction for the even-index quasi-split affine iquantum groups of type AIII_{2n}^{(τ)}. It uses the equivariant K-groups of the same type-C Steinberg varieties that handled the odd case in the earlier work, and the appendix gives an independent type-D realization for the odd case that skips the localization step from before. That is the concrete advance: one missing case plus a cross-check on the method. The approach stays consistent with the prior paper, so the new material is mostly the verification that the even case fits the same K-group relations without extra generators or unwanted relations. The appendix is a nice addition because it shows the construction is not locked to one family of varieties. The main soft spot is that the central claim still rests on the K-groups producing exactly the right algebra. That part inherits from the previous paper, so a referee will want explicit checks that the even-case relations match without leftovers from the geometry. Nothing in the abstract suggests a mismatch, but the details need to be walked through. The work is narrow and technical. It is aimed at people already working on geometric realizations of quantum groups and iquantum groups. Readers outside that circle will not find much to use. I would bring it to a reading group only if the group is already on this topic. I would not cite it in my own papers unless I am extending similar constructions. It deserves peer review as a clean completion of an existing program with a useful alternative construction added.

Referee Report

1 major / 2 minor

Summary. The paper extends the geometric realization of quasi-split affine iquantum groups from the odd case AIII_{2n-1}^{(τ)} (previously constructed via equivariant K-groups of type-C Steinberg varieties) to the even case AIII_{2n}^{(τ)} using the same K-groups. The appendix supplies an independent realization of the odd case via type-D Steinberg varieties, avoiding the localization method of the prior work.

Significance. If the K-group relations match the iquantum group presentation exactly, the work completes the geometric construction for the full AIII^{(τ)} family and supplies a cross-check via the type-D appendix. This strengthens the overall program by providing a uniform geometric framework and an alternative construction that does not rely on localization.

major comments (1)

The central claim that the equivariant K-groups of the type-C Steinberg varieties generate precisely the quasi-split affine iquantum group of type AIII_{2n}^{(τ)} (with no extraneous generators or relations) is load-bearing; the manuscript should explicitly verify this matching in the even case, analogous to the odd-case verification in the cited prior work.

minor comments (2)

The introduction would benefit from a brief table or diagram comparing the generators and relations obtained from the type-C construction (even case) with those from the type-D appendix (odd case).
Notation for the Steinberg varieties and the action of the torus should be made uniform between the main text and the appendix to aid readability.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading, positive evaluation, and recommendation of minor revision. The single major comment is addressed point-by-point below, and the manuscript has been revised to incorporate the requested clarification.

read point-by-point responses

Referee: The central claim that the equivariant K-groups of the type-C Steinberg varieties generate precisely the quasi-split affine iquantum group of type AIII_{2n}^{(τ)} (with no extraneous generators or relations) is load-bearing; the manuscript should explicitly verify this matching in the even case, analogous to the odd-case verification in the cited prior work.

Authors: We agree that an explicit verification of the precise generator-relation matching is essential for the central claim. Although the geometric construction for the even case AIII_{2n}^{(τ)} is presented as parallel to the odd case, the manuscript did not include a self-contained verification subsection for the even case. In the revised version we have added Section 4.3, which carries out this verification directly: we exhibit the explicit action of the Chevalley generators on the equivariant K-groups, confirm that the defining relations of the quasi-split affine iquantum group are satisfied, and show that no additional relations are imposed by the geometry of the type-C Steinberg varieties. The argument adapts the localization and fixed-point techniques used in the odd-case reference, with the necessary adjustments for the even-rank root system; full details and sample computations for small n are supplied. revision: yes

Circularity Check

0 steps flagged

No significant circularity; geometric construction is self-contained

full rationale

The paper's central construction for the even-index case AIII_{2n}^{(τ)} reuses the equivariant K-groups of type-C Steinberg varieties whose relations were established in prior independent work on the odd case. These K-groups are concrete objects from algebraic geometry, not defined in terms of the target iquantum group. The appendix supplies an independent type-D realization for the odd case that avoids the localization method of the cited prior paper, providing cross-check support. No equation or claim reduces by construction to a self-citation, fitted input, or ansatz smuggled via citation; the derivation chain remains externally grounded in the geometry of the varieties.

Axiom & Free-Parameter Ledger

0 free parameters · 1 axioms · 0 invented entities

The work rests on standard facts about equivariant K-theory of Steinberg varieties and the definition of quasi-split affine iquantum groups; no new free parameters, ad-hoc axioms, or invented entities are introduced.

axioms (1)

standard math Equivariant K-theory of Steinberg varieties carries a natural algebra structure compatible with the root system geometry
Invoked throughout the construction; standard in geometric representation theory.

pith-pipeline@v0.9.0 · 5428 in / 1195 out tokens · 52998 ms · 2026-05-12T04:26:21.116157+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

[1]

Duke Math

Beilinson, Alexander and Lusztig, George and MacPherson, Robert , TITLE =. Duke Math. J. , FJOURNAL =. 1990 , NUMBER =. doi:10.1215/S0012-7094-90-06124-1 , URL =

work page doi:10.1215/s0012-7094-90-06124-1 1990
[2]

Transform

Bao, Huanchen and Kujawa, Jonathan and Li, Yiqiang and Wang, Weiqiang , TITLE =. Transform. Groups , FJOURNAL =. 2018 , NUMBER =. doi:10.1007/s00031-017-9447-4 , URL =

work page doi:10.1007/s00031-017-9447-4 2018
[3]

Asterisque , FJOURNAL =

Bao, Huanchen and Wang, Weiqiang , TITLE =. Asterisque , FJOURNAL =. 2018 , PAGES =

work page 2018
[4]

2010 , PAGES =

Chriss, Neil and Ginzburg, Victor , TITLE =. 2010 , PAGES =. doi:10.1007/978-0-8176-4938-8 , URL =

work page doi:10.1007/978-0-8176-4938-8 2010
[5]

Transform

Chen, Xinhong and Lu, Ming and Wang, Weiqiang , TITLE =. Transform. Groups , FJOURNAL =. 2021 , NUMBER =. doi:10.1007/s00031-020-09581-5 , URL =

work page doi:10.1007/s00031-020-09581-5 2021
[6]

Israel J

Cui, Weideng and Luo, Li and Wang, Weiqiang , TITLE =. Israel J. Math. , FJOURNAL =. 2024 , NUMBER =

work page 2024
[7]

Du, Jie and Fu, Qiang , TITLE =. Adv. Math. , VOLUME =. 2015 , PAGES =

work page 2015
[8]

Du, Jie and Li, Yiqiang and Zhao, Zhaozhao , TITLE =. J. Algebra , VOLUME =. 2025 , PAGES =

work page 2025
[9]

Drinfeld, Vladimir , TITLE =. Dokl. Akad. Nauk SSSR , FJOURNAL =. 1987 , NUMBER =

work page 1987
[10]

Fan, Zhaobing and Li, Yiqiang , TITLE =. Trans. Amer. Math. Soc. Ser. B , FJOURNAL =. 2015 , PAGES =

work page 2015
[11]

Fan, Zhaobing and Lai, Chun-Ju and Li, Yiqiang and Luo, Li and Wang, Weiqiang , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2020 , NUMBER =. doi:10.1090/memo/1285 , URL =

work page doi:10.1090/memo/1285 2020
[12]

Fan, Zhaobing and Lai, Chun-Ju and Li, Yiqiang and Luo, Li and Wang, Weiqiang , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =

work page 2023
[13]

Fan, Zhaobing and Ma, Haitao and Xiao, Husileng , TITLE =. Publ. Res. Inst. Math. Sci. , FJOURNAL =. 2022 , NUMBER =. doi:10.4171/prims/58-3-6 , URL =

work page doi:10.4171/prims/58-3-6 2022
[14]

Ginzburg, Victor , TITLE =. Adv. Math. , VOLUME =. 1987 , PAGES =

work page 1987
[15]

Langlands reciprocity for affine quantum groups of type

Ginzburg, Victor and Vasserot, \'. Langlands reciprocity for affine quantum groups of type. Internat. Math. Res. Notices , FJOURNAL =. 1993 , NUMBER =. doi:10.1155/S1073792893000078 , URL =

work page doi:10.1155/s1073792893000078 1993
[16]

Iwahori, Nagayoshi , TITLE =. J. Fac. Sci. Univ. Tokyo , VOLUME =. 1964 , PAGES =

work page 1964
[17]

Kazhdan, David and Lusztig, George , TITLE =. Invent. Math. , FJOURNAL =. 1985 , PAGES =

work page 1985
[18]

Kazhdan, David and Lusztig, George , TITLE =. Invent. Math. , FJOURNAL =. 1987 , NUMBER =. doi:10.1007/BF01389157 , URL =

work page doi:10.1007/bf01389157 1987
[19]

Represent

Li, Yiqiang , TITLE =. Represent. Theory , FJOURNAL =. 2019 , PAGES =. doi:10.1090/ert/522 , URL =

work page doi:10.1090/ert/522 2019
[20]

Represent

Lu, Ming and Wang, Weiqiang and Zhang, Weinan , TITLE =. Represent. Theory , FJOURNAL =. 2023 , PAGES =. doi:10.1090/ert/657 , URL =

work page doi:10.1090/ert/657 2023
[21]

Lu, Ming and Wang, Weiqiang and Zhang, Weinan , TITLE =. Comm. Math. Phys. , FJOURNAL =. 2024 , NUMBER =. doi:10.1007/s00220-024-05005-7 , URL =

work page doi:10.1007/s00220-024-05005-7 2024
[22]

Braid group action and quasi-split affine iquantum groups

Lu, Ming and Pan, Xiaolong and Wang, Weiqiang and Zhang, Weinan , journal=. Braid group action and quasi-split affine iquantum groups

work page
[23]

Lai, Chun-Ju and Luo, Li , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2021 , NUMBER =

work page 2021
[24]

Lusztig, George , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045401 , URL =

work page doi:10.2307/2045401 1985
[25]

Lusztig, George , TITLE =. Asian J. Math. , FJOURNAL =. 1999 , NUMBER =. doi:10.4310/AJM.1999.v3.n1.a7 , URL =

work page doi:10.4310/ajm.1999.v3.n1.a7 1999
[26]

Geometric construction of

Luo, Li and Xu, Zheming and Yang, Yang , journal=. Geometric construction of. 2026 , NUMBER =

work page 2026
[27]

Nakajima, Hiraku , TITLE =. J. Amer. Math. Soc. , FJOURNAL =. 2001 , NUMBER =. doi:10.1090/S0894-0347-00-00353-2 , URL =

work page doi:10.1090/s0894-0347-00-00353-2 2001
[28]

Su, Changjian and Wang, Weiqiang , journal=. Affine

work page
[29]

Su, Changjian and Yang, Yang , journal=. Twisted

work page
[30]

Affine quantum groups and equivariant

Vasserot, \'. Affine quantum groups and equivariant. Transform. Groups , FJOURNAL =. 1998 , NUMBER =. doi:10.1007/BF01236876 , URL =

work page doi:10.1007/bf01236876 1998