Pith. sign in

REVIEW 3 major objections 3 minor 30 references

Demazure slices of type $A_{2l}^{(2)}$

T0 review · 3 major / 3 minor · reviewed 2026-08-14 · deepseek-v4-flash

Pith's one-line read The paper proves that for type $A_{2l}^{(2)}$ the global Weyl module is filtered by Demazure slices, that these slices are mutually orthogonal under the Euler–Poincaré pairing, and that their graded characters are normalized nonsymmetric…

desk verdict This is the missing A(2)_{2l} case of the Cherednik–Kato Demazure-slice program, done seriously and mostly concretely, with one unproved transfer of [CK] lemmas that a referee should force the author to spell out. read the letter →

arxiv 1908.06499 v2 pith:DHNR55QC submitted 2019-08-18 math.RT math.QA

classification math.RTmath.QA MSC 17B6717B1033D5217B65
keywords DemazureslicesthickmodulesglobalWeylhyperspecialcurrentalgebrasspecialnonsymmetricMacdonald-KoornwinderpolynomialsEuler-PoincarépairingtwistedaffinetypeA(2)_{2l}
verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper extends to the twisted affine Kac–Moody algebra of type $A_{2l}^{(2)}$ results previously known for untwisted and other type-I affine algebras. Its central claim is that the global Weyl module of the hyperspecial current algebra, tensored with the level-one module $\mathbb{C}_{\Lambda_0}$, carries a filtration whose successive quotients are exactly the Demazure slices $D_\mu$, one for each weight $\mu$ in the finite Weyl group orbit of $\lambda$ (Theorem A). A companion extension calculation (Theorem B) shows that slices and thin Demazure modules are mutually orthogonal under the Euler–Poincaré pairing, and this yields Theorem C: the graded character of a Demazure slice is a nonsymmetric Macdonald–Koornwinder polynomial specialized at $t=\infty$, divided by its norm. In the final section the paper proves that for the special current algebra the global Weyl module is free over its polynomial endomorphism ring (Theorem D). If correct, the paper closes the $A_{2l}^{(2)}$ gap in the thick-Demazure-module story and shows that Koornwinder polynomials control the characters of these modules.

What carries the argument

The Demazure slice $D_w^\Lambda:=D_w^\Lambda/\sum_{w<v}D_v^\Lambda$ is the associated graded piece of a thick Demazure module, and at level one the paper writes $D_\lambda$ for the slice attached to the minimal coset representative $\pi_\lambda$. The argument is carried by the identification $W(\lambda)\otimes\mathbb{C}_{\Lambda_0}\cong\mathrm{Gr}_\lambda^D$, where $\mathrm{Gr}_\lambda^D=D_\lambda/\sum_{\lambda\succ\mu,\mu\notin\check W\lambda}D_\mu$; the Demazure–Joseph functors $D_i$ and their adjunction (Proposition 2.35) turn the extension calculation into an induction on the Macdonald order; and the nonsymmetric Macdonald–Koornwinder polynomials $E_\lambda$ and their $t=\infty$ specializations $E^\dagger_\lambda$ supply the characters, with the Euler–Poincaré pairing $\langle-, -\rangle_{\mathrm{Ext}}$ serving as the inner product with respect to which slices and thin modules are dual.

What would settle it

For a small rank, say $l=2$, compute the containment $D_v\subseteq D_w$ for minimal coset representatives in the affine Weyl group of type $A_{2l}^{(2)}$ and check Lemma 2.9(1)–(2); if a containment occurs in the wrong Bruhat direction, or if the intersection quotient in Corollary 2.12 is neither $D_w$ nor zero, then the filtration in Proposition 2.36 and Theorem A collapse. Alternatively, compute $\mathrm{Ext}^1_{\mathcal{B}}(D_\lambda\otimes\mathbb{C}_{m\delta+k\Lambda_0},D_\mu^\vee)$ for a specific nontrivial pair $(\lambda,\mu)$; Theorem B predicts that every such group vanishes except on the diagonal.

Watch

Extended reading notes

Core claim

