SearcharxivSearch

arXiv · 2609.22279

Geometric index theorems for holomorphic foliations and curves

Abstract

Let $M$ be a complex surface endowed with a holomorphic projective connection and let $C \subset M$ be a compact smooth holomorphic curve. Given two singular holomorphic foliations $\mathcal{F}$ and $\mathcal{G}$ near $C$, with $C$ not $\mathcal{G}$-invariant, we attach to every point $p \in C$ an index $\mathrm{Ind}(\mathcal{F},\mathcal{G},C,p) \in \mathbb{C}$ of $\mathcal{F}$ relative to the reference $\mathcal{G}$, and we prove that these indices add up to $T\mathcal{G} \cdot C$. When $C$ is $\mathcal{F}$-invariant the index is the Camacho--Sad index corrected by the order of tangency of $\mathcal{G}$ with $C$, and the index formula reduces to the Camacho--Sad formula. The main applications are two contact formulas. At a tangency point $p$ of $\mathcal{G}$ with $C$, let $k(\mathcal{G},C,p)$ be the ratio of the curvatures at $p$ of the leaf of $\mathcal{G}$ and of the curve; it is a projective invariant, although each curvature separately depends on a choice of metric. If $\mathcal{G}$ has no singular points on $C$ and only simple tangencies with $C$, then $$ \sum_{p} \frac{1}{1 - k(\mathcal{G},C,p)} = \frac{2}{3}\left( C \cdot C + g - 1 \right), $$ where $g$ is the genus of $C$: the number of tangencies depends on $\mathcal{G}$, but this weighted count does not. For a pencil of lines in the projective plane it is the Plücker formula for the class of a plane curve. The second formula asserts that, for a curve in general position with respect to $\mathcal{F}$ and $\mathcal{G}$ which is not a geodesic, the total index of the tangencies of $\mathcal{F}$ with $\mathcal{G}$ along $C$ equals the number of tangencies of $\mathcal{G}$ with $C$ minus one third of the number of inflection points of $C$; in particular, it does not depend on $\mathcal{F}$.

Explore related subjects

Keep this discovery

Explore connections, maps & timelines

BibTeXRIS

César Camacho, Rudy Rosas. 2026-09-12. Geometric index theorems for holomorphic foliations and curves. https://arxiv.org/abs/2609.22279

Cite the original work for its findings. Save a collection to share your selection of sources.

KEEP EXPLORING

Related papers

A Product Principle for Harmonic Schwarz Lemmas: Boxes, Polydiscs, and Metric Geometry

We establish an exact product principle for the Euclidean operator norm of differentials of harmonic maps. For a bounded domain \(G\subset\R^m\) and \(p\in G\), let \(M_G(p)\) denote the supremum of \(\|dF_0\|\) over harmonic maps \(F:\D\to G\) with \(F(0)=p\). For bounded domains \(G_j\subset\R^{m_j}\), we prove \[ M_{G_1\times\cdots\times G_N}(p_1,\ldots,p_N)^2 =\sum_{j=1}^N M_{G_j}(p_j)^2. \] The theorem separates the geometry of the individual factors from the Euclidean geometry of the product: the factor extremal constants combine by a sum-of-squares law, while equality is governed by a single compatibility condition, namely a common maximizing direction for the component differentials. Neither convexity nor attainment of the factor suprema is required. Combining the product principle with the sharp interval and disk factor problems yields exact operator-norm estimates and all equality cases for harmonic maps into boxes and polydiscs. In both families, for every extremal map, the real differential at the origin has one-dimensional image. The same factor constants also define coordinatewise metrics for which the harmonic contraction estimate is sharp when the source disk is equipped with its Poincaré metric of curvature \(-1\). For boxes, the resulting metric is complete and equals twice the restriction of the Kobayashi-Royden metric of the product of vertical strips. For polydiscs, the harmonic product metric is pointwise maximal among contracting metrics of the form \(\max_j a_j(p)|v_j|\), with \(a_j(p)>0\). It is strictly smaller than twice the Kobayashi-Royden metric on every nonzero tangent vector, and its induced path metric is incomplete.

math.CV

Convolution Regularization Preserves the $L^2$-Estimate Property for $(1,n)$-Forms

In this paper, we prove that the \(L^2\)-estimate property for \((1,n)\)-forms is preserved under the standard convolution regularization. As applications, we show that any singular Hermitian metric satisfying the optimal or multiple coarse \(L^2\)-estimate property for \((n,1)\) or \((1,n)\)-forms is Griffiths semi-positive. This resolves a question posed by Deng--Ning--Wang and a question by Inayama.

math.CV