D’Angelo Type in Complex Geometry

• D’Angelo type is an invariant defining the maximal normalized order of contact between holomorphic curves (or q-dimensional varieties) and real hypersurfaces in complex spaces.
• It extends to higher q-type and arbitrary subsets, contrasting with Catlin q-type and revealing intricate properties of finite versus infinite type phenomena.
• Finite D’Angelo type conditions are crucial in applications such as the ∂̅-Neumann problem, convex domain hyperbolicity, and effective boundary regularity estimates.

Searching arXiv for recent and foundational papers on D’Angelo type, finite type, Catlin q-type, and related applications. D’Angelo type is a family of invariants in several complex variables that measure the normalized order of contact of complex-analytic geometry with a real hypersurface, and, in later extensions, with more general subsets of $\mathbb C^n$. In the classical case it quantifies how holomorphic curve germs osculate a boundary point; in higher $q$-type it measures contact of $q$-dimensional complex varieties through slicing; and in modern work it functions as a boundary nondegeneracy condition in finite-type geometry, the $\bar\partial$-Neumann problem, Kobayashi hyperbolicity, and explicit model analysis (Nicoara, 3 Oct 2025, Yazici, 2019).

1. Classical definition and geometric meaning

For a smooth real hypersurface $M\subset \mathbb C^n$, written near $x_0\in M$ as

$M=\{r=0\},$

with $r$ a $C^\infty$ defining function and $dr(x_0)\neq 0$, D’Angelo’s classical $q$0-type is

$q$1

where $q$2 denotes germs of nonconstant holomorphic curves through $q$3, and $q$4 denotes vanishing order (Nicoara, 3 Oct 2025). Equivalent formulations use $q$5 for vanishing order and write

$q$6

for a hypersurface point $q$7 (Yazici, 2019).

The quotient is essential: it removes reparametrization multiplicity, so singular holomorphic curve germs are allowed. Geometrically, $q$8 is the maximal normalized order of contact of holomorphic curves with the hypersurface. A point is of finite type if $q$9; otherwise it is of infinite type (Nicoara, 3 Oct 2025).

A basic benchmark is type $q$0. The literature recalled in the supplied papers states that a point of a CR hypersurface is strongly pseudoconvex if and only if its D’Angelo type is $q$1 (Fiacchi, 2020). Thus D’Angelo type detects the failure of strong pseudoconvexity by measuring complex tangential flatness.

2. Higher $q$2-type and the Catlin comparison

For $q$3, D’Angelo’s definition reduces contact of $q$4-dimensional complex varieties to curve contact by slicing with linear subspaces. In the formulation emphasized in the survey literature,

$q$5

where $q$6 is a linear embedding (Nicoara, 3 Oct 2025). Equivalent ideal-theoretic formulations adjoin $q$7 nondegenerate linear forms to the ideal of germs vanishing on the hypersurface (Brinzanescu et al., 2017).

Three notions are central in the higher-type theory.

Notion	Defining principle	Relation
$q$8	infimum over linear slices	D’Angelo $q$9-type
$\bar\partial$0	generic value over slices	generic D’Angelo $\bar\partial$1-type
$\bar\partial$2	generic intersections of $\bar\partial$3-varieties with affine subspaces	Catlin $\bar\partial$4-type

The modern comparison theorem is that Catlin $\bar\partial$5-type equals the generic D’Angelo $\bar\partial$6-type,

$\bar\partial$7

rather than the original infimum-based $\bar\partial$8 in general (Brinzanescu et al., 2017, Nicoara, 3 Oct 2025). For $\bar\partial$9, all three notions coincide. For $M\subset \mathbb C^n$0, they can differ; the survey literature cites Fassina’s examples showing $M\subset \mathbb C^n$1 and that the gap can be arbitrarily large (Nicoara, 3 Oct 2025).

Nonetheless, the invariants control one another quantitatively. For ideals,

$M\subset \mathbb C^n$2

and for smooth pseudoconvex boundaries the survey states

$M\subset \mathbb C^n$3

under the corresponding $M\subset \mathbb C^n$4-positivity hypotheses, which hold in particular in the pseudoconvex case (Nicoara, 3 Oct 2025).

3. Extension from hypersurfaces to arbitrary subsets

A substantial later development is the extension of D’Angelo type from smooth hypersurfaces to arbitrary subsets $M\subset \mathbb C^n$5. If $M\subset \mathbb C^n$6 denotes the set of germs at $M\subset \mathbb C^n$7 of real-valued $M\subset \mathbb C^n$8 functions defined near $M\subset \mathbb C^n$9 and vanishing on $x_0\in M$0 near $x_0\in M$1, then the generalized type is

$x_0\in M$2

When $x_0\in M$3 is a smooth hypersurface, $x_0\in M$4 is generated by a defining function, so this reduces to the classical definition (Yazici, 2019).

This extension is due to Lamel–Mir and is the framework used by Yazıcı to prove openness of finite type for arbitrary subsets. The main local estimate is: $x_0\in M$5 for all $x_0\in M$6 in a neighborhood of a finite-type point $x_0\in M$7. Consequently,

$x_0\in M$8

is open in $x_0\in M$9 (Yazici, 2019). The same paper also records that if $M=\{r=0\},$0 lies in a generic submanifold of real codimension $M=\{r=0\},$1, the exponent improves from $M=\{r=0\},$2 to $M=\{r=0\},$3.

The same source defines D’Angelo $M=\{r=0\},$4-type for arbitrary subsets by

$M=\{r=0\},$5

equivalently via linear embeddings. In this framework, finite $M=\{r=0\},$6-type is also an open condition (Yazici, 2019).

4. Finite type, infinite type, and common misconceptions

