Contact Spectral Invariant Theory

• Contact Spectral Invariant Theory is a collection of frameworks that assign quantitative spectral data to contact manifolds, contactomorphisms, and Legendrians.
• It utilizes methods including Floer-theoretic minimax, Heegaard Floer spectral orders, selector theory, and analytic invariants to capture key dynamical and topological properties.
• The invariants satisfy properties like spectrality, monotonicity, and stability, offering practical insights into rigidity phenomena, fillability obstructions, and Reeb flow dynamics.

Contact spectral invariant theory comprises several constructions that attach quantitatively meaningful spectral data to contact manifolds, contactomorphisms, Legendrians, or contact-type hypersurfaces. In the literature represented here, the term includes at least four distinct but structurally related paradigms: Floer-theoretic minimax values attached to filtered complexes; page-of-death invariants in Heegaard Floer or sutured Floer spectral sequences; selector-type invariants valued in translated-point spectra on orderable contact manifolds; and analytic invariants extracted from operator spectra, such as spectral flow, analytic torsion, and eta invariants. Across these settings, the recurring themes are spectrality, continuation or isotopy invariance, monotonicity, stability estimates, and applications to rigidity phenomena such as leaf-wise intersections, translated points, orderability, fillability obstructions, and large-scale geometry of contactomorphism groups (Albers et al., 2010, Kutluhan et al., 2016, Djordjević et al., 17 Jul 2025, Arlove, 16 Sep 2025, Rumin, 2024).

1. Conceptual frameworks and basic patterns

