Pith. sign in

REVIEW 4 major objections 5 minor 25 references

Relative Quasimaps and Tilting Module of $U(\mathfrak{gl}_n)$

T0 review · 4 major / 5 minor · reviewed 2026-08-15 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗ Review JSON

Pith's one-line read A fixed-locus summand of relative quasimap cohomology is a tilting module

desk verdict Genuinely new construction of a U(gl_n)-action on relative quasimap cohomology, aimed at geometric realization of tilting modules; the main theorem is plausible but rests on two unproved structural claims that a referee should push on. read the letter →

arxiv 2509.04690 v1 pith:KPINXCOU submitted 2025-09-04 math.AG math.RT

Che Shen This is my paper · ORCID
classification math.AGmath.RT MSC 14N3514M1517B10
keywords relativequasimapsflagvarietyLaumonspaceequivariantcohomologycategoryOtiltingmodulesBialynicki-BiruladecompositionKazhdan-Lusztigpolynomials
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

The paper sets out to show that the equivariant cohomology of a compact moduli space of quasimaps from $\mathbb{P}^1$ with one marked point to the flag variety — the relative quasimap space, a compactification of the Laumon space — carries a natural action of $U(\mathfrak{gl}_n)$, and that a certain direct summand extracted from its torus-fixed locus is, up to a known categorical equivalence, a tilting module in the BGG category $\mathcal{O}$. The point of this is that tilting modules are central objects in representation theory, but they are usually defined algebraically and hard to realize geometrically; here the module comes from cohomology classes and its decomposition into indecomposable tilting summands is computable from Bruhat paths and Kazhdan–Lusztig polynomials. If the argument is right, relative quasimap spaces give a geometric home for tilting modules of $\mathfrak{gl}_n$ at regular integral lowest weights.

What carries the argument

The load-bearing object is the relative quasimap space $QM_{\mathrm{rel}}$: quasimaps from a chain of $\mathbb{P}^1$'s to the flag variety with a fixed evaluation at the marked point, which compactifies the Laumon space by allowing bubbles to form at $\infty$. The mechanism that carries the argument is the Bialynicki-Birula decomposition (the torus-attracting cell decomposition) of the fixed locus $M_0$: each attracting set is an affine fibration over its fixed component, so the resulting stratification gives a filtration of $\mathcal{H}_{\lambda,w}$ whose successive quotients are dual Verma modules, and Poincaré duality for orbifolds turns this into a Verma filtration. Around this sit the geometric correspondences defining $E_i$, $F_i$, and $H_i$ on equivariant cohomology, the fixed-point description of the torus action, and the categorical equivalence $\Upsilon$ between $\mathcal{O}'$ and $\mathcal{O}$ that converts 'both filtrations' into the definition of a tilting module.

What would settle it

Work out $\mathcal{H}_{\lambda,w}$ for $n=2$ and the simple reflection $w=s_1$ at degree one: the number of fixed points must equal the predicted dimension of the degree-one weight space, and the length of the dual Verma filtration (the number of torus-cell strata) must equal the expected multiplicity in Corollary 5.5; any mismatch would refute the tilting identification. A second check would be to find a proper Deligne-Mumford stack with a torus-equivariant coherent sheaf vanishing at all fixed points but not at a non-fixed point, which would break the smoothness argument in Proposition 2.1.

Watch

Extended reading notes

Core claim

