Non-injective field redefinitions and quantum inequivalence in scalar theories

Bin Zhu

REVIEW 2 major objections 5 minor 15 references

Non-injective field redefinitions and quantum inequivalence in scalar theories

T0 review · 2 major / 5 minor · reviewed 2026-08-01 · deepseek-v4-flash

Challenge this review Re-run · record.json Download PDF Read on arXiv ↗

Pith's one-line read A unit-Jacobian polynomial field redefinition that is locally invertible but not globally one-to-one can make the pulled-back scalar theory look exactly free on each branch while leaving the global quantum theory inequivalent to a free fiel

desk verdict A clean conceptual split between local and global equivalence, resting on an unproved and likely dubious counterexample to the Jacobian conjecture. read the letter →

arxiv 2607.18166 v1 pith:NBEHM4NG submitted 2026-07-20 hep-th hep-th

Bin Zhu This is my paper · ORCID

classification hep-th

keywords fieldredefinitionsquantumequivalencenon-injectivemapsunitJacobianspectralmultiplicityWeylrelationsscalartheoryvacuumstructure

verification ladder T0 review T1 audit T2 compute T3 formal

The pith

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

The reading

This paper asks what happens to the field-redefinition equivalence theorem when the redefinition has unit Jacobian everywhere but is not globally one-to-one. It constructs scalar theories by pulling back a free massive multiplet through such a map, and shows that on every local branch the theory is exactly free: the equations of motion reduce to free Klein–Gordon equations and all interactions are removable. Yet the global quantum theory is not a single free theory: the number of real preimages of a target configuration varies, so the position operators have joint spectral multiplicity three on one open region and one on another. That variation rules out any global unitary implementation of the redefinition and any regular Weyl representation, separating perturbative equivalence on a chosen sheet from global quantum equivalence.

What carries the argument

The central object is a unit-Jacobian polynomial map F from field space to target space that is a local diffeomorphism at every finite point but is not a covering map because some target values have several real preimages. The pullback metric (J^T J) is flat with unit determinant but incomplete; the area formula gives a direct-integral decomposition of L^2(R^n) into fibers whose dimension is the number N_F(Q) of real preimages at each target point; and the Piola identity makes the formal momenta −i J^{-T}∂ symmetric on a core domain. The varying N_F then triggers a spectral-multiplicity obstruction: a regular Weyl representation requires constant multiplicity, so no unitary or regular-expone

What would settle it

Evaluate the Jacobian determinant of the three-variable map on a fine grid (or symbolically) across R^3 and search for zeros, and independently solve the fiber equations over the two displayed target values to check for any real preimage beyond the three listed; a single zero determinant or a fourth real preimage of the three-preimage target would falsify the paper's core claim.

Watch

Extended reading notes

Core claim

The paper constructs scalar actions by pulling a free massive multiplet back through a polynomial map of field space whose Jacobian has unit determinant everywhere but which fails to be one-to-one. For a three-variable example, every local inverse branch yields exactly free massive Klein–Gordon equations and three isolated vacua, yet the global quantum theory is not a free theory: the number of real preimages changes from three to one between two open regions of target space, so the commuting position operators have joint spectral multiplicity three in one region and one in another. By the Stone–von Neumann classification, no regular Weyl representation can carry such a position tuple, and n

Load-bearing premise

The load-bearing premise is that the three-variable polynomial map genuinely has unit Jacobian at every real point with no zeros and no critical points, and that the chosen target has exactly three real preimages while a nearby open region has exactly one; a single critical point, a missed real preimage, or a zero of the Jacobian anywhere would collapse the exact free-field reduction and the spectral-multiplicity argument.

Editorial extensions

If this is right

On any chosen local branch, perturbation theory is exactly that of a free massive scalar multiplet: all derivative and potential interactions are removable by the local coordinate Q = F(φ).
The equivalence theorem for field redefinitions holds branchwise but fails globally: no unitary operator maps the full interacting Hilbert space to the free one when N_F varies.
The number of classical vacua equals the number of real preimages of the target configuration, and transitions between them lead to incomplete ends of field space rather than smooth finite-energy walls.
A branch-restricted path integral sums k identical free sectors, while any global path integral must introduce new boundary data at the incomplete ends.
The same spectral obstruction appears for the four-scalar quintic-fiber family, showing that preimage multiplicity, not polynomial degree, is the controlling feature.

Reading between the lines

Editorial extensions of the paper, not claims the author makes directly.