The paper's main discovery is that the missing twisted case behaves exactly like the cases already treated in the untwisted setting, with the half-integer root lattice of $A_{2l}^{(2)}$ causing no breakdown. For each dominant integral weight $\lambda\in \check P_+$, the global Weyl module $W(\lambda)\otimes_{\mathbb{C}}\mathbb{C}_{\Lambda_0}$ is isomorphic to the graded piece $\mathrm{Gr}_\lambda^D$ of the level-one Demazure module $D_\lambda$, and as a $b^-$-module it is filtered by Demazure slices $D_\mu$ with each $\mu\in\check W\lambda$ appearing exactly once. For every $\lambda,\mu\in\check P$, the extension groups $\mathrm{Ext}^n_{\mathcal{B}}(D_\lambda\otimes\mathbb{C}_{m\delta+k\Lambda_0},D_\mu^\vee)$ vanish except for $n=m=k=0$ and $\lambda=\mu$, so the graded characters of slices and thin Demazure modules are orthonormal under the Euler–Poincaré pairing. The resulting character formula, $\operatorname{gch}D_\lambda=q^{(\lambda|\lambda)/2}E^\dagger_\lambda(x_1^{-1},\ldots,x_l^{-1},q^{-1})/\langle \bar E_\lambda,E^\dagger_\lambda\rangle_{\mathrm{Ext}}$, identifies each slice character as a normalized nonsymmetric Macdonald–Koornwinder polynomial at $t=\infty$. For the special current algebra, the endomorphism ring $\mathrm{End}_{(Cg^\dagger)'}(W(\lambda)^\dagger)$ is a polynomial ring and $W(\lambda)^\dagger$ is free over it.

Load-bearing premise

The paper relies on the assertion that the filtration lemmas on Demazure-module containment and intersections, proved in the untwisted affine setting, remain valid verbatim for type $A_{2l}^{(2)}$, and this transfer is stated without proof.

Editorial extensions

If this is right

  • For each dominant $\lambda$, the graded character of $W(\lambda)\otimes\mathbb{C}_{\Lambda_0}$ is the sum of the slice characters $\operatorname{gch}D_\mu$ over $\mu\in\check W\lambda$, because each $D_\mu$ appears exactly once in the filtration.
  • The orthogonality $\langle\operatorname{gch}D_\lambda,\operatorname{gch}D_\mu\rangle_{\mathrm{Ext}}=\delta_{\lambda,\mu}$ means the slice characters and the thin Demazure characters form a dual basis in the space of formal characters.
  • Theorem C gives a closed formula: every slice character is a normalized nonsymmetric Macdonald–Koornwinder polynomial at $t=\infty$, so slice characters can be computed recursively from orthogonal polynomial data.
  • For the special current algebra, freeness of $W(\lambda)^\dagger$ over its polynomial endomorphism ring implies that every specialization at a maximal ideal has the dimension of the corresponding local Weyl module, reproducing the dimension formulas of Theorem 3.4.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

  • A natural extension, not pursued in the paper, would be to run the same transfer of filtration lemmas for the remaining twisted affine types not covered in the untwisted setting; the uniform Demazure–Joseph machinery suggests the filtration and character formulas should persist, possibly with a different half-integrality normalization.
  • The character formula can be examined in the limits $q\to 1$ or as $t\to\infty$, which should yield explicit dimension formulas for Demazure slices that can be checked against the known dimensions of local Weyl modules.
  • The freeness theorem can be read as saying the global Weyl module is a flat family of local Weyl modules over a polynomial base; if the same holds for other special current algebras, then the finite-dimensional representation theory of those algebras would be governed by a commutative deformation space.
  • The isomorphism $W(\lambda)\otimes\mathbb{C}_{\Lambda_0}\cong\mathrm{Gr}_\lambda^D$ suggests that tensor products or fusion products of Demazure slices could be studied through Weyl modules, connecting to the circle of ideas around fusion products and limit constructions.
Share X Bluesky LinkedIn Reddit HN

Signed reviews

No signed human review yet.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Referee Report

3 major / 3 minor