The paper's central claim is that the $U(\mathfrak{gl}_n)$-action on the equivariant cohomology of the Laumon space extends to the whole relative quasimap space $QM_{\mathrm{rel}}$, and that after specializing equivariant parameters to a regular lowest weight $\lambda$ and isolating the summand $\mathcal{H}_{\lambda,w}$ supported on fixed components meeting the nonsingular locus, this summand has a filtration by dual Verma modules and, by Poincaré duality, a filtration by Verma modules. Because it is finitely generated, locally finite for the subalgebra spanned by the $H_i$ and $F_i$, and has central elements acting by scalars, it lies in the dual category $\mathcal{O}'$; the known equivalence $\Upsilon$ then carries it into the ordinary category $\mathcal{O}$, where having both filtrations is exactly the definition of a tilting module. The paper computes the graded dimension of $\mathcal{H}_{\lambda,w}$ by counting fixed points and derives the multiplicity formula $\Upsilon^{-1}(\mathcal{H}_{\lambda,w}) = \bigoplus_{y\in W} T(y(\lambda)-\rho)^{\oplus n_{w,y}}$, where the integers $n_{w,y}$ satisfy $\sum_y n_{w,y}\, p_{uw^\circ, yw^\circ} = b_{w,u^{-1}}$ with $b_{w,u}$ the number of Bruhat paths and $p$ the Kazhdan–Lusztig polynomials evaluated at $1$.

Load-bearing premise

The proof that the moduli space is smooth assumes that a torus-equivariant obstruction sheaf which vanishes at every torus-fixed point must vanish everywhere on the stack; if fixed-point vanishing does not force global vanishing, the decomposition, localization, and duality steps that build $\mathcal{H}_{\lambda,w}$ no longer apply.

Editorial extensions

If this is right

  • The cohomology group $\mathcal{H}_{\lambda,w}$ provides a geometric model of a tilting module, so the torus-cell cycles give a basis adapted to a Verma flag.
  • The fixed-point count formula, combined with the Bruhat-path numbers and the inverse Kazhdan–Lusztig matrix, makes the tilting decomposition explicitly computable degree by degree.
  • The same correspondences should act on the equivariant $K$-theory of the relative quasimap space as $U_q(\mathfrak{gl}_n)$, with generators adjusted to avoid square roots of tautological line bundles, as the paper's Remark 3.3 indicates.
  • Varying the evaluation point $w(x_0)$ produces a family of tilting modules; the paper's formula organizes this family through the Bruhat graph and may lead to a categorical action on quasimap cohomology.

Reading between the lines

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

  • Computing $\mathcal{H}_{\lambda,w}$ explicitly for $\mathfrak{gl}_2$ would show whether the Jordan blocks of the non-semisimple Cartan action match the predicted tilting decomposition, and whether the bubble-number filtration is the geometric shadow of the Verma filtration.
  • The same torus-cell method, applied to the whole cohomology or to partial flag varieties, may realize tilting objects in parabolic category $\mathcal{O}$ or in singular blocks.
  • The multiplicity relation inverts Kazhdan–Lusztig polynomials against Bruhat-path counts; checking this identity combinatorially for small $W$ would test the formula independently of the geometry.
  • The smoothness proof's dependence on fixed-point vanishing marks the most fragile step; it also suggests the construction may extend to other GIT compactifications whenever a global quotient presentation is available.
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

4 major / 5 minor

Summary. The paper studies the equivariant cohomology of the moduli space of relative quasimaps from P^1 with one marked point to the flag variety, which compactifies the Laumon space QM_ns. The author extends the known U(gl_n)-action on H_T^*(QM_ns) to the whole relative quasimap space QM_rel via geometric correspondences, proves smoothness and a Bialynicki-Birula stratification of QM_rel, and then specializes equivariant parameters to a regular lowest weight. The main claim is that a certain direct summand H_{λ,w} of the specialized cohomology, obtained from the connected components of the fixed locus that meet QM_ns, carries both a Verma and a dual Verma filtration after passing to Soergel's category O', so that its inverse image under Soergel's equivalence is a tilting module of U(gl_n). The paper further computes the multiplicities of indecomposable tilting summands in terms of Bruhat paths and Kazhdan-Lusztig polynomials (Corollary 5.5).

Significance. If the main theorem is correct, the paper provides a geometric realization of tilting modules for U(gl_n) via the cohomology of relative quasimap spaces, extending the known realization of dual Verma modules by Laumon spaces. The explicit multiplicity formula in Corollary 5.5 is concrete and checkable, and the use of Soergel's categorical equivalence is a natural bridge between geometric representation theory and tilting theory. The paper also develops useful geometric foundations for QM_rel, including smoothness, a global quotient presentation, and a B-B stratification, which are of independent interest. However, the central proof rests on several assertions that are not fully justified, so the paper is not yet convincing as written.

