---
title: Immersed Curve Invariants
url: https://www.emergentmind.com/topics/immersed-curve-invariants
type: topic
---

# Immersed Curve Invariants

Immersed curve invariants are quantities, functions, or geometric objects attached to immersions of \(1\)-manifolds into a specified ambient space and preserved under a chosen equivalence relation. In the literature this phrase encompasses several distinct theories: local differential invariants for curves in the three-dimensional Heisenberg group, regular-homotopy invariants of generic immersions in the plane, finite-order invariants for triple-points-free curves, invariants of special curves on immersed surfaces under isometries or conformal motions, and Floer-theoretic immersed multicurves with local systems that encode invariants of \(3\)-manifolds, tangles, and cobordisms [1301.6463], [1108.4288], [1407.7227], [2501.05634].

## 1. Differential invariants and local equivalence in the Heisenberg group

For curves in the three-dimensional Heisenberg group \(H_1\), the relevant equivalence problem is local equivalence under Heisenberg-rigid motions. The basic geometric structure is \(\mathbb R^3\) with coordinates \((x,y,z)\), group law
\[
(x_1,y_1,z_1)\ast(x_2,y_2,z_2)=(x_1+x_2,\;y_1+y_2,\;z_1+z_2+x_1y_2-y_1x_2),
\]
standard left-invariant frame
\[
e_1=\partial_x+y\partial_z,\qquad e_2=\partial_y-x\partial_z,\qquad T=\partial_z,
\]
contact form
\[
\theta_0=dz+x\,dy-y\,dx,
\]
horizontal bundle \(\xi_0=\ker\theta_0=\mathrm{span}\{e_1,e_2\}\), CR-structure \(J_0(e_1)=e_2\), \(J_0(e_2)=-e_1\), Levi metric \(h(X,Y)=d\theta_0(X,J_0Y)\), and adapted metric
\[
g_{\theta_0}=h+\theta_0^2.
\]
With respect to \(g_{\theta_0}\), the frame \(\{e_1,e_2,T\}\) is orthonormal [1301.6463].

