---
title: 'Jacobi Curves: Geometry, Arithmetic, Spectral'
url: https://www.emergentmind.com/topics/jacobi-curves
type: topic
---

# Jacobi Curves: Geometry, Arithmetic, Spectral

In the literature represented here, the expression **Jacobi curves** is used in several distinct senses. In symplectic and differential geometry, it denotes curves \(\Gamma(t)\subset \mathscr{L}(W)\) in the Lagrangian Grassmannian of a symplectic vector space, satisfying regularity conditions and generalizing spaces of Jacobi fields along geodesics; this is the setting developed by Agrachev and Zelenko and applied to Finsler geometry and optimal control [2509.15679]. In arithmetic geometry and elliptic-curve theory, the term also refers to the Jacobi quartic and Jacobi intersection models of elliptic curves over finite fields [1112.5714], including cryptographic differential-arithmetic variants on extended Jacobi quartics [2606.20892]. In spectral theory, **Jacobi curves** can mean the spectral curves of finite Jacobi pencils \(\chi_n(\lambda,w)=0\) [2605.14817]. Closely related but distinct terminology includes Jacobi inversion, Abel–Jacobi maps, and Jacobians of algebraic curves [1603.09569, 1805.10771, 2212.14492, 1312.0445, 2103.03138, 2109.13161].

## 1. Jacobi curves in the Lagrangian Grassmannian

