2025-11-23T18:04:17.272164

A new renormalized volume type invariant

Wu
In this paper, we define a new conformal invariant on complete non-compact hyperbolic surfaces that can be conformally compactified to bounded domains in $\mathbb{C}$. We study and compute this invariant up to one-connected surfaces. Our results give a new geometric criterion for choosing canonical representations of bounded domains in $\mathbb{C}$.
academic

A new renormalized volume type invariant

Basic Information

  • Paper ID: 2309.12268
  • Title: A new renormalized volume type invariant
  • Author: Wu Jinyang
  • Classification: math.DG (Differential Geometry), math.CV (Complex Analysis)
  • Submission Date: September 28, 2023 (Revised December 20, 2024)
  • Paper Link: https://arxiv.org/abs/2309.12268

Abstract

This paper defines a new conformal invariant on complete noncompact hyperbolic surfaces that can be conformally compactified to bounded domains in C\mathbb{C}. The author investigates and computes this invariant up to the doubly connected case. The results provide new geometric criteria for selecting standard representations of bounded domains in C\mathbb{C}.

Research Background and Motivation

Problem Background

  1. Limitations of Classical Theory: In the two-dimensional case, the renormalized volume of conformally compact hyperbolic Einstein (CCE) manifolds is a topological invariant. According to references 14, Corollary 3.5 and 10, Appendix A.1, the renormalized volume of a conformally compact hyperbolic surface (M,gM)(M, g_M) equals −2πχ(M)-2\pi\chi(M), which limits its applications in geometric analysis.
  2. Standard Representation Problem: For complete noncompact hyperbolic surfaces that can be conformally compactified to bounded domains in C\mathbb{C}, there exist multiple equivalent compactification choices. How to select a standard geometric representation is an important problem.
  3. Limitations of Existing Classifications:
    • The Riemann mapping theorem shows that all simply connected domains (except C\mathbb{C}) are conformally equivalent to the disk
    • Doubly connected regions are conformally equivalent to annuli {z∈C:β<∣z∣<1}\{z \in \mathbb{C}: \beta < |z| < 1\}, where 0≤β<10 \leq \beta < 1
    • For multiply connected domains, existing classification results, while complete, lack geometric intuition

Research Motivation

This paper aims to investigate a new standard representation method through appropriate geometric considerations, providing an alternative invariant to renormalized volume for the two-dimensional case, and constructing it using the geometric meaning of the next term in the boundary expansion (1.3).

Core Contributions

  1. New Invariant Definition: Defines the renormalized volume type invariant Λ(M,gM)\Lambda(M, g_M), which is conformally invariant and provides richer geometric information than renormalized volume in the two-dimensional case.
  2. Complete Computation: For the doubly connected case, provides the exact formula for Λ(M,gM)\Lambda(M, g_M): Λ(M,gM)=2π23[(πln⁡β)2+1]\Lambda(M, g_M) = \frac{2\pi^2}{3}\left[\left(\frac{\pi}{\ln\beta}\right)^2 + 1\right]
  3. Rigidity Theorem: Proves that equality holds if and only if the domain Ω\Omega is the image of B1−BβB_1 - B_\beta under translations and similarity transformations.
  4. Geometric Interpretation: Provides new geometric interpretation for the exponent β\beta of the continuous modulus.
  5. Existence Results: Proves existence and uniqueness of solutions to the Liouville equation on domains with punctured singularities (Proposition 1.4).

Detailed Methodology

Problem Setup

Study complete noncompact hyperbolic surfaces (M,gM)(M, g_M) that can be conformally compactified to bounded domains Ω⊂C\Omega \subset \mathbb{C}. The goal is to define and compute a new conformal invariant to characterize the geometric properties of such surfaces.

Core Construction

1. Basic Setup

Let (M,gM)(M, g_M) be a complete noncompact hyperbolic surface and Ω⊂C\Omega \subset \mathbb{C} its conformal compactification. There exists a smooth function uu such that (M,e−2ugM)(M, e^{-2u}g_M) is isometric to (Ω,gE)(\Omega, g_E), where gEg_E is the Euclidean metric.

Setting v=e−uv = e^{-u}, both uu and vv satisfy the equations:

\Delta u = e^{2u} & \text{in } \Omega \\ u = +\infty & \text{on } \partial\Omega \end{cases}$$ $$\begin{cases} v\Delta v = |\nabla v|^2 - 1 & \text{in } \Omega \\ v = 0 & \text{on } \partial\Omega \end{cases}$$ #### 2. Boundary Asymptotic Expansion For $C^{3,\alpha}$ boundary components, $v$ has the asymptotic expansion: $$v(z) = d(z) - \frac{1}{2}\kappa(y)d(z)^2 + c_3(y)d(z)^3 + O(d^{3+\alpha}(z))$$ where $d(z)$ is the distance to the boundary, $\kappa(y)$ is the curvature, and $c_3(y)$ is the first global term. #### 3. Definition of Function $\lambda$ For the outermost boundary component $C$, define: $$\lambda(\Omega, v) = -\int_C dl \cdot \int_C c_3(y) dl(y)$$ #### 4. Definition of Invariant $\Lambda$ $$\Lambda(M, g_M) = \inf_\Omega \left\{\lambda(\Omega, v) \mid (M, v^2g_M) \text{ is isometric to } (\Omega, g_E) \text{ and } \Omega \text{'s outermost boundary is } C^{3,\alpha}\right\}$$ ### Technical Innovations 1. **Geometric Intuitiveness**: Unlike the conformal transformation method of Shen-Wang, this paper employs more refined models and Fourier series techniques. 2. **Global Geometric Information**: Utilizes the global term $c_3(y)$ in the boundary expansion, which contains global geometric information of the domain $\Omega$. 3. **Rigidity Analysis**: Establishes connections between rigidity conditions and Möbius transformations through Laurent expansion and index theory. ## Main Results ### Theorem 1.3 (Main Result) Let $(M, g_M)$ be a complete noncompact hyperbolic doubly connected surface. Then: $$\Lambda(M, g_M) = \frac{2\pi^2}{3}\left[\left(\frac{\pi}{\ln\beta}\right)^2 + 1\right]$$ where $0 < \beta < 1$ is the continuous modulus exponent such that $\Omega_0$ is biholomorphic to $B_1 - B_\beta$. ### Inequality Results For any bounded domain $\Omega$ biholomorphic to $\Omega_0$ with $C^{3,\alpha}$ outermost boundary: $$\lambda(\Omega, v) \geq \frac{2\pi^2}{3}\left[\left(\frac{\pi}{\ln\beta}\right)^2 + 1\right]$$ Equality holds if and only if $\Omega$ is the image of $B_1 - B_\beta$ under a composition of translations and similarity transformations. ### Technical Lemmas #### Lemma 2.2 Let $f: B_1 - B_\beta \to \mathbb{C}$ be an orientation-preserving biholomorphic map. Then there exists a holomorphic function $g: B_1 - B_\beta \to \mathbb{C}$ such that $g^2 = 1/\partial_z f$. #### Lemma 3.2 (Generalization of Shen-Wang Formula) $$\int_C -6c_3 dl = \int_{\partial B_1} \frac{-6c_{\beta,3}}{|f_z|} + 2\pi \fint_{\partial B_1} \frac{\partial^2}{\partial r^2}\frac{1}{|f_z|} - 2\pi \fint_{\partial B_1} \frac{\partial}{\partial r}\frac{1}{|f_z|}$$ ## Proof Strategy ### Inequality Proof (Section 3) 1. **Conformal Transformation Relations**: Establish the relationship between $v$ and $v_\beta$: $v = (v_\beta \cdot |f_z|) \circ f^{-1}$ 2. **Fourier Analysis**: Using the Laurent expansion $g = \sum_{k=-\infty}^{\infty} b_k z^k$, prove: $$r^2 \fint_{\partial B_r} \frac{\partial^2}{\partial r^2}|g^2| - r \fint_{\partial B_r} \frac{\partial}{\partial r}|g^2| = \sum_{k=-\infty}^{\infty} |b_k|^2 2k(2k-2)r^{2k} \geq 0$$ 3. **Hölder Inequality Application**: $$\lambda(\Omega, v) \geq \frac{1}{6}\left[\left(\frac{\pi}{\ln\beta}\right)^2 + 1\right] \cdot \int_{\partial B_1} \frac{1}{|f_z|} dl \cdot \int_{\partial B_1} |f_z| dl \geq \frac{2\pi^2}{3}\left[\left(\frac{\pi}{\ln\beta}\right)^2 + 1\right]$$ ### Rigidity Proof (Section 4) 1. **Analysis of Function $B(t)$**: Define $B(t) = A_{tt}(t) - 2A_t(t)$, where $A(t) = \frac{1}{2\pi e^t} \int_{\partial B_{e^t}} \frac{1}{|f_z|}$ 2. **Equality Condition Analysis**: Equality holds if and only if $\lim_{t \to 0} B(t) = 0$ and the Hölder inequality achieves equality 3. **Möbius Transformation Characterization**: Proves this is equivalent to $f$ being a Möbius transformation with $|f_z|$ constant on $\partial B_1$ ## Related Work ### Shen-Wang's Work [13] - First investigated the function $\lambda$, proving $\lambda(\Omega, v) \geq 0$ with equality if and only if $\Omega$ is a disk - For multiply connected domains, proved $\lambda(\Omega, v) > \frac{2\pi^2}{3}$ - This paper's work represents a refinement and generalization of their results ### Renormalized Volume Theory - In higher dimensions, renormalized volume is the preferred conformal invariant - In the two-dimensional case, renormalized volume is merely the topological invariant $-2\pi\chi(M)$ - This paper provides an alternative invariant for the two-dimensional case ### Conformally Compact Einstein Manifolds - Similar research interests exist in the four-dimensional case [2-5] - The methods in this paper may provide insights for higher-dimensional cases ## Conclusions and Discussion ### Main Conclusions 1. Successfully defines a new conformal invariant $\Lambda(M, g_M)$, providing an effective alternative to renormalized volume for two-dimensional CCE manifolds 2. Completely resolves the doubly connected case, providing exact computational formulas and rigidity characterization 3. Provides new geometric criteria for standard representations of bounded domains in $\mathbb{C}$ ### Limitations 1. Currently handles only the doubly connected case; the general multiply connected case requires further investigation 2. The case of nonzero genus conformally compact hyperbolic surfaces has not been addressed 3. Generalization to higher-dimensional conformally compact hyperbolic manifolds requires new techniques ### Future Directions 1. **General Multiply Connected Domains**: Seek correct models to handle the general multiply connected case 2. **Nonzero Genus Case**: Define $\Lambda(M, g_M)$ for conformally compact hyperbolic surfaces of nonzero genus 3. **Higher-Dimensional Generalization**: Consider similar invariants for general conformally compact hyperbolic manifolds 4. **New Classification Theory**: Classification of bounded domains based on geometric invariants ## In-Depth Evaluation ### Strengths 1. **Mathematical Rigor**: Complete and rigorous proofs with refined technical handling, particularly in the application of Laurent expansion and index theory 2. **Geometric Intuitiveness**: Provides new geometric interpretation of the continuous modulus exponent $\beta$, enhancing understanding of doubly connected domain geometry 3. **Methodological Innovation**: Compared to Shen-Wang's conformal transformation method, the use of Fourier series techniques is more direct and effective 4. **Completeness**: Forms a complete theoretical system from existence, computation, to rigidity analysis ### Shortcomings 1. **Limited Scope of Applicability**: Current results are restricted to the doubly connected case, which may be insufficient for practical applications 2. **Technical Complexity**: Proofs involve multiple technical lemmas, which may affect the accessibility of the results 3. **Deeper Geometric Meaning Awaits Development**: While providing a new invariant, its deeper geometric significance requires further elucidation ### Impact and Significance 1. **Theoretical Contribution**: Provides new tools and perspectives for two-dimensional conformal geometry 2. **Methodological Value**: The application of Fourier analysis in conformal geometry may inspire other research 3. **Application Prospects**: May have impact in related fields such as complex analysis and partial differential equations ### Applicable Scenarios - Two-dimensional conformal geometry research - Classification problems for hyperbolic surfaces - Boundary value problems for Liouville equations - Geometric analysis in complex domains ## References The paper cites 14 important references, primarily including: - [13] Shen-Wang's foundational work on rigidity theorems for Liouville equations - [11] Classical results of the Kellogg-Warschawski theorem - [9] Lazer-McKenna's important work on existence and uniqueness - [1] Ahlfors' classical textbook on complex analysis