The construction supplies a concrete way to hide interactions entirely from any finite-order perturbative computation while leaving a global quantum signature in the spectral multiplicity; two-point or scattering measurements on one sheet cannot detect the inequivalence.
If the announced algebraic map is genuine, the physics here aligns with the Jacobian-conjecture circle: explicit unit-Jacobian non-injective polynomial maps are rare but load-bearing, and field theory gives them an observable quantum consequence rather than treating them as purely algebraic curiosities.
A natural testable extension is to define branch-blind observables or to quotient the Hilbert space by the permutation symmetry among preimages; on such a quotient a free description may be recoverable, turning the obstruction into a choice of global data.
Pulling back interacting target potentials V(Q) would preserve the local geometry and the spectral mechanism while changing the mass spectrum and classical solutions, allowing the same diagnostic to probe theories that are not free on any sheet.

Share X Bluesky LinkedIn Reddit HN

Editorial analysis

A structured set of objections, weighed in public.

Desk editor's note, referee report, and a circularity audit.

Desk Editor's Note

read the letter

The paper has a good idea buried under a risky foundation. The distinction it draws—that a non-injective unit-Jacobian field redefinition can leave each local sheet exactly free while still preventing a global unitary implementation—is genuinely new, and the spectral-multiplicity diagnostic is a clean way to see it. The derivation of the exact free equations from the pullback, the use of the area formula to relate L2 spaces, and the Piola-identity symmetry of the formal momenta are all competently executed. I independently spot-checked the fiber computations and the Jacobian at the probe points; they check out.

The problem is the input. The three-variable map F3 is claimed to have det J = 1 everywhere and to be non-injective. That is, if true, a counterexample to the Jacobian conjecture. The paper does not prove it. It cites a same-day X post and MathOverflow answers. Asserting 'det J F3 = 1' without a proof is not acceptable for a result that carries the entire construction. A single critical point would break eq. (2.7), change the vacuum count, and kill the multiplicity variation. The four-scalar example inherits the same unverified foundation. The reader's checks at generic points are reassuring, but they do not establish the global determinant.

There is also a minor gap in the metric-incompleteness argument: the covering map claim invokes simple connectedness of the target, but the relevant space is the image F(R^n), which is not shown to be simply connected. This is probably repairable via the constant-fiber-counting argument for coverings, but it needs a rewrite.

The abstract overstates the result: it says 'quantum inequivalence in scalar theories' without noting that the conclusion is conditional on an unproved algebraic map. That should be flagged.

Bottom line: if the determinant identity and absence of critical points are really true, the paper is a nice contribution. But as it stands, the load-bearing algebraic claim is unverified and the provenance makes it suspect. I would not desk-reject it—the conceptual framework deserves a careful referee—but I would ask the referee to verify the map or require the authors to provide a complete proof. This is exactly the kind of paper that should not be accepted on faith.

Referee Report

2 major / 5 minor

Summary. The paper studies scalar field theories defined by pulling a free massive multiplet back through polynomial field redefinitions F:R^n -> R^n with constant unit Jacobian that are not one-to-one. The main three-scalar model uses the Alpöge map (eqs. (3.1)–(3.3)), normalized to F3, with a three-point fiber over Q*(3) and a one-point fiber over Q0(3). The authors show that, on any local inverse branch, the action reduces exactly to n free massive scalars, but globally the number of real preimages changes, so the commuting position operators have nonconstant joint spectral multiplicity. Therefore no unitary operator implements the redefinition globally, and the formal momenta cannot exponentiate to a regular Weyl representation. A four-scalar analogue with a quintic fiber is also constructed. The conclusion is a distinction between local perturbative equivalence and global quantum equivalence.

Significance. If all algebraic claims hold, the paper provides concrete, checkable examples showing that the equivalence theorem does not extend globally to non-injective unit-Jacobian polynomial field redefinitions. The construction is simple, the local free-field reduction is transparent, and the spectral obstruction via the area formula, direct-integral decomposition, and Stone–von Neumann is standard and well explained. The paper is honest about what is local and what is global, and it does not overclaim: perturbative equivalence on a fixed sheet is preserved. The use of explicit maps, exact equations of motion, and reproducible algebraic checks is a strength. However, the load-bearing algebraic input — the constant-determinant, non-injective nature of the announced map — is not proved in the manuscript, and the cited source is a same-day social-media announcement. This is a correctness risk that must be fixed before the physical conclusions can be accepted.

major comments (2)

