arxiv: 2604.27416 · v1 · submitted 2026-04-30 · 🧮 math.AC

Recognition: unknown

Flat coordinates of Frobenius prepotentials related with the reflection groups of types H₃ and H₄

Hiromasa Nakayama, Jiro Sekiguchi, Rei Aradachi

Pith reviewed 2026-05-07 09:31 UTC · model grok-4.3

classification 🧮 math.AC

keywords Frobenius prepotentialsflat coordinatesreflection groupsH3H4algebraic prepotentialpolynomial prepotentialgroup-theoretic interpretation

0 comments

The pith

The flat coordinates of the polynomial prepotential for the H4 reflection group relate to those of the algebraic prepotential H4(9) by the same group-theoretic interpretation used for H3.

A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.

The paper first supplies a group-theoretic interpretation that accounts for the known relation between flat coordinates of the polynomial prepotential and the algebraic prepotential for the H3 reflection group. It then applies the identical interpretation to derive the corresponding relation for the H4 reflection group and the algebraic prepotential labeled H4(9). A reader would care because the relations clarify how polynomial and algebraic forms of Frobenius prepotentials are linked for these two exceptional reflection groups. The approach treats both cases uniformly without introducing separate machinery for H4.

Core claim

By the same group-theoretic idea explained for the H3 case, an explicit relation holds between the flat coordinates of the polynomial prepotential for H4 and the flat coordinates of the algebraic prepotential H4(9).

What carries the argument

The group-theoretic interpretation of the derivation that links polynomial and algebraic flat coordinates for a given reflection group.

If this is right

The flat coordinates for the H4 polynomial prepotential are related to those of H4(9) by an explicit transformation derived from the group action.
The same interpretive step used for H3 produces a parallel result for H4.
Both H3 and H4 now possess a uniform group-theoretic account of their polynomial-to-algebraic coordinate relations.

Where Pith is reading between the lines

These are editorial extensions of the paper, not claims the author makes directly.

The method may extend to other exceptional reflection groups if their prepotentials admit similar polynomial and algebraic presentations.
The coordinate relations could simplify explicit calculations of associated Frobenius manifold structures.
Verification for small-degree invariants of H4 would provide an immediate consistency check.

Load-bearing premise

The group-theoretic interpretation that works for H3 transfers directly to H4 without case-specific adjustments.

What would settle it

Compute the flat coordinates of the H4 polynomial prepotential explicitly and check whether they satisfy the claimed algebraic relation to H4(9).

read the original abstract

In this article, we first explain a group theoretic interpretation of the derivation of the relation between the flat coordinates of the polynomial prepotential $(H_3)$ and those of the algebraic prepotential $(H_3)'$ given in \cite{KMS2} constructed by M. Feigin, D. Valeri and J. Wright \cite{FVW}. By the same idea explained in the case of $(H_3)$, we will show a relation between the flat coordinates of the polynomial prepotential $(H_4)$ and those of the algebraic prepotential $H_4(9)$ given in \cite{Se}.

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, simulated authors' rebuttal, and a circularity audit. Tearing a paper down is the easy half of reading it; the pith above is the substance, this is the friction.

Desk Editor's Note private letter to a colleague

This paper extends the group-theoretic interpretation of flat coordinate relations from the H3 case to H4 by applying the same reflection group action.

read the letter

The punchline here is that the authors extend their group-theoretic interpretation of the flat coordinate relations from the H3 case to H4, claiming the same logic works for the larger reflection group and its prepotentials. They do a good job laying out the H3 interpretation first, referencing the work of Feigin, Valeri, and Wright, and then showing how the reflection group action gives the coordinate change for the polynomial prepotential versus the algebraic one from Sekiguchi. This is new for H4, and it keeps things consistent with the group invariants rather than inventing extra structure. The degrees of the invariants differ between the two cases, yet the method appears to transfer without new machinery. What stands out is the direct tie to the group action on the space of coordinates, which organizes the relations in a reproducible way based on the cited prior constructions. The paper credits the existing literature properly and focuses on explicit relations rather than broad claims. The potential weak point is exactly what the stress-test flags: H4 has more invariants and a bigger representation, so it is not obvious that no extra terms or adjustments creep in when applying the H3 method. The abstract says it goes through by the same idea, but the real test is in the details of the calculation. If they provide explicit checks that the transformed coordinates remain flat, then the concern does not stick. Otherwise it might need more justification. This is narrow work for people deep into Frobenius manifolds associated to reflection groups. A reader who already knows the H3 story and wants the H4 version will get something concrete out of it. It does not open big new directions, but it completes the picture for these two cases. I would say send it for peer review. The math community working on these topics can check the extension and decide if the method generalizes further.

Referee Report

1 major / 0 minor

Summary. The manuscript first gives a group-theoretic interpretation of the relation between the flat coordinates of the polynomial prepotential for the H3 reflection group and the algebraic prepotential (H3)' constructed in prior work. It then asserts that the identical reasoning yields an analogous relation between the flat coordinates of the polynomial prepotential for H4 and the algebraic prepotential H4(9) from Se.

