[논문 리뷰] Zero modes on product Riemannian manifolds

Jurgen Julio-Batalla|arXiv (Cornell University)|2026. 03. 24.

Nonlinear Partial Differential Equations인용 수 0

한 줄 요약

The paper derives sharp lower bounds for the L^n-norm of the vector potential in zero-mode Dirac equations on product manifolds and characterizes equality cases, with analogous results for zero-mode-type equations.

ABSTRACT

This paper is concerned with the zero mode equation $D_gφ=iA\cdotφ$ on product of closed spin manifolds $(M_1^{n_1} imes M_2^{n_2},g_1+g_2,σ)$ of dimensions $n_1\leq n_2$ respectively. Here $A$ is a real vector field on $M^n=M_1^{n_1} imes M_2^{n_2}$. Under non-increasing condition on $|φ|$ we prove that $$\parallel A\parallel_n^2\geq\frac{n_2}{4(n_2-1)}Y(M^n,[g]),$$ where $Y(M^n,[g])$ is the Yamabe constant of $(M^n,g)$. This estimate is sharp in even dimensions. We also obtain a similar estimate for non trivial solutions of the zero mode type equation $D_gφ=fφ$, where $f$ is a scalar function.

연구 동기 및 목표

• Motivate and study the zero mode equation D_g φ = i A · φ on product spin manifolds M1 × M2 with g = g1 + g2.
• Establish a lower bound on ||A||_n^2 in terms of the Yamabe constant under a non-increasing |φ|^2 condition.
• Extend the analysis to a zero mode-type equation D_g φ = f φ and obtain analogous bounds and equality conditions.

제안 방법

• Use the Schrödinger–Lichnerowicz formula to relate Dirac squares to scalar curvature and gradients of φ.
• Decompose the Dirac operator on the product via D = D_(1) + D_(2) and employ the Penrose-type operator T to control ∇φ.
• Form an integral identity that involves the Yamabe constant Y(M,[g]) and a first eigenvalue I(M,g,|A|^2) of a weighted conformal Laplacian.
• Apply Hölder-type bounds to relate I(M,g,|A|^2) to Y(M,[g]) and derive the inequality ||A||_n^2 ≥ (n2)/(4(n2−1)) Y(M,[g]).
• Characterize the equality case using properties of Yamabe metrics, constant |A|, and spinor consequences (Killing/parallel spinors on the factors).
• Extend the argument to the zero mode-type equation D_g φ = f φ and obtain the analogous bound for ||f||_n^2 with the same equality characterization.

실험 결과

연구 질문

• RQ1 Under what geometric and analytic conditions does the sharp inequality ||A||_n^2 ≥ (n2)/(4(n2−1)) Y(M,[g]) hold for zero modes on product manifolds?
• RQ2 When does equality occur, and what does it imply about the metric, the vector potential, and the factor manifolds?
• RQ3 Can a similar sharp bound be obtained for the zero mode-type equation D_g φ = f φ and what are the equality conditions?
• RQ4 How does the non-increasing condition on |φ|^2 with respect to |A| influence the results and what are concrete instances?

주요 결과

• A lower bound ||A||_n^2 ≥ (n2)/(4(n2−1)) Y(M^n,[g]) is proved for non-trivial zero modes on product manifolds with positive scalar curvature.
• The bound is sharp in even dimensions.
• Equality implies A has constant length, g is a Yamabe metric, M2 admits a non-trivial real Killing spinor, and M1 admits a parallel spinor (or a parallel or real Killing spinor depending on n1,n2).
• The same framework yields a parallel result for the zero mode-type equation D_g φ = f φ, giving ||f||_n^2 ≥ (n2)/(4(n2−1)) Y(M^n,[g]) with analogous equality conditions.
• The results rely on a conformal invariance of the zero mode equation and a detailed analysis using a Penrose-type operator on the product and conformal Laplacian eigenvalues.
• The paper also discusses explicit equality scenarios including products involving spheres (e.g., S^3 × S^3) and conformal examples mapping to round spheres.