major comments (4)
  1. [§5.2, Eq. (17)] The dual Verma filtration is not shown to be a filtration by U(gl_n)-submodules. The sequence of surjections H^*(U_{i+1})→H^*(U_i) comes from open inclusions of strata, and the assertion that ker(U_{i+1}→U_i) is 'isomorphic to a dual Verma module' identifies at most the underlying vector space (or weight-space graded object) with the cohomology of an attracting cell. No proof is given that the restriction maps H^*(U_{i+1})→H^*(U_i) commute with the correspondences E_i,F_i defined in Section 3.2, nor that each kernel is stable under the U(gl_n)-action. Since a tilting module is required to have Verma and dual Verma filtrations by submodules, this missing equivariance is load-bearing. The same gap affects the subsequent dualization step: even if the pairing (α,β)↦ϖ_*(α∪β) is compatible with the U-action, dualizing a filtration that is not known to be a module filtration does not produce a Verma filtration by submodules. The author should either prove the equivariance of the filtration or revise the claim.
  2. [§3.2, Theorem 3.1] The proof of Theorem 3.1 is too sketchy to establish the U(gl_n)-action on H_T^*(QM_rel). The argument only records the effect of E_i and F_i on localized fixed-point classes, asserting that the coefficients coincide with those for QM_ns, and that the H_i weights match. It does not verify the Serre relations, the commutator [E_i,F_i], or the compatibility of the correspondence action with the restriction maps between the strata U_i used in Section 5.2. These verifications are essential because the tilting conclusion ultimately depends on the module structure, not just on weight-space dimensions. A complete proof, or a precise reduction to the Laumon-space case plus a check on all new fixed-point components, is needed.
  3. [§4, Lemma 4.2] Lemma 4.2 asserts without proof that the fixed locus (QM_rel^d)^{C^*_λ} is smooth and irreducible. This statement is used to identify I_0 as the closure of the intersection with QM_ns and hence to conclude that H_λ is a well-defined direct summand (and a submodule). The footnote about finite groups does not supply an argument for the C^* case. The smoothness and irreducibility claims need either a proof or a precise reference, since the decomposition into H_λ and H'_λ is foundational for everything that follows.
  4. [§5.1, Lemma 5.1] The proof that the center acts by constants on H_λ is incomplete. For a class supported on a fixed component (λ,eP), the action of a central element z may a priori involve contributions from other fixed components; the sentence 'the action of z only depends on λ' is asserted rather than proved. Moreover, the definition of O' requires H_λ to be locally finite for the subalgebra spanned by H_i and F_i, but this property is not verified for H_λ. The membership of H_λ in O' is necessary for applying Soergel's equivalence, so these points should be addressed explicitly.
minor comments (5)
  1. [§1.4] The heuristic 'if we fix the map on the bubbles but let the map on the parametrized P^1 vary' is too vague to convey the actual construction; it would help to state the filtration explicitly in terms of the open subsets U_i already in the introduction.
  2. [§2.3, Proposition 2.2] In the proof, 'there is a universal curve C_N living over C^n' should presumably be 'over C^N'; the notation is inconsistent with the subsequent use of I⊂{1,...,N}.
  3. [§5.2, Eq. (17)] The display '0↞H^*(U_1)↞H^*(U_2)↞...' uses the arrow direction in a nonstandard way; please clarify which maps are restrictions and which are pushforwards, and state explicitly that the meaning is a sequence of surjections H^*(U_{i+1})→H^*(U_i).
  4. [§5.3, Corollary 5.5] The relation Σ_y n_{w,y} p_{u w°, y w°} = b_{w,u^{-1}} determines n_{w,y} by inverting the Kazhdan-Lusztig matrix; it would be useful to state the inversion formula explicitly, since the author uses it in the next display without comment.
  5. [Throughout] There are several typographical and formatting issues: 'U(gl n)' in the title should be 'U(𝔤𝔩_n)', and 'indecomposible' should be 'indecomposable'.