A first framework is Floer-theoretic minimax. In the contact Hamiltonian setting on the boundary $M=\partial W$ of a ${\rm weakly}^{+}$-monotone symplectic manifold, one considers admissible contact Hamiltonians $h$, the associated Floer groups $\HF_*(\eta\#h)$, and the direct system

$\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$

For a nonzero class $\theta\in\SH_*(W)$, the contact spectral invariant is defined by

$c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$

This is explicitly presented as a Viterbo-type minimax and is accompanied by spectrality, shift, monotonicity, stability, triangle inequality, and descent properties (Djordjević et al., 17 Jul 2025).

A second framework is spectral-order theory in Heegaard Floer and sutured Floer homology. There, the contact generator $x_\xi$ determines a distinguished class in a filtered chain complex whose differential decomposes as

$\partial=\partial_0+\partial_1+\partial_2+\cdots$

according to a nonnegative even-valued $J_+$-index. The spectral invariant is then not an action value but the smallest page on which ${\rm weakly}^{+}$0 dies in the associated spectral sequence. For closed contact ${\rm weakly}^{+}$1-manifolds and for convex-boundary contact manifolds, this yields the spectral order ${\rm weakly}^{+}$2 (Juhász et al., 2016, Kutluhan et al., 2016).

A third framework is selector theory on strongly orderable contact manifolds. Here one starts from the contact manifold

${\rm weakly}^{+}$3

and the Legendrian diagonal ${\rm weakly}^{+}$4. Spectral quantities ${\rm weakly}^{+}$5 are defined from the partial order on the universal cover of the Legendrian isotopy class of ${\rm weakly}^{+}$6, and then transferred to the universal cover of the contactomorphism group via a homomorphism ${\rm weakly}^{+}$7. This yields selectors

${\rm weakly}^{+}$8

with spectrality, monotonicity, homogeneity under Reeb shifts, triangle-type inequalities, and non-degeneracy (Arlove, 16 Sep 2025).

A fourth framework is analytic. In one direction, a contact form ${\rm weakly}^{+}$9 on a closed contact $h$0-manifold perturbs a spin$h$1 Dirac operator $h$2 to a family $h$3, and the asymptotic behavior of $h$4 and $h$5 yields spectral invariants whose leading term is proportional to the contact volume $h$6 (Tsai, 2013). In another direction, CR Seifert manifolds with transverse circle action support torsion zeta-functions, analytic torsion, and eta invariants that admit topological, geometric, and dynamical expressions in terms of the Reeb flow (Rumin, 2024).

These constructions are not presented as equivalent. This suggests that “contact spectral invariant theory” is best understood as a family of theories sharing a spectral philosophy rather than a single universal formalism.

2. Rabinowitz Floer theory on contact-type hypersurfaces

An important precursor is the Rabinowitz Floer construction for exact symplectic manifolds that are completions of compact exact domains with contact-type boundary $h$7. For a Moser pair $h$8, the Rabinowitz action functional is

$h$9

The multiplier $\HF_*(\eta\#h)$0 enforces the constraint $\HF_*(\eta\#h)$1. Critical points satisfy

$\HF_*(\eta\#h)$2

When $\HF_*(\eta\#h)$3 is contact-type, any critical point $\HF_*(\eta\#h)$4 yields a point $\HF_*(\eta\#h)$5 satisfying

$\HF_*(\eta\#h)$6

so critical points correspond to leaf-wise intersections (Albers et al., 2010).

The chain complex is generated by critical points graded by the Conley–Zehnder index,

$\HF_*(\eta\#h)$7

with boundary operator defined by counting negative-gradient flow lines. Under standard transversality and compactness arguments one obtains Rabinowitz Floer homology $\HF_*(\eta\#h)$8 (Albers et al., 2010).

For a weakly regular or regular Moser pair, the spectral invariant of a nonzero class $\HF_*(\eta\#h)$9 is defined by the minimax formula

$\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$0

Equivalently,

$\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$1

The main structural properties are spectrality, homotopy invariance through continuation maps, and $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$2-continuity. In particular, for sufficiently small $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$3,

$\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$4

and for each fixed nonzero $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$5, the map $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$6 extends continuously, indeed locally Lipschitz, from regular to all adapted Moser pairs (Albers et al., 2010).

A distinctive point is the treatment of degeneracies. If the Rabinowitz action functional is Morse–Bott rather than Morse, one perturbs by a Morse function on each critical manifold, and the $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$7-Lipschitz continuity implies that the limit of $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$8 still produces a critical value of the unperturbed functional. The paper emphasizes that this allows one to derive existence of critical points even in degenerate situations where the functional is not Morse (Albers et al., 2010).

The principal application is to cotangent bundles. If $\P(W,h)=\{\HF_*(\eta\#h)\}_{\eta\in\R\setminus\Spec(h)}, \qquad \varinjlim_{\eta}\HF_*(\eta\#h)=\SH_*(W).$9 is closed with $\theta\in\SH_*(W)$0, $\theta\in\SH_*(W)$1 is fiber-wise star-shaped, and $\theta\in\SH_*(W)$2 is any compactly supported Hamiltonian perturbation, then there exist infinitely many pairs $\theta\in\SH_*(W)$3 such that

$\theta\in\SH_*(W)$4

and the time-shifts $\theta\in\SH_*(W)$5 can be made arbitrarily large positive or negative. In the special case $\theta\in\SH_*(W)$6, one has

$\theta\in\SH_*(W)$7

and the action of a generator corresponding to a closed geodesic of length $\theta\in\SH_*(W)$8 is $\theta\in\SH_*(W)$9, so the spectral invariant recovers geodesic lengths under the Morse–Bott correspondence (Albers et al., 2010).

3. Spectral order in Heegaard Floer and sutured Floer theory

In dimension three, contact spectral invariant theory takes a different form. For a closed contact $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$0-manifold $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$1 supported by an open book $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$2 together with arcs $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$3 containing an arc-basis for $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$4, one obtains a multi-pointed Heegaard diagram and the hat Heegaard Floer complex $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$5. The differential can be refined by a nonnegative even-valued index $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$6, producing a decomposition

$c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$7

This yields a filtered complex and a first-quadrant spectral sequence

$c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$8

The contact generator $c(h,\theta) = -\,\inf\Bigl\{\eta\in\R\ \Big|\ \theta\in\Im\!\bigl(\HF_*(\eta\#h)\to\SH_*(W)\bigr)\Bigr\}.$9 represents the Ozsváth–Szabó contact class $x_\xi$0, and the page-level spectral order is

$x_\xi$1

followed by minimization over supporting open books and arc systems to define $x_\xi$2 (Juhász et al., 2016).

The closed-manifold formulation has a parallel “twisted” presentation in which one adjoins a formal variable $x_\xi$3, forms a filtered complex $x_\xi$4, and reads off the spectral order from the page on which the contact class vanishes. In this form the invariant is explicitly described as taking values in $x_\xi$5, vanishing for overtwisted structures, equaling $x_\xi$6 for Stein fillable structures, and being non-decreasing under Legendrian surgery (Kutluhan et al., 2016).

For contact $x_\xi$7-manifolds with convex boundary, the same construction is extended using partial open books $x_\xi$8 and sutured Floer homology. The sutured contact class

$x_\xi$9

is represented by a degree-zero generator $\partial=\partial_0+\partial_1+\partial_2+\cdots$0, and the same $\partial=\partial_0+\partial_1+\partial_2+\cdots$1-filtration yields a spectral sequence $\partial=\partial_0+\partial_1+\partial_2+\cdots$2 and a spectral order $\partial=\partial_0+\partial_1+\partial_2+\cdots$3 (Juhász et al., 2016).

A central structural theorem in the convex-boundary setting is monotonicity under codimension-zero contact submanifolds: $\partial=\partial_0+\partial_1+\partial_2+\cdots$4 whenever $\partial=\partial_0+\partial_1+\partial_2+\cdots$5 is a compact codimension-zero contact submanifold with convex boundary. The proof uses the Honda–Kazez–Matić contact-gluing map as a filtered chain map preserving the $\partial=\partial_0+\partial_1+\partial_2+\cdots$6-filtration. This directly implies that overtwisted contact structures have order zero, since a neighborhood of an overtwisted disk has spectral order zero (Juhász et al., 2016).

Explicit computations give further rigidity information. A neighborhood of an overtwisted disk satisfies $\partial=\partial_0+\partial_1+\partial_2+\cdots$7, because in the relevant sutured diagram the contact generator is hit by a $\partial=\partial_0+\partial_1+\partial_2+\cdots$8 bigon and is therefore killed already on the $\partial=\partial_0+\partial_1+\partial_2+\cdots$9-page. A small perturbation of a $J_+$0-Giroux torsion domain has order at most two, and hence any contact structure with positive Giroux torsion satisfies

$J_+$1

In particular, the contact invariant vanishes in both the overtwisted and Giroux-torsion cases (Juhász et al., 2016).

The closed-manifold theory adds a fillability statement absent from the convex-boundary paper: any Stein fillable contact manifold has

$J_+$2

The proof passes through open books whose monodromy is a product of positive Dehn twists, together with the fact that Legendrian surgery never decreases the invariant. The same paper exhibits a genus-one, two-boundary-component open book with non-vanishing Ozsváth–Szabó contact class but with $J_+$3, thereby obstructing Stein fillability in a case not detected by $J_+$4 alone (Kutluhan et al., 2016).

Several open questions are explicitly recorded. Among them are whether $J_+$5 characterizes overtwistedness, whether a $J_+$6-torsion domain can be shown to have order $J_+$7, and whether the sutured invariant depends only on the closed completion when $J_+$8 (Juhász et al., 2016).

4. Contact Hamiltonian and Legendrian Floer spectral invariants

For contact boundaries of fillings, a direct Floer-theoretic contact spectral invariant theory is developed for admissible contact Hamiltonians $J_+$9, with Hamiltonian extension

${\rm weakly}^{+}$00

on the completion ${\rm weakly}^{+}$01. The associated Hamiltonian action functional on the loop space is

${\rm weakly}^{+}$02

The resulting Floer groups fit into the direct system ${\rm weakly}^{+}$03, and the spectral invariant

${\rm weakly}^{+}$04

is defined for nonzero ${\rm weakly}^{+}$05 (Djordjević et al., 17 Jul 2025).

The basic properties are collected in Theorem 3.8 of that work. For non-eternal ${\rm weakly}^{+}$06, one has spectrality ${\rm weakly}^{+}$07, shift under constants ${\rm weakly}^{+}$08, monotonicity under ${\rm weakly}^{+}$09, and the stability estimate

${\rm weakly}^{+}$10

where

${\rm weakly}^{+}$11

There is also a pair-of-pants product

${\rm weakly}^{+}$12

yielding the triangle inequality

${\rm weakly}^{+}$13

as well as descent under passage to the universal cover ${\rm weakly}^{+}$14 (Djordjević et al., 17 Jul 2025).

A new algebraic feature in this theory is the “gapped module” filtration. Instead of a total action filtration, the continuation system is indexed by the partially ordered set

${\rm weakly}^{+}$15

Restricting to discrete ${\rm weakly}^{+}$16-step subsequences produces honest persistence modules and bar-codes, from which the Viterbo-style spectral invariant is recovered as the largest left endpoint of an infinite bar supporting the class (Djordjević et al., 17 Jul 2025).

The theory has several applications. If the unit ${\rm weakly}^{+}$17 is not eternal, then the contact big fiber theorem gives a non-displaceable fiber for every contact-involutive map ${\rm weakly}^{+}$18. Under the same hypothesis, ${\rm weakly}^{+}$19 is orderable in the sense that it admits no contractible positive loop of contactomorphisms. The zero-infinity dichotomy asserts that either ${\rm weakly}^{+}$20, or the canonical map

${\rm weakly}^{+}$21

is surjective. There is also a translated-point theorem: if a contactomorphism has oscillation energy below the minimal period of any closed Reeb orbit, then it must admit a translated point (Djordjević et al., 17 Jul 2025).

A different, Legendrian-based Floer theory exists on the one-jet bundle ${\rm weakly}^{+}$22 with contact form ${\rm weakly}^{+}$23. For Legendrians ${\rm weakly}^{+}$24, and in practice ${\rm weakly}^{+}$25, the Hamiltonian-perturbed contact action functional is

${\rm weakly}^{+}$26

Critical points satisfy

${\rm weakly}^{+}$27

The theory constructs a Floer-type cohomology ${\rm weakly}^{+}$28, proves invariance under continuation, and identifies ${\rm weakly}^{+}$29 by a PSS-type argument (Oh et al., 2023).

The filtration is by action sublevels,

${\rm weakly}^{+}$30

and for nonzero ${\rm weakly}^{+}$31 one defines

${\rm weakly}^{+}$32

The paper proves spectrality, monotonicity, Hofer continuity,

${\rm weakly}^{+}$33

a triangle inequality under concatenation ${\rm weakly}^{+}$34, and a non-degeneracy statement for the point class. It also shows that the Legendrian theory subsumes the Lagrangian spectral invariants on ${\rm weakly}^{+}$35: for lifted exact Lagrangians and lifted Hamiltonians,

${\rm weakly}^{+}$36

In the explicit model ${\rm weakly}^{+}$37 with ${\rm weakly}^{+}$38, the generators correspond to critical points of ${\rm weakly}^{+}$39, the action is ${\rm weakly}^{+}$40, and the spectral invariants recover the classical generating-function values (Oh et al., 2023).

5. Spectral selectors on strongly orderable contact manifolds

Selector theory replaces Floer filtration by a partial order on Legendrian isotopies of the diagonal. A closed cooriented contact manifold ${\rm weakly}^{+}$41 is called strongly orderable if the universal cover of the Legendrian isotopy class of

${\rm weakly}^{+}$42

admits a non-degenerate partial order induced by non-negative Legendrian isotopies. For lifts ${\rm weakly}^{+}$43, one defines

${\rm weakly}^{+}$44

These satisfy spectrality, normalization, monotonicity, a triangle-type inequality, and duality (Arlove, 16 Sep 2025).

The passage from Legendrians to contactomorphisms uses the homomorphism

${\rm weakly}^{+}$45

where ${\rm weakly}^{+}$46. On universal covers this yields the selectors

${\rm weakly}^{+}$47

Theorem A establishes that ${\rm weakly}^{+}$48 take values in the translated-point spectrum ${\rm weakly}^{+}$49, vanish on the identity, shift by ${\rm weakly}^{+}$50 under Reeb segments ${\rm weakly}^{+}$51, are monotone with respect to the contact isotopy order, satisfy triangle-type inequalities, and obey

${\rm weakly}^{+}$52

If ${\rm weakly}^{+}$53, then ${\rm weakly}^{+}$54 (Arlove, 16 Sep 2025).

When the Reeb flow is ${\rm weakly}^{+}$55-periodic, the selectors satisfy a quasi-additivity modulo ${\rm weakly}^{+}$56: ${\rm weakly}^{+}$57 This leads to a conjugation-invariant norm

${\rm weakly}^{+}$58

which is nonnegative, symmetric, satisfies the triangle inequality, is invariant under conjugation, and is stably unbounded (Arlove, 16 Sep 2025).

The same selectors yield a contact big-fiber theorem. For an ${\rm weakly}^{+}$59-contact-involutive map

${\rm weakly}^{+}$60

the contact Hamiltonians satisfy ${\rm weakly}^{+}$61 and ${\rm weakly}^{+}$62, and then every ${\rm weakly}^{+}$63 fails to displace at least one fiber of ${\rm weakly}^{+}$64. The proof constructs a contact quasi-state and a contact quasi-measure from the selector (Arlove, 16 Sep 2025).

The theory also controls large-scale geometry of ${\rm weakly}^{+}$65. If all Reeb orbits have the same minimal period ${\rm weakly}^{+}$66, then for every ${\rm weakly}^{+}$67,

${\rm weakly}^{+}$68

so Reeb segments are geodesics for both the discriminant and oscillation norms (Arlove, 16 Sep 2025).

The same paper states that, for standard contact lens spaces, the selector ${\rm weakly}^{+}$69 constructed earlier via generating functions and Givental’s nonlinear Maslov index is recovered by the new ${\rm weakly}^{+}$70-formalism. This suggests a unification of generating-function and order-theoretic selector methods inside contact spectral invariant theory.

6. Analytic, Dirac, and dynamical spectral invariants

A different strand of contact spectral invariant theory is analytic. On a closed oriented contact ${\rm weakly}^{+}$71-manifold ${\rm weakly}^{+}$72 with adapted metric ${\rm weakly}^{+}$73, a unitary connection ${\rm weakly}^{+}$74 on the determinant line bundle defines a spin${\rm weakly}^{+}$75 Dirac operator ${\rm weakly}^{+}$76, and the contact form produces the family

${\rm weakly}^{+}$77

For the low-energy eigenspaces

${\rm weakly}^{+}$78

there exist ${\rm weakly}^{+}$79 such that for all ${\rm weakly}^{+}$80, all ${\rm weakly}^{+}$81, and all ${\rm weakly}^{+}$82,

${\rm weakly}^{+}$83

This is proved by splitting the spinor bundle ${\rm weakly}^{+}$84, estimating the ${\rm weakly}^{+}$85-component by a Weitzenböck argument, and analyzing the ${\rm weakly}^{+}$86-component in adapted coordinates via an approximate Cauchy–Riemann system (Tsai, 2013).

The associated spectral flow has the asymptotic expansion

${\rm weakly}^{+}$87

so the subleading term is strictly ${\rm weakly}^{+}$88. The coefficient

${\rm weakly}^{+}$89

is identified as the contact volume. The same paper relates the ${\rm weakly}^{+}$90-invariant of ${\rm weakly}^{+}$91 to small-eigenvalue asymmetry, and by an APS-type index relation obtains

${\rm weakly}^{+}$92

The work explicitly interprets the contact volume as a leading spectral invariant and states that the smaller terms are believed to encode finer data of the Reeb flow (Tsai, 2013).

For CR contact manifolds with transverse circle action, the analytic theory becomes more elaborate. Rumin’s contact complex ${\rm weakly}^{+}$93 gives weighted Laplacians ${\rm weakly}^{+}$94, a torsion zeta-function

${\rm weakly}^{+}$95

and an analytic torsion

${\rm weakly}^{+}$96

On ${\rm weakly}^{+}$97-dimensional CR Seifert manifolds one also defines a contact signature operator ${\rm weakly}^{+}$98 with ${\rm weakly}^{+}$99, and the eta function

$h$00

The main theorem identifies four versions of the torsion trace,

$h$01

and the dynamical expression is a Selberg-type trace formula over closed Reeb orbits (Rumin, 2024).

The same paper proves a functional relation between the torsion-zeta function and a dynamical zeta function,

$h$02

extracts topological residues, and gives a closed formula for the analytic torsion in terms of holonomy data and orbifold invariants. It also derives both dynamical and characteristic-class expressions for $h$03 (Rumin, 2024).

In these analytic works, the spectral input is the spectrum of differential or hypoelliptic operators rather than action values of a Floer functional. Nevertheless, the contact form and the Reeb flow remain the organizing geometric data, and the resulting invariants retain the characteristic contact feature of linking global spectral quantities to Reeb dynamics and contact topology.

7. Recurring structures, applications, and unresolved directions

Several structural patterns recur across the distinct theories. Spectrality is explicit in Rabinowitz Floer homology, contact Hamiltonian Floer theory, Legendrian contact instanton theory, and selector theory: the invariant is realized by an action value or a translated-point shift (Albers et al., 2010, Djordjević et al., 17 Jul 2025, Oh et al., 2023, Arlove, 16 Sep 2025). Stability also appears repeatedly: Rabinowitz spectral invariants are locally Lipschitz in the $h$04-topology on adapted Moser pairs; contact Hamiltonian invariants satisfy an $h$05-Lipschitz estimate; Legendrian spectral invariants satisfy Hofer-type bounds (Albers et al., 2010, Djordjević et al., 17 Jul 2025, Oh et al., 2023).

Monotonicity and triangle inequalities are likewise common. In spectral order theory, codimension-zero inclusion and Legendrian surgery impose monotonicity statements on $h$06 (Juhász et al., 2016, Kutluhan et al., 2016). In contact Hamiltonian Floer theory, the triangle inequality arises from a pair-of-pants product, while in selector theory it appears as a triangle-type inequality for $h$07 and $h$08 (Djordjević et al., 17 Jul 2025, Arlove, 16 Sep 2025). This suggests that multiplicative or order-theoretic structures are central to the quantitative content of contact spectral invariants.

The applications span several subfields. Rabinowitz spectral invariants yield infinitely many leaf-wise intersections with arbitrarily large positive and negative time-shifts on suitable cotangent bundles (Albers et al., 2010). Heegaard Floer spectral order detects overtwistedness, gives upper bounds in the presence of Giroux torsion, equals $h$09 for Stein fillable structures, and can obstruct Stein fillability even when the Ozsváth–Szabó contact class is nonzero (Juhász et al., 2016, Kutluhan et al., 2016). Contact Hamiltonian invariants imply non-displaceable fibers, orderability, a zero-infinity dichotomy for symplectic homology, and translated-point existence under oscillation-energy hypotheses (Djordjević et al., 17 Jul 2025). Selector theory produces a big-fiber theorem, a stably unbounded conjugation-invariant norm, and geodesic Reeb segments for the discriminant and oscillation metrics (Arlove, 16 Sep 2025). Analytic spectral invariants connect contact volume, torsion, and eta invariants to the Reeb flow through asymptotic and trace-formula descriptions (Tsai, 2013, Rumin, 2024).

The unresolved directions are equally varied. The Heegaard Floer literature asks whether $h$10 characterizes overtwistedness, whether $h$11-torsion domains already have order $h$12, and whether the sutured spectral order is genuinely new or only depends on a closed completion (Juhász et al., 2016). The contact Hamiltonian Floer work points to “boundary-depth”-type invariants, algebraic duality, and a rigorous chain-level twisted Rabinowitz–Floer-type complex recovering the gapped filtration (Djordjević et al., 17 Jul 2025). The analytic papers indicate finer subleading terms and dynamical zeta data beyond leading asymptotics (Tsai, 2013, Rumin, 2024).

Taken together, these developments show that contact spectral invariant theory is not a single invariant but a broad quantitative program. Its central objects may be Floer classes, contact generators, Legendrian diagonals, translated points, Dirac eigensections, or Reeb orbits; yet in each case the spectral quantity is designed to detect rigidity through a filtered, ordered, or asymptotic interaction between contact topology and dynamics.