Asymptotic behavior of complete conformal metric near singular boundary

Weiming Shen; Yue Wang

REVIEW 2 major objections 6 minor 21 references

Asymptotic behavior of complete conformal metric near singular boundary

T0 review · 2 major / 6 minor · reviewed 2026-08-07 · deepseek-v4-flash

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

Pith's one-line read This paper proves that solutions of the singular Yamabe equation near a boundary made of transversely crossing $C^2$ hypersurfaces are approximated to first order by the model solution in the tangent cone, with error bounded by a constant…

desk verdict A genuine extension to general background metrics with a solid n≥4 proof; the n=3 linear rate rests on an unproved extension of a same-author theorem, so accept with a targeted referee request. read the letter →

arxiv 2506.04591 v1 pith:7MEHQHX5 submitted 2025-06-05 math.AP math.DG

Weiming Shen , Yue Wang This is my paper

classification math.APmath.DG MSC 35J6035J7558J0553C21

keywords singularYamabeproblemLoewner-NirenbergasymptoticbehaviortangentconeboundarycompleteconformalmetriceigenvalueestimateC2-diffeomorphism

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

The paper studies positive solutions of the singular Yamabe problem with negative constant scalar curvature in domains whose boundary has a corner: finitely many $C^2$ hypersurfaces meeting at a point with linearly independent normals. Its central result states that such a solution $u$ is approximated, up to an error linear in the distance to the corner, by the solution $u_{V_0}$ of the flat Euclidean problem in the tangent cone $V_0$, after pulling back by a $C^2$-diffeomorphism $T_g$ that straightens the curved boundary faces onto the cone faces. This gives an optimal first-order description of the singular Yamabe metric for background metrics that are not necessarily conformally flat. When the boundary is locally a fixed cone, the approximation error is improved to a higher power of distance, with exponent $2$ when $n \ge 6$ or when the cone is convex.

What carries the argument

The proof is carried by three objects. First, the cone model solution $u_{V_0}(x)=|x|^{-(n-2)/2}\rho(\theta)^{-(n-2)/2}$, where $\rho=g^{-2/(n-2)}$ solves the spherical boundary-value problem (2.1)-(2.2), provides the comparison function that captures the leading blow-up rate. Second, the $C^2$-diffeomorphism $T_g$ is defined through $g$-signed distances to the curved hypersurfaces $S_i$ matched with Euclidean signed distances to the tangent planes $P_i$; it flattens the faces and satisfies the Jacobian identity $T_g(0)=\mathrm{Id}$, so the error it introduces is controlled. Third, the admissible error exponent is governed by the first eigenvalue $\lambda_1(L_\Sigma)$ of the singular spherical operator $L_\Sigma=-\Delta_\theta + \frac{n(n+2)}{4\rho^2}$. The paper proves $\lambda_1>3/4$ when $n=3$ and uses the first eigenfunction $\phi_1$ to build barrier functions of the form $u_{V_0}(1+A_0 r^2 + A_1 r^{(6-n)/2}+A_2 r^{(6-n)/2}\phi_1)$ (with logarithmic or $\mu_1$-power variants in the borderline cases), which produce the matching upper and lower bounds by the maximum principle.

What would settle it

Compute the first eigenvalue of $L_\Sigma$ on $\Sigma = V^c \cap S^2$, where $V^c$ is the complement of a convex trihedral cone: Proposition 4.5 predicts $\lambda_1>3/4$, and finding $\lambda_1\le3/4$ would refute the three-dimensional linear rate. Alternatively, solve numerically the flat Loewner-Nirenberg problem in $\mathbb{R}^3\setminus(\overline{V}\cap B_1(0))$ for such a cone and test the prediction $|u/u_V-1|\le C|x|$; a consistently superlinear ratio would contradict the comparison step borrowed from the bounded-domain theorem.

Watch

Extended reading notes

Core claim