Significance. If the claimed relations hold and are derived without hidden normalizations, the work supplies a uniform group-action explanation for coordinate changes between polynomial and algebraic prepotentials on exceptional reflection groups, which may streamline explicit computations of flat structures for H3 and H4.

major comments (1)

[§3] §3 (H4 extension): the assertion that the H3 group-theoretic argument transfers verbatim to H4 is not supported by an explicit check that the coordinate transformation remains flat under the H4 representation; the invariants have degrees 2,12,20,30 (versus 2,6,10 for H3) and the algebraic prepotential H4(9) uses a different parameter set, so the absence of an extra cocycle or projection term must be verified directly rather than assumed by identical reasoning.

Simulated Author's Rebuttal

1 responses · 0 unresolved

We thank the referee for the careful reading of our manuscript and for the constructive major comment. We address the point raised in §3 below and will incorporate the requested verification in the revised version.

read point-by-point responses

Referee: [§3] §3 (H4 extension): the assertion that the H3 group-theoretic argument transfers verbatim to H4 is not supported by an explicit check that the coordinate transformation remains flat under the H4 representation; the invariants have degrees 2,12,20,30 (versus 2,6,10 for H3) and the algebraic prepotential H4(9) uses a different parameter set, so the absence of an extra cocycle or projection term must be verified directly rather than assumed by identical reasoning.

Authors: We agree that the differing degrees of the basic invariants for H4 and the distinct parameter set in the algebraic prepotential H4(9) require an explicit verification that the coordinate change induced by the group action preserves flatness without introducing an extra cocycle or projection term. Although the underlying group-theoretic construction of the relation between polynomial and algebraic prepotentials is formally identical to the H3 case (both arise from the same orbit-space quotient and the same type of invariant-theoretic coordinate transformation), we acknowledge that this identity was asserted rather than re-checked in detail for H4. In the revised manuscript we will add a direct computation confirming that the Jacobian of the coordinate transformation satisfies the flatness condition under the H4 representation, thereby ruling out additional terms. revision: yes

Circularity Check

0 steps flagged

No significant circularity; derivation applies independent group-theoretic reasoning to prior constructions.

full rationale

The paper first gives a group-theoretic interpretation of the H3 flat-coordinate relation drawn from the external constructions in [KMS2] and [FVW], then states that the identical reasoning produces the corresponding relation for H4 with the algebraic prepotential from [Se]. No equation or step is shown to reduce by definition to its own inputs, no fitted parameter is relabeled as a prediction, and the central claim does not rest on a self-citation chain whose validity is presupposed inside the paper. The reflection-group action on invariants is an external mathematical fact, not derived here. The result is therefore self-contained against the cited benchmarks.

Axiom & Free-Parameter Ledger

0 free parameters · 0 axioms · 0 invented entities

Only the abstract is available; no specific free parameters, axioms, or invented entities are identifiable from the provided information.

pith-pipeline@v0.9.0 · 5415 in / 1137 out tokens · 59990 ms · 2026-05-07T09:31:03.100784+00:00 · methodology

discussion (0)

Reference graph

Works this paper leans on

8 extracted references · 3 canonical work pages

[1]

Aradachi: Equivalence decision for large polynomial functions in computer alge- bra, Master thesis, 2025, Institute of Science and Engineering, Kanazawa University (in Japanese)

R. Aradachi: Equivalence decision for large polynomial functions in computer alge- bra, Master thesis, 2025, Institute of Science and Engineering, Kanazawa University (in Japanese)

2025
[2]

Dubrovin, Geometry of 2D topological field theories

B. Dubrovin, Geometry of 2D topological field theories. In:Integrable systems and quantum groups. Montecatini, Terme 1993 (M. Francoviglia, S. Greco, eds.) Lecture Notes in Math. 1620, Springer-Verlag 1996, 120-348

1993
[3]

Feigin, D

M. Feigin, D. Valeri, J. Wright: Flat coordinates of algebraic Frobenius man- ifolds in small dimensions. J. of Geometry and Physics, 200(2024), 105151. arXiv:2309.01577v1

work page arXiv 2024
[4]

M. Kato, T. Mano and J. Sekiguchi, Flat structure on the space of isomonodromic deformations, SIGMA16(2020), 110, 36pages.arXiv:1511.01608

work page arXiv 2020
[5]

Sabbah,Isomonodromic Deformations and Frobenius Manifolds, An Introduction

C. Sabbah,Isomonodromic Deformations and Frobenius Manifolds, An Introduction. Universitext. Springer
[6]

Sekiguchi: The construction problem of algebraic potentials and reflection groups, arXiv:2312.15888v1

J. Sekiguchi: The construction problem of algebraic potentials and reflection groups, arXiv:2312.15888v1

work page arXiv
[7]

Wright: Flat coordinates of algebraic Frobenius manifolds in small dimensions, PhD thesis, 2024, University of Glasgow

J. Wright: Flat coordinates of algebraic Frobenius manifolds in small dimensions, PhD thesis, 2024, University of Glasgow

2024
[8]

T. Yano, J. Sekiguchi:The microlocal structure of weighted homogeneous polynomials associated with Coxeter systems, II,Tokyo J. Math.,4(1981), 1-34. 26

1981