Summary. The paper studies Demazure slices for the twisted affine Lie algebra of type A(2)_{2l}. It claims: (Theorem A, Theorem 2.38) the global Weyl module W(λ)⊗C CΛ0 is isomorphic to Gr_λ^D and is filtered by level-one Demazure slices, with each D_μ for μ in the ˚W-orbit of λ appearing exactly once; (Theorem B, Theorem 2.42) Ext^n_B(D_λ⊗C C_{mδ+kΛ0}, D^∨_μ) vanishes unless n=m=k=0 and λ=μ; (Theorem C, Corollary 2.44) the graded character of a Demazure slice equals a nonsymmetric Macdonald–Koornwinder polynomial divided by its norm; and (Theorem D, Theorems 3.15 and 3.16) for the special current algebra Cg†, the endomorphism ring End_{Cg†′}(W(λ)†) is a polynomial ring and W(λ)† is free over it. The proofs combine the Cherednik–Kato filtration lemmas, Demazure–Joseph functors, BGG resolutions, and results of Chari–Ion–Kus, Fourier–Kus, and Feigin–Makedonskyi.

Significance. If the main results are correct, this is a substantial extension of the Cherednik–Kato theory from untwisted affine algebras to the twisted type A(2)_{2l}, the case where the relevant nonsymmetric Macdonald polynomials are Koornwinder polynomials. The paper also proves a freeness result for global Weyl modules of the special current algebra that goes beyond existing dimension formulas. The manuscript is careful in its use of external benchmarks: the local Weyl module character formula, the Ext vanishing results of Chari–Ion–Kneser/Kleshchev, the dimension formulas of Fourier–Kus and Feigin–Makedonskyi, and the Quillen–Suslin theorem. There are no fitted parameters, and the central statements are checkable against these prior results. The main risk is the unproved transfer of the [CK] filtration and intersection lemmas to the twisted setting, which supports both Theorem A and Theorem B.

major comments (3)
  1. [Section 2.2 (after Lemma 2.8)] The statement "The proofs in [CK] are also valid for type A(2)_{2l}" is an unproved transfer of Lemma 2.9 and Corollary 2.12 from the untwisted setting. These results control inclusions D_v ⊆ D_w and the intersection formula (D_w ∩ D_v)/(D_v ∩ ∑_{u>w} D_u) = D_w or 0; Corollary 2.12 is used directly in Proposition 2.36 to obtain the Demazure-slice filtration, and the same transfer underlies Propositions 2.40 and 2.41 and the induction in Theorem 2.42. The twisted root system differs in exactly the places that matter: real roots include (1/2)(˚Δ_l + (2Z+1)δ), the lattice ˚Q′ = ˚Q + (Z/2)˚Δ_{l,+} is used in Lemma 1.5, and the finite part is of type C_l. Since [CK] is cited as an arXiv preprint rather than a published source, the reader cannot verify the transfer elsewhere. The author should either prove these lemmas for A(2)_{2l} or provide a detailed translation with the modified root system.
  2. [Lemma 2.37, first displayed equality] The proof of Lemma 2.37 begins with Ext^k_{Cg-modint}(L(Λ0), (C_{−(λ|λ)δ/2} ⊗ W(λ)_{loc})^∨) = Ext^k(L(Λ0), D^∨_λ). Theorem 2.17 gives W(λ)_{loc} ≅ D_λ ⊗ C_{(λ|λ)δ/2−Λ0}, so the left-hand side involves D^∨_λ ⊗ C_{Λ0} (up to dual conventions), not simply D^∨_λ. The displayed equality is therefore not immediate, and the missing shift is material because it feeds into the character identity gch L(Λ0) = ∑_{λ∈˚P+} q^{(λ|λ)/2} gch W(λ), which is used in the proof of Theorem 2.38. Please spell out the twist or correct the displayed equality.
  3. [Theorem 2.42, base case of induction] In the base case μ = 0, the proof asserts that for λ not anti-dominant, choosing i with s_i λ > λ gives Ext^n_B(D_i(D_λ ⊗ C_{mδ+kΛ0}), D^∨_0) = {0}, 'using Proposition 2.41'. Proposition 2.41 provides an exact sequence 0 → D_c → D_i(D_c) → D_{s_i c} → 0 and D_i(D_{s_i c}) = 0; it does not by itself imply that the middle object has vanishing Ext against D^∨_0. The argument needs an additional step, such as an explicit long exact sequence comparison or a further vanishing statement for D_{s_i λ}, and as written this step is missing. Since this is the starting point of the induction proving Theorem B, it should be completed.
