arXiv ScienceSearch

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

Pre-Schwarzian and Schwarzian norm estimates for harmonic functions with fixed analytic part

In the present article, we discuss about the estimate of the pre-Schwarzian and Schwarzian norms for locally univalent harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}:=\{z\in\mathbb{C}:\, |z|<1\}$. First, we prove a general result for the estimate of the pre-Schwarzian norm which rectify few earlier flawed results. We also consider a new class $\mathcal{F}_0$ consisting of all harmonic functions $f=h+\overline{g}$ in the unit disk $\mathbb{D}$ such that ${\rm Re\,}\left(1+z\frac{h''(z)}{h'(z)}\right)>0$ for $z\in\mathbb{D}$ with dilatation $ω_f(z)\in Aut(\mathbb{D})$ and obtain best possible estimates of the pre-Schwarzian and Schwarzian norms for functions in the class $\mathcal{F}_0$. Moreover, we obtain the distortion and coefficient estimates of the co-analytic function $g$ when $f=h+\overline{g}\in\mathcal{F}_0$.

math.CV

The Reciprocal Problem on Weighted Bergman Spaces

The reciprocal problem on weighted Bergman spaces has been posed as an open problem. In this paper, we establish several sufficient conditions for the reciprocal property and clarify the parameter ranges in which the available methods are applicable. In particular, we prove that functions in $A_α^p\cap H^\infty$ enjoy the reciprocal property in the parameter ranges where the required analytic Besov composition theorem is available. In addition, using Hardy boundary estimates, we solve the reciprocal problem in the Drury--Arveson space $H_d^2$ when the dimension is $d=3$, and give an equivalent condition for the reciprocal problem in the four-dimensional Drury--Arveson space.

math.CV

Solving non-oscillatory solutions of the Hill equation via the Tumura--Clunie method

We consider the Hill equation $f''-(\sum_{i=-\mathbf{l}}^{\mathbf{k}}b_{i}e^{iz})f=0$ ($†$), where $\mathbf{k}\geq 1$ and $\mathbf{l}\geq 0$ are integers and $b_{-\mathbf{l}}$, $\cdots$, $b_{\mathbf{k}}$ are constants such that $b_{\mathbf{k}}\not=0$. We point out that there is a full correspondence between the class of non-oscillatory solutions such that $λ(f)<\infty$ of equation ($†$) and the class of Liouvillian solutions of equation $x^2u''-(\sum_{i=-\mathbf{l}}^{\mathbf{k}}b_{i}x^{i})u=0$ ($‡$). Then this paper has twofold purposes. First, parallel to Kovacic's algorithms to find the Liouvillian solutions of equation ($‡$), we develop the Tumura--Clunie method to find the non-oscillatory solutions of a higher order version of the Hill equation. In this part, we first determine the form of entire solutions of a general Tumura--Clunie type differential equation. Second, for the particular Hill equation $f''-(b_{\mathbf{k}}e^{\mathbf{k}z}+b_{\mathbf{s}}e^{\mathbf{s}z}+b_0)f=0$, where $\mathbf{k}>\mathbf{s}\geq 1$ are integers and $b_{\mathbf{k}}b_{\mathbf{s}}\not=0$, we use the Tumura--Clunie method to determine the non-oscillatory solution $f$ with an additional zero property.

math.CV