Logarithmic Geometry & Residue Theory

• Logarithmic geometry is the study of enhanced schemes or manifolds with boundary divisors, using log structures to encode singularity data.
• Residue theory extends classical residue operations to forms and vector fields with logarithmic poles, unifying results like Gauss–Bonnet and Baum–Bott formulas.
• The framework integrates deformation, Hodge, and motivic theories, providing new invariants and explicit residue sequences in both algebraic and topological settings.

Logarithmic geometry and residue theory investigate the interplay between structures on algebraic or analytic varieties equipped with boundary divisors, and the extraction of invariants—indices, cohomology classes, or values—using generalizations of the classical residue operation. Logarithmic geometry encodes the combinatorial and geometric data of divisors with normal crossings or singularities, while residue theory systematically captures the behavior of differential forms or vector fields near these divisors. The combination of these frameworks leads to residue formulas unifying classical theorems (such as Gauss–Bonnet and Baum–Bott) and to new invariants in algebraic, analytic, and motivic contexts.

1. Logarithmic Structures and Fundamental Objects

Logarithmic geometry is based on the enrichment of schemes or complex manifolds by log structures, typically arising from reduced divisors with normal crossings. Given a complex $n$-dimensional compact manifold $X$ and a divisor $D = D_1 \cup \cdots \cup D_k$ with normal crossings, the fundamental structures are:

• The sheaf of logarithmic 1-forms, $\Omega^1_X(\log D)$, comprising meromorphic forms whose poles along $D$ are at most simple and whose exterior derivatives also have at worst simple poles. Locally, if $D = \{z_1 \cdots z_\ell = 0\}$, a basis is given by $$\{dz_1/z_1, \ldots, dz_\ell/z_\ell, dz_{\ell+1}, \ldots, dz_n\}$$.
• The sheaf of logarithmic vector fields, $T_X(-\log D)$, defined as $v \in T_X$ such that $v(f)\in(f)$ for any local defining equation $f$ of $D$. This is locally generated by $$\{z_1\partial_{z_1}, \dots, z_\ell\partial_{z_\ell}, \partial_{z_{\ell+1}}, \ldots, \partial_{z_n}\}$$.
• The log structure on $(X,D)$ formalized as a sheaf of monoids $M_X \subset \mathcal{O}_X$ consisting of functions vanishing at most along $D$, or more generally, as a fine saturated log scheme in the sense of Kato (Nisse, 20 Jan 2026).

These sheaves and log structures behave functorially under morphisms of pairs $(X,D)$ and allow for the extension of classical notions—differentials, vector fields, connections, deformations—into the logarithmic category.

2. Logarithmic Residues: Algebraic and Analytic Formulations

Residue theory in the logarithmic context generalizes the classical notion of residue to forms or vector fields with log poles along divisors:

• In the analytic setting, the Poincaré residue assigns to a logarithmic $n$-form $\omega = A(z) dz_1\wedge\cdots\wedge dz_n / f(z)$ the $(n-1)$-form on $D = \{f=0\}$ given by $$Res_D(\omega) = [A\,i_{\partial f}(dz_1 \wedge \ldots \wedge dz_n)]|_{f=0}$$ (Nisse, 20 Jan 2026).
• Algebraically, for a free $R$-module $M$ and a submodule $N$ generated by $df_1, \ldots, df_k$, the division properties in exterior algebras yield necessary and sufficient conditions for the existence of a logarithmic residue decomposition (Jakubczyk, 2021). For a meromorphic $p$-form with denominators $f_1 \cdots f_k$, logarithmic integrability leads to the canonical decomposition:

$$w = d\log f_1 \wedge \cdots \wedge d\log f_k \wedge y + \sum \varphi_i,$$

with the residue defined as the class of $y$.

• Multidimensional residues and their uniqueness are established via exterior algebra division theorems, which underpin both the analytic Grothendieck residue and the algebraic logarithmic residue (Jakubczyk, 2021).

3. Logarithmic Residue Formulas and Foliations

The integration of logarithmic geometry and residue theory enables the derivation of global formulas relating the geometry of foliations or vector fields and the topology of the underlying space:

• For a one-dimensional holomorphic foliation $\mathscr{F}$ logarithmic along a normal crossing divisor $D$ in a compact complex manifold $X$, the global logarithmic residue formula states:

$$\sum_{p \in \operatorname{Sing}(\mathscr{F})} \operatorname{Ind}_{\log, p}(\mathscr{F}, D) = \int_X c_n(T_X(-\log D) - L),$$

where $L$ is the dual of the canonical bundle of the foliation. This unifies the Baum–Bott formula and the logarithmic Gauss–Bonnet theorem and explicitly incorporates the geometry of $D$ through the logarithmic tangent sheaf (Corrêa et al., 2018).