Circularity Check

0 steps flagged · score 0.0 of 10

No significant circularity: the load-bearing identifications come from external theorems ([10], [24], [13], [2]) and the tilting conclusion is a computed consequence, not an input.

full rationale

The paper's central chain is: (i) construct a U(gl_n)-action on H^*_T(QM_rel) via geometric correspondences (Section 3.2); (ii) single out the submodule H_λ (Section 4); (iii) exhibit a geometric filtration whose successive quotients are dual Verma modules and then dualize to get a Verma filtration (Section 5.2); (iv) apply Soergel's equivalence Υ from [24] and the standard definition of tilting modules from [13] to conclude that Υ^{-1}(H_λ) is tilting; and (v) compute multiplicities from fixed-point counts and Kazhdan-Lusztig polynomials. None of these steps is defined in terms of the conclusion. The identification of H^*_T(QM_ns) with the universal dual Verma module is taken from [10] (Theorem 4.1 in this paper), an external result with stated assumptions, not from the present author's own prior work. The author's own paper [23] is cited only for an analogous K-theoretic statement and plays no role in the derivation of the tilting claim. The geometric filtration in (17) is built from Bialynicki-Birula strata; the phrase 'By construction, ker(U_{i+1}→U_i) is isomorphic to a dual Verma module' is an application of the Laumon-space identification to each stratum, not a renaming of the desired result. The multiplicity formula in Corollary 5.5 is a genuine computation: the graded dimension of H_{λ,w} is counted by T-fixed points (Lemma 5.3), and the coefficients n_{w,y} are then determined by inverting the Kazhdan-Lusztig matrix, which is standard tilting theory. The skeptic's objection that the filtration of (17) is not proved to be a filtration by U(gl_n)-submodules is a gap or correctness risk in the proof, not circularity: it does not make the tilting conclusion an input of the construction. Similarly, the smoothness argument in Proposition 2.1 relies on a standard equivariant-localization principle (vanishing of a T-equivariant coherent sheaf at all T-fixed points) rather than on the target result. The paper therefore contains no fitted parameter renamed as a prediction, no load-bearing self-citation, and no uniqueness theorem imported from the author's own earlier work. Score 0.

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

The central claim rests on four inputs the paper does not fully derive: smoothness of QM_rel (proved only partially), the Laumon-space U(gl_n)-action from [10], Soergel's equivalence from [24], and orbifold B-B/localization from [2]/[1]. These are external black boxes, not fitted parameters; the paper contributes the geometric construction and the module-theoretic interpretation.

assumptions (4)
  • domain assumption QM_rel is a smooth Deligne-Mumford stack (Prop. 2.1).
    Used throughout for B-B decomposition, localization, and Poincare duality; the proof only verifies vanishing of the obstruction at T-fixed points.
  • standard math The U(gl_n)-action on H^*_T(QM_ns) and its identification with the dual Verma module (Theorem 4.1) is accepted from [10].
    This is the Laumon space result used as the local input for the relative case.
  • domain assumption Soergel's equivalence O -> O' sends Verma/dual Verma/simple modules to modules of the same type up to weight shift (Prop. 5.2).
    Used to translate the constructed module into a tilting module in category O; the proof is sketched via [14] and [4].
  • standard math The B-B decomposition and Poincare duality for Deligne-Mumford stacks from [2] and [1] hold for QM_rel.
    The paper relies on Theorem 2.10 and orbifold Poincare duality without independent verification.

how reviews work

0 comments
Cite this review

Pith. "Pith review of Relative Quasimaps and Tilting Module of $U(\mathfrak{gl}_n)$." pith.science (2026). https://pith.science/paper/KPINXCOU