minor comments (3)
  1. [Abstract and Theorems 2.14, 2.44] The symbol q^{(b|b)/2} uses an undefined 'b'; it should presumably be q^{(λ|λ)/2} throughout the abstract, Theorem C/Corollary 2.44, and the statement of Theorem 2.14.
  2. [Introduction and proof of Corollary 2.44] There are several typos: 'Thorem 2.42' in the introduction, 'anaologues' for 'analogues', and in the proof of Corollary 2.44 the expansion is written with E†_λ in every summand, whereas the basis elements should be E†_μ / ⟨¯E_μ, E†_μ⟩.
  3. [Section 3] 'Argumentation ideal' should be 'augmentation ideal' in the paragraph before Proposition 3.12; in the proof of Theorem 3.16, 'It is suffice' is a typo and '(W(λ))†)' has an unmatched parenthesis.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: all target results are established against external benchmarks; the flagged gap (unproved transfer of [CK] lemmas to type A(2)2l) is a correctness risk, not a self-referential reduction.

full rationale

The paper's derivation chain is self-contained in the sense relevant to circularity. Theorem A is proved by constructing a surjection from the global Weyl module to Gr_λD and then matching characters using external results: Ion's thin Demazure character formula, CIK's local Weyl module realization, and the CI/Kleshchev Ext vanishing theorem. Theorem B is an A(2)2l analogue of [CK] proved by induction using the Demazure-Joseph functor and the same external Ext vanishing, not by assuming the conclusion. Theorem C follows from Theorem B together with the external orthogonality of nonsymmetric Macdonald-Koornwinder polynomials; the denominator is a genuine norm from the independently defined inner product, not a fitted parameter. Theorem D uses the external dimension formulas of Fourier-Kus and Feigin-Makedonskyi, the [CIK] freeness result for even coefficients, and the Quillen-Suslin theorem. The one passage worth flagging is Section 2.2's assertion that 'The proofs in [CK] are also valid for type A(2)2l' for Lemma 2.9 and Corollary 2.12; this is an unproved transfer of structural lemmas on which Theorem A and Theorem B rest, and it is a legitimate proof gap because the twisted root system differs materially. However, it is not circular: [CK] is not authored by this paper's author, the cited lemmas are not assumed in the form of the target conclusions, and no parameter is fitted to the result. No conclusion is asserted by definition or through a self-citation chain.

Assumptions & free parameters 0 free parameters · 7 assumptions · 0 invented entities

The central claims rest on established theorems from Cherednik-Kato, Chari-Ion-Kus, Ion, Li-Meng Xia/Naihong Hu/Xiaotang Bai, Fourier-Kus, Feigin-Makedonskyi, and Quillen-Suslin. There are no fitted parameters and no invented entities. The only notable paper-specific assumption is the unproved transfer of [CK] filtration lemmas to type A(2)2l, which is the weakest point.

assumptions (7)
  • standard math Kac-Moody representation theory and PBW theorem: integrable highest weight modules L(Λ) have finite weight spaces and unique extremal weight vectors.
    Invoked throughout Section 2, including Definition 2.6 and Lemma 2.8, to define thin and thick Demazure modules.
  • standard math Existence of nonsymmetric and symmetric Macdonald-Koornwinder polynomials with the stated triangularity and orthogonality.
    Definitions 1.7 to 1.10 and the character theorem 2.14 depend on the Sahi and Ion constructions.
  • domain assumption The [LNX] vertex representation Rλ of U(g) for type A(2)2l is isomorphic to L(Λ0).
    Theorem 2.5 is used in the proof of Theorem 2.38 to show that the cyclic vector of GrλD satisfies the current algebra relation Cn+vλ = 0.
  • domain assumption Local Weyl modules for the hyperspecial current algebra satisfy Dλ ⊗ C_{(λ|λ)δ/2−Λ0} ≅ W(λ)loc, and the Ext vanishing of Theorem 2.19 holds.
    Theorems 2.17 and 2.19, with Corollary 2.20, are inputs to Lemma 2.37 and Theorem B.
  • ad hoc to paper Lemma 2.9 and Corollary 2.12, proved by Cherednik and Kato for the untwisted affine Lie algebra, are valid for type A(2)2l.
    Stated in Section 2.2 without proof; these lemmas underlie Proposition 2.36 and hence Theorem A.
  • domain assumption Dimension formulas for local Weyl modules of the special current algebra and the isomorphism Aλ ≅ A′λ for even dominant λ.
    Theorem 3.4 from Fourier-Kus and Feigin-Makedonskyi and Theorem 3.10 from CIK are used in the proof of Theorem 3.16 and Theorem 3.15.
  • standard math Quillen-Suslin theorem: projective modules over polynomial rings are free.
    Invoked in the proof of Theorem 3.15 to conclude that the flat module W(λ)† is free over the polynomial ring Aλ.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Demazure slices of type $A_{2l}^{(2)}$." pith.science (2026). https://pith.science/paper/DHNR55QC