[§3.1, eqs. (3.1)–(3.4)] The paper asserts without proof that the Alpöge map L has Jacobian −2 and hence det J F3 = 1. This identity is load-bearing for the whole construction: eq. (2.5) sets det g = 1; eq. (2.7) divides by the pointwise inverse Jacobian; eqs. (2.13)–(2.14) use unit determinant and the Piola identity; and the global spectral argument assumes F3 is a polynomial local diffeomorphism. If a single point had det J = 0, the vacuum count, the exact free EOM, and the multiplicity-three versus multiplicity-one jump would all be invalid. Since a non-injective polynomial map with constant nonzero Jacobian over R would, by complexification, be a counterexample to the Jacobian conjecture, the absence of a proof is not a minor citation issue. Please include the full determinant computation (with a symbolic-check transcript if needed) or replace the source by a verifiable preprint. The same-day X-post and Math
[§4.1, eq. (4.6)] The four-scalar example is introduced with 'A direct calculation gives det J G4 = −2, det J F4 = 1', but no calculation is shown. The subsequent vacuum analysis (eqs. (4.14)–(4.17)), the exact free EOM (4.24), and the spectral conclusion all rest on F4 being a unit-Jacobian polynomial local diffeomorphism. As with F3, this must be proved in the text; otherwise the four-scalar model is unsupported. The rational-frame observations in §4.1 are suggestive but are not a completed proof as written.

minor comments (5)

[§2.2, eq. (2.18)] The area formula (2.18) and the direct-integral decomposition (2.19) are used without stating the required regularity and finiteness conditions. For the polynomial maps considered here the argument is standard, but a brief sentence naming the necessary conditions would make the step precise.
[§3.1, after eq. (3.3)] The sentence 'Its Jacobian is −2' is ambiguous: it refers to the unnormalized map L, not to F3. Please specify the convention explicitly, e.g., 'The Jacobian of L is −2' and then 'after normalization, det J F3 = 1'.
[§3.3, around eq. (3.21)] The term 'regular Weyl representation' is used in the abstract and text. It would help to define it explicitly (strongly continuous projective unitary representation satisfying the Weyl relations) and to cite the Stone–von Neumann uniqueness theorem in the form used.
[References [8], [13]–[15]] These are same-day social-media or online-essay references. If they remain the only source for the algebraic map, the manuscript should include stable identifiers and ideally an appendix with the full algebraic verification so that the paper is self-contained.
[Appendix A, eq. (A.8)] The unique real root α is given numerically to 15 digits, but no interval proof is supplied that this root and the associated preimage persist under perturbation. A short derivative bound would make the existence of the three-sheeted neighborhood fully explicit.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the construction is openly a pullback; the global obstruction is derived from standard theorems and explicit fiber computations.

full rationale

The paper's local-free result is not a hidden prediction: eq. (2.2) defines the action explicitly as the pullback of a free massive theory through Q = F(phi), and eqs. (2.6)-(2.7) simply invert the pointwise Jacobian on each local sheet. This is acknowledged in the text, not presented as an independent derivation. The substantive claims—nonconstant real-preimage count, change in joint spectral multiplicity, and absence of a global unitary implementation—are derived from explicit fiber-polynomial computations (Secs. 3.1, 4.1), the area formula eq. (2.18), and the Stone–von Neumann theorem, all standard external mathematics. No parameter is fitted, no prediction reduces to a fitted input, and no load-bearing self-citation occurs. The only borrowed input is the announced Alpöge map and its asserted constant unit Jacobian/noninjectivity; that is an external algebraic input whose verification is a correctness risk, not a circularity. The paper does not redefine its conclusion into its premises.

Assumptions & free parameters 2 free parameters · 7 assumptions · 0 invented entities

The construction adds no new physical entities and fits no data. Its dependencies are: the announced Alpöge Keller map (plus its four-scalar and degree-five variants), four standard theorems (covering theorem, area formula, Piola identity, Stone–von Neumann), and one modeling choice — that L²(Rⁿ) field-space quantization is the arena for the global-unitarity claim. The fragile entry is the map: the everywhere-invertible unit Jacobian is asserted, not proven.

free parameters (2)

m (physical mass of the free multiplet)
Input of the model, not fitted; the argument holds for any m. Listed because the central construction depends on it.
fφ (field-space scale)
Determines the field normalization ([fφ] = (d−2)/2); not fitted; cancels from the classical equations of motion.

assumptions (7)