On its own terms, the paper's discovery is that the singular Yamabe metric forgets the curvature of the boundary at first order: near a singular boundary point, every local positive solution $u$ of (1.6)-(1.7) satisfies $\left| \frac{u(x)}{u_{V_0}(T_g x)} - 1 \right| \le C d_g(x,0)$, where $V_0$ is the tangent cone of $\Omega$ at $0$, $T_g$ is the $C^2$-diffeomorphism built from signed distances to the curved faces, and $d_g$ is the distance with respect to the background metric. The map $T_g$ sends the curved boundary to the faces of $V_0$ and sends $\Omega$ near $0$ to $V_0$; in the special case $k=1$, $u_{V_0}(T_g x)$ is just a power of the $g$-signed distance. The linear error term cannot in general be improved when a boundary hypersurface is curved, and for domains that coincide with a cone near the corner the same method yields a strictly better exponent: $\alpha=2$ for $n\ge6$, $\alpha=2$ for convex cones in $n=3,4,5$, and $\alpha=\mu_1>1$ in the remaining low-dimensional cases.

Load-bearing premise

Everything in the sharp three-dimensional statement depends on the claim that a comparison theorem proved for bounded domains also holds for the exterior of a cone; if that extension is false, the eigenvalue lower bound $\lambda_1>3/4$ may fail and the linear error estimate in $n=3$ would not follow.

Editorial extensions

If this is right

Near a corner formed by $k$ transverse $C^2$ faces, the singular Yamabe conformal factor is determined to first order by the tangent cone, so the leading-order blow-up is universal and independent of the background metric.
For a curved boundary, the linear error is optimal, meaning no higher-order universal expansion exists without additional assumptions such as conical structure.
For locally conical domains, the second-order term is available: the error is $O(d_g^2)$ for $n\ge6$ and for convex cones, giving a genuine asymptotic expansion.
The proof gives a route to transfer flat-space singular-domain results to arbitrary background metrics, since the general equation is handled as a structured perturbation of the Euclidean Laplacian.
In dimension three, the optimal rate is tied to the spectral bound $\lambda_1>3/4$; any application needing better than linear control will have to cross that eigenvalue threshold.

Reading between the lines

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

If the exterior-cone extension of [12, Theorem 1.1] is made fully rigorous, the $n=3$ linear rate becomes unconditional; until then, the three-dimensional case contains a step whose failure would expose the estimate.
The method suggests that the next-order coefficient in the curved-face expansion is a geometric quantity of the faces, for instance a mean-curvature-type term encoded in $T_g$, which could be computed explicitly for simple two-face corners.
The same barrier-plus-eigenvalue strategy may apply to the positive-scalar-curvature singular Yamabe problem near corners, where the model solution would be radial rather than cone-harmonic and the relevant spectrum is that of the round sphere cross-section.
A numerical experiment in $\mathbb{R}^3$ with a domain bounded by two curved surfaces meeting at a corner could measure the ratio $|u/u_{V_0}(T_g x)-1|/d_g(x,0)$; a bounded ratio would support the linear rate, while divergence would indicate that the eigenvalue bound or its exterior-cone extension fails.

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

Short version: this is a real advance—first-order asymptotics for the singular Yamabe problem at crossing C2 boundaries with a general background metric—and the proof structure is serious. The n=3 case, however, hangs on a one-sentence extension of a same-author theorem to exterior domains, and that needs to be looked at before the paper is accepted.

What's new: Theorems 1.2 and 1.3 are not in [11,12]. Moving from Euclidean background to a metric g is the substantive step: the authors build the coordinate map Tg from g-signed distances, control the conformal Laplacian as a perturbation satisfying (3.2), and get the sharp linear rate. The exact-cone improvement (α>1, α=2 for n≥6 or convex) is also new. The eigenvalue lower bound λ1>3/4 in dimension 3 is load-bearing, and Proposition 4.5 is where I got stuck.

The soft spot is real. The proof of Proposition 4.5 invokes the expansion u=u_Vc(1+O(|x|)) from [12, Theorem 1.1] in the unbounded exterior domain R^3\(V∩B1(0)). The theorem is stated for bounded domains, and the authors only say 'its proof is also applicable.' If [12]'s proof uses global boundedness—a global supersolution, Kelvin transform, or global eigenvalue control—the extension fails. The stress-test note is right that this is the single point to check line by line. There's also a potential circularity: if [12]'s own linear-rate proof needs λ1>3/4, then Proposition 4.5 would be assuming what it proves. I can't tell without [12] in hand; the paper should either supply the argument or state the extension as a lemma with proof.