@misc{pith2026190806499,
  author       = {Pith},
  title        = {Pith review of: Demazure slices of type $A_2l^(2)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/DHNR55QC}},
  note         = {Machine review of arXiv:1908.06499}
}
abstract

We consider a Demazure slice of type $A_{2l}^{(2)}$, that is an associated graded piece of an infinite-dimensional version of a Demazure module. We show that a global Weyl module of a hyperspecial current algebra of type $A_{2l}^{(2)}$ is filtered by Demazure slices. We calculate extensions between a Demazure slice and a usual Demazure module and prove that a graded character of a Demazure slice is equal to a nonsymmetric Macdonald-Koornwinder polynomial divided by its norm. In the last section, we prove that a global Weyl module of the special current algebra of type $A_{2l}^{(2)}$ is a free module over the polynomial ring arising as the endomorphism ring of itself.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

30 extracted references · 30 canonical work pages

  1. [1]

    Roger Carter, Lie algebras of finite and affine type, Cambridge University Press, January 2010

  2. [2]

    Ivan Cherednik and Syu Kato, Nonsymmetric Rogers-Ramanujan Sums and Thick Demazure Modules, arXIv:1802.03819

  3. [3]

    Weyl modules for the twisted loop algebras

    Vyjayanthi Chari, Ghislain Fourier, and Prasad Senesi. Weyl modules for the twisted loop algebras. J. Algebra, 319(12):5016-5038, 2008

  4. [4]

    Chari, and B

    V. Chari, and B. Ion, BGG reciprocity for current algebras, Compos. Math. 151:7 (2015)

  5. [5]

    Vyjayanthi Chari, Bogdan Ion and Deniz Kus, Weyl Modules for the Hyperspecial Current Algebra, International Mathematics Research Notices, Volume 2015, Issue 15, (2015), Pages 6470-6515

  6. [6]

    Weyl, Demazure and fusion modules for the current algebra of sl _ r+1

    Vyjayanthi Chari and Sergei Loktev. Weyl, Demazure and fusion modules for the current algebra of sl _ r+1 . Adv. Math., 207(2):928-960, 2006

  7. [7]

    Weyl modules for classical and quantum affine algebras

    Vyjayanthi Chari and Andrew Pressley. Weyl modules for classical and quantum affine algebras. Represent. Theory, 5:191-223 (electronic), 2001

  8. [8]

    Fourier and D

    G. Fourier and D. Kus, Demazure modules and Weyl modules: The twisted current case, Trans. Amer. Math. Soc. 365 (2013), 6037-6064