domain assumption The Alpöge map F3 (eqs. (3.1)–(3.4)) satisfies det J F3 ≡ 1 with no critical points and has exactly {v0, v+, v−} as the real fiber over Q⋆^(3), and exactly one real preimage over Q0^(3).
Load-bearing input taken from ref. [8], a same-day X post, and refs [13,14] (MathOverflow). The paper verifies the fibers by its own chart analysis but asserts the Jacobian identity without proof. If false, eq. (2.7), the vacuum count, and the spectral argument all fail.
domain assumption The four-scalar map G4 (eqs. (4.1)–(4.5)) has det J G4 ≡ −2 and the stated quintic-fiber structure.
Asserted as 'a direct calculation gives' (§4.1); explicit preimage checks are given, but the full Jacobian derivation is not shown, and the construction inherits same-day provenance from refs [14,15].
standard math A local isometry from a complete Riemannian manifold onto a connected target is a covering map; the pullback metric on (Rⁿ,g) would therefore make F a covering of F(Rⁿ).
Used in §2.1 to conclude geodesic incompleteness. The paper adds 'since the target is simply connected', which is not established for F(Rⁿ); the conclusion is recoverable via constant fiber cardinality of coverings, but the stated justification is incomplete.
standard math Area formula / change of variables: ∫ r(F(φ)) dnφ = ∫ N_F(Q) r(Q) dnQ, giving the direct-integral decomposition L²(Rⁿ_φ) ≃ ∫⊕ C^{N_F(Q)} dnQ.
Ref. [11]; the basis of the multiplicity statement (eqs. (2.18)–(2.19)).
standard math Joint spectral multiplicity is a unitary invariant, and Stone–von Neumann implies regular Weyl representations have constant spectral multiplicity.
Ref. [12]; the core of the no-unitary-implementation conclusion (§2.2, §3.3).
standard math The Piola identity ∂_a(cof J F)^I_a = 0 for det J F ≡ const, and J⁻¹ is polynomial when det J = 1.
Ref. [10]; establishes symmetry of the formal momenta (eqs. (2.13)–(2.14)).
domain assumption The finite-dimensional field-space Hilbert space L²(Rⁿ, dnφ) with operators (2.12) is the correct arena for the 'global quantum equivalence' claim.
The quantum test is a target-space (single-point) spectral statement; the transfer to the full QFT (wavefunctional/Fock) Hilbert space is asserted, not derived (§2.2 vs. Abstract).

how reviews work

0 comments

Cite this review

Pith. "Pith review of Non-injective field redefinitions and quantum inequivalence in scalar theories." pith.science (2026). https://pith.science/paper/NBEHM4NG

@misc{pith2026260718166,
  author       = {Pith},
  title        = {Pith review of: Non-injective field redefinitions and quantum inequivalence in scalar theories},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/NBEHM4NG}},
  note         = {Machine review of arXiv:2607.18166}
}

read the original abstract

We study scalar theories obtained by pulling a free massive multiplet back through a polynomial field redefinition with constant unit Jacobian. Our main example uses the three-variable noninjective map recently announced by Alp\"oge. After a linear normalization, it defines a three-scalar sigma model with a flat, unit-volume field-space metric and three isolated vacua. Each vacuum is locally described by three free modes of mass m, and the exact equations of motion reduce locally on each sheet to free Klein--Gordon equations. The global theory is nevertheless not a single free theory: the field-space metric is incomplete, the number of real preimages changes across target space, and the commuting position operators have nonconstant joint spectral multiplicity. This rules out a global unitary implementation of the field redefinition and a regular Weyl exponentiation of the formal canonical momenta. We then analyze a four-scalar map with a generic quintic fiber. It exhibits the same mechanism with an additional field that controls the fiber polynomial. The two examples separate perturbative equivalence on a chosen local sheet from global quantum equivalence of the full field space.

Discussion (0). Continue with ORCID to comment.

Reference graph

Works this paper leans on

15 extracted references · 6 linked inside Pith

[1]

J. S. R. Chisholm,Change of variables in quantum field theories,Nucl. Phys.26(1961) 469–479

1961
[2]

Kamefuchi, L

S. Kamefuchi, L. O’Raifeartaigh, and A. Salam,Change of variables and equivalence theorems in quantum field theories,Nucl. Phys.28(1961) 529–549

1961
[3]

J. C. Criado and M. Pérez-Victoria,Field redefinitions in effective theories at higher orders, JHEP03(2019) 038, [arXiv:1811.09413]

arXiv 2019
[4]

Cohen, X

T. Cohen, X. Lu, and D. Sutherland,On amplitudes and field redefinitions,JHEP06(2024) 149, [arXiv:2312.06748]

arXiv 2024
[5]

J. C. Criado, J. Jaeckel, and M. Spannowsky,Field redefinitions in classical field theory with some quantum perspectives,Phys. Rev. D111(2025), no. 7 076019, [arXiv:2408.03369]

arXiv 2025
[6]

Abdesselam,The Jacobian conjecture as a problem of perturbative quantum field theory, Ann