Also, the claim that the linear rate cannot be improved when a hypersurface is curved is asserted in the introduction but not proved or referenced. That's a minor issue—the main theorems are upper bounds—but it should be fixed.

Overall: the central argument is coherent and the result is worth having. The n≥4 part of Theorem 1.2 rests on [12] directly and looks solid. The n=3 part is conditional on closing the Proposition 4.5 gap. This deserves a serious referee, and the referee should be asked specifically to verify the exterior-domain extension and the non-circularity. I'd bring it to reading group.

Referee Report

2 major / 6 minor

Summary. The paper studies the singular Yamabe problem (1.1)-(1.2) with negative constant scalar curvature on domains whose boundary has a conical singularity at 0. Under Assumption 1.1, for a background metric g that is not necessarily conformally flat and a boundary consisting locally of k C2 hypersurfaces with linearly independent normals at 0, Theorem 1.2 asserts that the solution u is approximated by the tangent cone solution u_{V0} composed with a C2 diffeomorphism T_g, with relative error O(d_g(x,0)). For domains that are cones near 0, Theorem 1.3 gives the improved O(d_g^alpha) with alpha>1, and alpha=2 when n>=6 or V0 is convex. The proof combines perturbation barriers (Sections 3 and 5), a comparison with tangent cones through the diffeomorphism T (Section 2), and an eigenvalue analysis of a spherical operator with singular coefficients (Section 4), including a lower bound lambda1>3/4 that is used for the three-dimensional linear rate.

Significance. If the identified gaps are closed, the paper makes a significant contribution: it extends the Loewner-Nirenberg boundary asymptotics from smooth boundaries and Euclidean backgrounds to conical boundaries with non-conformally-flat metrics, and it obtains the sharp first-order error. The construction of T_g using signed distances is geometrically natural and yields explicit dependence of the constants. The paper also contains useful auxiliary results, including existence and uniqueness in Lipschitz domains for a class of elliptic operators and eigenvalue estimates. The n=3 result is delicate and rests on a new strict eigenvalue bound; verifying that bound is the main correctness risk. The paper is clearly written, with explicit barrier computations, and its claims are falsifiable.

major comments (2)

[§4, Proposition 4.5] The proof of Proposition 4.5 depends on the assertion that Theorem 1.1 of [12], stated for bounded domains, also applies to the exterior cone domain Omega = R^3 \ (V ∩ B1(0)); the manuscript states 'its proof is also applicable to the present case' without giving the necessary argument. This extension is load-bearing because Proposition 4.5 is the only source of the strict lower bound lambda1(L_Sigma) > 3/4, and Theorem 6.2 explicitly requires (3/4 - lambda1) < 0 to make the coefficient of A2 phi1 negative in the supersolution. Please supply a proof of the extension, a precise statement of the conditions on the solution at infinity, or a reference that covers the exterior case.
[§4, Proposition 4.5] Please rule out a circular dependence: the same expansion u = u_{V^c}[1+O(|x|)] imported from [12] is used to contradict the sublinear correction |x|^{mu1} with mu1 < 1. If the proof of [12, Theorem 1.1] in dimension three itself uses an eigenvalue lower bound equivalent to lambda1 > 3/4, then Proposition 4.5 would be circular. The independence of the cited theorem from the strict inequality proved here should be checked and documented.

minor comments (6)