Show all 30 references
  1. [9]

    Feigin, S

    E. Feigin, S. Kato, and I. Makedonskyi, Representation theoretic realization of non-symmetric Macdonald polynomials at infinity, Preprint: arXiv:1703.04108 (2017). J, Reine Angew Math. to appear

  2. [10]

    Fourier and P

    G. Fourier and P. Littelmann, Weyl modules, Demazure modules, KR-modules, crystals, fusion products and limit constructions. Adv. Math. 211 (2007), no. 2, 566-593

  3. [11]

    Feigin and I

    E. Feigin and I. Makedonskyi, Generalized Weyl modules for twisted current algebras, Theoretical and Mathematical Physics, August 2017, Volume 192, Issue 2, pp 1184-1204

  4. [12]

    Grothendieck, Sur quelques points d'alg\`ebre homologique, I, Tohoku Math

    A. Grothendieck, Sur quelques points d'alg\`ebre homologique, I, Tohoku Math. J. (2) Volume 9, Number 2 (1957), 119-221

  5. [13]

    Heckenberger and S

    I. Heckenberger and S. Kolb. On the Bernstein-Gelfand-Gelfand resolution for Kac-Moody algebras and quantized enveloping algebras, Transformation Groups 12(4):647-655, December 2007

  6. [14]

    Ion, Nonsymmetric Macdonald polynomials and Demazure characters, Duke Mathematical Journal 116:2 (2003), 299-318

    B. Ion, Nonsymmetric Macdonald polynomials and Demazure characters, Duke Mathematical Journal 116:2 (2003), 299-318

  7. [15]

    Joseph, On the Demazure character formula, Annales Scientifique de l'E.N.S., (1985), 389-419

    A. Joseph, On the Demazure character formula, Annales Scientifique de l'E.N.S., (1985), 389-419

  8. [16]

    Jothilingam, When is a flat module projective, Indian J

    P. Jothilingam, When is a flat module projective, Indian J. pure appl. Math., 15(1): 65-66, January 1984

  9. [17]

    Victor G. Kac. Infinite-dimensional Lie algebras. Cambridge University Press, Cambridge, third edition, (1990)

  10. [18]

    Kashiwara, The crystal base and Littelmann's refined Demazure character formula, Duke Math

    M. Kashiwara, The crystal base and Littelmann's refined Demazure character formula, Duke Math. J. 71 (1993), 839-858

  11. [19]

    Kato, Frobenius splitting of thick flag manifolds of Kac-Moody algebras, International Mathematics Research Notices, rny174, July (2018)

    S. Kato, Frobenius splitting of thick flag manifolds of Kac-Moody algebras, International Mathematics Research Notices, rny174, July (2018)

  12. [20]

    Kleshchev

    A. Kleshchev. Affine highest weight categories and affine quasi-hereditary algebras. Proceedings of the London Mathematical Society, Volume 110, Issue 4, April (2015), Pages 841-882

  13. [21]

    Koornwinder, Askey-Wilson polynomials for root systems of type BC

    T. Koornwinder, Askey-Wilson polynomials for root systems of type BC. Contemp. Math. 138 (1992), 189-204

  14. [22]

    Birkh\"auser Boston, Inc., Boston, MA, 2002

    Shrawan Kumar, Kac-Moody Groups, their Flag Varieties and Representation Theory, volume 204 of Progress in Mathematics. Birkh\"auser Boston, Inc., Boston, MA, 2002

  15. [23]

    Li-Meng Xia, Naihong Hu and Xiaotang Bai, Vertex representations for twisted affine Lie algebra of type A_ 2l ^ (2) , arXiv:0811.0215, (2008)

  16. [24]

    I. G. Macdonald, Affine Hecke algebras and orthogonal polynomials. Cambridge Tracts in Matehmatics, vols. 157, Cambridge University Press, Cambridge, 2003

  17. [25]

    Hideyuki Matsumura, Commutative Algebra, Benjamin/Cummings, 1980

  18. [26]

    Quillen, Projective modules over polynomial rings

    D. Quillen, Projective modules over polynomial rings. Invent. Math. 36 (1976), 167-171

  19. [27]

    Sahi, Nonsymmetric Macdonald polynomials and Duality

    S. Sahi, Nonsymmetric Macdonald polynomials and Duality. Ann. of Math. (2) 150 (1999), no. 1, 267-282

  20. [28]

    Sahi, Some properties of Koornwinder polynomials

    S. Sahi, Some properties of Koornwinder polynomials. q-series from a contemporary perspective (South Hadley, MA, 1998), 395-411, Contemp. Math. 254, AMS, Providence, RI, (2000)

  21. [29]

    Sanderson, On the Connection Between Macdonald Polynomials and Demazure Characters, Journal of Algebraic Combinatorics (2000) 11: 269

    Yasmine B. Sanderson, On the Connection Between Macdonald Polynomials and Demazure Characters, Journal of Algebraic Combinatorics (2000) 11: 269. https://doi.org/10.1023/A:1008786420650

  22. [30]

    A. A. Suslin, Projective modules over polynomial rings are free. Dokl. Akad. Nauk SSSR 229 (1976), no. 5, 1063-1066

Pith tools

Reviewed August 14, 2026 · model on record in the stance chip above.