A parametrized curve \(\gamma:(a,b)\to H_1\) is called horizontally regular if the projection of its velocity to \(\xi_0\) never vanishes. After reparametrization by horizontal arclength \(s\), one has \(|\gamma'_{\xi_0}(s)|_{g_{\theta_0}}\equiv1\). Along such a curve, the canonical moving frame is
\[
X(s):=\gamma'_{\xi_0}(s),\qquad Y(s):=J_0X(s),\qquad T(s):=T.
\]
If \(\{\omega^1,\omega^2,\omega^3\}\) is the dual coframe, then pulling back the Maurer–Cartan form along the lifted curve \(F(s)=(\gamma(s);X(s),Y(s),T)\) gives
\[
\omega^1=ds,\qquad \omega^2=0,\qquad \omega^3=\tau(s)\,ds,\qquad \omega_1^2=k(s)\,ds.
\]
The two scalar invariants are therefore the \(p\)-curvature and the \(T\)-variation,
\[
k(s)=\langle dX/ds,Y\rangle,\qquad \tau(s)=\langle \gamma',T\rangle.
\]
In coordinates \(\gamma(t)=(x(t),y(t),z(t))\), before reparametrization, these become
\[
k(t)=\frac{x'(t)\,y''(t)-x''(t)\,y'(t)}{\bigl(x'(t)^2+y'(t)^2\bigr)^{3/2}},
\qquad
\tau(t)=\frac{x(t)\,y'(t)-y(t)\,x'(t)+z'(t)}{\sqrt{x'(t)^2+y'(t)^2}}.
\]
The fundamental theorem states that the pair \(\{k(s),\tau(s)\}\) completely determines a horizontally regular curve up to an element of \(PSH(1)\), and conversely any smooth functions \(k(s),\tau(s)\) arise from a unique such curve up to \(PSH(1)\). When \(\tau(s)\equiv0\), the invariant reduces to the signed curvature of the projection to the \(xy\)-plane, recovering the classical plane-curve reconstruction theorem up to \(xy\)-translations and rotations [1301.6463].

These invariants are local and differential rather than regular-homotopy-theoretic. Their role is analogous to curvature in Euclidean curve theory, but adapted to the contact and CR geometry of \(H_1\).

## 2. Regular-homotopy invariants of generic plane immersions

For plane curves, the standard setting is a smooth immersion \(\gamma:S^1\to\mathbb R^2\) with \(\gamma'(t)\neq0\) for all \(t\). A generic immersion has only finitely many transversal double points. The basic curvature density is
\[
\kappa(t)=\det\bigl(\gamma'(t),\gamma''(t)\bigr)\big/\|\gamma'(t)\|^3,
\]
and Hopf’s Umlaufsatz asserts
\[
\frac1{2\pi}\int_{S^1}\kappa(t)\,dt=\mathrm{rot}(\gamma),
\]
where \(\mathrm{rot}(\gamma)\) is the rotation number. Thus total curvature is invariant under arbitrary regular homotopies in the immersed category [1108.4288].

A nontrivial refinement is the Lanzat–Polyak family
\[
I_q(\gamma)=
\frac1{2\pi}\Biggl(
\int_{S^1}\kappa(t)\,q^{\mathrm{ind}(\gamma(t))}\,dt
-\sum_{d\in X}\theta_d\,q^{\mathrm{ind}(d)}\,
\bigl(q^{\tfrac12}-q^{-\tfrac12}\bigr)
\Biggr),
\]
where \(\mathrm{ind}(p)\) is the winding-number index of a point relative to the curve, \(X\) is the set of double points, and \(\theta_d\in(0,\pi)\) is the crossing angle. The integral term alone changes under local modifications, but the discrete correction over double points compensates so that \(I_q(\gamma)\) is invariant under regular homotopy in the class of generic immersions. At \(q=1\), all correction terms vanish and \(I_1(\gamma)=\frac1{2\pi}\int\kappa\), so the family is a quantization of total curvature. Differentiating at \(q=1\) yields
\[
I_1'(\gamma)=\frac12\bigl(1-J^+(\gamma)\bigr),
\]
and hence the integral formula
\[
J^+(\gamma)
=
1-
\frac1\pi\Biggl(
\int_{S^1}\kappa(t)\,\mathrm{ind}(\gamma(t))\,dt
-\sum_{d\in X}\theta_d
\Biggr)
\]
for Arnold’s \(J^+\)-invariant [1108.4288].

Arnold’s invariants \(J^+\) and \(J^-\) are defined for generic immersed loops \(K\subset\mathbb C\) by axioms involving the standard curves \(K_j\), direct and inverse self-tangencies, triple-point crossings, additivity under connected sum, and independence of orientation. They satisfy
\[
J^+(K_j)=-2(|j|-1)\quad (j\neq0),\qquad J^+(K_0)=0,
\]
\[
J^-(K_j)=-3(|j|-1)\quad (j\neq0),\qquad J^-(K_0)=-1,
\]
and
\[
J^+(K)-J^-(K)=n_K,
\]
where \(n_K\) is the number of double points. A central computational tool is Viro’s formula,
\[
J^+(K)=1+n_K-\sum_{C\in\Gamma_K}\bigl(\omega_C(K)\bigr)^2+\sum_{p\in\mathcal D_K}\bigl(\mathrm{ind}_p(K)\bigr)^2,
\]
with \(\Gamma_K\) the complement components, \(\omega_C(K)\) their winding numbers, and \(\mathrm{ind}_p(K)\) the double-point indices. The rotation number is likewise recovered from winding data by
\[
\mathrm{rot}(K)
=
\sum_{C\in\Gamma_K}\omega_C(K)
-
\sum_{p\in D(K)}\mathrm{ind}_p(K).
\]
These formulas convert regular-homotopy invariants into explicit combinatorial sums on the planar immersion [2210.00871], [2210.02968].

For immersions in \(\mathbb C^*=\mathbb C\setminus\{0\}\), Cieliebak–Frauenfelder–van Koert’s invariants are
\[
\mathcal J_1(K)=J^+(K)+\tfrac12\,\omega_0(K)^2,
\]
and
\[
\mathcal J_2(K)=
\begin{cases}
J^+\bigl(L^{-1}(K)\bigr),&\omega_0(K)\text{ odd},\\
J^+(\widehat K),&\omega_0(K)\text{ even},
\end{cases}
\]
where \(L(v)=v^2\). Their behavior under \(k\)-bifurcation is explicit. For a generic immersion \(K\) and any \(k\ge2\), a \(k\)-bifurcation \(\widetilde K_k\) satisfies
\[
J^+(\widetilde K_k)\ge k^2J^+(K)-\bigl(k^2-k\bigr),
\]
with equality exactly for minimal double-point bifurcations, and in general
\[
J^+(\widetilde K_k)
=
k^2J^+(K)
-
(k^2-1)
+
n_{\widetilde K_k}
-
n_Kk^2.
\]
Moreover,
\[
J^-(\widetilde K_k)=k^2J^-(K)-(k^2-1),
\]
and \(\mathcal J_1\) obeys the analogous lower bound and exact formula [2210.02968].

A frequent source of confusion is that \(J^+\) itself is not invariant under all local singular events: it jumps by \(\pm2\) under direct self-tangencies. The regular-homotopy-invariant content emerges either by restricting the class of moves or by passing to corrected expressions such as \(I_q\).

## 3. Finite-order, diagrammatic, and graph-theoretic invariants

Vassiliev’s theory of finite-order invariants for plane curves reformulates immersed-curve invariants through the topology of the discriminant. A doodle is a smooth map \(\phi:S^1\to\mathbb R^2\) such that no three distinct points \(x,y,z\in S^1\) satisfy any of
\[
\phi(x)=\phi(y)=\phi(z),\qquad \phi'(x)=0\ \text{but}\ \phi(x)=\phi(y),\qquad \phi'(x)=\phi''(x)=0.
\]
An I-doodle is an immersed doodle, so \(\phi'(x)\neq0\) everywhere and only triple points are forbidden. If \(K=C^\infty(S^1,\mathbb R^2)\) and \(\mathcal D\subset K\) is the discriminant of maps violating these conditions, Vassiliev resolves \(\mathcal D\) simplicially and filters the resolution \(\widetilde{\mathcal D}\) by singularity complexity. An invariant \(v:\pi_0(K\setminus\mathcal D)\to A\) has order \(\le j\) if its Poincaré–Lefschetz dual can be represented by a cycle supported in the \(j\)th filtration stage \(F_j\) [1407.7227].

The combinatorics replacing chord diagrams are triangular diagrams and connected \(3\)-hypergraphs. For an ordered partition \(A=(a_1,\dots,a_m)\), an \(A\)-clique is a collection of \(|A|=a_1+\cdots+a_m\) points on \(S^1\) partitioned into groups of sizes \(a_i\), with complexity \(|A|-m\). Over each \(A\)-clique \(J\), the simplicial resolution yields an order complex \(\Delta(J)\), and the visible blocks \(VB(J)\subset\widetilde{\mathcal D}\) assemble into a spectral sequence. Only connected \(3\)-hypergraphs contribute to the top-dimensional Borel–Moore homology; disconnected splittings produce “4T-type” relations [1407.7227].

For doodles, there are no invariants of order \(1,2,3\), and there is exactly one nontrivial invariant of order \(4\), represented by the “two-alternating-triangles” triangular diagram on six points. The computational procedure is explicit: list \(A\)-configurations of complexity \(\le p\), compute \(H_*(\Delta(J))\), assemble the \(E_1\)-page, compute horizontal differentials, and read off surviving Borel–Moore classes in \(F_p\setminus F_{p-1}\). In low degrees this gives no invariants in degrees \(1,2,3\), exactly one in \(4\) for doodles, and for immersions one in degree \(2\) for Arnold’s strangeness, one in \(3\), and five in \(4\). The same framework extends to immersions avoiding \(k\)-fold points for any \(k\ge3\) [1407.7227].

A different diagrammatic direction appears in immersed graphs in \(\mathbb R^2\). For any \(n\ge2\) and any \(n\)-chord diagram \(\mathcal C\) on \(S^1\), every generic immersion
\[
f:K_{4n}\longrightarrow\mathbb R^2
\]
of the complete graph on \(4n\) vertices contains a \(4n\)-cycle \(\gamma\) whose induced chord diagram \(\mathcal C(f|_\gamma)\) has a sub-chord diagram equivalent to \(\mathcal C\). For \(f:K_6\to\mathbb R^2\), the averaged second-Conway-coefficient invariant is defined by
\[
a_2(f)=\frac1{2^c}\sum_{\text{all choices }\epsilon}a_2(K_\epsilon),
\]
for a generic plane immersion with \(c\) crossings, and then
\[
\alpha(f)=\sum_{\gamma\in\Gamma_6(K_6)}a_2\bigl(f|_\gamma\bigr).
\]
The main congruence is
\[
\alpha(f)\equiv\frac14\quad \bigl(\bmod\tfrac12\bigr),
\]
equivalently \(4\alpha(f)\equiv1\pmod2\), for every generic immersion \(f:K_6\to\mathbb R^2\). This is presented as a two-dimensional analogue of the Conway–Gordon phenomenon in spatial graph theory [1210.7315].

## 4. Invariants for special curves on immersed surfaces

When a curve lies on an immersed surface in \(\mathbb R^3\), the invariant problem depends on the class of ambient surface transformations. For a unit-speed space curve \(y(s)\), the Frenet frame \((t,n,b)\) determines the osculating, normal, and rectifying planes. A rectifying curve is characterized by
\[
y(s)=X(s)\,t(s)+\mu(s)\,b(s).
\]
If \(F:S\to\widetilde S\) is an isometry of smooth surfaces in \(\mathbb R^3\), then \(F_*\) preserves dot products and cross products, carries the Frenet frame of a curve \(y(s)\subset S\) to the Frenet frame of \(\gamma(s)=F(y(s))\subset\widetilde S\), and preserves the rectifying decomposition:
\[
\gamma(s)=X(s)\,\widetilde t(s)+\mu(s)\,\widetilde b(s).
\]
Thus the image of a rectifying curve is again rectifying, with the same coefficient functions \(X(s)\) and \(\mu(s)\). The normal component of the position vector is also preserved:
\[
y(s)\cdot N(s)=\gamma(s)\cdot\widetilde N(s).
\]
In the coordinate expression derived in the paper, the right-hand side depends on the first fundamental form coefficients \(E,F,G\), second derivatives of the parametrization, and the curve parameters \(u(s),v(s)\), and equality follows from preservation of the first fundamental form under the isometry [1808.03270].

For normal curves on immersed surfaces, the ambient definition is
\[
\langle \gamma(s),t(s)\rangle=0,
\qquad\text{equivalently}\qquad
\gamma(s)=X(s)\,n(s)+p(s)\,b(s).
\]
Along an arc-length parametrized curve on a surface, the acceleration decomposes as
\[
\gamma''(s)=k_n(s)\,N(s)+k_g(s)\,(N(s)\times T(s)),
\]
with normal curvature
\[
k_n(s)=\frac{L\,u'^2+2M\,u'v'+N\,v'^2}{E\,u'^2+2F\,u'v'+G\,v'^2}.
\]
If \(\Phi:M\to M\) is a surface isometry, the image of a normal curve satisfies the same normal-curve equation if and only if the normal curvature is preserved along the tangent direction:
\[
k_n\bigl(T(s)\bigr)=k_n\bigl(d\Phi(T(s))\bigr),
\]
equivalently \(S(T(s))=S(d\Phi(T(s)))\) in terms of the shape operator. The paper also gives deviations
\[
\Delta T(s)=\bigl(k_n^{\,\Phi}-k_n\bigr)\,(\,a(s)\,v'(s)+b(s)\,u'(s)\,),
\qquad
\Delta N(s)= -\bigl(k_n^{\,\Phi}-k_n\bigr),
\]
so failure of invariance is governed linearly by the change in normal curvature [1906.04738].

Under conformal transformations \(J:S\to\widetilde S\), the first fundamental forms satisfy
\[
\widetilde E=\lambda E,\qquad \widetilde F=\lambda F,\qquad \widetilde G=\lambda G
\]
for a positive dilation factor \(\lambda\). If \(\beta(s)\) is a normal curve, the paper derives an invariant-sufficient condition for \(J\circ\beta\) to remain normal and computes the normal- and tangential-component deviations. In particular,
\[
\langle \widetilde\beta(s),\widetilde N\rangle-\lambda\,\langle \beta(s),N\rangle
=
\lambda\bigl[k_g(s)-k_n(s)\bigr]\;H(E,F,G,\lambda;u',v'),
\]
where
\[
H= u'^3\,\lambda_u-v'^3\,\lambda_v+2u'^2v'\,\lambda_v-2u'v'^2\,\lambda_u.
\]
The tangential deviation is stated as
\[
\langle \widetilde\beta,\widetilde t\rangle-\lambda\,\langle \beta,t\rangle
=
A(E,F,G,\lambda)+(k_g-k_n)\,B(E,F,G,\lambda;u',v'),
\]
with \(A\) quadratic in \((u',v')\) and \(B\) linear in \((u',v')\), and the geodesic curvature transforms by
\[
\widetilde k_g-\sqrt{\lambda}\,k_g = F(E,F,G,\lambda;u',v',u'',v'').
\]
If \(\lambda\equiv1\), these formulas recover the isometric case; if \(\lambda\equiv c\), they reduce to the homothetic case [1908.03527].

These surface-theoretic invariants are neither regular-homotopy invariants nor purely local differential invariants of the ambient curve alone. They encode compatibility between the curve and the intrinsic or conformal geometry of the supporting surface.

## 5. Floer-theoretic immersed multicurves with local systems

In low-dimensional topology, immersed curve invariants become categorical objects rather than scalar functions. For a compact, oriented \(3\)-manifold \(M\) with torus boundary, bordered Heegaard Floer theory associates a type-\(D\) module \(CFD(M)\) over the torus algebra \(\mathcal A\). Hanselman–Rasmussen–Watson identify \(CFD(M)\), up to homotopy, with an immersed multicurve \(\Theta_M\subset\Sigma\), where \(\Sigma\) is the once-punctured torus \(\partial M\setminus\{z\}\), decorated by a finite \(\mathbb F_2\)-local system \(L_{(M)}\). The underlying immersion is a finite collection of embedded loops and arcs with only transverse self-intersections, and each connected component carries a representation \(\pi_1(C)\to GL_n(\mathbb F_2)\). Crossover arrows between parallel push-offs encode the local systems [2501.05634].

This geometric model is functorial with respect to the partially wrapped Fukaya category \(F_\circ(\Sigma)\). The morphism space between objects \(\mathbf L_0=(L_0,E_0)\) and \(\mathbf L_1=(L_1,E_1)\) is
\[
\hom_{F_\circ}(\mathbf L_0,\mathbf L_1)=\lim_{w\to\infty}CF\bigl(\phi_{wH_\rho}(L_0),L_1\bigr),
\]
and for sufficiently large wrapping this stabilizes to the transverse intersection Floer complex. The \(A_\infty\)-operations
\[
m_k:\hom(L_{k-1},L_k)\otimes\cdots\otimes\hom(L_0,L_1)\longrightarrow \hom(L_0,L_k)[2-k]
\]
count rigid perturbed pseudo-holomorphic \((k+1)\)-gons. The main composition theorem identifies morphisms between bordered Floer invariants with morphisms in the Fukaya category:
\[
\Mor_\mathcal A\bigl(CFA(M_i),CFA(M_{i+1})\bigr)\simeq \hom_{F_\circ}\bigl(\Theta_i,\phi_{i+1}(\Theta_{i+1})\bigr),
\]
and algebraic composition corresponds to Fukaya-category composition by \(m_k\) [2501.05634].

An analogous classification exists for \(4\)-ended tangles. Bar-Natan’s universal invariant of an oriented \(4\)-ended tangle \(T\) is reduced to a complex \(\mathcal D(T)\) over the algebra
\[
\mathcal A\cong R\langle S,D\rangle/(DS=SD=0),
\]
and over a field every bigraded \(\mathcal A\)-complex is homotopy-equivalent to a unique multicurve \(L(N)\) on the \(4\)-punctured sphere, consisting of immersed loops or arcs with local systems on loop components. The resulting immersed-curve invariant is
\[
\widetilde{BN}(T):=L(\mathcal D(T)).
\]
From \(\mathcal D(T)\), one further constructs two mapping-cone invariants \(\widetilde{Kh}(T)\) and \(Kh(T)\), with \(H=D-S^2\in\mathcal A\), giving immersed-curve models for reduced and unreduced Khovanov homology. Their gluing theorems identify the homology of links obtained by gluing tangles with wrapped Floer homology groups of the corresponding multicurves:
\[
BN(L)\simeq HF^\ast\bigl(m\,\widetilde{BN}(T_1),\widetilde{BN}(T_2)\bigr),
\]
and similarly for \(\widetilde{Kh}\) and \(Kh\) [1910.14584].

In this Floer-theoretic sense, an immersed curve invariant is not primarily a number. It is an object in a geometric model for an algebraic theory, and its invariance is up to homotopy of the underlying curves together with equivalence of local systems.

## 6. Applications, obstructions, and scope of the notion

The Floer-theoretic formalism supports applications to \(4\)-manifolds and concordance. For the knot complement of the mirror of \(9_{46}\), the immersed multicurve model detects that two distinct slice disks \(D,D'\subset B^4\) induce different maps
\[
F_D,F_{D'}:CFK(U)\longrightarrow CFK(m9_{46}),
\]
because the corresponding bounding chains determine different intersection points in \(\Theta_U\cap\Theta_K\). The same formalism yields Whitehead-double satellite obstructions and splice-cobordism distinctions, and it packages secondary \(\tau\)-invariants through cones \(\mathrm{Cone}(F_{D_0}+F_{D_1})\) that are again represented by immersed curves in low-complexity cases [2501.05634].

Immersed curves also appear in sliceness detection for knots in homology spheres. If \(K\subset S^3\) is a nontrivial knot smoothly slice in \(B^4\) and \(Y=S^3_{1/n}(K)\), then the dual knot \(K^\ast\subset Y\) is slice in a contractible \(4\)-manifold \(W\) with boundary \(Y\). For the positively clasped Whitehead pattern \(D_+\), the satellite
\[
J=D_+(K^\ast)\subset Y
\]
is slice in \(W\) but can be shown not to be slice in \(Y\times[0,1]\). The obstruction uses the Heegaard Floer invariants
\[
\tau_\alpha(Y,K)=\min\Bigl\{\,m\in\mathbb Z\mid \alpha\in\operatorname{Im}\bigl(H_*(F(K,m))\to\widehat{HF}(Y)\bigr)\Bigr\},
\]
which satisfy \(|\tau_\alpha(Y,K)|\le g(\Sigma)\) for any embedded surface \(\Sigma\subset Y\times I\) bounding \(K\). If \(K\subset Y\) is slice in \(Y\times I\), then \(\tau_\alpha(Y,K)=0\) for all \(\alpha\in\widehat{HF}(Y)\). In the immersed-curve model, each \(\alpha\) corresponds to an intersection point \(p\in\Gamma_{K^\ast}\cap\beta\), and
\[
\tau_\alpha(Y,K)=A(p),
\]
the Alexander-height coordinate of \(p\) in the covering strip. The key lemma states that any generator lying in an acyclic summand of the simplified knot Floer complex of \(K\) produces two surviving intersection points of different Alexander heights after pairing with the skewed Whitehead pattern; consequently at least one \(\tau_\alpha\) is nonzero, obstructing sliceness in the collar [2606.30823].

The broader literature therefore uses the same phrase for different invariant-theoretic regimes. In the cited works, the preserved relation may be Heisenberg-rigid motion [1301.6463], regular homotopy of generic immersions [1108.4288], avoidance of discriminant strata of specified multiplicity [1407.7227], isometry or conformal motion of surfaces [1808.03270], [1908.03527], or homotopy/equivalence of immersed multicurves with local systems in Fukaya-type categories [2501.05634], [1910.14584]. A plausible implication is that “immersed curve invariant” functions less as the name of a single theory than as a family of theories unified by the representation of geometric or topological data on immersed \(1\)-manifolds, with the governing notion of equivalence supplied by the ambient geometry or the relevant homological formalism.

Source: https://www.emergentmind.com/topics/immersed-curve-invariants