Searcharxiv⌕ Search

arXiv subjects

Gunhee Cho

Publications and source records attributed to Gunhee Cho.

At least 37 records · Page 2Linked to original sources

Deterministic--Distance Couplings of Brownian Motions on Radially Isoparametric Manifolds

We develop a unified geometric framework for coadapted Brownian couplings on radially isoparametric manifolds (RIM)--spaces whose geodesic spheres have principal curvatures $κ_1(r),\dots,κ_{n-1}(r)$ depending only on the geodesic radius $r$. The mean curvature of such a geodesic sphere is denoted by $A(r) = \mathrm{Tr}(S_r) = \sum_{i=1}^{n-1} κ_i(r)$, where $S_r$ is the shape operator of the sphere of radius $r$. Within the stochastic two--point Itô formalism, we derive an intrinsic drift--window inequality \[ A(r) - \sum_i |κ_i(r)| \;\le\; ρ'(t) \;\le\; A(r) + \sum_i |κ_i(r)|, \] governing the deterministic evolution of the inter--particle distance $ρ_t = d(X_t, Y_t)$ under all coadapted couplings. We prove that this bound is both necessary and sufficient for the existence of a coupling realizing any prescribed distance law $ρ(t)$, thereby extending the constant--curvature classification of Pascu--Popescu (2018) to all RIM. The endpoints of the drift window correspond to the synchronous and reflection couplings, providing geometric realizations of extremal stochastic drifts. Applications include stationary fixed--distance couplings on compact--type manifolds, linear escape laws on asymptotically hyperbolic spaces, and rigidity of rank--one symmetric geometries saturating the endpoint bounds. This establishes a direct correspondence between radial curvature data and stochastic coupling dynamics, linking Riccati comparison geometry with probabilistic coupling theory.

math.PR↗

Rigidity results with curvature conditions from Lichnerowicz Laplacian and applications

The Bochner technique is a classical tool in global differential geometry for proving vanishing and rigidity results by exploiting curvature conditions. Building on recent extensions of this method to complete non-compact settings by Petersen and Wink, we investigate $L^Q$-harmonic tensors with $Q>1$ governed by the Lichnerowicz Laplacian on complete Riemannian manifolds. Our results generalize Bochner-type theorems to the non-compact realm, revealing new geometric rigidity phenomena not visible in compact cases. We establish vanishing theorems under integral curvature bounds and weighted Poincaré inequalities, and derive conditions under which harmonic tensors must vanish. In particular, we show that on Ricci-flat or Einstein manifolds, curvature tensors such as $\mathrm{Rm}$ or the Weyl tensor $W$ vanish identically under natural $L^Q$-integrability and positivity assumptions on the curvature operator. These results imply strong rigidity: flatness in the Ricci-flat case and constant sectional curvature in the Einstein case. We further apply our framework to closed hypersurfaces in space forms and derive vanishing results for intermediate Betti numbers under positivity conditions on the second fundamental form. Finally, we extend our theory to asymptotically locally Euclidean (ALE) spaces, proving that harmonic Weyl tensors and Codazzi tensors must vanish under curvature positivity and decay conditions. Our analysis also links these results to ADM mass rigidity, establishing new obstructions to nontrivial decaying solutions on ALE 4-manifolds.

math.DG↗

Sharp lower bounds for the first eigenvalue of Steklov-type eigenvalue problems on a compact surface

Let $Ω$ be a compact surface with smooth boundary and the geodesic curvature $k_g \ge {c > 0}$ along $\partial Ω$ for some constant $c \in \mathbb{R}$. We prove that, if the Gaussian curvature satisfies $K \ge -α$ for a constant $α\ge 0$, then the first eigenvalue $σ_1$ of the Steklov-type eigenvalue problem satisfies \[ σ_1 + \fracα{σ_1} \ge c. \] Moreover, equality holds if and only if $Ω$ is a Euclidean disk of radius $\frac{1}{c}$ and $α= 0$. Furthermore, we obtain a sharp lower bound for the first eigenvalue of the fourth-order Steklov-type eigenvalue problem on $Ω$.

math.DG↗

Non-Measure Hyperbolicity of Complex K3 Surfaces

We show that the non-measure hyperbolicity of K3 surfaces -- which M. Green and P. Griffiths verified for certain cases in 1980 -- holds for all K3 surfaces. As a byproduct, we prove the non-measure hyperbolicity of any Hilbert schemes of points on K3 surfaces. We also obtain a new proof of the non-measure hyperbolicity of any Enriques surface.

math.AG↗

Probabilistic Method to Fundamental gap problems on the sphere

We provide a probabilistic proof of the fundamental gap estimate for Schrödinger operators in convex domains on the sphere, which extends the probabilistic proof of F. Gong, H. Li, and D. Luo for the Euclidean case. Our results further generalize the results achieved for the Laplacian by S. Seto, L. Wang, and G. Wei, as well as by C. He, G. Wei, and Qi S. Zhang. The essential ingredient in our analysis is the reflection coupling method on Riemannian manifolds.

math.PR↗

Equivalence of Invariant metrics via Bergman kernel on complete noncompact Kähler manifolds

We study equivalence of invariant metrics on noncompact Kähler manifolds with a complete Bergman metric of bounded curvature. Especially only the boundedness of the ratio between Bergman kernel and the $n$-times wedge product of Bergman metric in any fundamental domain of such a Kähler manifold is required to obtain the equivalence of the Bergman metric and the complete Kähler--Einstein metric. To demonstrate the effectiveness of this method, we consider a two-parameter family of $3$-dimensional bounded pseudoconvex domains \[ E_{p,λ}=\{(x,y,z)\in \mathbb{C}^3 ; (|x|^{2p}+|y|^2)^{1/λ}+|z|^2<1 \},\qquad p,λ>0.\] For this family, boundary limits of the holomorphic sectional curvature of the Bergman metric are not well-defined, and hence previously known methods for comparison of invariant metrics do not work. Lastly, we provide an estimate of lower bound of the integrated Carathéodory--Reiffen metric on complete noncompact simply-connected Kähler manifolds with negative sectional curvature.

math.DG↗

The Stochastic Schwarz lemma on Kähler Manifolds by Couplings and Its Applications

We first provide a stochastic formula for the Carathéodory distance in terms of general Markovian couplings and prove a comparison result between the Carathéodory distance and the complete Kähler metric with a negative lower curvature bound using the Kendall-Cranston coupling. This probabilistic approach gives a version of the Schwarz lemma on complete non-compact Kähler manifolds with a further decomposition Ricci curvature into the orthogonal Ricci curvature and the holomorphic sectional curvature, which cannot be obtained by using Yau--Royden's Schwarz lemma. We also prove coupling estimates on quaternionic Kähler manifolds. As a byproduct, we obtain an improved gradient estimate of positive harmonic functions on Kähler manifolds and quaternionic Kähler manifolds under lower curvature bounds.

math.DG↗

Non-existence of complete Kähler metric of negatively pinched holomorphic sectional curvature

We show the theorem which provides some sufficient condition to the non-existence of a complete Kähler--Einstein metric of negative scalar curvature whose holomorphic sectional curvature is negatively pinched: Let $Ω$ be a bounded weakly pseudoconvex domain in $\mathbb{C}^n$ with a Kähler metric $ω$ whose holomorphic sectional curvature is negative near the topological boundary of $Ω$ (with respect to relative topology of $\mathbb{C}^n$) and $ω$ admits the quasi-bounded geometry. Then $ω$ is uniformly equivalent to the Kobayashi--Royden metric and the following dichotomy holds: 1. $ω$ is complete, and $ω$ is uniformly equivalent to the complete Kähler--Einstein metric with negative scalar curvature. 2. $ω$ is incomplete, and there is no complete Kähler metric with negatively pinched holomorphic sectional curvature. Moreover, $Ω$ is Carathéodory incomplete. Our approach is based on the construction of a Kähler metric of negatively pinched holomorphic sectional curvature and applying the implication of equivalence of invariant metrics inspired by Wu-Yau.

math.DG↗

Sharp weighted CR trace Sobolev inequalities

We establish a sharp Sobolev trace inequality on the Siegel domain $Ω_{n+1}$ involving the weighted norm-$W^{2,2}(Ω_{n+1}, ρ^{1-2[γ]})$. The inequality is closely related the realization of fractional powers of the sub-Laplacian on the Heisenberg group $H^n=\partial Ω_{n+1}$ as generalized Dirichlet-to-Neumann operators associated to the weighted poly-sublaplacian, generalizing observations of Frank--González--Monticelli--Tan.

math.AP↗

Vanishing results from Lichnerowicz Laplacian on complete Kähler manifolds and applications

In this paper, we show several rigidity results for harmonic $(p,q)$-forms in complete Kähler manifolds. We also give several applications to study non-compact Kähler manifolds with parallel Bochner tensor or quaternion Kähler manifolds. Our results are natural extensions of Petersen and Wink's results in \cite{PW21, PW} in the setting of complete, non-compact Kähler manifolds.

math.DG↗

Sub-Riemannian Geodesics on $SL(2, \mathbb{R})$

We explicitly describe the length minimizing geodesics for a sub-Riemannian structure of the elliptic type defined on $SL(2, \mathbb{R})$. Our method uses a symmetry reduction which translates the problem into a Riemannian problem on a two dimensional quotient space, on which projections of geodesics can be easily visualized. As a byproduct, we obtain an alternative derivation of the characterization of the cut-locus obtained in \cite{BoscaRossi}. We use classification results for three dimensional right invariant sub-Riemannian structures on Lie groups \cite{AGBD}, \cite{Biggs}, \cite{HB2} to identify exactly automorphic structures on which our results apply.

math.DG↗

Octonionic Brownian Windings

We define and study the windings along Brownian paths in the octonionic Euclidean, projective and hyperbolic spaces which are isometric to 8-dimensional Riemannian model spaces. In particular, the asymptotic laws of these windings are shown to be Gaussian for the flat and spherical geometries while the hyperbolic winding exhibits a different long time-behavior.

math.PR↗

Diameter theorems on Kähler and quaternionic Kähler manifolds under a positive lower curvature bound

We define the orthogonal Bakry-Émery tensor as a generalization of the orthogonal Ricci curvature, and then study diameter theorems on Kähler and quaternionic Kähler manifolds under positivity assumption on the orthogonal Bakry-Émery tensor. Moreover, under such assumptions on the orthogonal Bakry-Émery tensor and the holomorphic or quaternionic sectional curvature on a Kähler manifold or a quaternionic Kähler manifold respectively, the Bonnet-Myers type diameter bounds are sharper than in the Riemannian case.

math.DG↗

The Subelliptic Heat Kernel of the Octonionic Anti-De Sitter Fibration

In this note, we study the sub-Laplacian of the 15-dimensional octonionic anti-de Sitter space which is obtained by lifting with respect to the anti-de Sitter fibration the Laplacian of the octonionic hyperbolic space $\mathbb{O}H^1$. We also obtain two integral representations for the corresponding subelliptic heat kernel.

math.DG↗

The subelliptic heat kernel of the octonionic Hopf fibration

We study the sub-Laplacian of the $15$-dimensional unit sphere which is obtained by lifting with respect to the Hopf fibration the Laplacian of the octonionic projective space. We obtain in particular explicit formulas for its heat kernel and deduce an expression for the Green function of a related sub-Laplacian. As a byproduct we also obtain the spectrum of the sub-Laplacian, the small-time asymptotics of the heat kernel and explicitly compute the sub-Riemannian distance.

math.DG↗