REVIEW 2 major objections 4 minor 65 references
This paper proves that coordinatewise inversion induces an isomorphism of filtered Varchenko–Gelfand algebras between a hyperplane arrangement and its Cremona transform, and uses this to disprove a reconstruction conjecture about tope graph
Reviewed by Pith at T0; open to challenge. T0 means a machine referee read the full paper against a public rubric. the ladder, T0–T4 →
T0 review · deepseek-v4-flash
2026-08-01 22:19 UTC pith:75RJY55B
load-bearing objection The main invariance theorem is clean and new; the counterexample to Yagi–Yoshinaga is plausible but not yet proven, since the key degree-5 claim for the transformed tope graph rests on a figure. the 2 major comments →
Cremona invariance of filtered Varchenko--Gelfand algebras
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
The central claim is Theorem 2.1: for any commutative ring R, the coordinatewise inversion map κ(x1,...,xr)=(x1^{-1},...,xr^{-1}) induces a filtered R-algebra isomorphism κ*: VG(A^κ)_R → VG(A)_R, where A^κ is the Cremona transform of A. This holds for any real central arrangement containing all coordinate hyperplanes and whose remaining defining forms are each supported on exactly two coordinates. Consequently, the filtered VG algebra cannot distinguish an arrangement from its Cremona transform. The paper then exhibits two central arrangements of eight planes in R^3 with isomorphic filtered VG algebras but non-isomorphic tope graphs, providing a concrete counterexample to the reconstruction
What carries the argument
The load-bearing identity is Lemma 2.2, a sign-pattern identity for nonzero real numbers u, v, u+v: s_u s_v s_{u+v} = s_u + s_v - s_{u+v}. Applied to pulled-back defining forms, it yields the Heaviside-function identity κ* h_{β_e} = δ_e h_{x_i} + ε_e h_{x_j} - ε_e δ_e h_{α_e} + (1-ε_e)(1-δ_e)/2, showing the pullback of each transformed Heaviside generator lies in the first filtered piece of the original VG algebra. Since the filtration is multiplicatively generated in degree one, this extends to all filtration degrees.
Load-bearing premise
The counterexample's assertion that the Cremona-transformed arrangement has no degree-5 tope-graph vertex is supported only by a figure, not by a computed degree list or a proof; if that visual claim is wrong, the two tope graphs could be isomorphic and the disproof of the reconstruction conjecture would fail.
What would settle it
Compute the tope graph of the arrangement defined by XYZ(X+Y)(2X+Y)(X+Z)(Z-2Y)(2Z-Y) and list the degree of every vertex. If any vertex has degree 5, the counterexample collapses because both arrangements would have a degree-5 vertex. More directly, compute both tope graphs and check for isomorphism.
If this is right
- The filtered VG algebra is not a complete invariant of the tope graph, even over integral domains of characteristic not 2; the reconstruction conjecture is false.
- The Cremona operation preserves the filtered VG algebra but can change the oriented matroid, so the filtered VG algebra retains less oriented information than the tope graph.
- The theorem gives a systematic family of non-trivial filtered VG algebra isomorphisms coming from a monomial map on the torus, not just the trivial relabeling isomorphisms.
- Because the same Cremona move also preserves the coarse Bergman fan, the filtered VG algebra and the tropical data are both invariant while the tope graph changes, isolating the orientation-sensitive part of the arrangement.
Where Pith is reading between the lines
- A natural testable extension is to ask whether coordinatewise inversion preserves the filtered VG algebra for arrangements whose defining forms are supported on more than two coordinates; Lemma 2.2 is specific to the two-coordinate case, so a different mechanism would be needed.
- The counterexample suggests that filtered VG algebras may capture a 'coarse' oriented matroid invariant that remembers which hyperplanes are coordinate hyperplanes but forgets the relative signs of non-coordinate forms.
- One could compute the tope graphs of the two explicit arrangements directly (rather than relying on the figure) to verify the degree-5 claim, and then check whether other invariants, such as the graded VG algebra or the Orlik–Solomon algebra, also fail to distinguish them.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper defines a Cremona transform for real central hyperplane arrangements in R^r that contain all coordinate hyperplanes and whose remaining defining forms each involve exactly two coordinates. Theorem 2.1 asserts that coordinatewise inversion induces an isomorphism of filtered Varchenko–Gelfand algebras over every commutative ring. The proof is built on a two-coordinate sign identity (Lemma 2.2) and an explicit affine-linear expression for the pulled-back Heaviside functions (Eq. (2.3)). Section 3 relates the construction to combinatorial Cremona maps of Shaw–Werner and Rettenmayr–Werner. In Example 2.3, the paper gives two 8-plane arrangements in R^3 whose filtered VG algebras are isomorphic by Theorem 2.1 but whose tope graphs are claimed to be non-isomorphic, yielding a counterexample to Yagi–Yoshinaga's Conjecture 1.1.
Significance. The algebraic core of the paper is sound and genuinely useful. Theorem 2.1 is elementary, self-contained, and free of fitted parameters; the filtration argument is explicit and checkable. If the counterexample is properly verified, the paper would settle a conjecture in the negative and provide a systematic source of filtered VG algebra isomorphisms that do not preserve tope graphs. The connection to combinatorial Cremona maps is also attractive. The main reservation is that the counterexample's decisive tope-graph assertion is supported only by a drawing.
major comments (2)
- [Example 2.3 and Figure 1] The claim that T(A^κ) has no degree-5 vertices is load-bearing for the counterexample to Conjecture 1.1, but it is supported only by a visual reading of Figure 1. The tope graph of this arrangement of eight central planes has 42 vertices, so a single overlooked degree-5 vertex in the right-hand deconing would invalidate the non-isomorphism T(A) ≇ T(A^κ). Moreover, the described degree-5 pentagon in T(A) is only partially checked. Please replace the visual assertion with a verifiable certificate: for example, a table of all bounded chambers of the deconing with their degrees, the full degree multiset of T(A) and T(A^κ), or a short computational enumeration script. This is necessary for the disproof of Conjecture 1.1.
- [Example 2.3, definition of A^κ] Even if the two arrangements are correct, the example's conclusion depends on an asymmetry in tope graphs that is not established anywhere in the text. The sentence 'while T(A^κ) has no vertices of degree 5' is asserted without proof, computation, or exhaustive chamber enumeration. Since Theorem 2.1 gives the filtered VG isomorphism independently, the only missing step in the counterexample is exactly this degree-distribution computation. The authors should supply it, or downgrade the claim to a conjecture based on Figure 1.
minor comments (4)
- [Proof of Theorem 2.1, after Eq. (2.3)] The sentence 'The final constant is either 0 or 2' should state explicitly that this is the image of the integer 0 or 2 in the arbitrary commutative ring R. The identity is correct, but the wording may confuse readers in characteristic 2.
- [Example 2.3] The term 'antipodal vertices' is used without definition. In a central arrangement, the chambers C and −C are antipodal; please define this term on first use.
- [References and bibliography] Several references contain formatting artifacts: '[BL VS+99]' and '[R W25]' have stray spaces, and the entry for [YY26] appears to have an unusual volume/page string. Please correct these.
- [Figure 1] The figure would be easier to check if the left pentagonal chamber were highlighted or labeled, and if the right deconing were larger/more legible. This is a presentation issue, not a mathematical one.
Circularity Check
No circularity: Theorem 2.1 is proven directly from Lemma 2.2; no fitted parameters and no load-bearing self-citations.
full rationale
The derivation of Theorem 2.1 is self-contained. Lemma 2.2 is proven by sign-pattern enumeration; the pullback formula (2.1) is a direct substitution; formula (2.2) applies Lemma 2.2 with u=a_e x_i and v=b_e x_j; formula (2.3) follows by substituting s=2h-1; filtration preservation follows from the affine-linear expression, the multiplicative generation of the filtration, and the involutivity (A^κ)^κ=A. No parameter is fitted, no quantity is renamed, and no prior work by the author is cited as load-bearing. The external citations provide definitions, the conjecture being disproved, and tropical context, but they do not supply the main theorem. Example 2.3 rests on a visually supported claim about degree-5 vertices in tope graphs; that is a potential rigor gap (no explicit degree list or proof is given), but it is a correctness concern, not a circularity concern. Hence no significant circularity is found.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption The arrangements under consideration contain all coordinate hyperplanes and every non-coordinate defining form is supported on two coordinates.
- ad hoc to paper In Example 2.3, the tope graph of A^κ has no vertex of degree 5.
- standard math The degree of a chamber in the tope graph equals the number of sides of the corresponding cell in the deconing.
read the original abstract
We prove that the filtered Varchenko--Gelfand algebra is invariant under a natural Cremona operation on a class of real hyperplane arrangements. Namely, suppose that an arrangement contains all coordinate hyperplanes and that every remaining defining form is supported on two coordinates. Swapping the two coefficients in each such form produces its Cremona transform. Coordinatewise inversion gives a chamber bijection and an isomorphism of the corresponding filtered Varchenko--Gelfand algebras over every commutative coefficient ring. As an application, we exhibit two arrangements of eight central planes in $\mathbb{R}^3$ with isomorphic filtered Varchenko--Gelfand algebras but non-isomorphic tope graphs. This disproves a conjecture of Yagi--Yoshinaga on reconstructing tope graphs from filtered Varchenko--Gelfand algebras.
Figures
Reference graph
Works this paper leans on
-
[1]
Abe, Takuro and Horiguchi, Tatsuya and Masuda, Mikiya and Murai, Satoshi and Sato, Takashi , TITLE =. J. Reine Angew. Math. , FJOURNAL =. 2020 , PAGES =. doi:10.1515/crelle-2018-0039 , URL =
-
[2]
Aguiar, Marcelo and Mahajan, Swapneel , TITLE =. 2017 , PAGES =. doi:10.1090/surv/226 , URL =
doi:10.1090/surv/226 2017
-
[3]
Asao, Yasuhiko and Izumihara, Kengo , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2021 , NUMBER =. doi:10.4310/hha.2021.v23.n1.a16 , URL =
-
[4]
Bandelt, H.-J. , TITLE =. J. Graph Theory , FJOURNAL =. 1984 , NUMBER =. doi:10.1002/jgt.3190080407 , URL =
-
[5]
Bandelt, Hans-J\"urgen and Chepoi, Victor and Knauer, Kolja , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.jcta.2018.01.002 , URL =
-
[6]
orner, Anders and Edelman, Paul H. and Ziegler, G\
Bj\"orner, Anders and Edelman, Paul H. and Ziegler, G\"unter M. , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 1990 , NUMBER =. doi:10.1007/BF02187790 , URL =
-
[7]
orner, Anders and Las Vergnas, Michel and Sturmfels, Bernd and White, Neil and Ziegler, G\
Bj\"orner, Anders and Las Vergnas, Michel and Sturmfels, Bernd and White, Neil and Ziegler, G\"unter M. , TITLE =. 1999 , PAGES =. doi:10.1017/CBO9780511586507 , URL =
-
[8]
Brenner, Sofia and Cardinal, Jean and McConville, Thomas and Merino, Arturo and M\"utze, Torsten , TITLE =. European J. Combin. , FJOURNAL =. 2026 , PAGES =. doi:10.1016/j.ejc.2026.104367 , URL =
arXiv 2026
-
[9]
Conway, J. H. and Sloane, N. J. A. and Wilks, Allan R. , TITLE =. Graphs Combin. , FJOURNAL =. 1989 , NUMBER =. doi:10.1007/BF01788686 , URL =
-
[10]
Cuntz, Michael and Elia, Sophia and Labb\'e, Jean-Philippe , TITLE =. Ann. Comb. , FJOURNAL =. 2022 , NUMBER =. doi:10.1007/s00026-021-00555-2 , URL =
-
[11]
New perspectives in algebraic combinatorics (
Denham, Graham and Hanlon, Phil , TITLE =. New perspectives in algebraic combinatorics (. 1999 , ISBN =
1999
-
[12]
arXiv preprint arXiv:2512.10077v2 , year=
Cleanliness and the Varchenko-Gelfand algebra , author=. arXiv preprint arXiv:2512.10077v2 , year=
-
[13]
[2025] 2025 , PAGES =
Diestel, Reinhard , TITLE =. [2025] 2025 , PAGES =
2025
-
[14]
Edelman, Paul H. , TITLE =. Trans. Amer. Math. Soc. , FJOURNAL =. 1984 , NUMBER =. doi:10.2307/1999150 , URL =
doi:10.2307/1999150 1984
-
[15]
Edelman, Paul H. and Walker, James W. , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 1985 , NUMBER =. doi:10.2307/2045379 , URL =
doi:10.2307/2045379 1985
-
[16]
Varchenko, A. N. and Gelfand, I. M. , TITLE =. Funktsional. Anal. i Prilozhen. , FJOURNAL =. 1987 , NUMBER =
1987
-
[17]
arXiv preprint arXiv:2502.18144v1 , year=
On connected subgraph arrangements , author=. arXiv preprint arXiv:2502.18144v1 , year=
-
[18]
Gomi, Kiyonori , TITLE =. Forum Math. , FJOURNAL =. 2020 , NUMBER =. doi:10.1515/forum-2019-0091 , URL =
-
[19]
arXiv preprint arXiv:1902.07044v3 , year=
Magnitude homology of geodesic space , author=. arXiv preprint arXiv:1902.07044v3 , year=
Pith/arXiv arXiv 1902
-
[20]
A catalogue of simplicial arrangements in the real projective plane , JOURNAL =
Gr. A catalogue of simplicial arrangements in the real projective plane , JOURNAL =. 2009 , NUMBER =. doi:10.26493/1855-3974.88.e12 , URL =
-
[21]
arXiv preprint arXiv:1809.07240v1 , year=
Graph magnitude homology via algebraic Morse theory , author=. arXiv preprint arXiv:1809.07240v1 , year=
-
[22]
Hepworth, Richard and Willerton, Simon , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2017 , NUMBER =. doi:10.4310/HHA.2017.v19.n2.a3 , URL =
-
[23]
Hochst\"attler, Winfried and Welker, Volkmar , TITLE =. Math. Z. , FJOURNAL =. 2019 , NUMBER =. doi:10.1007/s00209-019-02275-z , URL =
-
[24]
Humphreys, James E. , TITLE =. 1990 , PAGES =. doi:10.1017/CBO9780511623646 , URL =
-
[25]
Jambu, Michel and Paris, Luis , TITLE =. European J. Combin. , FJOURNAL =. 1995 , NUMBER =. doi:10.1016/0195-6698(95)90032-2 , URL =
-
[26]
Kaneta, Ryuki and Yoshinaga, Masahiko , TITLE =. Bull. Lond. Math. Soc. , FJOURNAL =. 2021 , NUMBER =. doi:10.1112/blms.12469 , URL =
-
[27]
Kemper, Yvonne and Lawrence, Jim , TITLE =. European J. Combin. , FJOURNAL =. 2018 , PAGES =. doi:10.1016/j.ejc.2017.10.002 , URL =
-
[28]
Knauer, Kolja and Marc, Tilen , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2020 , NUMBER =. doi:10.1007/s00454-019-00111-z , URL =
-
[29]
arXiv preprint arXiv:2604.03718v4 , year=
Magnitude homology of real hyperplane arrangements , author=. arXiv preprint arXiv:2604.03718v4 , year=
-
[30]
arXiv preprint arXiv: , year=
Magnitude homology of tope graphs , author=. arXiv preprint arXiv: , year=
-
[31]
arXiv preprint arXiv:2508.14538v2 , year=
Hamiltonian Cycles in Simplicial and Supersolvable Hyperplane Arrangements , author=. arXiv preprint arXiv:2508.14538v2 , year=
-
[32]
Pacific J
Lawrence, Jim , TITLE =. Pacific J. Math. , FJOURNAL =. 1983 , NUMBER =
1983
-
[33]
Leinster, Tom , TITLE =. Doc. Math. , FJOURNAL =. 2013 , PAGES =
2013
-
[34]
Leinster, Tom , TITLE =. Math. Proc. Cambridge Philos. Soc. , FJOURNAL =. 2019 , NUMBER =. doi:10.1017/S0305004117000810 , URL =
-
[35]
, TITLE =
Leinster, Tom and Meckes, Mark W. , TITLE =. Measure theory in non-smooth spaces , SERIES =. 2017 , ISBN =
2017
-
[36]
Leinster, Tom and Shulman, Michael , TITLE =. Algebr. Geom. Topol. , FJOURNAL =. 2021 , NUMBER =. doi:10.2140/agt.2021.21.2175 , URL =
-
[37]
Leinster, Tom and Meckes, Mark , TITLE =. Proc. Amer. Math. Soc. , FJOURNAL =. 2023 , NUMBER =. doi:10.1090/proc/16433 , URL =
-
[38]
Post at The n-Category Caf\'e , URL=
Potential Functions and the Magnitude of Functors 2 , author=. Post at The n-Category Caf\'e , URL=
-
[39]
Meckes, Mark W. , TITLE =. Positivity , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s11117-012-0202-8 , URL =
-
[40]
2024 , eprint=
q -deformation of chromatic polynomials and graphical arrangements , author=. 2024 , eprint=
2024
-
[41]
Oh, Suho and Postnikov, Alexander and Yoo, Hwanchul , TITLE =. J. Combin. Theory Ser. A , FJOURNAL =. 2008 , NUMBER =. doi:10.1016/j.jcta.2008.01.003 , URL =
-
[42]
Orlik, Peter and Terao, Hiroaki , TITLE =. 1992 , PAGES =. doi:10.1007/978-3-662-02772-1 , URL =
-
[43]
, TITLE =
Read, Ronald C. , TITLE =. J. Combinatorial Theory , FJOURNAL =. 1968 , PAGES =
1968
-
[44]
Algebra Universalis , FJOURNAL =
Reading, Nathan , TITLE =. Algebra Universalis , FJOURNAL =. 2003 , NUMBER =. doi:10.1007/s00012-003-1834-0 , URL =
-
[45]
Rettenmayr, Stefan and Werner, Annette , TITLE =. Manuscripta Math. , FJOURNAL =. 2025 , NUMBER =. doi:10.1007/s00229-025-01657-4 , URL =
-
[46]
Sagan, Bruce E. , TITLE =. Bull. Amer. Math. Soc. (N.S.) , FJOURNAL =. 1999 , NUMBER =. doi:10.1090/S0273-0979-99-00775-2 , URL =
-
[47]
Shaw, Kris and Werner, Annette , TITLE =. Comb. Theory , FJOURNAL =. 2023 , NUMBER =. doi:10.5070/c63261996 , URL =
-
[48]
Solomon, Louis , TITLE =. J. Algebra , FJOURNAL =. 1966 , PAGES =. doi:10.1016/0021-8693(66)90007-X , URL =
-
[49]
Stanley, Richard P. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/08 , URL =
-
[50]
1968 , PAGES =
Steinberg, Robert , TITLE =. 1968 , PAGES =
1968
-
[51]
Tajima, Yu and Yoshinaga, Masahiko , TITLE =. Homology Homotopy Appl. , FJOURNAL =. 2023 , NUMBER =. doi:10.4310/hha.2023.v25.n1.a17 , URL =
-
[52]
Varchenko, Alexandre , TITLE =. Adv. Math. , FJOURNAL =. 1993 , NUMBER =. doi:10.1006/aima.1993.1003 , URL =
arXiv 1993
-
[53]
Wachs, Michelle L. , TITLE =. Geometric combinatorics , SERIES =. 2007 , ISBN =. doi:10.1090/pcms/013/09 , URL =
-
[54]
Yagi, Yukino and Yoshinaga, Masahiko , TITLE =. Int. Math. Res. Not. IMRN , FJOURNAL =. 2026 , NUMBER =. doi:10.1093/imrn/rnag109 , URL =
-
[55]
Zaslavsky, Thomas , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 1975 , PAGES =. doi:10.1090/memo/0154 , URL =
-
[56]
and Gr\"unbaum, Branko and Sloane, N
Burr, Stefan A. and Gr\"unbaum, Branko and Sloane, N. J. A. , TITLE =. Geometriae Dedicata , FJOURNAL =. 1974 , PAGES =. doi:10.1007/BF00147569 , URL =
-
[57]
Green, Ben and Tao, Terence , TITLE =. Discrete Comput. Geom. , FJOURNAL =. 2013 , NUMBER =. doi:10.1007/s00454-013-9518-9 , URL =
-
[58]
Macdonald, I. G. , title =. Journal of the London Mathematical Society. Second Series , volume =. 1971 , pages =
1971
-
[59]
Ehrhart, Eug\`ene , TITLE =. C. R. Acad. Sci. Paris S\'er. A-B , FJOURNAL =. 1967 , PAGES =
1967
-
[60]
, TITLE =
Stanley, Richard P. , TITLE =. Proc. 1970 , MRCLASS =
1970
-
[61]
Albenque, Marie and Knauer, Kolja , TITLE =. Discrete Math. , FJOURNAL =. 2016 , NUMBER =. doi:10.1016/j.disc.2015.10.032 , URL =
-
[62]
Knauer, Kolja and Marc, Tilen , TITLE =. European J. Combin. , FJOURNAL =. 2023 , PAGES =. doi:10.1016/j.ejc.2023.103714 , URL =
arXiv 2023
-
[63]
Morse theory from an algebraic viewpoint , JOURNAL =
Sk. Morse theory from an algebraic viewpoint , JOURNAL =. 2006 , NUMBER =. doi:10.1090/S0002-9947-05-04079-1 , URL =
-
[64]
Advances in Mathematics , volume =
Forman, Robin , title =. Advances in Mathematics , volume =. 1998 , pages =
1998
-
[65]
J\"ollenbeck, Michael and Welker, Volkmar , TITLE =. Mem. Amer. Math. Soc. , FJOURNAL =. 2009 , NUMBER =. doi:10.1090/memo/0923 , URL =
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.