REVIEW 4 minor 7 references
The same field that gives the mass of a framed elliptic equation also carries an invariant integer winding number called the pseudo-analytic charge.
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 →
The winding number of the numerator field of a framed Beltrami–Vekua equation is an invariant integer (the pseudo-analytic charge) independent of the mass.
T0 review reviewed 2026-07-10 challenge →
load-bearing objection Clean extraction of a discrete winding invariant from the same numerator field that already gives the mass; proofs are elementary once the companion transformation laws are granted.
The Pseudo-Analytic Charge
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
The reading
Core claim
When the zero set of the numerator field N is compactly contained in a bounded simply connected domain, its winding number n along any enclosing curve is invariant under the full group of recombinations, scalings and orientation-preserving C¹ changes of variables that preserve the framed Beltrami–Vekua class; on multiply connected domains the total charge remains exact while component charges are preserved only modulo 2. The charge is the Brouwer degree of N, localizes at vortices that no group action creates or destroys, and is independent of the mass.
What carries the argument
The numerator field N = Φb − Ψa − W_L(Φ,Ψ), whose exact transformation laws (N multiplies by the positive real factor |φ|² − |ψ|² under recombination, by c² under scaling, and by ρ⁻¹ under change of variables) make the winding of arg N an invariant of the equivalence class.
Load-bearing premise
The whole invariance rests on the exact transformation laws for N under the three group actions already proved in the companion paper at C¹ frame regularity; if those laws fail or need stronger regularity, the charge is no longer invariant.
What would settle it
Exhibit a continuous deformation of the coefficients that keeps the zero set of N compactly inside a simply connected domain yet changes the winding of N along an enclosing curve, or produce a C¹-framed equation whose N fails one of the three claimed transformation laws.
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The paper extracts a topological integer — the pseudo-analytic charge n — from the numerator field N of a framed Beltrami–Vekua equation. When Z(N) is compactly contained in a bounded simply connected domain, n is defined as the winding of N along any enclosing curve (Definition 3.1). Theorem 3.4 proves that n is invariant under recombinations (which multiply N by the positive factor D), continuous scalings, and orientation-preserving C¹ changes of variables; on multiply connected domains the total charge remains exact while component charges are preserved only in ℤ/2ℤ (Remark 3.6). The charge is identified with a Brouwer degree, localizes at zeros of N (vortices), and is stable under small data perturbations precisely when local charges are non-zero. On the trivial-frame slice it reduces to the gauge-invariant winding of the coefficient B. Mass and charge are shown independent by explicit continuous fields realizing every pair (m,k)∈(0,∞)×ℤ.
Significance. If the companion transformation laws for N are granted, the paper cleanly isolates a discrete, gauge-invariant integer attached to the same field that produces the continuous pseudo-analytic mass. The exact (not merely mod-2) invariance under recombinations is a genuine structural gain of the framed formulation, and the independence construction (Theorem 6.1) shows there is no Bogomolny-type bound. The localization/stability statements via degree theory are standard but correctly applied, and the discussion of Vekua’s index and measurable regularity is appropriately cautious. The work is a natural topological companion to the author’s mass papers and should be of interest to specialists in generalized analytic functions and planar elliptic systems.
minor comments (4)
- [Section 2 / Proposition 2.1] The transformation laws of Proposition 2.1 are imported from the companion preprint arXiv:2606.27950 without even a sketch. A one-paragraph reminder of why the L-Wronskian cancels the substitution defect would make the present paper more self-contained for readers who have not yet consulted the companion.
- [Remark 3.6] In Remark 3.6 the orientation analysis for everted components (the affine map n ↦ 2-n) is correct but dense; a short explicit computation for the inversion of an annulus would help the reader verify the claim.
- [Section 2 (Scalings paragraph)] The continuous-scaling convention that defines N_{cE}:=c^{2}N_E for merely continuous c is used repeatedly; a single sentence in Section 2 stating that this is the unique continuous extension of the C^{1} law would remove any residual ambiguity.
- [Abstract and Section 5] Typographical consistency: the abstract and body alternate between fraktur a,b and roman A,B for the lower-order coefficients; a uniform choice would improve readability.
Circularity Check
Modest self-citation of companion transformation laws; charge invariance and independence are otherwise elementary and non-circular.
specific steps
-
self citation load bearing
[Section 2, Proposition 2.1; Theorem 3.4]
"Proposition 2.1([1], extended by the conventions above). Under the three actions above, the numerator field obeys substitution: N′ = D N, D = |φ|² - |ψ|² > 0, scaling: N′ = c² N, change of variables: Ñ = N ∘ F / ρ ... Theorem 3.4 (Invariance of the charge). Admissibility and the charge n are invariant under the three group actions of Section 2"
The invariance proof of Theorem 3.4 is a direct, almost immediate consequence of the transformation laws stated in Proposition 2.1. Those laws are not proved in the present paper; they are cited from the author's companion preprint arXiv:2606.27950. The central claim therefore rests on a self-citation that is load-bearing for the sequel. This is ordinary for a companion paper and does not make the charge equal to its inputs by definition, but it is the only circularity-adjacent step.
full rationale
The paper defines the pseudo-analytic charge as the winding number of the numerator field N (Definition 3.1) and proves its invariance under the three group actions (Theorem 3.4) by applying the transformation laws of Proposition 2.1. Those laws are imported from the author's companion preprint [1] rather than re-derived here; that is ordinary sequel structure, not a definitional loop. Once the laws are granted, the argument is elementary: substitutions multiply N by a strictly positive continuous factor D so arg N is untouched; continuous scalings and the weight ρ of orientation-preserving C¹ changes of variables are zero-free continuous functions on a simply connected domain and therefore contribute zero winding. Localization (Proposition 4.1), vortex-set invariance (Proposition 4.2), stability (Proposition 4.3), positive normalization (Proposition 4.6), and the independence construction (Theorem 6.1) are self-contained topological or explicit constructions that do not reduce to fitted parameters or tautologies. No uniqueness theorem is imported to forbid alternatives, no ansatz is smuggled, and no prediction is forced by a prior fit. The only circularity-adjacent feature is the load-bearing self-citation of the companion laws, which raises the score from 0 to 2 but does not make the central claim circular by construction.
Axiom & Free-Parameter Ledger
axioms (4)
- domain assumption Transformation laws of the numerator field N under recombinations, scalings and C¹ changes of variables (Proposition 2.1)
- standard math A continuous zero-free function on a simply connected domain admits a continuous logarithm (hence has vanishing winding on every loop)
- standard math Brouwer degree equals winding number for maps from a Jordan domain to ℂ*, and satisfies additivity, excision and solution properties
- standard math Existence of a Riemann map from the unit disk onto a bounded simply connected domain
invented entities (1)
-
pseudo-analytic charge n
no independent evidence
Cite this review
Pith. "Pith review of The Pseudo-Analytic Charge." pith.science (2026). https://pith.science/paper/CVEY2MWP
@misc{pith2026260707910,
author = {Pith},
title = {Pith review of: The Pseudo-Analytic Charge},
year = {2026},
howpublished = {\url{https://pith.science/paper/CVEY2MWP}},
note = {Machine review of arXiv:2607.07910}
}
abstract
The framed Beltrami--Vekua equation $\Phi(w_{\bar z} - \mu w_z) + \Psi(\overline{w_z} - \mu\overline{w_{\bar z}}) + \mathfrak{a}w + \mathfrak{b}\bar w = \mathfrak{f}$, with $|\mu|<1$ and $|\Phi|>|\Psi|$, carries a numerator field $N = \Phi\mathfrak{b} - \Psi\mathfrak{a} - W_L(\Phi,\Psi)$ whose weighted modulus integrates to the pseudo-analytic mass. This paper extracts the integer carried by the same field. When the zero set of $N$ is compactly contained in a bounded simply connected domain, the winding number of $N$ along any enclosing curve -- the pseudo-analytic charge $n \in \mathbb{Z}$ -- is invariant under every recombination $w = \varphi w' + \psi\bar w'$ of the unknown, every scaling of the equation, and every orientation-preserving $C^1$ change of variables: recombinations multiply $N$ by the positive factor $|\varphi|^2 - |\psi|^2$, so their invariance is exact, while on multiply connected domains the other two actions fix the component charges only in $\mathbb{Z}/2\mathbb{Z}$ and the total charge exactly. The charge is a Brouwer degree: it localizes at the zeros of $N$, vortices which no action of the class creates or destroys; an isolated vortex persists under perturbation of the data precisely when its local charge is non-zero. It involves the Beltrami coefficient only through the $L$-Wronskian of the frame, and is $\mu$-independent wherever $W_\partial(\Phi,\Psi) \equiv 0$ -- in particular at the trivial frame, where $N = \mathcal{B}$ and the charge is the gauge-invariant winding of the coefficient of the Beltrami--Vekua equation. Mass and charge are independent: every pair in $(0,\infty)\times\mathbb{Z}$ is realized.
Reference graph
Works this paper leans on
-
[1]
The Framed Beltrami-Vekua Normal Form and its Pseudo-Analytic Mass
D. Alayón-Solarz,The Framed Beltrami–Vekua Normal Form and its Pseudo-Analytic Mass, preprint, arXiv:2606.27950, 2026. 13
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[2]
The Pseudo-Analytic Mass of a Beltrami-Vekua Equation
D. Alayón-Solarz,The Pseudo–Analytic Mass of a Beltrami–Vekua Equation, preprint, arXiv:2605.07601, 2026
work page internal anchor Pith review Pith/arXiv arXiv 2026
-
[3]
I. N. Vekua,Generalized Analytic Functions, Pergamon Press, Oxford, 1962
work page 1962
-
[4]
Bers,Theory of Pseudo-Analytic Functions, New York University, 1953
L. Bers,Theory of Pseudo-Analytic Functions, New York University, 1953
work page 1953
-
[5]
Deimling,Nonlinear Functional Analysis, Springer-Verlag, Berlin, 1985
K. Deimling,Nonlinear Functional Analysis, Springer-Verlag, Berlin, 1985
work page 1985
-
[6]
A.JaffeandC.Taubes,Vortices and Monopoles: Structure of Static Gauge Theories, Birkhäuser, Boston, 1980
work page 1980
-
[7]
H. Brezis and L. Nirenberg,Degree theory and BMO. I: Compact manifolds without boundaries, Selecta Math. (N.S.)1(1995), 197–263. 14
work page 1995
This paper was first reviewed by grok-4.5 on July 10, 2026.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.