REVIEW 2 major objections 2 minor
On the conformal boundary of a Poincaré-Einstein manifold, the fractional Yamabe constants of P1 and P2γ (and of P2 and P2γ) obey comparison inequalities whose equality cases force geometric rigidity.
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 · grok-4.5
2026-07-15 02:48 UTC pith:7NOWMQEN
load-bearing objection Abstract-only comparison inequalities for fractional Yamabe constants of GJMS operators on PE manifolds; coherent program extension, proofs unchecked. the 2 major comments →
Comparison Theorems for Fractional GJMS Operators
The pith
A machine-rendered reading of the paper's core claim, the machinery that carries it, and where it could break.
Core claim
There exist comparison inequalities between the fractional Yamabe constants of the operators P1 and P2γ for γ in (1/2,1) and of P2 and P2γ for γ in (1,2) on the conformal infinity of a Poincaré-Einstein manifold; the equality cases characterize rigidity, and the inequalities together with prior work partially support monotonicity of the fractional Yamabe constants in the order.
What carries the argument
The fractional GJMS operators P2γ, defined on the conformal infinity of a Poincaré-Einstein manifold, together with their associated fractional Yamabe constants; the comparison inequalities between these constants for intermediate fractional orders carry the argument and produce the rigidity statements at equality.
Load-bearing premise
The ambient space must be a Poincaré-Einstein manifold and the fractional order γ must lie in one of the two open intervals (1/2,1) or (1,2); if either the Einstein condition or the admissible range fails, the stated inequalities need not hold.
What would settle it
Exhibit a Poincaré-Einstein manifold whose conformal infinity has fractional Yamabe constants that reverse one of the claimed inequalities for some admissible γ, or that attain equality without the geometry being the rigid model (the standard ball).
Editorial analysis
A structured set of objections, weighed in public.
Referee Report
Summary. The manuscript studies fractional GJMS operators P_{2γ} defined on the conformal infinity of a Poincaré–Einstein manifold. It claims two comparison inequalities for the associated fractional Yamabe constants: one between the constants of P_1 and P_{2γ} for γ ∈ (1/2, 1), and one between those of P_2 and P_{2γ} for γ ∈ (1, 2). Equality cases are asserted to characterize rigidity. Combined with the authors’ prior work [WZ1], the inequalities are presented as partial evidence for monotonicity of the fractional Yamabe constants.
Significance. If the comparison inequalities and equality-case rigidity characterizations hold as stated, the paper would supply useful comparison theorems in the conformal geometry of fractional GJMS operators on Poincaré–Einstein manifolds and would give concrete support for a monotonicity picture of fractional Yamabe constants. The setting (scattering/extension definitions of fractional GJMS operators, PE asymptotics, and Yamabe-type constants) is standard and of genuine interest in geometric analysis. The abstract alone, however, does not allow verification of the analytic estimates or equality-case arguments on which the claims rest.
major comments (2)
- [Abstract (full manuscript unavailable)] Only the abstract is available for review. The central comparison inequalities, the equality-case rigidity characterizations, and the analytic estimates (scattering or extension methods for P_{2γ} on Poincaré–Einstein manifolds) that must underwrite them are therefore unauditable. Without the body of the manuscript—definitions of the fractional Yamabe constants, the precise PE hypotheses, the range restrictions on γ, and the proofs—no load-bearing correctness assessment is possible. A full review requires the complete text.
- [Abstract (rigidity and monotonicity claims)] The abstract asserts that equality in the comparison inequalities characterizes rigidity, and that the results together with [WZ1] partially support monotonicity. Both conclusions are load-bearing for the paper’s contribution. Their validity depends on the (unavailable) equality-case analysis and on the precise relationship between the new inequalities and the monotonicity statement in [WZ1]. These points cannot be checked from the abstract alone.
minor comments (2)
- [Abstract] The abstract is clear on the two comparison ranges and on the PE setting, but does not record the dimension of the conformal infinity or any curvature/asymptotic hypotheses beyond the PE condition. These should be stated explicitly in the introduction of the full manuscript for the reader’s convenience.
- [Abstract / references] The citation [WZ1] is essential to the monotonicity discussion; the full manuscript should make the precise statement of [WZ1] that is being invoked fully explicit so that the ‘partial evidence’ claim can be assessed independently.
Circularity Check
Abstract-only review: no circular reduction of the claimed comparison inequalities is visible; ordinary self-citation of [WZ1] is not load-bearing for the new results.
full rationale
Only the abstract is available. It states that comparison inequalities between fractional Yamabe constants (P_1 vs P_{2γ} for γ∈(1/2,1) and P_2 vs P_{2γ} for γ∈(1,2)) are derived on the conformal infinity of a Poincaré-Einstein manifold, with equality cases yielding rigidity, and that together with [WZ1] this partially supports monotonicity. No equations, definitions, or proof steps appear, so no self-definitional identity, fitted-parameter-as-prediction, uniqueness theorem imported from the same authors, ansatz smuggled via citation, or renaming of a known result can be exhibited by quotation. The sole self-citation ([WZ1]) is invoked only for the ancillary monotonicity discussion, not as the justification of the new comparison inequalities themselves; that is ordinary related-work citation, not a circular forcing of the central claims. Under the hard rules requiring a concrete quote-and-reduction for any circularity flag, the honest finding is no significant circularity. The PE-manifold and γ-range hypotheses are ordinary load-bearing assumptions, not circularities. Full-text audit would be needed to reassess.
Axiom & Free-Parameter Ledger
axioms (3)
- domain assumption Ambient manifold is Poincaré-Einstein with well-defined conformal infinity on which fractional GJMS operators P_{2γ} are defined.
- domain assumption Fractional orders γ lie in (1/2,1) for the P_1 comparison and in (1,2) for the P_2 comparison.
- domain assumption Standard analytic properties of fractional GJMS operators and fractional Yamabe constants (existence, variational characterization, conformal covariance) as developed in the prior literature including [WZ1].
read the original abstract
In this paper, we mainly focus on the fractional GJMS operators $P_{2\gamma}$ which are defined on the conformal infinity of a Poincar\'{e}-Einstein manifold. We derive two comparison inequalities of the fractional Yamabe constants associated to the fractional GJMS operators. One is between $P_{1}$ and $P_{2\gamma}$ for $\gamma\in (1/2,1)$, and the other is between $P_{2}$ and $P_{2\gamma}$ for $\gamma\in (1,2)$. They both imply the rigidity theorems by characterizing the equalities. Together with the result in \cite{WZ1}, we partially provide some evidence for the monotonicity of the fractional Yamabe constants.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.