{"id":"f3f496aa-1707-41d5-9eea-17a1b509eb30","arxiv_id":"1908.01141","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A bijection between generic marked projective tetrahedra and rational elliptic surfaces with two I2 fibers (D6-surfaces) identifies edge lengths and dihedral angles with period maps.","lead":"This paper builds a dictionary between non-Euclidean (spherical and hyperbolic) tetrahedra and certain rational elliptic surfaces, showing that edge lengths and dihedral angles are values of period maps. It gives a new conceptual explanation for known cross-ratio identities and Regge symmetries in three-dimensional trigonometry.","discovery_kind":"unification","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The correspondence Cor is not yet well-defined: §4.2 asserts, without proof, that different choices of the four blown-down (-1)-curves give isomorphic D6-surfaces, and the author explicitly says no clear explanation is available.","rationale":"The reader's weakest-assumption analysis identifies the same spot: the non-canonical blow-down step in Section 4.2 is asserted to be harmless, but the proof is deferred to an unstated Torelli argument and the paper explicitly says it lacks a clear explanation. This is precisely where the central claim of Theorem 1.9 is least secure. The rest of the paper gives genuine supporting evidence: the period maps are verified on root generators in Sections 4.3 and 4.4, the moduli spaces are described as double covers of the same base T, and the derived Corollary 1.2 and Regge symmetry are consistent with previously known results. The paper also contains an independent elementary proof of Corollary 1.2 via Petrov's MathOverflow answer, which corroborates Theorem 1.1 but not the full surface correspondence. No machine-checked proof or reproducible code is provided, so the unresolved well-definedness cannot be dismissed as cosmetic. If the independence of blow-down choices fails, the bijection in Theorem 1.9 breaks; if it holds, the main structure of the proof is plausible. The reader's CONDITIONAL verdict is therefore appropriate, and my stress-test does not move it.","tokens_in":25566,"tokens_out":4917,"duration_ms":56738,"concrete_test":"Take a generic marked projective tetrahedron with explicit coordinates (e.g., vertices at the coordinate points and a quadric whose coefficients avoid the discriminant locus of Section 2.4). Apply the Section 4.2 construction using two different admissible quartets of disjoint (-1)-curves — for example, the displayed quartet and the quartet obtained by an evident symmetry of the configuration. Compute the period maps Res_{F1} and Res_{F2} and the root-basis identifications for both resulting D6-surfaces. If the period maps or the marked surfaces differ, Cor is not well-defined and Theorem 1.9 is false.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Theorem 1.9 claims a W(D6)-equivariant bijection between generic marked projective tetrahedra and generic marked D6-surfaces. In the construction of §4.2, X_T is obtained by blowing up the quadric at the twelve points E_ij and then blowing down a chosen set of four (-1)-curves. The paper states: \"The last step is not canonical. Surprisingly, different choices of four (-1)-curves result in isomorphic rational elliptic surfaces. Unfortunately, we do not have a clear explanation of this fact yet; its proof is based on the Torelli theorem for anti-canonical pairs.\" No such proof is supplied. This is directly load-bearing: if two admissible choices yield non-isomorphic marked D6-surfaces, then Cor is not a well-defined map from M_tetr to M_surf, and the bijection in Theorem 1.9 collapses. The later argument that Cor extends to a morphism and is an isomorphism (Section 4.1) inherits this gap, and the verification LT = Res_{F1} in Section 4.3 is performed only for one particular blow-down model, so it cannot establish independence of the choice. Separately, Lemma 4.2 as printed gives u_ij · u_kl = -1 both when u_ij = u_kl and when u_ij ≠ u_kl, which is internally inconsistent; this is almost certainly a typo (the unequal case should be 0), but it should be corrected. The unresolved non-canonical step is the real load-bearing concern.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a correspondence between generic marked projective tetrahedra and rational elliptic surfaces endowed with a pair of I2 fibers, which the author calls D6-surfaces. The central result, Theorem 1.9, asserts a W(D6)-equivariant bijection under which the length function L_T of a tetrahedron equals the period map Res_{F1} of the associated surface and the angle function A_T equals the period map Res_{F2}. The proof strategy is to show that both the moduli space of tetrahedra and the moduli space of D6-surfaces are unramified double covers of the same parameter space T, then to construct a rational map Cor between them, and finally to verify the equality of the period maps on a set of root classes spanning the relevant lattices (Lemmas 4.4, 4.5, 4.7, 4.8). The paper then derives Theorem 1.1 (projective equivalence of the configurations Ω(T) and Π(T)) and Theorem 1.3 (Regge symmetries) as corollaries of the correspondence.","tokens_in":25846,"tokens_out":10202,"duration_ms":93161,"significance":"If the construction is made fully rigorous, the paper provides a striking new dictionary between three-dimensional non-Euclidean trigonometry and the theory of rational elliptic surfaces. The explicit root-basis verification of the period-map equalities is a concrete and useful strength, and the derivation of the known projective-equivalence and Regge-symmetry results from a single geometric framework is conceptually valuable. The paper also points toward deeper connections with mixed Hodge structures and motivic interpretations. However, the main theorem is not yet proven as written because the correspondence is not shown to be well-defined; the construction depends on a non-canonical choice that is explicitly admitted to lack a proof.","major_comments":[{"comment":"The construction of the surface X_T from a tetrahedron T is not yet shown to be well-defined. After blowing up the quadric at the twelve points E_ij, the paper blows down a chosen set of four (-1)-curves and states: 'The last step is not canonical. Surprisingly, different choices of four (-1)-curves result in isomorphic rational elliptic surfaces. Unfortunately, we do not have a clear explanation of this fact yet; its proof is based on the Torelli theorem for anti-canonical pairs.' No proof of this independence is supplied. This is load-bearing: if two admissible choices yield non-isomorphic marked D6-surfaces, then the map Cor in §4.1 is not a well-defined map from M_tetr to M_surf, and the bijection in Theorem 1.9 collapses. Moreover, the verification of L_T = Res_{F1} in §4.3 is performed only for the particular model constructed with the four specific curves listed in §4.2, so it cannot establish independence of the choice. A proof of well-definedness, or a canonical construction of X_T, is required before Theorem 1.9 can be accepted.","section":"§4.2, Theorem 1.9"},{"comment":"The intersection pairing on Pic(X_T) as printed is internally inconsistent. The statement reads 'uij.ukl = -1 if uij = ukl and -1 if uij ≠ ukl'; the second case must be 0, since exceptional divisors from distinct blow-ups are disjoint. As printed, the lattice relations used throughout §4.3 and §4.4, such as the expressions for the root classes (e.g., (e23+e24+e34+e∅)/2 = π(l - u23 - u42)), do not follow from the stated pairing. This is a critical typo that must be corrected, as the explicit verification of the period-map equalities depends on the intersection form of the Picard lattice.","section":"Lemma 4.2"},{"comment":"The proof of Lemma 4.1 contains a numerical inconsistency: it states that after blowing down the eight (-1)-curves 'we obtain a del Pezzo surface with Picard number 1' but then concludes that 'the surface is isomorphic to P1 × P1', which has Picard number 2. This appears to be a typo (the intended number is probably 2), but as written the proof is not coherent. In addition, the argument that X_T is a rational elliptic surface with a pair of I2-fibers is presented in a compressed way; the claim that the images of the curves [E_ij] lie on a pair of reducible (2,2)-curves would benefit from a more explicit justification.","section":"Lemma 4.1"}],"minor_comments":[{"comment":"The abstract states that the paper establishes a bijection between non-Euclidean tetrahedra and certain rational elliptic surfaces, while Theorem 1.9 is stated only for generic marked projective tetrahedra and generic D6-surfaces. The abstract should be adjusted to reflect the generic hypothesis, or the introduction should explain how the non-generic case is handled.","section":"§1.1/Abstract"},{"comment":"There is a stray parenthesis in the displayed formula: 'rA2, (A2A4)∩(E23E34), A4, E42)q' should read 'rA2, (A2A4)∩(E23E34), A4, E42]_{(A2A4)}'. This is a minor typesetting error but makes the formula difficult to parse.","section":"Lemma 4.4, equation (4.1)"},{"comment":"The sentence 'It is easy to see that a rational map U -> V, which commutes with etale maps U -> X and V -> X can be extended to a morphism' is imprecise: the maps from U and V to X are the covering maps, not arbitrary etale maps. The statement is standard for finite etale covers from normal varieties, but the wording should be clarified and a brief justification supplied.","section":"§4.1"},{"comment":"In the displayed formula for det(L), the notation 'R(E8)/(R(E_L^7) ∪ R(E_A^7))' is used; it would be helpful to remind the reader that this is a quotient by the union of two root sets, not a quotient group, to avoid confusion.","section":"§2.4, determinant formula"}],"recommendation":"major_revision","confidential_remarks":"The paper has a promising central idea and substantial explicit verification, but the admitted lack of proof for the independence of the blow-down choices in §4.2 is a genuine gap in the main theorem. If the author can supply the missing proof (e.g., via the Torelli theorem for anti-canonical pairs) or provide a canonical construction, the paper would be a strong contribution. I also recommend that the typos in Lemmas 4.1 and 4.2 be corrected before the paper is reconsidered. The result is likely correct, but the current version is not fully rigorous."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear Colleague,\n\nThe paper you asked about is worth your time, but the main theorem is not yet fully proved. Rudenko has a genuinely new idea: a dictionary between generic marked projective tetrahedra and rational elliptic surfaces with two I2 fibers (D6-surfaces), with edge lengths and dihedral angles realized as period maps. Theorem 1.9 is a real structural claim, not a repackaging. It explains the known cross-ratio identity and Regge symmetry as shadows of a W(D6) action on the Picard lattice. The moduli-space setup is clean: both sides are unramified double covers of the same variety T, so a rational equivariant correspondence becomes an isomorphism.\n\nWhat I like: the root-basis checks in Sections 4.3 and 4.4 are explicit and concrete. The geometric computations with cross-ratios and projections look correct to me. The derived results—Theorem 1.1 and the Regge symmetries—are consistent with known facts, which is a good sanity check. The citation pattern is fine; the prior work of Looijenga, Naruki, Goncharov, and others is properly referenced.\n\nThe soft spots are real, and the biggest one is in the construction of the map Cor in Section 4.2. After blowing up the quadric at the twelve points, Rudenko blows down four chosen (-1)-curves and asserts that different choices give isomorphic surfaces. He writes: 'Unfortunately, we do not have a clear explanation of this fact yet; its proof is based on the Torelli theorem for anti-canonical pairs.' That is load-bearing. If the isomorphism class of X_T depends on the choice, then Cor is not well-defined and Theorem 1.9 collapses. The later verification of L_T = Res_{F1} is done in one particular model, so it cannot establish independence. This is not a minor gap; it is the central missing step. The author clearly knows it, which is honest, but it needs a proof before the correspondence is established.\n\nAlso, Lemma 4.2 as printed says u_ij · u_kl = -1 both when the classes are equal and when they are unequal. That can't be right; the second case should be 0. It looks like a typo, but it should be corrected.\n\nThere are a few computations left to the reader, but those are minor. The reliance on Looijenga's Torelli theorem is legitimate.\n\nWho is this for? Algebraic geometers studying elliptic surfaces, and geometers working on non-Euclidean tetrahedra and Regge symmetry. It deserves a serious referee. I would send it out, but the referee should demand a complete treatment of the non-canonical step—either a Torelli-based proof or a construction that is canonical from the start. If that step holds up, this is a significant paper.\n\nMy bottom line: engage with it. It's not ready as is, but the idea is strong enough to merit the referee's time.","headline":"A genuinely new dictionary between tetrahedra and elliptic surfaces, but the main correspondence is not yet proved because the surface construction depends on a non-canonical choice the author explicitly does not know how to control.","tokens_in":26409,"tokens_out":3108,"would_cite":true,"duration_ms":29983,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["14J27","14J26","51M10"],"pacs":[],"model":"deepseek-v4-flash","headline":"A W(D6)-equivariant bijection maps generic marked tetrahedra to generic marked D6-surfaces, identifying length and angle functions with period maps.","keywords":["rational elliptic surfaces","projective tetrahedra","period maps","Regge symmetry","Weyl group D6","E8 root lattice","Cho-Kim function","non-Euclidean tetrahedra"],"falsifier":"Take a generic marked tetrahedron, for example a right-angled spherical tetrahedron, and construct $X_T$ using two different choices of the four disjoint curves to shrink. If the resulting surfaces are not isomorphic as marked $D_6$-surfaces, or if their period maps disagree with $L_T$ and $A_T$, then the correspondence is not well-defined.","tokens_in":25311,"feed_emoji":"📐","tokens_out":13269,"duration_ms":113961,"temperature":0.7,"pith_summary":"This paper claims that the trigonometry of non-Euclidean tetrahedra is governed by rational elliptic surfaces. It establishes a one-to-one, $W(D_6)$-equivariant correspondence between generic marked projective tetrahedra (a smooth quadric in $\\mathbb{P}^3$ together with four planes) and generic marked $D_6$-surfaces (rational elliptic surfaces with two singular fibers of type $I_2$), under which the tetrahedron's length function $L_T$ equals the period map $\\mathrm{Res}_{F_1}$ and its angle function $A_T$ equals $\\mathrm{Res}_{F_2}$. From this dictionary the paper derives the projective equivalence of the configuration of face-perimeter exponentials $\\Pi(T)$ and the configuration of solid-angle exponentials $\\Omega(T)$, the equality of the corresponding cross-ratios, and an interpretation of Regge symmetry as the action of $W(D_6)$ on the Picard lattice. If the correspondence is right, the classical problem of recovering dihedral angles from edge lengths becomes a computation of period maps of algebraic surfaces.","feed_headline":"Tetrahedra map one-to-one onto rational elliptic surfaces","feed_subtitle":"Edge lengths and dihedral angles become two period maps on one algebraic surface, and Regge symmetry falls out.","key_machinery":"The central object is the pair $(T,X_T)$ linked by the root system $E_8$. The lattice $Q(E_8)$ is built from an affine 3-space over $\\mathbb{F}_2$ whose eight points are labelled by the even subsets of $\\{1,2,3,4\\}$; the roots $e_\\emptyset$, $e_I$, and $e_{ij}$ ($i<j$) provide common labels for the tetrahedron and the surface sides. On the tetrahedron side, $L_T$ is a homomorphism from the $E_7^L$ sublattice to $\\mathbb{C}^\\times$ defined by cross-ratios such as $\\langle \\tilde{A}_i,E_{ij},\\tilde{A}_j,E_{ji}\\rangle$; $A_T$ is the same construction on the dual tetrahedron. On the surface side, the two period maps restrict classes to the two $I_2$ fibers. The bridge is an admissible conic bundle $b\\colon X_T\\to\\mathbb{P}^1$: its eight critical values, paired with the chosen components of $F_1$ and $F_2$, produce the configurations $\\Pi(T)$ and $\\Omega(T)$, and its conic-bundle function is exactly the Cho-Kim function. The proof identifies the two moduli spaces as unramified double covers of the same parameter space, with the period-map equalities established by explicit cross-ratio computations on generating roots.","core_discovery":"On the paper's own terms, the discovery is a complete translation between two moduli spaces. A marked projective tetrahedron $T=(Q,H_1,H_2,H_3,H_4)$ has a length function $L_T\\colon Q(E_7^L)\\to\\mathbb{C}^\\times$ built from cross-ratios of the intersection points $E_{ij}$ of the edge lines with the quadric $Q$, and an angle function $A_T\\colon Q(E_7^A)\\to\\mathbb{C}^\\times$ obtained from the dual tetrahedron. A marked $D_6$-surface $X$ has two distinguished $I_2$ fibers $F_1,F_2$ (each a pair of transversally intersecting rational curves), and the period maps $\\mathrm{Res}_{F_1}\\colon Q(E_7^L)\\to\\mathbb{C}^\\times$ and $\\mathrm{Res}_{F_2}\\colon Q(E_7^A)\\to\\mathbb{C}^\\times$ record how line bundles restrict to those fibers. Theorem 1.9 asserts a $W(D_6)$-equivariant bijection $T\\leftrightarrow (X_T,F_1,F_2)$ with $L_T=\\mathrm{Res}_{F_1}$ and $A_T=\\mathrm{Res}_{F_2}$. The construction blows up $Q$ at the twelve points $H_i\\cap H_j\\cap Q$, then shrinks four chosen disjoint curves to obtain $X_T$; the paper argues through Torelli theory that the resulting marked surface does not depend on the choice. The equalities with the two period maps are proved by checking them on two generating roots and using the $W(D_6)$ symmetry.","pith_inferences":["If the unresolved choice in the construction is harmless, the isomorphism between different blowdowns should be constructible from the $E_8$ data, and it would yield an explicit formula for the fractional linear transformation in Theorem 1.7.","The same dictionary suggests that the volume of a non-Euclidean tetrahedron, for which Cho-Kim type formulas exist, could be expressed through periods or regulators of the associated elliptic surface, linking tetrahedron trigonometry to arithmetic invariants.","Extending the correspondence to non-generic tetrahedra would map geometric degenerations such as ideal vertices, Euclidean limits, and disphenoids to configurations of singular elliptic fibers, giving a taxonomy of tetrahedron degenerations by surface type."],"forward_implications":["Because the correspondence is one-to-one and equivariant under $W(D_6)$, the length function of a tetrahedron determines its angle function through the period maps of a single surface.","The Regge symmetries appear as reflections in $W(D_6)$ acting on the Picard lattice, explaining the 23,040-element symmetry group of a tetrahedron.","The configurations $\\Pi(T)$ and $\\Omega(T)$ of eight points on $\\mathbb{P}^1$ are projectively equivalent, and their cross-ratios agree, because both arise from one admissible conic bundle on $X_T$.","The Cho-Kim function of a tetrahedron and the dual Cho-Kim function are related by a fractional linear transformation, so the angle data can be computed from the edge data via the principal parameters.","The paper expects the same correspondence to extend to Euclidean tetrahedra, with the $I_2$ fiber $F_1$ replaced by a type $III$ fiber, so a single dictionary may cover spherical, hyperbolic, and Euclidean trigonometry."],"supporting_citations":[{"why":"Supplies the Torelli theorem for rational surfaces with anti-canonical cycles and the period-map parametrization that identifies the moduli space of marked D6-surfaces.","marker":"[Loo81]"},{"why":"Supplies the structural facts about sets of eight orthogonal roots in E8 and their affine-space labelling, used to define the roots e_empty, e_I, and e_ij.","marker":"[DM10]"},{"why":"Supplies the construction of a projective tetrahedron from a non-Euclidean one via the projective model of hyperbolic geometry.","marker":"[Gon99]"},{"why":"Discovered the Regge symmetry in the Euclidean case, which the paper reinterprets as an action of W(D6).","marker":"[PR68]"},{"why":"Provides a geometric proof of Regge symmetry for non-Euclidean tetrahedra, the statement the paper explains through the Weyl group.","marker":"[AI19]"},{"why":"Establishes that Regge symmetry is part of the larger 23,040-element group W(D6).","marker":"[DL03]"},{"why":"Supplies the volume formula whose motivic understanding motivated the paper's starting theorem about angle and perimeter configurations.","marker":"[CK99]"},{"why":"Provides the Cho-Kim function used in the paper's definition of the tetrahedron's principal parameters and the statement of Theorem 1.7.","marker":"[MY05]"},{"why":"Gives the construction of linear pencils of plane cubics used to prove the existence of admissible conic bundles on generic D6-surfaces.","marker":"[Fus06]"},{"why":"Classifies singular fibers of conic bundles on rational elliptic surfaces, used in the analysis of the conic-bundle function.","marker":"[GS19]"}],"fun_headline_variants":["Tetrahedra and elliptic surfaces: one-to-one","Tetrahedron geometry from elliptic surface periods","Regge symmetry emerges from surface Weyl action","Period maps link tetrahedron edges and angles","Non-Euclidean tetrahedra map to rational elliptic surfaces"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The construction of the surface $X_T$ from a tetrahedron requires choosing which four disjoint curves to shrink, and the paper assumes, without a complete proof, that every choice gives the same resulting surface.","fun_headline_variants_meta":{"raw":{"variants":["Tetrahedra and elliptic surfaces: one-to-one","Tetrahedron geometry from elliptic surface periods","Regge symmetry emerges from surface Weyl action","Period maps link tetrahedron edges and angles","Non-Euclidean tetrahedra map to rational elliptic surfaces"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001187,"raw_usage":{"total_tokens":4930,"prompt_tokens":1008,"completion_tokens":3922,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":624,"completion_tokens_details":{"reasoning_tokens":3848}},"tokens_in":624,"tokens_out":3922,"duration_ms":30245,"temperature":1.0,"reasoning_tokens":3848,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T15:22:28.300857+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Take a generic marked tetrahedron, for example a right-angled spherical tetrahedron, and construct $X_T$ using two different choices of the four disjoint curves to shrink. If the resulting surfaces are not isomorphic as marked $D_6$-surfaces, or if their period maps disagree with $L_T$ and $A_T$, then the correspondence is not well-defined.","supporting_citations":[],"review_version":1}