@misc{pith2026250904690,
  author       = {Pith},
  title        = {Pith review of: Relative Quasimaps and Tilting Module of $U(\mathfrakgl_n)$},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/KPINXCOU}},
  note         = {Machine review of arXiv:2509.04690}
}
abstract

We study the equivariant cohomology of the moduli space of quasimaps from $\mathbb{P}^1$ with one marked point to the flag variety. This moduli space has an open subset isomorphic to the Laumon space. The equivariant cohomology of the Laumon space carries a natural action of $U(\mathfrak{gl}_n)$ constructed via geometric correspondences. We extend this construction to the entire quasimap moduli space and relate it to tilting modules of $U(\mathfrak{gl}_n)$.

Review history (2 revisions) →

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

25 extracted references · 18 canonical work pages

  1. [1]

    Cambridge University Press, 2007

    Alejandro Adem, Johann Leida, and Yongbin Ruan.Orbifolds and stringy topology, volume 171. Cambridge University Press, 2007

    work page 2007

  2. [2]

    A luna ´ etale slice theorem for algebraic stacks.Annals of mathematics, 191(3):675–738, 2020

    Jarod Alper, Jack Hall, and David Rydh. A luna ´ etale slice theorem for algebraic stacks.Annals of mathematics, 191(3):675–738, 2020

    work page 2020

  3. [3]

    The moment map and equivariant cohomology.Topology, 23(1):1–28, 1984

    Michael F Atiyah and Raoul Bott. The moment map and equivariant cohomology.Topology, 23(1):1–28, 1984

    work page 1984

  4. [4]

    Koszul dual- ity patterns in representation theory.Journal of the American Mathemat- ical Society, 9(2):473–527, 1996

    Alexander Beilinson, Victor Ginzburg, and Wolfgang Soergel. Koszul dual- ity patterns in representation theory.Journal of the American Mathemat- ical Society, 9(2):473–527, 1996. 22

    work page 1996

  5. [5]

    Bialynicki-Birula

    A. Bialynicki-Birula. Some theorems on actions of algebraic groups.Annals of mathematics, 98(3):480–497, 1973

    work page 1973

  6. [6]

    Finite difference quantum toda lattice via equivariant k-theory.Transformation Groups, 10:363–386, 2005

    Alexander Braverman and Michael Finkelberg. Finite difference quantum toda lattice via equivariant k-theory.Transformation Groups, 10:363–386, 2005

    work page 2005

  7. [7]

    Springer, 1997

    Neil Chriss and Victor Ginzburg.Representation theory and complex ge- ometry, volume 42. Springer, 1997

    work page 1997

  8. [8]

    Stable quasimaps to git quotients.Journal of Geometry and Physics, 75:17–47, 2014

    Ionut ¸ Ciocan-Fontanine, Bumsig Kim, and Davesh Maulik. Stable quasimaps to git quotients.Journal of Geometry and Physics, 75:17–47, 2014

    work page 2014