[§3, Lemma 3.2] The assertion that the proofs of Lemma 3.2 and Lemma 3.4 in [12] can be modified to yield (3.7)-(3.8) in arbitrary Lipschitz domains is not supported by any details. If the main theorems only need C2-hypersurface boundaries, please restrict the lemma accordingly; if the Lipschitz version is intended, provide the modification.
[§5, equation (5.2)] The statement 'By Proposition 4.5, we always have mu1 > max{(n-2)/2,1}' is not accurate for n>=4, since Proposition 4.5 is proved only for Sigma ⊂ S^2. The conclusion nevertheless follows from lambda1 > 0, so please correct the citation.
[§6, Theorem 6.2] The maximum principle step near the singular boundary is summarized as 'similarly as in the proof of Lemma 3.3'; because both u and u+ blow up on ∂Omega, the boundary comparison is not immediate and the limiting argument should be spelled out.
[§2, Definition 2.1] The phrase 'the normal vectors of P1,...,Pk' should read 'the normal vectors of S1,...,Sk' (or 'the tangent planes P_i are mutually distinct').
[Introduction] There is a typo in the Introduction: 'Rencently' should be 'Recently'.
[§4, Proposition 4.6] Proposition 4.6 is not used later in the paper; consider moving it to a remark or connecting it explicitly to the discussion of why the eigenvalue method is dimension-dependent.

Circularity Check

0 steps flagged · score 0.0 of 10

No circularity: the n=3 rate rests on a formally unproved extension of a same-author theorem, but that is a correctness gap, not a reduction of the target estimate to an input.

full rationale

The derivation chain is not circular. The paper compares the curved-metric solution u to the Euclidean-domain solution via Lemma 3.3, then approximates the Euclidean solution by the tangent-cone solution using the same-author result [12, Theorem 1.1], and finally improves the rate for n=3 using the eigenvalue lower bound λ1>3/4 from Proposition 4.5 and the C2-diffeomorphism Tg (Theorem 6.2). None of these steps defines the conclusion in terms of itself: no parameter is fitted to a subset of data and then renamed a prediction; the tangent-cone solution uV0 is not constructed from the target solution u; the eigenvalue λ1 is estimated by a separate contradiction argument. The only flagged issue is Proposition 4.5, which invokes [12, Theorem 1.1] for an exterior cone domain even though that theorem is stated for bounded domains, with the sentence: 'We point out that although Theorem 1.1 in [12] is stated in the case of bounded domains, its proof is also applicable to the present case.' This is a missing justification for an extension of a cited theorem, and it is load-bearing for the n=3 case of Theorem 1.2, but it is not circular: the cited expansion u=uVc(1+O(|x|)) is not the same as the eigenvalue bound being proved, nor is it defined in terms of that bound. Thus the issue belongs to correctness risk, not circularity. The heavy use of same-author papers [11,12,13] is real support with stated hypotheses and proofs, and the central result extends those results to non-conformally-flat background metrics, so the circularity score is 0.

Assumptions & free parameters 0 free parameters · 6 assumptions · 0 invented entities

The proofs depend on a set of external results, mostly from the authors' earlier work [11,12,13], and on the unproved extension of [12] to unbounded cone exteriors. No free parameters fitted to data and no new physical or geometric entities are introduced.

assumptions (6)

domain assumption Unique positive solution u_V of (1.3)-(1.4) in every Lipschitz infinite cone V, of the form u_V = |x|^{-(n-2)/2} g(theta), with g solving the spherical equation (2.1)-(2.2).
Invoked in Section 2 and throughout to define the tangent-cone comparison solution u_{V0}; taken from the cited paper [11].
domain assumption [12, Theorem 1.1]: for Euclidean background, |tilde u - u_{V0}(T x)| <= C u_{V0}(T x)|x| in domains bounded by C2 hypersurfaces.
Used directly in Theorem 6.1 to obtain the linear Euclidean comparison before passing to the general metric.
domain assumption The first eigenfunction phi_1 of L_Sigma exists, is positive, belongs to H^1_0 cap C^infty cap C, and satisfies the estimates (4.5); the cone solution satisfies the gradient estimates (5.7).
Taken from [11] (Theorem 4.4 and Lemma 2.4); essential for the barrier constructions in Sections 5 and 6.
ad hoc to paper The Euclidean asymptotic expansion u = u_{V^c}[1 + O(|x|)] in [12, Theorem 1.1], stated for bounded domains, remains valid for the exterior of a cone intersected with B1(0).
Asserted in the proof of Proposition 4.5 with the comment that the proof 'is also applicable'; without this extension the n = 3 eigenvalue lower bound and Theorem 6.2 lack support.
standard math Standard maximum principle, Schauder interior estimates, and the normal-coordinate expansion g_ij = delta_ij + O(|x|^2) for the background metric.
Used throughout the barrier arguments; the expansion is invoked in the proofs of Theorem 1.3 and Theorem 1.2.
domain assumption The conformal Laplacian -L_g in normal coordinates satisfies the structure condition (3.2) for some positive constant C_{L_g}.
Used to apply the abstract operator theorems 5.1 and 6.1 to the singular Yamabe equation; follows from the normal-coordinate expansion.