In the symplectic-geometric sense, a Jacobi curve is a curve
\[
\Gamma(t)\subset \mathscr{L}(W)
\]
in the Lagrangian Grassmannian of a symplectic vector space \((W,\omega)\), where \(\dim W=2n\). A Lagrangian subspace \(\Lambda\subset W\) is a maximal isotropic subspace, equivalently \(\Lambda=\Lambda^\perp\). The tangent space at a Lagrangian subspace \(\Lambda_0\) is naturally identified with symmetric bilinear forms on \(\Lambda_0\),
\[
T_{\Lambda_0}\mathscr{L}(W)\cong \mathcal{S}(\Lambda_0),
\]
and if \(v(t)\in \Gamma(t)\) with \(v(0)=v_0\in \Gamma(0)\), the tangent vector is represented by
\[
\dot{\Gamma}(0)(v_0)=\omega\bigl(v_0,v'(0)\bigr).
\]
Thus the derivative of the curve is interpreted as a quadratic form on the current Lagrangian subspace [2509.15679].

The regularity hierarchy used in this theory has three levels: **non-singular** means \(\dot{\Gamma}(t)\neq 0\); **regular** means \(\dot{\Gamma}(t)\) is a nondegenerate quadratic form on each \(\Gamma(t)\); and **monotonous** means \(\dot{\Gamma}(t)\) is definite. The paper on classification studies **regular** Jacobi curves, with the definite case singled out because it yields a canonical geometric parameter [2509.15679]. The relevant symmetry group is the conformal symplectic group
\[
CSp(W)=\{c\in GL(W)\mid c^*\omega=\lambda_c\,\omega,\ \lambda_c\neq 0\},
\]
since the Lagrangian Grassmannian depends only on the conformal class \([\omega]\). Jacobi curves are classified up to the action of \(CSp(W)\) together with reparametrization [2509.15679].

This framework is explicitly presented as a far-reaching extension of the classical spaces of Jacobi fields along Riemannian geodesics. The same structure appears in Hamiltonian systems, optimal control, matrix Riccati equations, and Lorentzian conformal geometry [2509.15679]. A complementary formulation in Finsler geometry starts from a **moving plane**
\[
P=(A_r,A_k,P_t),
\]
where \(A_k\subset A_r\) are distributions on a manifold \(X\) and \(P_t\) is a flow preserving \(A_r\). At a point \(x\in X\), the associated Jacobi curve is
\[
l_x(t)=(P_t)_*A_k(x)=dP_{-t}(P_t(x))\,A_k(P_t(x)),
\]
a curve of subspaces in the fixed vector space \(A_r(x)\) [1701.01705]. In optimal control, Jacobi curves arise from the \(L\)-derivative construction: the second variation of a constrained problem is encoded by a Lagrangian subspace, and its time evolution gives a curve \(L_t\) in a fixed symplectic space [1810.02960].

## 2. Derivative curve, curvature, and classification

A central construction is the **derivative curve**. If \(W=\Lambda\oplus \bar\Lambda\) and a Jacobi curve is represented in an affine chart by symmetric matrices \(S_t\), then for a regular Jacobi curve there exists a unique \(\Delta_\tau\in \Gamma(\tau)^\pitchfork\) such that
\[
\Gamma''_{\Delta_\tau}(\tau)=0.
\]
This \(\Delta_\tau\) is the derivative curve. In affine coordinates it is given by
\[
S^0_\tau = S_\tau-2S'_\tau(S''_\tau)^{-1}S'_\tau.
\]
The construction is the higher-dimensional analogue of the distinguished point in \(\mathbb{RP}^1\) that cancels second derivative terms in dimension \(2\) [2509.15679].

From the derivative curve, the paper defines the **Ricci curvature operator**
\[
R_\Gamma(\tau)=\bigl(\Gamma'_{\Delta_\tau}(\tau)\bigr)^{-1}\circ \Gamma'''_{\Delta_\tau}(\tau).
\]
If the curve is represented by a symmetric matrix \(S_t\), then the matrix of \(R_\Gamma\) is the matrix-valued Schwarzian derivative
\[
\mathbb{S}(S_\tau) = (S'_\tau)^{-1}S'''_\tau -\frac{3}{2}\Bigl((S'_\tau)^{-1}S''_\tau\Bigr)^2.
\]
The Ricci curvature operator is symmetric with respect to the bilinear form \(\Gamma'(\tau)\), hence diagonalizable, and its trace
\[
\mathrm{Ric}_t=\mathrm{tr}(R_\Gamma(t))
\]
is the **parametric Ricci curvature** [2509.15679].

Reparametrization acts through a Schwarzian correction:
\[
R_{\overline{\Gamma}(\bar t)} = \left(\frac{d\psi}{d\bar t}\right)^2 R_\Gamma(\psi(\bar t)) + \mathbb{S}(\psi)\,\mathrm{Id},
\qquad
\mathbb{S}(\psi)=\frac{\psi'''}{\psi'}-\frac{3}{2}\left(\frac{\psi''}{\psi'}\right)^2.
\]
This leads to a **projective parameter** \(\bar t\) with \(\mathrm{Ric}_{\bar t}=0\), and then to the **geometric arc element**
\[
ds_\Gamma=\zeta(t)\,dt, \qquad
\zeta(t)=\sqrt[2n]{\left|\det\left(R_\Gamma(t)-\frac{1}{n}\mathrm{Ric}_t\,\mathrm{Id}\right)\right|}.
\]
Using this normalization, the absolute curvature operator is
\[
\mathcal{R}_\Gamma(t) = \frac{1}{\zeta(t)^2} \left[ R_\Gamma(t)-\mathbb{S}(\varphi)\,\mathrm{Id} \right].
\]
The classification theorem states that Jacobi curves are determined by a complete family of \((n-1)(n+2)/2\) independent conformal symplectic curvature invariants [2509.15679].

The Cartan-like theory associates to an admissible Jacobi curve a reduced normal Cartan matrix built from a skew-symmetric matrix \(\Sigma\), a diagonal matrix \(K\) whose diagonal entries are the eigenvalues \(k_i\) of the Ricci curvature operator, and the identity block. The normalization condition is
\[
\prod_{i=1}^n |k_i-\bar k|=1,
\qquad
\bar k=\frac1n\sum_{i=1}^n k_i.
\]
Given smooth \(\Sigma(\tau)\) and diagonal \(K(\tau)\) satisfying this constraint and a symplectic basis at \(\tau=0\), there exists a unique Jacobi curve with that reduced Cartan data. In this sense, an admissible Jacobi curve is characterized, up to conformal symplectic transformations, by its reduced normal Cartan matrix together with a geometric parametrization [2509.15679].

The same paper develops the theory of **cycles**. Fixing a Lagrangian subspace \(\bar\Lambda\), an affine line \(L\subset \bar\Lambda^\pitchfork\) yields
\[
C=L\cup\{\bar\Lambda\},
\]
called a cycle. Regular cycles are exactly the flat models: a regular cycle gives a Jacobi curve with zero absolute curvature, and conversely a Jacobi curve with projective parameter and \(\mathcal R_\Gamma=0\) is contained in a regular cycle [2509.15679].

## 3. Finsler geometry and optimal control

In Finsler geometry, Jacobi curves are attached to sprays and geodesic flows. For a spray \(S\) on a manifold \(M\), the relevant moving plane on \(TM\) is
\[
P=(T(TM),VTM,P_t),
\]
where \(VTM\) is the vertical tangent bundle and \(P_t\) is the flow of \(S\). The resulting Jacobi curve is fanning when
\[
U_1,\dots,U_n,\ [S,U_1],\dots,[S,U_n]
\]
form a frame of the ambient distribution. For sprays this regularity holds, so the Jacobi curve is fanning [1701.01705].

The basic invariants of a fanning curve are the fundamental endomorphism, the horizontal curve, the Jacobi endomorphism, and the Wronskian. If \(A(t)=(a_1(t),\dots,a_n(t))\) is a frame of the curve, the fundamental endomorphism is defined by
\[
F(t)a_i(t)=0,\qquad F(t)\dot a_i(t)=a_i(t),
\]
and in the spray case it becomes the almost tangent structure:
\[
F=-J.
\]
The horizontal curve \(h(t)\) comes from the \(+1\)-eigenspaces of \(\dot F(t)\), giving a splitting
\[
V=l(t)\oplus h(t),
\]
and in the spray case it coincides with the canonical Ehresmann horizontal distribution:
\[
HTM = H.
\]
The Jacobi endomorphism \(K(t)\) is expressed by the Schwarzian of a frame, while the Wronskian is the symmetric bilinear form associated with a Lagrangian curve [1701.01705].

For a Finsler metric \(F\), the Jacobi curve along a geodesic \(y(t)\) based at \(v\in TM\) is
\[
l_v(t)=d\varphi_{-t}\big(V_{\varphi_t(v)}TM\big).
\]
The paper identifies the Wronskian with the fundamental tensor \(g_F\), the Jacobi endomorphism with the curvature endomorphism \(R_v\), and the flag curvature with a quotient of the Jacobi endomorphism by the Wronskian:
\[
K_F(v,\Pi) = \frac{W_y(0)\big(K_v(0)a,a\big)}{W_y(0)(a,a)}.
\]
This gives a dynamical interpretation of flag curvature, and the same framework yields an O’Neill-type formula under Finsler submersions and curvature transformation laws under deformations \(F=F_0+\theta\) by a closed \(1\)-form [1701.01705].

In optimal control and constrained variational calculus, the Jacobi curve is constructed from the \(L\)-derivative. For a critical pair \((\tilde\omega,\lambda)\) of a functional \(J\) under constraints \(F\), the linearized relation
\[
\langle \xi, dF[\tilde\omega](w)\rangle + Q(v,w)=0
\]
defines a Lagrangian subspace
\[
L(F,\nu J)[\tilde\omega,\lambda](V)
\]
for finite-dimensional variation spaces \(V\), and the full \(L\)-derivative is obtained as a generalized limit over increasing finite-dimensional subspaces [1810.02960]. For an extremal of a control system, the Jacobi curve is
\[
L_t = L(E_{N_0,t},\nu J_t)[\tilde\omega,\lambda(t)].
\]
An explicit representation uses
\[
\eta(t)=\eta_0+\int_0^t X(\tau)v(\tau)\,d\tau
\]
together with an orthogonality identity involving the symplectic form \(\sigma\) and a quadratic form \(b(\tau)\) [1810.02960].

The symplectic setting includes the Lagrangian Grassmannian \(L(\Sigma)\), a reference Lagrangian plane \(\Pi\), the Maslov train
\[
M_\Pi = \{\Lambda\in L(\Sigma): \Lambda\cap\Pi\neq\{0\}\},
\]
and the Maslov, Kashiwara, and Leray indices. The main Morse-type theorem expresses the negative inertia index of the Hessian through symplectic indices of the Jacobi curve:
\[
\ind^- \Hess(E_{N_0,t},\nu J_t)[\tilde\omega,\lambda(t)]
=
\frac12\Big( \Li(\tilde L_{T+1},\tilde\Pi)-\Li(\tilde L_{-1},\tilde\Pi) \Big)
+
\dim\Big(\bigcap_{s=0}^T L_s\cap \Pi\Big)-n.
\]
This generalizes classical Jacobi-field and conjugate-point theory to nonsmooth extremals, including bang-bang trajectories and abnormal extremals [1810.02960].

## 4. Jacobi quartic and Jacobi intersection curves

A different and longstanding use of the term concerns elliptic curves in Jacobi form. Over a finite field \(F_q\) of characteristic \(p\ge 3\), two one-parameter families are considered [1112.5714]:

| Family | Equation | Restriction |
|---|---|---|
| Jacobi quartic | \(E_{JQ,u}: Y^2 = X^4 + 2uX^2 + 1\) | \(u\neq \pm 1\) |
| Jacobi intersection | \(E_{JI,u}: X^2 + Y^2 = 1,\ uX^2 + Z^2 = 1\) | \(u\neq 0,1\) |

These families are treated together as the **Jacobi** family. Their arithmetic is controlled by explicit birational equivalences: for \(u\neq \pm1\), the Jacobi quartic \(E_{JQ,u}\) is birationally equivalent over \(F\) to the Legendre curve \(E_{L,1-u}\), and \(E_{JI,u}\) is birationally equivalent over \(F\) to \(E_{JQ,1-2u}\) [1112.5714]. This is the mechanism used to transfer counting results from Legendre to Jacobi models.

For Jacobi quartics, the \(j\)-invariant is
\[
j(E_{JQ,u}) = F(u),
\qquad
F(U)=\frac{64(U^2+3)^3}{(U^2-1)^2}.
\]
The paper then proves that the number of \(F_q\)-isomorphism classes in the Legendre, Jacobi quartic, and Jacobi intersection families coincide:
\[
I_L(q)=I_{JQ}(q)=I_{JI}(q).
\]
Since the Legendre count is known, the Jacobi counts are
\[
I_{JQ}(q)=I_{JI}(q)=
\begin{cases}
\dfrac{7q+9}{24}, & q=1 \pmod{12},\\[4pt]
\dfrac{7q+2}{24}, & q=3,7 \pmod{12},\\[4pt]
\dfrac{7q-2}{24}, & q=5,9 \pmod{12},\\[4pt]
\dfrac{7q-1}{24}, & q=11 \pmod{12}.
\end{cases}
\]
Likewise the number of distinct \(j\)-invariants is
\[
J_{JQ}(q)=J_{JI}(q)=J_L(q)=
\begin{cases}
\dfrac{q+5}{6}, & q=1 \pmod{3},\\[4pt]
\dfrac{q+1}{6}, & q=2 \pmod{3}.
\end{cases}
\]
The contrast with the Hessian family is explicit: Jacobi counts match Legendre counts exactly because of the birational reductions, whereas Hessian curves require a separate analysis with different formulas and finer congruence conditions [1112.5714].

A cryptographic extension studies the **extended Jacobi quartic**
\[
J_{\epsilon,\delta}:\quad y^2=\epsilon x^4+2\delta x^2+1,
\]
defined over a field \(F\) of characteristic \(\ne 2\), with \(\epsilon(\delta^2-\epsilon)\ne 0\). It is birationally equivalent to
\[
E_{\epsilon,\delta}: y^2=(x^2-4\epsilon)(x+2\delta),
\]
and the paper emphasizes that Jacobi quartics include, up to \(F_q\)-isomorphism, Legendre, Edwards, twisted Edwards, and Montgomery curves [2606.20892]. The group law is given explicitly, the identity is \(O=(0,1)\), negation is \((x,y)\mapsto (-x,y)\), and \(\mathcal T=(0,-1)\) is a rational point of order \(2\).

The cryptographic focus is Montgomery-style **differential addition and doubling**. New formulas are given with costs
\[
5M+4S+1D,\qquad 3M+7S+1D,\qquad 3M+6S+3D
\]
when the given difference point is in affine form [2606.20892]. A major structural result is that if an elliptic curve \(E/F_q\) of odd characteristic has a subgroup of order \(4\), then \(E\) admits dADD-M formulas because it is \(F_q\)-isomorphic to an appropriate Jacobi quartic. The theory relies on several \(w\)-functions invariant under different torsion subgroups or cosets, and on an isogeny lemma transferring differential functions through isogenies. The paper’s stated motivation is both arithmetic efficiency and side-channel resistance, since the ladder uses the same operation pattern for each scalar bit [2606.20892].

## 5. Spectral curves of finite Jacobi pencils

In spectral theory, **Jacobi curves** can mean the spectral curves of finite Jacobi pencils
\[
J_n(w)=A+wB,
\]
where \(A=\operatorname{diag}(a_1,\dots,a_n)\) is diagonal and \(B\) is tridiagonal with zero diagonal and off-diagonal entries \(b_1,\dots,b_{n-1}\). The spectral curve is the affine plane algebraic curve
\[
\chi_n(\lambda,w)=\det(\lambda I+J_n(w))=0.
\]
Since \(\chi_n\) is even in \(w\), one often writes
\[
t=w^2,\qquad P_n(\lambda,t)=\chi_n(\lambda,w),
\]
and the continuant recurrence is
\[
P_0=1,\qquad P_1=\lambda+a_1,\qquad P_k=(\lambda+a_k)P_{k-1}-t b_{k-1}^2P_{k-2}.
\]
For each fixed \(w\), the solutions in \(\lambda\) are the eigenvalues of \(-J_n(w)\) [2605.14817].

The central result is generic irreducibility: if the diagonal entries \(a_1,\dots,a_n\) are pairwise distinct, then for fixed \(a_i\), the polynomial \(\chi_n(\lambda,w)\) is irreducible in \(\mathbb C[\lambda,w]\) for all \((b_1,\dots,b_{n-1})\) outside a proper algebraic subset. The proof shows that the monodromy of the eigenvalue branches contains all adjacent transpositions
\[
(1\,2),(2\,3),\dots,(n-1\,n),
\]
hence the monodromy group is \(S_n\), which implies irreducibility. In the connected case \(b_i\neq0\), consecutive continuants are coprime:
\[
\gcd(\chi_n,\chi_{n-1})=1,
\]
so \(\chi_n\) and \(\chi_{n-1}\) have no common irreducible component [2605.14817].

The paper isolates four basic reducibility mechanisms:

| Mechanism | Condition | Effect |
|---|---|---|
| Disconnected chain | \(b_i=0\) | \(\chi_n\) factors into smaller-chain characteristic polynomials |
| Constant branch | \(\chi_n(-a,w)\equiv 0\) | \(\lambda+a\) is a factor |
| Reflection symmetry | \(a_{r+k}=a_{s-k}\), \(b_{r+k}^2=b_{s-k-1}^2\) | splitting into symmetric and antisymmetric parts |
| Scalar diagonal block | \(a_r=\cdots=a_s=a\) | complete factorization over \(\mathbb C\) as \(\prod_{\mu\in \operatorname{Spec}(B_I)}(\lambda+a+\mu w)\) |

These mechanisms motivate an amended reducibility conjecture: every reducible factorization should be built by iterating cutting at \(b_i=0\), constant-branch extraction, palindromic splitting, and scalar-diagonal decomposition [2605.14817].

Low-dimensional evidence is explicit. In degree \(2\),
\[
\chi_2=(\lambda+a_1)(\lambda+a_2)-b_1^2w^2
\]
is reducible iff \(b_1=0\) or \(a_1=a_2\). In degree \(3\), assuming \(b_1b_2\ne0\), reducibility is equivalent to the presence of a constant branch, namely either
\[
a_1=a_3
\]
or
\[
(a_3-a_2)b_1^2+(a_1-a_2)b_2^2=0.
\]
In degree \(4\), both palindromic splitting and scalar-diagonal splitting occur; the example
\[
a_1=a_2=a_3=a_4=0,\qquad b_1=1,\ b_2=2,\ b_3=3
\]
gives
\[
\chi_4(\lambda,w)=\lambda^4-14\lambda^2w^2+9w^4
=\bigl(\lambda^2-(7+2\sqrt{10})w^2\bigr)\bigl(\lambda^2-(7-2\sqrt{10})w^2\bigr),
\]
which is connected, reducible, and not palindromic. The guiding principle is a codimension-growth slogan: aside from the divisors \(b_i=0\), genuinely connected primitive reducibility should move to higher and higher codimension as the size of the chain grows [2605.14817].

## 6. Neighboring terminology: Jacobians, Jacobi inversion, and Jacobi operators

The name **Jacobi** in algebraic geometry often points not to Jacobi curves in the symplectic sense, but to Jacobians, Abel–Jacobi maps, and Jacobi inversion. On telescopic curves, Jacobi inversion formulae recover divisor coordinates from the Abel–Jacobi image through sigma functions and Frobenius–Stickelberger determinants; for a divisor \(P_1+\cdots+P_g\), the paper proves
\[
\wp_{1,i}\big(u^{[g]}\big)=(-1)^{i-1}\mu_{g,g+1-i}(P_1,\dots,P_g),
\qquad 1\le i\le g,
\]
and derives lower-stratum identities involving ratios \(\sigma_i(u^{[k]})/\sigma_{g-k}(u^{[k]})\) [1603.09569]. For curves in Weierstrass normal form, a shifted Abel map and a shifted Riemann constant are used to obtain strata-wise inversion formulae in terms of theta derivatives and Frobenius–Stickelberger functions \(\Psi_{k,i}\) [1805.10771]. For non-hyperelliptic \((n,s)\)-curves, the Jacobi inversion problem is solved constructively by entire rational functions \(R_{2g},\dots,R_{2g+n-2}\) whose coefficients are Kleinian \(\wp\)-functions, with explicit formulas for trigonal, tetragonal, and pentagonal curves [2212.14492].

The Abel–Jacobi image of a curve inside its Jacobian is another nearby topic. For genus \(3\) and \(4\) hyperelliptic curves, the image \(u(\mathcal X)\subset \mathrm{Jac}(\mathcal X)\) is described as an intersection of shifted theta divisors, with explicitly identified parasitic components: in genus \(3\), three shifted theta equations leave only one residual point, while in genus \(4\), four such equations leave eight residual points [1312.0445]. From a computational Torelli viewpoint, a smooth non-hyperelliptic curve can be numerically reconstructed from its Jacobian by building Dubrovin quartics from theta constants and derivatives; the projection of the Dubrovin threefold to the \(U\)-coordinates is the canonical model of the curve [2103.03138]. A different characterization shows that Jacobians of curves with involution having fixed points are exactly those principally polarized abelian varieties containing a shifted Abelian subvariety whose Kummer image is orthogonal to an explicitly given vector [2109.13161].

These topics are terminologically close but conceptually distinct from Jacobi curves. The same caution applies to the **area Jacobi operator** for complex curves in Kähler surfaces. There the object of study is the second-variation operator of area on a complex curve \(x:\Sigma\to M^4\), written as
\[
\mathcal L(V)=4\bar\nu_{1\bar1}\,n+4\nu_{\bar11}\,\bar n,
\]
with first eigenvalue \(\Lambda_1\) defined by
\[
\mathcal L(V)=-\Lambda_1 V.
\]
The paper proves the Lichnerowicz-type estimate
\[
\Lambda_1\ge 2\,\mathfrak{Ric},
\]
and in the Kähler-Einstein case with positive Einstein constant \(\mathfrak c>0\),
\[
\Lambda_1\ge 2\mathfrak c.
\]
Equality is analyzed through holomorphic sections of the normal bundle and is achieved for all curves of genus \(g\le 1\) [2602.22744].

Taken together, these literatures show that **Jacobi curves** is not a single universal notion. In symplectic geometry it is a curve in a Lagrangian Grassmannian carrying conformal symplectic curvature invariants; in elliptic-curve arithmetic it denotes specific quartic and intersection models of elliptic curves; in spectral theory it denotes the spectral curve of a Jacobi pencil; and in algebraic geometry it must be distinguished from the broader Jacobian and Abel–Jacobi vocabulary.

Source: https://www.emergentmind.com/topics/jacobi-curves