{"id":"e1306cbf-2735-44ab-abe2-a33ef50ed198","arxiv_id":"1908.06573","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For type-A Lie poset algebras from posets of height at most two, the paper gives closed-form index formulas, classifies the Frobenius cases, and proves they are absolutely rigid.","lead":"This math paper gives formulas for a number called the index of certain Lie algebras built from partially ordered sets, and proves that the zero-index 'Frobenius' examples of low height are rigid, meaning they cannot be deformed. It also provides matrix models for the other classical Lie types and claims an example that answers an open question about deformable Frobenius Lie algebras.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Discrete Morse extension in Theorem 14 is invalid: in case 1 (vertex v2), the shared edge e3 has two lower-valued cofaces, violating Definition 5.","rationale":"The reader's verdict was CONDITIONAL, primarily because the induction in Theorem 14 leaves load-bearing verification as 'routine.' My stress-test confirms and sharpens this: one of the explicitly listed extensions is not just unverified but actually violates the defining inequalities of a discrete Morse function. The specific failure is that the shared edge e3 in the two-triangle complex of P(2,1,1) receives f(e3)=p+10, while its two triangular cofaces receive p+5 and p+9, so the number of cofaces with value no greater than f(e3) is 2. This means the induction step for the relevant gluing rules does not go through as written. The theorem may still be true with a corrected ordering or a different choice of function, so I do not recommend outright rejection; the appropriate status remains conditional on a corrected proof. My concern is the same load-bearing point the reader identified, so the verdict should not change. The concrete test is a direct verification of the discrete Morse inequalities for the printed assignment; it will definitively show the violation for e3.","tokens_in":24776,"tokens_out":26226,"duration_ms":259198,"concrete_test":"Check the extension given in Theorem 14, case 1, subcase 'vertex is v2' against Definition 5 on the simplicial complex of P(2,1,1). Explicitly, for the shared edge e3 = {v3,v4}, list its cofaces: f1 = [v1,v3,v4] with f(f1)=p+5 and f2 = [v2,v3,v4] with f(f2)=p+9. Since both values are ≤ f(e3)=p+10, the condition |{β ⊃ e3 : f(β) ≤ f(e3)}| ≤ 1 is violated. This can be done by hand or with a short script over all simplices; the script should print the violation for e3. If the authors intend a different labeling, the test should be rerun using the poset-theoretic description: in the two-triangle complex of P(2,1,1), the new edge from the rank-one element to the common extremal element is contained in both new triangles, and the printed assignment gives both triangles lower values than that edge.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The proof of Theorem 14, the key bridge from Frobenius classification to rigidity, constructs a discrete Morse function by induction, with extensions asserted to be 'routine to verify.' This is not merely unverified; one printed extension fails Definition 5. In case 1, subcase 'vertex is v2,' the values assigned are f(e1)=p+1, f(v1)=p+2, f(e4)=p+3, f(v3)=p+4, f(f1)=p+5, f(e2)=p+6, f(e5)=p+7, f(v4)=p+8, f(f2)=p+9, f(e3)=p+10. In the simplicial complex of P(2,1,1) (equivalently P(1,1,2)), the two 2-simplices f1 and f2 share the edge e3 = {v3,v4}. Thus e3 has two cofaces with values f(f1)=p+5 and f(f2)=p+9, both strictly less than f(e3)=p+10. Consequently the set {β ⊃ e3 : f(β) ≤ f(e3)} has size 2, exceeding the maximum of 1 required by the first condition of Definition 5. The resulting function is therefore not a discrete Morse function, so the induction step as written does not establish contractibility. This is a load-bearing gap: without a valid extension for this case, Theorem 14, and hence the absolute rigidity theorem, is not proven by the given argument.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies Lie poset algebras and their index. For type-A Lie poset algebras corresponding to posets of height zero, one, and two, it gives closed-form index formulas (Theorems 2, 3, and 9) and classifies the Frobenius case in combinatorial terms (Theorems 10-12). The main rigidity claim is Theorem 16: a Frobenius type-A Lie poset algebra of height at most two is absolutely rigid. The proof passes through Theorem 14, which asserts contractibility of the simplicial complex of chains of such posets, established by a discrete Morse function, and then applies the Coll-Gerstenhaber cohomology decomposition (Theorem 13). The final sections introduce type B, C, and D poset algebras and give an example claimed to be Frobenius and deformable, resolving a question of Gerstenhaber and Giaquinto.","tokens_in":25065,"tokens_out":42618,"duration_ms":403910,"significance":"If the rigidity theorem is fully established, this is a significant contribution: it gives explicit and checkable combinatorial criteria for Frobeniusness and ties them to absence of deformations via a clean topological argument. The index formulas are supported by explicit upper-bound functionals and matching-theoretic lower bounds, and the Frobenius classification via gluing rules is concrete and usable. The paper also proposes an answer to an open question about the existence of solvable Frobenius Lie algebras that are deformable. However, the proof of the central rigidity step is currently a sketch, and the type B/C/D example relies on unpublished work, so the manuscript needs additional verification before the strongest claims can be accepted.","major_comments":[{"comment":"The three cases that extend the discrete Morse function f from Σ(P_{n-1}) to Σ(P_n) are asserted to be 'routine to verify', but no verification is provided. This is load-bearing: the induction is exactly what proves contractibility of Σ(P_n), and Theorem 16 depends on it. The proof should either include the verification or state a lemma saying that, when p is larger than the maximum of f on Σ(P_{n-1}), the listed extensions satisfy both clauses of Definition 5 for every simplex of Σ(P_n), including old simplices adjacent to the attached copy K. For completeness: the specific alleged violation at e3 in the 'vertex v2' case does not arise under the face incidences that are consistent with Example 15 and with Case 3's description of e1 as adjacent to e3 and e4; in that incidence the two triangles share e2, and e2 has only f1 as a lower coface. The manuscript as printed, however, leaves these incidences implicit and the verification absent.","section":"Section 5, proof of Theorem 14"},{"comment":"The claimed example of a deformable, solvable, Frobenius Lie algebra in types B, C, and D rests on index formulas from [28], an in-progress thesis. The manuscript says 'From this, one can show' but does not state or prove the relevant formulas. Since resolving the Gerstenhaber-Giaquinto question is one of the paper's stated main contributions, the computation should be included in the paper or replaced by a public reference.","section":"Section 6, Remark 11"}],"minor_comments":[{"comment":"The ordering assumption on minimal elements is asserted to be always arrangeable; a short proof would eliminate a potential gap in the matrix reduction.","section":"Appendix A"},{"comment":"The maximality of the matching is argued via Figure 15; the text should explain why every augmenting path must have the displayed form rather than leaving this to the reader.","section":"Appendix B, Lemma 6"},{"comment":"There are typos: 'Mayor-Vietoris' and 'Mayer-Veotori' should be 'Mayer-Vietoris'.","section":"Remark 8"},{"comment":"The text contains a corrupted formula, '-j /notprecedesoreql i'; the intended condition for type B/D posets should be stated with correct relation symbols.","section":"Definition 7"},{"comment":"The manuscript has several typographical errors, including 'typ e-A' in the abstract and 'contructed' in Theorem 11; a careful proofreading pass is needed.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The specific discrete-Morse counterexample suggested in the internal review does not land once the face incidences of Figure 11 are read consistently; the printed assignments in the 'vertex v2' case appear to satisfy Definition 5. The real issue is that the verification is omitted entirely for a key induction step. I would be comfortable with acceptance after the authors supply a complete verification of the three extension cases and make the type B/C/D example self-contained. The reliance on the authors' own unpublished thesis for a headline example should also be addressed in the revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nHere's my take on Coll–Mayers. The index formulas for type-A Lie poset algebras of heights 0–2 and the gluing-rule classification of Frobenius posets are real contributions. The proofs are largely self-contained, with the B3 block reduction and the matching lower bound in Appendix B doing the heavy lifting. Those parts check out. The type B/C/D representations are new, and the example of a solvable Frobenius Lie algebra that deforms is an interesting data point, though it leans on Mayers' unpublished thesis for the Frobenius claim.\n\nThe soft spot is Theorem 14, the contractibility of Σ(P) for Frobenius height-two posets. That theorem is the bridge from classification to absolute rigidity (Theorem 16). The proof says the discrete Morse extensions are 'routine to verify,' but the printed extension in case 1 (vertex v2) is not a discrete Morse function. In the notation of Figure 11, the assigned values give f(e3)=p+10 while its two cofaces f1 and f2 have values p+5 and p+9. Condition 1 of Definition 5 fails: edge e3 has two cofaces with value ≤ f(e3). So the induction step as written is invalid. The same defect likely affects some of the other gluing cases; I checked only this one, but the blanket assertion that all extensions are routine is not trustworthy.\n\nIs the theorem salvageable? Probably, because the index formulas suggest the topology is right, and a correct discrete Morse function can likely be constructed with more care. But the paper as written does not prove Theorem 14, so the rigidity theorem is unsupported. The dependence on the unpublished thesis for the headline Frobenius-deformable example is a second, smaller gap; that part is addressable.\n\nBottom line: this paper deserves a serious referee, but not acceptance as is. The referee should focus on the Morse theory section. The index formulas and classification are citable on their own. If the authors repair the Morse extension or replace it with a homology argument, the rigidity result will likely stand.\n\nSend it to review with clear instructions to check the discrete Morse extensions.","headline":"Solid index formulas and a useful Frobenius classification, but the proof of the main rigidity theorem has a concrete error in the discrete Morse extension that is load-bearing.","tokens_in":25619,"tokens_out":4470,"would_cite":true,"duration_ms":39373,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["17B20","05E15"],"pacs":[],"model":"deepseek-v4-flash","headline":"Frobenius Lie poset algebras attached to posets of height at most two are absolutely rigid, with no infinitesimal deformations.","keywords":["Lie poset algebra","index of a Lie algebra","Frobenius Lie algebra","absolute rigidity","deformation theory","discrete Morse theory","simplicial complex of a poset","gluing rules"],"falsifier":"Take a small Frobenius height-two poset obtained by one of the index-preserving gluing rules, apply the paper's value assignments to the attached block, and check the two inequalities defining a discrete Morse function at every face. If any non-vertex simplex becomes critical, the contractibility theorem and with it the rigidity theorem collapse; checking all gluing rules and small $n$ settles this directly.","tokens_in":1782,"feed_emoji":"🔒","tokens_out":2139,"duration_ms":85003,"temperature":0.7,"pith_summary":"A type-A Lie poset algebra is built from a finite poset by taking upper-triangular matrices whose nonzero entries sit on comparable pairs, with the matrix commutator as the Lie bracket. This paper gives closed formulas for the index of such algebras for posets of height zero, one, and two, and it characterizes exactly which posets give index zero, the Frobenius case. Its main claim is that every Frobenius Lie poset algebra in sl(n) coming from a poset of height zero, one, or two is absolutely rigid: it admits no nontrivial infinitesimal deformation. The reason is topological: the simplicial complex of chains of such a poset is contractible, and a cohomology decomposition then forces the second cohomology with coefficients in the algebra itself to vanish.","feed_headline":"Small-height Frobenius Lie poset algebras cannot be deformed","feed_subtitle":"For heights zero, one, and two, Frobenius posets produce Lie algebras with no infinitesimal deformations.","key_machinery":"The load-bearing identity is the index formula for connected height-one and height-two posets, $\\operatorname{ind}(g_A(P)) = \\operatorname{RelE}(P)-|P|+2C_P-1+\\sum_{j\\in P\\setminus\\operatorname{Ext}(P)}UD(P,j)$, where $\\operatorname{RelE}(P)$ counts strict relations between extremal elements, $C_P$ counts connected components, and $UD(P,j)$ measures the imbalance between the number of elements below and above $j$. This formula reduces an algebraic invariant to a count of poset relations and yields the Frobenius classification through gluing rules. The rigidity step is carried by the paper's decomposition of $H^2$ into a center term, an $h^*\\otimes H^1(\\Sigma(P),k)$ term, and $H^2(\\Sigma(P),k)$, together with a discrete Morse theory argument that exhibits $\\Sigma(P)$ as contractible. Discrete Morse functions assign numbers to simplices so that all but one critical simplex cancel, giving a concrete certificate for contractibility.","core_discovery":"The central claim is that if $P$ is a finite poset of height at most two and the type-A Lie poset algebra $g_A(P)\\subset sl(n)$ is Frobenius, meaning its index is zero, then the chain complex $\\Sigma(P)$ is contractible. The paper's key cohomology decomposition expresses $H^2(g_A(P),g_A(P))$ as a direct sum of a term built from the center, a term built from $H^1(\\Sigma(P),k)$, and $H^2(\\Sigma(P),k)$. For Frobenius algebras the center is trivial, and contractibility kills the two simplicial terms, so $H^2(g_A(P),g_A(P))=0$, exactly the obstruction to infinitesimal deformations. For posets of height zero or one, Frobenius is characterized by the Hasse diagram being a tree; for height two, all Frobenius posets are assembled from the building blocks $P(2,1,1)$ and $P(1,1,2)$ by a short list of index-preserving gluing rules.","pith_inferences":["If the paper's conjecture that the same rigidity holds for all heights is true, Frobenius type-A Lie poset algebras would form a large family of rigid solvable Lie algebras, sharply contrasting with the deformable Frobenius examples the paper constructs in types B, C, and D.","The graph-matching technique used for the lower bound on the index of $P(n,1,m)$ suggests that the index of a general Lie poset algebra may equal the number of unmatched vertices in a maximal matching of its non-commutation graph, a purely combinatorial route to index computations.","The paper's type B, C, and D example indicates that contractibility and rigidity are not necessary for Frobenius in those types; one could test whether the narrow spectrum of principal elements seen in type A also fails for those deformable examples, linking deformation theory to spectral data.","The unverified Morse-function extension could be checked mechanically for all gluing rules and small $n$; this is the cheapest way to decide whether a hidden critical simplex appears in the height-two induction."],"forward_implications":["Every Frobenius Lie poset subalgebra of sl(n) coming from a poset of height zero, one, or two has vanishing $H^2$ with coefficients in itself, so it admits no infinitesimal deformation.","The index of every type-A Lie poset algebra attached to a height-one or height-two poset is computed by the closed formula, turning an algebraic invariant into a count of relations in the poset.","The Frobenius height-two posets are exactly those assembled from copies of $P(2,1,1)$ and $P(1,1,2)$ by the six gluing rules $A_1,A_2,C,D_1,D_2,F$ in the pure case, subject to four tree-like conditions in the non-pure case.","For these posets the simplicial complex of chains is contractible, so the associative incidence algebra of $P$ is also rigid, not just the Lie algebra.","The topological reformulation in the paper says connected height-one Frobenius complexes are wedges of circles, with the index equal to the number of circles in the wedge."],"supporting_citations":[{"why":"Supplies the decomposition of $H^2(g_A(P),g_A(P))$ into a center term and simplicial cohomology terms, which converts contractibility of $\\Sigma(P)$ into rigidity.","marker":"[7]"},{"why":"Provides the discrete Morse theory theorem used to prove that a simplicial complex with one critical vertex is contractible.","marker":"[17]"},{"why":"Defines the index of a Lie algebra and gives the commutator-matrix rank formula on which the combinatorial index calculations rest.","marker":"[14]"},{"why":"Provides the skew-symmetric matrix rank versus graph matching bound used in the lower-bound proof for the index of $P(n,1,m)$.","marker":"[1]"},{"why":"Raises the existence question about deformable solvable Frobenius Lie algebras, which the paper answers with examples in types B, C, and D.","marker":"[20]"},{"why":"Develops the type B, C, and D index computations used to identify those deformable Frobenius examples.","marker":"[28]"}],"fun_headline_variants":["No deformations for height ≤ 2 Frobenius posets","Height ≤ 2 Frobenius kills second cohomology","Low-height Frobenius posets: absolutely rigid","Frobenius posets of height ≤ 2 are rigid","Height ≤ 2 Frobenius: no deformations"],"cache_read_input_tokens":27648,"weakest_assumption_plain":"The induction proving contractibility assumes that the explicitly listed number assignments extend the discrete Morse function when a new building block is glued on, without creating any new critical simplex; this is asserted as routine to verify rather than demonstrated.","fun_headline_variants_meta":{"raw":{"variants":["No deformations for height ≤ 2 Frobenius posets","Height ≤ 2 Frobenius kills second cohomology","Low-height Frobenius posets: absolutely rigid","Frobenius posets of height ≤ 2 are rigid","Height ≤ 2 Frobenius: no deformations"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001363,"raw_usage":{"total_tokens":5521,"prompt_tokens":931,"completion_tokens":4590,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":547,"completion_tokens_details":{"reasoning_tokens":4505}},"tokens_in":547,"tokens_out":4590,"duration_ms":29867,"temperature":1.0,"reasoning_tokens":4505,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:41:13.531240+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a small Frobenius height-two poset obtained by one of the index-preserving gluing rules, apply the paper's value assignments to the attached block, and check the two inequalities defining a discrete Morse function at every face. If any non-vertex simplex becomes critical, the contractibility theorem and with it the rigidity theorem collapse; checking all gluing rules and small $n$ settles this directly.","supporting_citations":[{"cited_title":"Cohomology of Lie semidirect prod ucts and poset algebras","cited_arxiv_id":null,"evidence_quote":"Supplies the decomposition of $H^2(g_A(P),g_A(P))$ into a center term and simplicial cohomology terms, which converts contractibility of $\\Sigma(P)$ into rigidity."},{"cited_title":"A user’s guide to discrete Morse theory","cited_arxiv_id":null,"evidence_quote":"Provides the discrete Morse theory theorem used to prove that a simplicial complex with one critical vertex is contractible."},{"cited_title":"Enveloping Algebras","cited_arxiv_id":null,"evidence_quote":"Defines the index of a Lie algebra and gives the commutator-matrix rank formula on which the combinatorial index calculations rest."},{"cited_title":"Minimum rank of skew-symmetric matrices describ ed by a graph","cited_arxiv_id":null,"evidence_quote":"Provides the skew-symmetric matrix rank versus graph matching bound used in the lower-bound proof for the index of $P(n,1,m)$."},{"cited_title":"The principal element of a F robenius Lie alge- bra","cited_arxiv_id":null,"evidence_quote":"Raises the existence question about deformable solvable Frobenius Lie algebras, which the paper answers with examples in types B, C, and D."},{"cited_title":"The index of Lie poset algebras","cited_arxiv_id":null,"evidence_quote":"Develops the type B, C, and D index computations used to identify those deformable Frobenius examples."}],"review_version":1}