A. Abdesselam,The Jacobian conjecture as a problem of perturbative quantum field theory, Ann. Henri Poincaré4(2003) 199–215, [math/0208173]

arXiv 2003
[7]

Tanasa,Combinatorial quantum field theory and the Jacobian conjecture, inTranscendence in Algebra, Combinatorics, Geometry and Number Theory, vol

A. Tanasa,Combinatorial quantum field theory and the Jacobian conjecture, inTranscendence in Algebra, Combinatorics, Geometry and Number Theory, vol. 373 ofSpringer Proceedings in Mathematics & Statistics, pp. 249–259. Springer, 2021.arXiv:2002.07453

arXiv 2021
[8]

Announcement of an explicit three-dimensional counterexample to the Jacobian conjecture

L. Alpöge, “Announcement of an explicit three-dimensional counterexample to the Jacobian conjecture.” X post, 2026. Posted July 20, 2026

2026

Show all 15 references

[9]

M. P. do Carmo,Riemannian Geometry. Birkhäuser, Boston, 1992. – 14 –

1992
[10]

Kupferman and A

R. Kupferman and A. Shachar,A geometric perspective on the Piola identity in Riemannian settings,J. Geom. Mech.11(2019), no. 1 59–76, [arXiv:1805.12365]

2019 arXiv
[11]

L. C. Evans and R. F. Gariepy,Measure Theory and Fine Properties of Functions. CRC Press, Boca Raton, revised edition ed., 2015

2015
[12]

G. B. Folland,Harmonic Analysis in Phase Space, vol. 122 ofAnnals of Mathematics Studies. Princeton University Press, Princeton, 1989

1989
[13]

Galois structure of the new counterexample to the Jacobian conjecture: an explicit cubic model withS3 monodromy

dorky, “Galois structure of the new counterexample to the Jacobian conjecture: an explicit cubic model withS3 monodromy.” MathOverflow question 513387, 2026. Posted July 20, 2026

2026
[14]

A Jacobian-neutral birational construction for Keller maps, with noninjective examples of every generic degreed≥3

dorky, “A Jacobian-neutral birational construction for Keller maps, with noninjective examples of every generic degreed≥3.” MathOverflow question 513390, 2026. Posted July 20, 2026

2026
[15]

The Jacobian counterexample, explained

A. Gallagher, “The Jacobian counterexample, explained.” Online mathematical essay, 2026. Published July 20, 2026. – 15 –

2026

Pith tools

Reviewed August 1, 2026 · model on record in the stance chip above.

[1] [1]

J. S. R. Chisholm,Change of variables in quantum field theories,Nucl. Phys.26(1961) 469–479

1961

[2] [2]

Kamefuchi, L

S. Kamefuchi, L. O’Raifeartaigh, and A. Salam,Change of variables and equivalence theorems in quantum field theories,Nucl. Phys.28(1961) 529–549

1961

[3] [3]

J. C. Criado and M. Pérez-Victoria,Field redefinitions in effective theories at higher orders, JHEP03(2019) 038, [arXiv:1811.09413]

arXiv 2019

[4] [4]

Cohen, X

T. Cohen, X. Lu, and D. Sutherland,On amplitudes and field redefinitions,JHEP06(2024) 149, [arXiv:2312.06748]

arXiv 2024

[5] [5]

J. C. Criado, J. Jaeckel, and M. Spannowsky,Field redefinitions in classical field theory with some quantum perspectives,Phys. Rev. D111(2025), no. 7 076019, [arXiv:2408.03369]

arXiv 2025

[6] [6]

Abdesselam,The Jacobian conjecture as a problem of perturbative quantum field theory, Ann

A. Abdesselam,The Jacobian conjecture as a problem of perturbative quantum field theory, Ann. Henri Poincaré4(2003) 199–215, [math/0208173]

arXiv 2003

[7] [7]

Tanasa,Combinatorial quantum field theory and the Jacobian conjecture, inTranscendence in Algebra, Combinatorics, Geometry and Number Theory, vol

A. Tanasa,Combinatorial quantum field theory and the Jacobian conjecture, inTranscendence in Algebra, Combinatorics, Geometry and Number Theory, vol. 373 ofSpringer Proceedings in Mathematics & Statistics, pp. 249–259. Springer, 2021.arXiv:2002.07453

arXiv 2021

[8] [8]

Announcement of an explicit three-dimensional counterexample to the Jacobian conjecture

L. Alpöge, “Announcement of an explicit three-dimensional counterexample to the Jacobian conjecture.” X post, 2026. Posted July 20, 2026

2026