Show all 25 references
  1. [9]

    Equivariant intersection theory.arXiv preprint alg-geom/9609018, 1996

    Dan Edidin and William Graham. Equivariant intersection theory.arXiv preprint alg-geom/9609018, 1996

    1996 arXiv

  2. [10]

    Gelfand–tsetlin algebras and cohomology rings of laumon spaces.Selecta Mathematica, 17:337–361, 2011

    Boris Feigin, Michael Finkelberg, Igor Frenkel, and Leonid Rybnikov. Gelfand–tsetlin algebras and cohomology rings of laumon spaces.Selecta Mathematica, 17:337–361, 2011

    2011

  3. [11]

    Yangians and cohomology rings of laumon spaces.Selecta Mathematica, 17(3):573–607, 2011

    Boris Feigin, Michael Finkelberg, Andrei Negut, and Leonid Rybnikov. Yangians and cohomology rings of laumon spaces.Selecta Mathematica, 17(3):573–607, 2011

    2011

  4. [12]

    Localization of virtual classes

    Tom Graber and Rahul Pandharipande. Localization of virtual classes. arXiv preprint alg-geom/9708001, 1997

    1997 arXiv

  5. [13]

    American Mathematical Soc., 2021

    James E Humphreys.Representations of semisimple Lie algebras in the BGG category O, volume 94. American Mathematical Soc., 2021

    2021

  6. [14]

    Springer-Verlag, 2013

    Jens Carsten Jantzen.Einh¨ ullende Algebren halbeinfacher Lie-Algebren, volume 3. Springer-Verlag, 2013

    2013

  7. [15]

    Stable map quotients (and orbifold log resolutions) of richardson varieties.arXiv preprint arXiv:2505.09905, 2025

    Allen Knutson. Stable map quotients (and orbifold log resolutions) of richardson varieties.arXiv preprint arXiv:2505.09905, 2025

    2025 arXiv

  8. [16]

    The moduli space of stable quotients.Geometry & Topology, 15(3):1651–1706, 2011

    Alina Marian, Dragos Oprea, and Rahul Pandharipande. The moduli space of stable quotients.Geometry & Topology, 15(3):1651–1706, 2011

    2011

  9. [17]

    Quantum groups and quantum co- homology.arXiv preprint arXiv:1211.1287, 2012

    Davesh Maulik and Andrei Okounkov. Quantum groups and quantum co- homology.arXiv preprint arXiv:1211.1287, 2012

    2012 arXiv

  10. [18]

    The composition series of modules induced from whittaker modules.Commentarii mathematici helvetici, 72(4):503– 520, 1997

    D Milici´ c and Wolfgang Soergel. The composition series of modules induced from whittaker modules.Commentarii mathematici helvetici, 72(4):503– 520, 1997

    1997

  11. [19]

    Handsaw quiver varieties and finite w-algebras.arXiv preprint arXiv:1107.5073, 2011

    Hiraku Nakajima. Handsaw quiver varieties and finite w-algebras.arXiv preprint arXiv:1107.5073, 2011. 23

    2011 arXiv

  12. [20]

    Affine laumon spaces and a conjecture of kuznetsov.arXiv preprint arXiv:1811.01011, 2018

    Andrei Negut ¸. Affine laumon spaces and a conjecture of kuznetsov.arXiv preprint arXiv:1811.01011, 2018

    2018 arXiv

  13. [21]

    Lectures on k-theoretic computations in enumerative geometry.arXiv preprint arXiv:1512.07363, 2015

    Andrei Okounkov. Lectures on k-theoretic computations in enumerative geometry.arXiv preprint arXiv:1512.07363, 2015

    2015 arXiv

  14. [22]

    Tautological classes on the moduli spaces of stable maps to pr via torus actions.Advances in mathematics, 207(2):661–690, 2006

    Dragos Oprea. Tautological classes on the moduli spaces of stable maps to pr via torus actions.Advances in mathematics, 207(2):661–690, 2006

    2006

  15. [23]

    Affine laumon space and contragredient dual verma module of Uq(bgln).arXiv preprint arXiv:2402.08613, 2024

    Che Shen. Affine laumon space and contragredient dual verma module of Uq(bgln).arXiv preprint arXiv:2402.08613, 2024

    2024 arXiv

  16. [24]

    ´Equivalences de certaines cat´ egories de g-modules.CR Acad

    Wolfgang Soergel. ´Equivalences de certaines cat´ egories de g-modules.CR Acad. Sci. Paris S´ er. I Math, 303(15):725–728, 1986

    1986

  17. [25]

    Quantum affine gelfand–tsetlin bases and quan- tum toroidal algebra via k-theory of affine laumon spaces.Selecta Mathe- matica, 16(2):173–200, 2010

    Aleksander Tsymbaliuk. Quantum affine gelfand–tsetlin bases and quan- tum toroidal algebra via k-theory of affine laumon spaces.Selecta Mathe- matica, 16(2):173–200, 2010. 24

    2010

Pith tools

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