• Applications include explicit formulas for the number of singularities of foliations on projective space lying off an invariant divisor, and the extension of Poincaré–Hopf/Gauss–Bonnet-type theorems to singular projective varieties via log resolutions (Corrêa et al., 2018).
• In the relative or family setting, the existence and properties of relative logarithmic connections and their residues are linked to the geometry of families and to explicit residue formulas for Chern classes and curvature (Misra et al., 2021).

4. Hodge-Theoretic and Deformation-Theoretic Aspects

Logarithmic geometry and residue maps play a crucial role in Hodge theory, deformation theory, and moduli problems:

• Logarithmic vector fields correspond exactly to equisingular deformation directions that act trivially on the infinitesimal variation of Hodge structure (IVHS). The effective variation of Hodge structures is entirely governed by residue calculus (Nisse, 20 Jan 2026).
• The residue pairing in cohomology manifests through long exact sequences in the logarithmic de Rham complex, relating global forms to forms on the boundary divisor via the residue morphism (Nisse, 20 Jan 2026).
• In families (e.g., degenerations of hypersurfaces), the Gauss–Manin connection restricts nontrivial variation to the directions detected by the residue, with explicit links to the Jacobian ring and the deformation theory of Severi varieties (Nisse, 20 Jan 2026).

5. Residue Sequences in Homological and Motivic Frameworks

The motivic and homological generalizations of residue theory in logarithmic contexts have broad applicability and conceptual significance:

• For pre-log rings and their derived analogs, logarithmic Hochschild homology $\mathrm{HH}_{\log}((A,M)/(R,P))$ extends the classical theory, satisfying an André–Quillen spectral sequence and admitting a log Hochschild–Kostant–Rosenberg theorem under derived log smoothness (Binda et al., 2022).
• These constructions globalize to log schemes, yielding functorial residue (Gysin) cofiber sequences in the log-motivic stable homotopy category for blow-up squares and divisors:

$$\cdots \longrightarrow \mathrm{HH}(Z) \longrightarrow \mathrm{HH}(X) \longrightarrow \mathrm{HH}_{\log}(Bl_Z X, E) \longrightarrow \mathrm{HH}(Z)[1] \longrightarrow \cdots,$$

where $E$ is the exceptional divisor (Binda et al., 2022, Binda et al., 2023).

• The representability of log-THH, log-HP, log-HC in the log-motivic homotopy category allows for a unification of algebraic and topological residue theories, compatible with oriented cohomology, Thom isomorphisms, and projective bundle theorems (Binda et al., 2023).
• In topological settings, logarithmic versions of THH/TR/TC admit exact residue sequences extending the classical situation for discrete valuation rings, connective $K$-theory, and chromatic spectra. The boundary map at the homotopy level agrees with the classical residue on Kähler differentials, suggesting an underlying stable $\infty$-category of log perfect complexes (Lundemo, 17 Jun 2025).

6. Values, Symmetries, and Deformations of Logarithmic Residues

The structure of the set of values of logarithmic residues encodes deep algebro-geometric information, especially in the context of curve singularities and their moduli:

• For curve germs, the value semigroup of the module of logarithmic residues reflects the Gorenstein property via a symmetry condition equivalent to the symmetry of the value semigroup (Pol, 2014).
• Dualities between the module of logarithmic residues and the Jacobian ideal govern the analytic classification of plane branches, and residue values play a role in stratifying deformation families by finer invariants than traditional singularity invariants such as the Tjurina number (Pol, 2014).
• Behavior of residue values under equisingular deformations is controlled by flatness properties and invariance of certain denominators, leading to stratifications that refine classical equisingularity structures (Pol, 2014).

7. Outlook and Further Directions

The integration of logarithmic geometry and residue theory not only provides unifying residue formulas across dimensions and contexts but also identifies residue calculus as a central tool in the study of the geometry and topology of varieties with boundary. Potential directions include:

• Generalization to higher-dimensional foliations and logarithmic Pfaff systems.
• Extension to varieties with more intricate singularities, orbifolds, and stacks.
• Deeper connections to motivic homotopy theory and the categorification of log residue invariants via stable $\infty$-categories.
• Computational applications to moduli problems, deformation theory, and explicit geometry of singular varieties.

Key sources for these developments include (Corrêa et al., 2018, Nisse, 20 Jan 2026, Jakubczyk, 2021, Misra et al., 2021, Binda et al., 2022, Lundemo, 17 Jun 2025, Binda et al., 2023, Pol, 2014), and (Corrêa et al., 2016).