{"id":"fdd7a7a2-0745-4120-aa04-74008bb5bc71","arxiv_id":"2411.14036","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Flag Murai spheres are exactly the nerve complexes of four families of flag nestohedra, which implies the Nevo-Petersen conjecture for them.","lead":"This mathematics paper classifies which generalized Bier spheres, a family of sphere-shaped objects built from simplicial complexes, are flag, and shows they satisfy the Nevo-Petersen conjecture. It also introduces a cubical version of Bier spheres and connects them to polyhedral products used in toric topology.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 4.3 infers c_i = 1 from the degree of pol(x_i^{c_i+1}) without proving those polarizations are minimal generators, although Section 2 notes the generators in Theorem 2.13 need not be minimal.","rationale":"The reader identified Theorem 2.13 as the weakest external foundation. My concern is closely related but more specific: even accepting Theorem 2.13 as correct, the proof of Lemma 4.3 uses it as though the displayed generators are automatically minimal non-faces. Since the paper explicitly warns in Section 2 that this is not true in general, the classification is vulnerable at the point where degree bounds are inferred. The final paragraph of Lemma 4.3 contains a terse assertion about divisibility of pol(x_m^{c_m+1}) that would fill the gap if proved, but it is not developed. I checked a few small examples by hand, including c = (2,2) with max(M) = {x_1^2, x_1 x_2}, and found a degree-3 minimal non-face, so I did not find a counterexample; the issue is a proof gap rather than a demonstrated falsehood. An exhaustive small-parameter enumeration would be a decisive and inexpensive test of whether the classification is actually complete, and the paper should explicitly justify the minimality steps before the conditional acceptance is upgraded. The reader's verdict of CONDITIONAL is therefore appropriate and unchanged.","tokens_in":21164,"tokens_out":23373,"duration_ms":206622,"concrete_test":"Enumerate all c-multicomplexes for, say, m <= 4, each c_i <= 3, |c| > m, |c| >= 4, with M proper and taken up to complement symmetry. For each M, compute the minimal monomial generators of I_{Bier_c(M)} directly from Definition 2.11 or by reducing the three generator sets in Theorem 2.13 to a minimal basis. Compare the complexes whose minimal non-faces all have size at most 2 with the five families listed in Lemma 4.3. If any flag complex outside the list is found, Lemma 4.3 and Theorem 4.4 fail; if none is found in the tested range, the minimality concern is empirically resolved, though the proof still needs an explicit minimality argument before Theorem 4.4 can be regarded as fully established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The exhaustive classification of flag Murai spheres in Lemma 4.3 is the load-bearing step for Theorem 4.4 and Corollary 4.5. Within its proof, the authors repeatedly write that because Bier_c(M) is flag, 'polarizations of x_i^{c_i+1} ... must have degree 2, therefore c_i = 1'. This inference is only valid if each pol(x_i^{c_i+1}) is a minimal generator of the Stanley-Reisner ideal I_{Bier_c(M)}. But Theorem 2.13 gives an equality of ideals, not a minimal generating set, and the paper itself stresses in Section 2 that the three families of generators on the right-hand side need not be in one-to-one correspondence with the minimal non-faces, citing [28, Example 3.8]. In several branches of Lemma 4.3, the high-degree monomial pol(x_i^{c_i+1}) is indeed redundant, so additional argument is needed to show that no hidden flag case is being excluded. The only place the proof confronts this issue is the final paragraph, where it asserts that the polarization of x_m^{c_m+1} 'must divide an element in G(I_c(M)) ∪ G(I_c(M^vee))'; that assertion is not proved and is exactly the kind of minimality statement on which the whole case analysis rests. If a non-listed multicomplex produced a flag Bier_c(M), the classification would collapse, and with it Corollary 4.5 as stated.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies combinatorial, algebraic, and topological aspects of Bier spheres and their generalizations. It states and proves a classification of flag Murai spheres as nerve complexes of flag nestohedra of four explicit types, derives the Nevo-Petersen conjecture for all flag Murai spheres, classifies Golod and minimally non-Golod Bier spheres, and introduces a cubical Bier sphere via polyhedral products, showing that its boundary is canonically isomorphic to a certain intersection of two polyhedral products. The main new results are Theorems 1.1, 1.3, 1.5, and Propositions 8.1-8.2.","tokens_in":21498,"tokens_out":4733,"duration_ms":47877,"significance":"If the classification of flag Murai spheres is correct, it gives a complete and very concrete answer to a natural polytopality question and settles the Nevo-Petersen conjecture for this entire class of flag homology spheres. The cubical Bier sphere construction is original and connects Bier spheres in a clean way with the theory of polyhedral products and Alexander duality. The paper also ships explicit Stanley-Reisner ideal computations for the listed cases, which is helpful for verification. However, the proof of the core classification lemma contains a load-bearing minimality gap that needs to be repaired before the main claim can be accepted.","major_comments":[{"comment":"The proof repeatedly infers c_i = 1 from the assertion that the polarization pol(x_i^{c_i+1}) 'must have degree 2' because Bier_c(M) is flag. This inference is valid only if pol(x_i^{c_i+1}) is a minimal generator of I_{Bier_c(M)}. The manuscript itself notes after Theorem 2.13 that the three displayed families of generators need not be in one-to-one correspondence with the minimal non-faces, citing [28, Example 3.8]. In the branch where x_m^{c_m} ∈ M, the final paragraph asserts without proof that pol(x_m^{c_m+1}) must divide an element of G(I_c(M)) ∪ G(I_c(M∨)); this is exactly a minimality claim, and no argument is supplied. Since Lemma 4.3 is the only bridge from flagness to the five listed multicomplex types, this gap is load-bearing for Theorems 4.4 and 4.5.","section":"4, proof of Lemma 4.3"},{"comment":"The proof begins with the statement that 'a triangulated sphere is Golod if and only if it is a boundary of a simplex', with no proof or reference. This is a strong 'if and only if' criterion of the same nature as the theorem being proved, and it is not immediate from the definitions of Golodness in terms of products and Massey products in Tor-algebra. If the statement is true, a proof or a precise citation must be provided; if it is false, Theorem 5.4(a) collapses. As written, the argument rests on an unstated external criterion.","section":"5, proof of Theorem 5.4(a)"},{"comment":"In the polytopality part of Theorem 4.4, the identification of the Murai spheres in cases (3), (4), and (6) with suspensions of a 5-gon or with cross-polytopes is asserted immediately after displaying a Stanley-Reisner ideal. These identifications are needed for the 'if' direction of the theorem and for the claim that all flag Murai spheres are polytopal. An explicit isomorphism between the simplicial complex defined by the displayed ideal and the stated nerve complex, or a reference for each identification, would make this step verifiable.","section":"4, Theorem 4.4 case analysis"}],"minor_comments":[{"comment":"The displayed title contains a typo, 'POL YHEDRAL PRODUCTS', which should read 'POLYHEDRAL PRODUCTS'.","section":"Title page"},{"comment":"The notation |c| is used from Definition 2.11 onward but is never defined; the paper should state explicitly that |c| := c_1 + ... + c_m.","section":"2, Definition 2.11"},{"comment":"The claim that Bier(K) is flag if and only if K and K^vee are flag is said to follow immediately from the structure of min(Bier(K)), but since the minimal non-faces of a deleted join are not literally the union of min(K) and min(K^vee), a sentence explaining the exact set of minimal non-faces would improve the exposition.","section":"3, Lemma 3.3(b)"},{"comment":"In case (4), the expression Bier(⟨{x_i^(0), x_i^(2)}, {x_k^(0), x_i^(2)}⟩ ⊔ {∅}) appears to contain a typo: the second facet should probably be {x_k^(0), x_k^(2)} rather than {x_k^(0), x_i^(2)}.","section":"4, Theorem 4.4 case (4)"}],"recommendation":"major_revision","confidential_remarks":"The main obstacle is the unproved minimality assertion in Lemma 4.3, which is exactly where the flag classification could overcount or undercount. The rest of the paper is interesting and the polyhedral-product section is a strong contribution. I recommend major revision rather than rejection, since the gap may be repairable by proving the needed minimality or by reworking the case analysis."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Two things to know. First, the flag Murai sphere classification and the resulting Nevo-Petersen corollary are new and significant; the polytopal classification of flag nestohedra of the form I^n, I^n×P5, I^n×P6, I^n×Q^3_2 is clean. Second, the proof of the load-bearing Lemma 4.3 has a gap that the stress-test note correctly identifies: the inference from 'Bier_c(M) is flag' to 'c_i=1' only works if the polarizations of x_i^{c_i+1} are minimal generators of the Stanley-Reisner ideal, and Theorem 2.13 only gives an equality of ideals, not minimality. The paper itself warns about this at the end of Section 2. The final paragraph of Lemma 4.3 asserts without proof that the polarization divides a generator from G(I_c(M))∪G(I_c(M^∨)); that assertion is exactly what needs proving, and it is not obvious.\n\nThat said, the paper does a lot right. The Bier sphere classification via flag nestohedra is a nice upgrade of the known flag Bier classification from [16] and [24]; the cube-product descriptions of the polytopes in Theorem 4.4 are explicit enough to be checked. The Golod/minimally non-Golod result for Bier spheres is genuinely new and uses Hochster's formula in a way that is transparent and convincing. The cubical Bier sphere construction in Sections 7–8 is sketched rather than fully proved, but the main isomorphism is plausible and could be worked out without much trouble.\n\nThe soft spots beyond Lemma 4.3: the paper leans on several external results without derivation, especially Murai's Theorem 2.13 and the two-dimensional classification from [24]. That is normal for a paper like this, but it means the classification in Lemma 4.3 is only as reliable as those inputs. The Golod criterion in Theorem 5.4(a) also uses an unproved assertion that a triangulated sphere is Golod only if it is a simplex boundary; that is likely true, but it should be stated as a lemma with a reference. For the cubical part, the boundary isomorphism is essentially by inspection, and a referee should ask for a precise cell-by-cell proof.\n\nWho is this for: people working in toric topology, combinatorial commutative algebra, and face-ring classification. The Nevo-Petersen consequence is the main hook. It deserves peer review; the referee should focus on Lemma 4.3 and ask for a complete case analysis in which minimal non-faces are computed directly rather than inferred from degree. If that gap closes, the paper is a solid contribution. My recommendation: send it to a serious referee, conditional on repairing Lemma 4.3.","headline":"Flag Murai sphere classification is a real result, but Lemma 4.3 has a load-bearing gap that a referee should ask the authors to close.","tokens_in":22008,"tokens_out":6590,"would_cite":false,"duration_ms":56702,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["13F55","55N10","55S20","57S12"],"pacs":[],"model":"deepseek-v4-flash","headline":"Flag Murai spheres are exactly the spheres whose dual simple polytope is a cube, a cube times a pentagon, a cube times a hexagon, or a cube with two adjacent edge cuts, and this classification proves the Nevo-Petersen conjecture for them.","keywords":["Bier sphere","Murai sphere","polyhedral product","face ring","nestohedron","truncation polytope","Nevo-Petersen conjecture","flag simplicial complex"],"falsifier":"A concrete way to test the theorem is to enumerate small multicomplexes: for instance, take $c=(2,2)$ and $M=\\langle x_1^2x_2,\\,x_1x_2^2\\rangle$, compute the minimal non-faces of $\\mathrm{Bier}_c(M)$ from the three-term ideal identity, and check whether the sphere is flag while its dual polytope lies outside the four listed families. Any flag Murai sphere whose dual is not a 2-truncated cube would refute the classification; equivalently, a flag Murai sphere of dimension at least three that is not PL-homeomorphic to the boundary of one of those four polytopal types would refute it.","tokens_in":20975,"feed_emoji":"🧊","tokens_out":10524,"duration_ms":91347,"temperature":0.7,"pith_summary":"The paper pins down the exact shapes of flag Murai spheres, the generalized Bier spheres built from a multicomplex and its Alexander dual. It proves that a Murai sphere is flag if and only if it is polytopal, with the dual simple polytope being one of four rigid types: a cube $I^n$, or a product $I^n\\times P_5$, $I^n\\times P_6$, or $I^n\\times Q^3_2$, where $P_5$ and $P_6$ are the pentagon and hexagon and $Q^3_2$ is the cube with two adjacent edge cuts. Because every such polytope is a flag nestohedron, equivalently a 2-truncated cube, the classification feeds into a known result on gamma-vectors and settles the Nevo-Petersen conjecture for all flag Murai spheres. The same methods reprove the flag classification for classical Bier spheres and give a companion algebraic dichotomy: a Bier sphere is Golod exactly at simplex boundaries and minimally non-Golod exactly when its dual polytope is a simplex with some vertices cut off. A final construction realizes each Bier sphere as the boundary of the intersection of two polyhedral products, producing its canonical cubical model.","feed_headline":"Flag Murai spheres come in only four polytopal types","feed_subtitle":"The classification of these generalized Bier spheres proves the Nevo-Petersen conjecture and links them to cube products.","key_machinery":"The central object is the Murai sphere $\\mathrm{Bier}_c(M)$, a simplicial sphere obtained from a proper $c$-multicomplex $M$ and its Alexander dual $M^\\vee$ by a deleted-join construction. The workhorse is the external description of its Stanley-Reisner ideal: $I_{\\mathrm{Bier}_c(M)} = \\mathrm{pol}(I_c(M)) + \\mathrm{pol}^*(I_c(M^\\vee)) + \\mathrm{pol}(x_1^{c_1+1},\\ldots,x_m^{c_m+1})$, where $\\mathrm{pol}$ and $\\mathrm{pol}^*$ are the two polarizations of a monomial ideal. Flagness forces every generator of this ideal to have degree at most two, which restricts $M$ to five very simple generating sets; each is then matched, via the nerve-complex correspondence and the fact that a flag nestohedron is a 2-truncated cube, to a product polytope. For the algebraic results, the other load-bearing identity is Hochster's formula identifying the Tor-algebra of a face ring with the reduced cohomology of all full subcomplexes.","core_discovery":"The central discovery is an equivalence between a purely combinatorial property and a rigid polytopal family. For any proper multicomplex $M$ with exponent vector $c$, the Murai sphere $\\mathrm{Bier}_c(M)$ is flag if and only if its dual simple polytope $P_{M,c}$ is a flag nestohedron of one of four types: $I^n$ for $n\\geq 1$, $I^n\\times P_5$, $I^n\\times P_6$ for $n\\geq 0$, or $I^n\\times Q^3_2$ for $n\\geq 0$, where $P_5$ is the pentagon, $P_6$ is the hexagon, and $Q^3_2$ is the three-dimensional cube with two adjacent edge cuts. The flag case is reduced, through the polarization description of the Stanley-Reisner ideal of $\\mathrm{Bier}_c(M)$, to five very simple generating sets for the multicomplex; once those are identified, each is matched to a product polytope via the nerve-complex correspondence. As a direct corollary, every flag Murai sphere is a 2-truncated cube, so its gamma-vector is the f-vector of a flag simplicial complex and the Nevo-Petersen conjecture holds in this class. For classical Bier spheres the same route yields the identical four-type classification, and a separate theorem characterizes Golod and minimally non-Golod Bier spheres in terms of simplex boundaries and vertex cuts. The paper also constructs the cubical Bier sphere as the boundary of the intersection of two polyhedral products, giving a canonical cubical subdivision of any Bier sphere.","pith_inferences":["Because the classification is an iff statement, it gives a quick negative test: a Murai sphere whose dual is not a 2-truncated cube cannot be flag, so hard cases of the Nevo-Petersen conjecture must lie outside the Murai family.","The parametrization by five generating sets in Lemma 4.3 suggests an enumeration route: search over multicomplexes with small $|c|$ to find flag spheres that are not Murai spheres, testing how far the conjecture propagates.","The cubical realization $\\partial Z(K,K^\\vee)\\cong B(K,K^\\vee)_{\\mathrm{cubic}}$ may allow tools from moment-angle complexes, such as Buchstaber numbers and Massey products, to be transferred to classical Bier spheres, something the paper does not pursue.","A natural extension, not attempted here, would ask whether Murai spheres admit an analogous minimally-non-Golod classification for their face rings, using the multicomplex generators in place of simplicial complex generators."],"forward_implications":["Every flag Murai sphere is polytopal, and the dual simple polytope is a flag nestohedron, i.e. a 2-truncated cube.","The gamma-vector of every flag Murai sphere satisfies the Nevo-Petersen conclusion: it is the f-vector of a flag simplicial complex.","For classical Bier spheres the theorem gives the same four polytopal types, reproving and sharpening the known flag classification.","A Bier sphere is Golod if and only if it is the boundary of a simplex, and minimally non-Golod if and only if its dual polytope is a simplex with $\\ell$ of its vertices cut off.","The cubical Bier sphere construction gives a canonical cubical subdivision of any Bier sphere, embedded as the boundary of the intersection of two polyhedral products."],"supporting_citations":[{"why":"Supplies the Stanley-Reisner ideal identity for $\\mathrm{Bier}_c(M)$ used in every minimal non-face computation.","marker":"[28, Theorem 3.6]"},{"why":"Previous classification of flag Bier spheres that this paper reproves and extends to Murai spheres.","marker":"[16, Proposition 2.1]"},{"why":"Classification of two-dimensional Bier spheres and their dual polytopes used as base cases.","marker":"[24, Theorem 2.16]"},{"why":"Product rule for nerve complexes of simple polytopes, converting joins into polytope products.","marker":"[9, Example 2.2.9.4]"},{"why":"States the Nevo-Petersen conjecture that the paper proves for flag Murai spheres.","marker":"[29]"},{"why":"Realizes gamma-vectors of subdivided cross-polytopes, the result that lets 2-truncated cubes satisfy the conjecture.","marker":"[1]"},{"why":"Shows a nestohedron is flag if and only if it is a 2-truncated cube, bridging the classification to the conjecture.","marker":"[10]"},{"why":"Shows nerve complexes of truncation polytopes are minimally non-Golod, used in the Golod classification.","marker":"[4]"},{"why":"Hochster's formula identifying Koszul homology of a face ring with cohomology of full subcomplexes.","marker":"[17]"}],"fun_headline_variants":["Four polytopes classify all flag Murai spheres","Nevo-Petersen conjecture proven for flag Murai spheres","Cubical Bier spheres via polyhedral products","Flag Murai spheres: exactly four polytopal types","Murai sphere flagness tied to nestohedra"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The classification rests on the quoted external theorem that the Stanley-Reisner ideal of a Murai sphere is exactly the sum of the two polarizations plus the corner terms $\\mathrm{pol}(x_i^{c_i+1})$; every minimal non-face computation in the case analysis uses this identity. If that theorem had hidden conditions or were incomplete, the flag classification and its Nevo-Petersen corollary would collapse.","fun_headline_variants_meta":{"raw":{"variants":["Four polytopes classify all flag Murai spheres","Nevo-Petersen conjecture proven for flag Murai spheres","Cubical Bier spheres via polyhedral products","Flag Murai spheres: exactly four polytopal types","Murai sphere flagness tied to nestohedra"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000391,"raw_usage":{"total_tokens":2091,"prompt_tokens":1013,"completion_tokens":1078,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":629,"completion_tokens_details":{"reasoning_tokens":998}},"tokens_in":629,"tokens_out":1078,"duration_ms":9333,"temperature":1.0,"reasoning_tokens":998,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T15:36:05.323765+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A concrete way to test the theorem is to enumerate small multicomplexes: for instance, take $c=(2,2)$ and $M=\\langle x_1^2x_2,\\,x_1x_2^2\\rangle$, compute the minimal non-faces of $\\mathrm{Bier}_c(M)$ from the three-term ideal identity, and check whether the sphere is flag while its dual polytope lies outside the four listed families. Any flag Murai sphere whose dual is not a 2-truncated cube would refute the classification; equivalently, a flag Murai sphere of dimension at least three that is not PL-homeomorphic to the boundary of one of those four polytopal types would refute it.","supporting_citations":[{"cited_title":"Nevo and T","cited_arxiv_id":null,"evidence_quote":"States the Nevo-Petersen conjecture that the paper proves for flag Murai spheres."},{"cited_title":"Aisbett and V","cited_arxiv_id":null,"evidence_quote":"Realizes gamma-vectors of subdivided cross-polytopes, the result that lets 2-truncated cubes satisfy the conjecture."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Shows a nestohedron is flag if and only if it is a 2-truncated cube, bridging the classification to the conjecture."},{"cited_title":"Berglund, M","cited_arxiv_id":null,"evidence_quote":"Shows nerve complexes of truncation polytopes are minimally non-Golod, used in the Golod classification."},{"cited_title":"Hochster, Cohen-Macaulay rings, combinatorics, and simplicial complexes","cited_arxiv_id":null,"evidence_quote":"Hochster's formula identifying Koszul homology of a face ring with cohomology of full subcomplexes."}],"review_version":1}