D’Angelo type has several features that are easy to misstate if it is conflated with more rigid algebraic invariants. First, $M=\{r=0\},$7 need not be an integer: the survey literature records an example with

$M=\{r=0\},$8

Second, $M=\{r=0\},$9 is not upper semicontinuous: examples are given where $r$0 but nearby points have type $r$1 (Nicoara, 3 Oct 2025). The openness theorem for finite type therefore does not imply upper semicontinuity of the numerical type.

The most important subtlety concerns infinite type. D’Angelo infinite type means that there exist holomorphic curves with arbitrarily large normalized order of contact, or equivalently $r$2. It does not, by itself, imply the existence of a single nonconstant holomorphic curve tangent to the hypersurface to infinite order. There exist smooth pseudoconvex real hypersurface germs of D’Angelo infinite type in $r$3 that do not admit any nonconstant holomorphic curve tangent to infinite order, even allowing singular curves (Fornæss et al., 2018).

At the same time, sufficient conditions are known under which infinite type does force such a curve. For smooth hypersurfaces admitting an $r$4-canonical coordinate, the 2020 work on holomorphic curves tangent to infinite-type hypersurfaces proves equivalence between D’Angelo infinite type and existence of a holomorphic curve tangent to infinite order (Kamimoto, 2020). In model hypersurfaces $r$5, the same paper characterizes existence of infinitely tangent curves by convergence of a formal holomorphic series $r$6, and in $r$7 gives exact equivalence criteria in terms of good coordinates and flatness of the model function (Kamimoto, 2020).

Thus three notions must be distinguished: arbitrarily large finite orders of contact, infinite D’Angelo type, and existence of a single infinitely tangent holomorphic curve. The supplied literature treats them as genuinely different in the smooth category (Fornæss et al., 2018, Kamimoto, 2020).

5. Model computations and prescribed weak loci

Explicit model domains make D’Angelo type concrete. For the egg domains

$r$8

the weakly pseudoconvex locus is

$r$9

The cited paper computes the D’Angelo type exactly: it is $C^\infty$0 at strongly pseudoconvex boundary points $C^\infty$1, and $C^\infty$2 at every point of $C^\infty$3 (Pendyala, 5 Jul 2026). In local coordinates near a weak point,

$C^\infty$4

and the curve $C^\infty$5 realizes contact order $C^\infty$6. The same paper emphasizes that the kernel-detected parameter is $C^\infty$7, while the geometric D’Angelo type is $C^\infty$8 (Pendyala, 5 Jul 2026).

Recent construction results show that finite D’Angelo type is compatible with highly flexible weakly pseudoconvex loci. In $C^\infty$9, for any compact $dr(x_0)\neq 0$0 and $dr(x_0)\neq 0$1, one can construct smoothly bounded convex domains whose weakly pseudoconvex locus is exactly a prescribed set over $dr(x_0)\neq 0$2, with D’Angelo type equal to $dr(x_0)\neq 0$3 at every weak point (Fassina et al., 12 Jul 2026). Higher-dimensional pseudoconvex and convex analogues realize arbitrary closed sets, with type bounded by $dr(x_0)\neq 0$4 or $dr(x_0)\neq 0$5 depending on the construction (Fassina et al., 12 Jul 2026).

These constructions show that, in the smooth category, finite type does not force the weak locus to have real-analytic or algebraic structure. The supplied paper states explicitly that the weakly pseudoconvex locus can be extremely flexible—even fractal, such as a Cantor set—while the boundary remains of finite type (Fassina et al., 12 Jul 2026).

6. Analytic, metric, and related applications

Finite D’Angelo type is a central hypothesis in the $dr(x_0)\neq 0$6-Neumann problem. In the real-analytic pseudoconvex case, finite D’Angelo $dr(x_0)\neq 0$7-type implies termination of the Kohn algorithm; the direct proof via Catlin boundary systems and real-analytic algebraic geometry gives termination everywhere by step $dr(x_0)\neq 0$8, where $dr(x_0)\neq 0$9 is the number of local multitype strata (Nicoara, 2014). A related effective result states that if a smooth boundary point has finite D’Angelo $q$00-type $q$01, then the Levi determinant coefficient

$q$02

vanishes to order at most

$q$03

at that point (Nicoara, 2011).

Finite type also governs large-scale Kobayashi geometry. For bounded convex domains with $q$04 boundary,

$q$05

(Zimmer, 2014). In $q$06, every bounded smooth pseudoconvex finite-type domain endowed with the Kobayashi distance is Gromov hyperbolic, and its Gromov boundary is canonically homeomorphic to the Euclidean boundary (Fiacchi, 2020). More recent convex finite-type work on the pluricomplex Poisson kernel uses the finite-type hypothesis as the boundary condition that makes the metric–pluripotential theory work at a boundary point (Arosio et al., 30 Sep 2025).

Finally, the literature distinguishes D’Angelo type from D’Angelo forms. D’Angelo forms are $q$07-forms encoding Levi-null commutator data and are used to characterize the Diederich–Fornæss and Steinness indices; they are not the same invariant as D’Angelo type (Yum, 2019, Straube, 4 Apr 2025). In related CR geometry, the Levi core of a pseudoconvex boundary is trivial whenever the boundary is of finite type in the sense of D’Angelo, linking finite type to vanishing of a global degeneracy invariant (Dall'Ara et al., 2021).

D’Angelo type therefore occupies a structurally central position: it begins as a normalized order-of-contact invariant for holomorphic curves, extends to higher $q$08-type and arbitrary subsets, remains stable under finite-type openness theorems, exhibits subtle infinite-type pathologies, and serves as a boundary regularity condition with consequences in PDE, intrinsic geometry, and explicit model analysis.