how reviews work

0 comments

Cite this review

Pith. "Pith review of Asymptotic behavior of complete conformal metric near singular boundary." pith.science (2026). https://pith.science/paper/7MEHQHX5

@misc{pith2026250604591,
  author       = {Pith},
  title        = {Pith review of: Asymptotic behavior of complete conformal metric near singular boundary},
  year         = {2026},
  howpublished = {\url{https://pith.science/paper/7MEHQHX5}},
  note         = {Machine review of arXiv:2506.04591}
}

read the original abstract

The boundary behavior of the singular Yamabe problem has been extensively studied near sufficiently smooth boundaries, while less is known about the asymptotic behavior of solutions near singular boundaries. In this paper, we study the asymptotic behaviors of solutions to the singular Yamabe problem with negative constant scalar curvature near singular boundaries and derive the optimal estimates for the background metric which is not necessarily conformally flat. In particular, we prove that the solutions are well approximated by the solutions in tangent cones at singular points on the boundaries.

Discussion (0). Sign in to comment.

Reference graph

Works this paper leans on

21 extracted references · 21 canonical work pages

[12]

Q. Han, W. Shen, The Loewner-Nirenberg problem in singular domains, J. Funct. Anal., 279 (2020), 108604

work page 2020
[1]

Andersson, P

L. Andersson, P. Chru´ sciel, H. Friedrich,On the regularity of solutions to the Yamabe equation and the existence of smooth hyperboloidal initial data for Einstein field equations , Comm. Math. Phys., 149(1992), 587-612

work page 1992
[2]

Aviles, R

P. Aviles, R. C. McOwen, Complete conformal metrics with negative scalar curvature in compact Riemannian manifolds, Duke Math. J., 56(1988), 395-398

work page 1988
[3]

Caffarelli, B

L. Caffarelli, B. Gidas, J. Spruck, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth , Comm. Pure Appl. Math., 42(1989), 271-297

work page 1989
[4]

S-Y. A. Chang, S. E. Mckeown, P. Yang, Scattering on singular Yamabe metrics, Rev. Mat. Iberoam. 38 (2022), no. 7, 2153-2184

work page 2022
[5]

X. Chen, M. Lai, F. Wang, Escobar-Yamabe compactifications for Poincar´ e-Einstein manifolds and rigidity theorems, Adv. Math., 343(2019), 16-35

work page 2019
[6]

C. R. Graham, Volume renormalization for singular Yamabe metrics , Proc. Amer. Math. Soc., 145 (2017), 1781-1792

work page 2017
[7]

C. R. Graham, M. Gursky, Chern-Gauss-Bonnet formula for singular Yamabe metrics in dimension four, Indiana Univ. Math. J. 70 (2021), no. 3, 1131-1166

work page 2021

Show all 21 references

[8]

Gursky, Q

M. Gursky, Q. Han, Non-existence of Poincar´ e-Einstein manifolds with prescribed conformal infinity, Geom. Funct. Anal., 27(2017), 863-879

2017
[9]

Gursky, J

M. Gursky, J. Streets, M. Warren, Existence of complete conformal metrics of negative Ricci curva- ture on manifolds with boundary , Cal. Var. & P. D. E., 41(2011), 21-43

2011
[10]

Q. Han, X. Li, Y. Li, Asymptotic expansions of solutions of the Yamabe equation and the σk-Yamabe equation near isolated singular points , Comm. Pure Appl. Math. 74 (2021), 1915-1970

2021
[11]

Q. Han, X. Jiang, W. Shen, The Loewner-Nirenberg problem in cones , J. Funct. Anal., 287, (8), (2024), 110566

2024
[13]

Q. Han, W. Shen, On the negativity of Ricci curvatures of complete conformal metrics, Peking Math. J. 4 (2021), no. 1, 83-117

2021
[14]

Z.-C. Han, J. Xiong, L. Zhang, Asymptotic behavior of solutions to the Yamabe equation with an asymptotically flat metric , J. Funct. Anal., Volume 285, Issue 4, 15 August 2023, 109982

2023
[15]

Li, Two flow approaches to the Loewner-Nirenberg problem on manifolds , J

G. Li, Two flow approaches to the Loewner-Nirenberg problem on manifolds , J. Geom. Anal. 32 (2022), no. 1, Paper No. 7, 30 pp

2022
[16]

Y.-Y. Li, L. Nguyen, J. Xiong, Regularity of viscosity solutions of the σk-Loewner-Nirenberg problem, Proc. Lond. Math. Soc. (3) 127 (2023), no. 1, 1-34

2023
[17]

Loewner, L

C. Loewner, L. Nirenberg, Partial differential equations invariant under conformal or projective transformations, Contributions to Analysis, 245-272, Academic Press, New York, 1974. ASYMPTOTIC BEHA VIOR OF COMPLETE CONFORMAL METRIC 31

1974
[18]

Korevaar, R

N. Korevaar, R. Mazzeo, F. Pacard and R. Schoen, Refined asymptotics for constant scalar curvature metrics with isolated singularities , Invent. Math., 135(1999), 233-272

1999
[19]

F. C. Marques, Isolated singularities of solutions to the Yamabe equation , Calc.Var. & P. D. E., 32,(2008),349-371

2008
[20]

Mazzeo, Regularity for the singular Yamabe problem , Indiana Univ

R. Mazzeo, Regularity for the singular Yamabe problem , Indiana Univ. Math. Journal, 40(1991), 1277-1299

1991
[21]

Xiong, L

J. Xiong, L. Zhang, Isolated singularities of solutions to the Yamabe equation in dimension 6 , Int. Math. Res. Not., Volume 2022, Issue 12, 9571-9597 School of Mathematical Sciences, Capital Normal University, Beijing, 100048, China Email address : wmshen@aliyun.com School of...

2022

Pith tools

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

[1] [12]

Q. Han, W. Shen, The Loewner-Nirenberg problem in singular domains, J. Funct. Anal., 279 (2020), 108604

work page 2020

[2] [1]

Andersson, P

L. Andersson, P. Chru´ sciel, H. Friedrich,On the regularity of solutions to the Yamabe equation and the existence of smooth hyperboloidal initial data for Einstein field equations , Comm. Math. Phys., 149(1992), 587-612

work page 1992

[3] [2]

Aviles, R

P. Aviles, R. C. McOwen, Complete conformal metrics with negative scalar curvature in compact Riemannian manifolds, Duke Math. J., 56(1988), 395-398

work page 1988

[4] [3]

Caffarelli, B

L. Caffarelli, B. Gidas, J. Spruck, Asymptotic symmetry and local behavior of semilinear elliptic equations with critical Sobolev growth , Comm. Pure Appl. Math., 42(1989), 271-297

work page 1989

[5] [4]

S-Y. A. Chang, S. E. Mckeown, P. Yang, Scattering on singular Yamabe metrics, Rev. Mat. Iberoam. 38 (2022), no. 7, 2153-2184

work page 2022

[6] [5]

X. Chen, M. Lai, F. Wang, Escobar-Yamabe compactifications for Poincar´ e-Einstein manifolds and rigidity theorems, Adv. Math., 343(2019), 16-35

work page 2019

[7] [6]

C. R. Graham, Volume renormalization for singular Yamabe metrics , Proc. Amer. Math. Soc., 145 (2017), 1781-1792

work page 2017

[8] [7]

C. R. Graham, M. Gursky, Chern-Gauss-Bonnet formula for singular Yamabe metrics in dimension four, Indiana Univ. Math. J. 70 (2021), no. 3, 1131-1166

work page 2021