{"id":"10a21a72-3ef6-4e67-a6d8-a22af31375c7","arxiv_id":"2506.16290","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"Elliptic Schubert classes are shown, by an algebraic Kostant-Kumar argument, to be Poincare dual to opposite elliptic Schubert classes up to a theta-function factor.","lead":"This note proves a Poincare duality formula for elliptic Schubert classes: in a pairing defined by an algebraic push-forward, a class meets only its opposite class, with a theta-function normalization. The proof uses the Kostant-Kumar operator method and is aimed at making the duality concrete enough for combinatorial applications like Billey-AJS type restrictions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The geometric conclusion depends on an asserted, unproved identification between the algebraic classes and the Rimányi–Weber elliptic classes; if the normalization in Remark 3.3 is not exactly 1, Theorem 3.10 does not transfer to Schubert varieties.","rationale":"The reader's weakest-assumption analysis already identified the algebraic-to-geometric identification as the most load-bearing premise, and I agree. The paper's Theorem 3.10 is an algebraic statement that is internally developed through Sections 1–3; if all algebraic relations are correct, it proves a formal duality for the algebraic classes. The abstract's stronger claim about Schubert varieties requires the identifications in Remarks 1.1 and 3.3 to be exact, including normalization and the meaning of Y_Π as a geometric pushforward. Remark 3.3 explicitly notes a normalization discrepancy, which is exactly the kind of missing support that should be flagged: the geometric class E^{z,λ}_e is c·f_e, not f_e, and no argument is given that c can be set to 1 without changing the pairing. The braid relations are cited from [7]; this is a legitimate external input, but combined with the unproved identification it reinforces conditionality. I do not see an internal algebraic contradiction in the computations, and the paper is honest that the result is an expository re-proof of a known statement. For those reasons the correct verdict remains CONDITIONAL, matching the reader's verdict, so no adjustment is needed.","tokens_in":12048,"tokens_out":42445,"duration_ms":460416,"concrete_test":"Specialize to G = SL_2 (W = S_2) and compare the geometric restriction E_σ(X_e,λ) obtained from [7, Theorem 1.3] with the algebraic value E^λ_e = f_e from Definition 3.2 under the substitutions in Remark 1.1. Compute the ratio c = E^{z,λ}_e / f_e at both torus fixed points; if c is not identically 1, recompute the pairing Y_Π · (E^λ_w · E^{−λ}_v) with E^λ_w replaced by c_w^{-1} E^λ_w and verify whether the Kronecker-delta form of Theorem 3.10 is preserved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's algebraic core, Theorem 3.10, proves a duality statement for classes E^λ_w defined inside Q*_W and paired by the declared operator Y_Π. The abstract, however, claims Poincaré duality for 'the elliptic classes associated to Schubert varieties'. That geometric conclusion requires two identifications that are asserted but not proved. First, Remark 1.1 identifies the algebraic variables z_α, ℏ, λ_{α∨} with c_1^coh(L_α), −ln h, ln h_{α∨}. Second, Remark 3.3 identifies the algebraic classes E^λ_w with the geometric elliptic classes E_σ(X_w,λ) of Rimányi–Weber. Remark 3.3 itself concedes a normalization mismatch: the algebraic class E^λ_e equals f_e, while the geometric class E^{z,λ}_e in [6, Appendix A] is c·f_e for a rational section c of the twisted Poincaré bundle. If c is nonconstant or differs from 1 after the identification, the Kronecker-delta statement in Theorem 3.10, which is proved only in the normalization E^λ_e=f_e, could become a non-diagonal pairing in the geometric classes. In addition, the operator Y_Π is declared as an algebraic model for the pushforward to the base point rather than derived from equivariant elliptic cohomology, so the pairing itself is not shown to be the geometric Poincaré pairing. The braid relations for the elliptic Demazure–Lusztig operators are imported from [7] rather than proved here; this is acceptable if the identification in Remark 1.1 is exact, but it makes the construction of T^λ_w and hence of E^λ_w conditional on an external geometric result. These gaps do not necessarily invalidate the algebraic theorem, but they make the paper's central geometric claim conditional.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops an algebraic model for elliptic Schubert classes in a twisted group algebra Q^{W^d\\times W}. It defines elliptic Demazure–Lusztig operators T^\\lambda_\\alpha, proves transition-matrix formulas between T^\\lambda_w and \\delta_w (Theorem 1.4), introduces elliptic Schubert classes E^\\lambda_w and opposite classes E^{-\\lambda}_w in the Q-dual Q^*_W, and shows in Theorem 3.10 that the pairing defined by applying Y_\\Pi = (\\sum_{v\\in W} \\delta^d_v)(\\sum_{w\\in W} \\delta_w g^{-1}) sends E^\\lambda_w E^{-\\lambda}_v to \\delta_{w,v} \\sum_{u\\in W} u^d(\\theta_\\Pi(\\lambda)/\\theta_\\Pi(\\hbar-\\lambda)). The abstract states that this proves Poincar\\'e duality of the elliptic classes associated to Schubert varieties, relying on the identifications in Remarks 1.1 and 3.3 with the Rimányi–Weber classes.","tokens_in":12368,"tokens_out":7323,"duration_ms":80762,"significance":"The algebraic computation is careful and Theorem 3.10 is a genuine structural statement about the classes E^\\lambda_w inside Q^*_W: it gives explicit transition matrices, a Bott–Samelson recursion, an adjunction between T^{\\lambda}_i and T^{-\\lambda}_i, and a diagonal formula for the Y_\\Pi-pairing. If the identification with Rimányi–Weber geometric elliptic classes is correct, this is a useful Kostant–Kumar-style counterpart to [6] and may support combinatorial applications. The paper's strengths are its explicit coefficient identities, the two proofs of the duality formula, and the candid Remark 3.3 flagging the normalization mismatch E^\\lambda_e = f_e versus the geometric class c f_e. Its limitations are that the geometric transfer and the pushforward interpretation of Y_\\Pi are asserted rather than proved, and the braid relations are imported from [7].","major_comments":[{"comment":"The abstract claims Poincaré duality for 'the elliptic classes associated to Schubert varieties,' but Theorem 3.10 is proved only for the algebraic classes E^\\lambda_w paired by the declared element Y_\\Pi. The transfer to the geometric classes of Rimányi–Weber is made in Remarks 1.1 and 3.3 by identifying z_\\alpha with c_1^{coh}(L_\\alpha), \\hbar with -\\ln h, \\lambda_{\\alpha^\\vee} with \\ln h_{\\alpha^\\vee}, and E^\\lambda_w with E_\\sigma(X_w,\\lambda). Remark 3.3 itself concedes that the geometric class E^{z,\\lambda}_e equals c f_e, not f_e, with c a rational section of the twisted Poincaré bundle; since Theorem 3.10 is proved only in the normalization E^\\lambda_e = f_e, the Kronecker-delta statement need not survive the identification unless c = 1 or cancels in the pairing. In addition, the sentence in §3.3 defining Y_\\Pi as 'the algebraic model for the push-forward to the base point' is an assertion, not a derivation from equivariant elliptic cohomology. These two gaps are load-bearing for the geometric claim in the abstract.","section":"§3.3 and the abstract"},{"comment":"The braid relations for the elliptic DL operators T^\\lambda_\\alpha are stated to be satisfied and are cited from [7], but no proof or algebraic verification is given in this paper. The definition of T^\\lambda_w for arbitrary w, Theorem 1.4, the transition matrices, and hence the classes E^\\lambda_w all depend on this fact. Since the operators contain the dynamical parameter and the sign conventions differ slightly from [6] (Remark 1.1), the reader cannot verify from the present text that the resulting T^\\lambda_w are well defined; this makes the algebraic core conditional on an external result.","section":"§1.3(ii)"},{"comment":"The name 'Poincaré duality' is stronger than what is proved unless non-degeneracy is addressed. Theorem 3.10 shows that the pairing is diagonal with value \\delta_{w,v} F_\\lambda, where F_\\lambda = \\sum_{u\\in W} u^d(\\theta_\\Pi(\\lambda)/\\theta_\\Pi(\\hbar-\\lambda)). For a genuine duality one must also know that F_\\lambda is invertible in Q, or at least nonzero on the relevant locus of the dynamical parameter. The paper does not discuss the possible vanishing of F_\\lambda or specify the parameter locus on which the pairing is nondegenerate.","section":"§3.3, Theorem 3.10"}],"minor_comments":[{"comment":"The running title in the full text reads 'ELLIPTIC SCHUBER T CLASSES'; it should read 'ELLIPTIC SCHUBERT CLASSES'.","section":"Title and running head"},{"comment":"In Proof 1 of Theorem 3.10, after applying Lemma 3.6 the displayed line appears to contain a factor g that should cancel against the 1/g from the lemma; the displayed intermediate expression and the final statement differ by this factor. If this is a typographical error it should be corrected; if not, the proof does not match the statement.","section":"Proof 1 of Theorem 3.10"},{"comment":"The identification of z_\\alpha with c_1^{coh}(L_\\alpha), \\hbar with -\\ln h, and \\lambda_{\\alpha^\\vee} with \\ln h_{\\alpha^\\vee} is stated rather than derived. Please provide the precise dictionary and justify why the sign convention -T^\\lambda_\\alpha is compatible with the operator in [7, Theorem 1.3].","section":"Remark 1.1"},{"comment":"Some notation is used before it is introduced: for example, \\theta_\\Pi(\\hbar \\pm z) appears before \\theta_\\Pi(z) is defined, and the product 1 = \\sum_w f_w is used as the multiplicative identity in Q^*_W before its role in the pairing is explained. A short notational preamble would improve readability.","section":"§1.2 and §3.3"}],"recommendation":"major_revision","confidential_remarks":"The algebraic core of the paper is sound and useful, but the abstract overstates the geometric scope: the transfer to Rimányi–Weber classes and the pushforward interpretation of Y_\\Pi are asserted rather than proved. The reliance on the author's own [6] and on [7] for the braid relations is acceptable if those results are taken as black boxes, but the normalization issue in Remark 3.3 needs to be resolved or the claims need to be reframed as purely algebraic. I recommend major revision rather than rejection because the central algebraic theorem is defensible and the gaps are localizable and potentially fixable within the manuscript's scope."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague — this is an honest, well-scoped note. The author states plainly in the introduction that the same Poincare duality was already obtained in [6] by a more conceptual route; the contribution here is the Kostant-Kumar style algebraic derivation. That is a legitimate thing to offer. The computations in Sections 1–3 are detailed and coherent. Theorem 3.10 follows from the coefficient identities if you accept the braid relations and the definitions. I checked the A2 example against [6, Example 8.3]; it lines up, which is a good cross-check.\n\nWhere the paper could mislead is in the abstract: it claims Poincare duality for 'the elliptic classes associated to Schubert varieties.' The algebraic theorem is about classes E^λ_w in Q*_W paired by Y_Π. The geometric conclusion requires the identifications in Remarks 1.1 and 3.3 between algebraic variables and geometric line bundles/classes, and those are asserted, not derived. Remark 3.3 even concedes a normalization mismatch: the algebraic class E^λ_e is f_e, while the geometric class in [6, Appendix A] is c·f_e for a rational section c. If c is not 1 after the identification, Theorem 3.10 does not automatically transfer to geometric Schubert classes. Also, Y_Π is introduced as an 'algebraic model for the pushforward to the base point' without derivation from equivariant elliptic cohomology. So the geometric claim is conditional. The braid relations are cited from [7]; that is acceptable if you trust [7], but it means the construction of T^λ_w is not self-contained.\n\nThese are real caveats, but they do not sink the algebraic content. The paper would be improved by stating the geometric transfer as a conjecture or by proving the identification. As is, the algebraic theorem stands.\n\nBottom line: worth a serious referee, because the algebraic machinery is carefully worked out and could be useful for combinatorics. Do not desk-reject. The referee should press on the Remark 3.3 normalization and on whether Y_Π really computes the geometric pushforward. For my own work, I would cite [6] rather than this note.","headline":"Solid algebraic re-proof of a known duality; the geometric transfer is asserted, not shown, so read the algebraic theorem as the contribution.","tokens_in":12948,"tokens_out":2648,"would_cite":false,"duration_ms":29396,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14M15","55N34","14N15"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that elliptic Schubert classes and their opposites are orthogonal under a theta-function pairing, establishing Poincaré duality in the elliptic cohomology of flag varieties.","keywords":["elliptic Schubert classes","Poincaré duality","Demazure-Lusztig operators","equivariant elliptic cohomology","twisted group algebra","dynamical parameter","Schubert varieties","theta function"],"falsifier":"Compute the geometric version of the pairing on a concrete flag variety, such as a Grassmannian in type $A_2$ or $A_3$, for the class of the longest Weyl-group element $w_0$ and its opposite; if the result differs from $\\sum_{u\\in W} u^d(\\theta_\\Pi(\\lambda)/\\theta_\\Pi(\\hbar-\\lambda))$, the identification in Remarks 1.1 and 3.3 fails.","tokens_in":11766,"feed_emoji":"📐","tokens_out":10298,"duration_ms":103101,"temperature":0.7,"pith_summary":"The paper develops an algebraic model of elliptic Schubert classes and proves a Poincaré duality: each elliptic Schubert class has a unique dual among the opposite classes, with the pairing given by a theta-function sum over the Weyl group. The proof follows the classical operator method of equivariant cohomology and K-theory, transferred to the elliptic setting by defining classes through elliptic Demazure-Lusztig operators instead of through geometry. A reader should care because this gives a concrete, computation-friendly framework for elliptic Schubert calculus, parallel to what the operator method did earlier for ordinary cohomology and K-theory. The geometric version of the statement holds if the paper's asserted dictionary between algebraic parameters and geometric data is correct.","feed_headline":"Elliptic Schubert classes get exact dual partners","feed_subtitle":"A theta-function pairing proves each elliptic Schubert class pairs with exactly one opposite class.","key_machinery":"The machinery is the elliptic Demazure-Lusztig operator $T^\\lambda_\\alpha$, a $\\theta$-function-rational element of the twisted group algebra $Q^{W^d\\times W}$ that implements a simple reflection while also shifting the dynamical parameter. The elliptic Schubert classes are obtained by applying these operators to the identity class, and the pairing operator $Y_\\Pi = \\sum_{v,w\\in W}\\delta_w\\delta^d_v \\prod_{\\alpha>0} \\theta(z_\\alpha)/\\theta(\\hbar-z_\\alpha)$ is the algebraic model of pushforward to the base point. An anti-involution relating $T^\\lambda$ and $T^{-\\lambda}$ supplies the adjointness that makes the opposite classes the true duals.","core_discovery":"The central claim is Theorem 3.10: for the algebraically defined elliptic Schubert classes $E^\\lambda_w = T^\\lambda_{w^{-1}} \\bullet f_e$ and the opposite classes $E^{-\\lambda}_w = T^{-\\lambda}_{w^{-1}w_0} \\bullet f_{w_0}$, the pushforward-to-base-point operator $Y_\\Pi$ satisfies $Y_\\Pi \\bullet (E^\\lambda_w \\cdot E^{-\\lambda}_v) = \\delta_{w,v}\\sum_{u\\in W} u^d\\big(\\theta_\\Pi(\\lambda)/\\theta_\\Pi(\\hbar-\\lambda)\\big)$. In words, the opposite class annihilates every elliptic Schubert class except its mirror partner, where it produces the same nonzero $\\theta$-function sum for every class. This makes the two families dual bases for the pairing defined by $Y_\\Pi$.","pith_inferences":["The theorem is algebraic; the geometric version depends on an asserted but unproved identification of parameters. If that dictionary holds, the result supplies the missing orthogonality statement for geometric elliptic classes, giving a canonical basis of the equivariant elliptic cohomology ring of $G/B$.","The coefficients $a^\\lambda_{w,v}$ that arise in the transition matrix are natural candidates for a combinatorial restriction formula; finding a combinatorial model for these theta-function ratios would make elliptic Schubert calculus effective in type $A$ and beyond.","The pairing depends on the dynamical parameter only through the Weyl-group sum $\\sum_u u^d(\\theta_\\Pi(\\lambda)/\\theta_\\Pi(\\hbar-\\lambda))$, which suggests a direct connection to elliptic stable envelopes and three-dimensional mirror symmetry, where the same kind of dynamical shift appears.","A testable extension would be to degenerate the elliptic curve to the multiplicative group, where theta functions become trigonometric; the pairing should then reduce to the known $K$-theoretic Kronecker pairing for flag varieties."],"forward_implications":["The elliptic Schubert classes $\\{E^\\lambda_w\\}$ and the opposite classes $\\{E^{-\\lambda}_w\\}$ form dual bases, so they are linearly independent and span the module in which they live.","The transition coefficients between Weyl-group elements and elliptic Demazure-Lusztig operators are invertible and upper triangular, giving explicit restriction formulas for the elliptic classes.","The recursive relation $T^\\lambda_i \\bullet E^\\lambda_w = E^\\lambda_{w s_i}$ and the R-matrix recursion $E^\\lambda_w \\odot T^\\lambda_i = E^\\lambda_{s_i w}$ are direct consequences of the operator definition.","If the geometric dictionary in Remarks 1.1 and 3.3 is correct, the same duality transfers to the geometrically defined elliptic classes of Schubert varieties in equivariant elliptic cohomology."],"supporting_citations":[{"why":"Supplies the axiomatic equivariant oriented cohomology framework that the algebraic model follows.","marker":"[2]"},{"why":"Introduces the nil Hecke ring operator method used to define classes through operators rather than geometry.","marker":"[3]"},{"why":"Extends the operator method to equivariant K-theory, providing the template for the dual-module construction.","marker":"[4]"},{"why":"Defines elliptic classes of Schubert varieties in the geometric setting that this paper's algebraic classes are meant to match.","marker":"[5]"},{"why":"Provides the anti-involution and the periodic-Hecke-module description of elliptic classes used for comparison and normalization.","marker":"[6]"},{"why":"Establishes the elliptic Demazure-Lusztig operators and their braid relations, and defines geometric elliptic classes via Bott-Samelson resolutions.","marker":"[7]"}],"fun_headline_variants":["Each elliptic Schubert class has exactly one dual partner","Theta-function pairing gives elliptic Schubert classes duals","Poincare duality proved for elliptic Schubert classes","Unique opposite class partners each elliptic Schubert class"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is the asserted dictionary between the algebraic variables and the geometric quantities they are declared to represent; the paper proves duality for the algebraic classes, and the geometric statement follows only if that dictionary, and the pushforward model, are correct.","fun_headline_variants_meta":{"raw":{"variants":["Each elliptic Schubert class has exactly one dual partner","Theta-function pairing gives elliptic Schubert classes duals","Poincare duality proved for elliptic Schubert classes","Unique opposite class partners each elliptic Schubert class"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000187,"raw_usage":{"total_tokens":1216,"prompt_tokens":720,"completion_tokens":496,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":336,"completion_tokens_details":{"reasoning_tokens":435}},"tokens_in":336,"tokens_out":496,"duration_ms":5785,"temperature":1.0,"reasoning_tokens":435,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T23:45:34.532125+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the geometric version of the pairing on a concrete flag variety, such as a Grassmannian in type $A_2$ or $A_3$, for the class of the longest Weyl-group element $w_0$ and its opposite; if the result differs from $\\sum_{u\\in W} u^d(\\theta_\\Pi(\\lambda)/\\theta_\\Pi(\\hbar-\\lambda))$, the identification in Remarks 1.1 and 3.3 fails.","supporting_citations":[{"cited_title":"Calm` es, K","cited_arxiv_id":null,"evidence_quote":"Supplies the axiomatic equivariant oriented cohomology framework that the algebraic model follows."},{"cited_title":"Kostant, S","cited_arxiv_id":null,"evidence_quote":"Introduces the nil Hecke ring operator method used to define classes through operators rather than geometry."},{"cited_title":"Kostant, S","cited_arxiv_id":null,"evidence_quote":"Extends the operator method to equivariant K-theory, providing the template for the dual-module construction."},{"cited_title":"Kumar, R","cited_arxiv_id":null,"evidence_quote":"Defines elliptic classes of Schubert varieties in the geometric setting that this paper's algebraic classes are meant to match."},{"cited_title":"Rim´ anyi, A","cited_arxiv_id":null,"evidence_quote":"Establishes the elliptic Demazure-Lusztig operators and their braid relations, and defines geometric elliptic classes via Bott-Samelson resolutions."}],"review_version":1}