Courant Contact Model Explained

• The Courant contact model is a graded-contact reformulation of traditional Courant algebroids, integrating contact geometry with shifted symplectic and BV formalisms.
• It employs a sheaf of (2-n)-shifted symplectic formal moduli problems and L∞-algebra constructions to encode contact analogs of Courant structures.
• Its framework advances both line-bundle formulations and dg-ringed manifold techniques, enhancing applications in generalized geometry and theoretical physics.

The Courant contact model denotes a contact-geometric reformulation of Courant-type structures in which the usual degree-2 symplectic picture is replaced, or refined, by a graded-contact one. In its most recent usage, the term refers to the sheaf of $(2-n)$-shifted symplectic formal moduli problems obtained by symplectifying a local shifted-contact structure associated to the Roytenberg–Weinstein $L_\infty$ algebra of a Courant algebroid over a dg ringed manifold equipped with an $n$-orientation (Kupka et al., 4 Feb 2026). Its conceptual roots lie in earlier work on graded contact manifolds, where contact structures were recast as homogeneous symplectic principal $\mathbb{R}^\times$-bundles and degree-2 contact manifolds were shown to encode contact analogs of Courant algebroids (Grabowski, 2011). In the line-bundle-based formulation, the same class of objects is called an $L$-Courant algebroid, explicitly identified as a contact Courant algebroid in Grabowski’s sense (Das, 2018).

1. Conceptual emergence and scope

The modern genealogy of the subject begins with the observation that contact geometry can be treated symplectically after passing to a principal $\mathbb{R}^\times$-bundle. In that framework, a contact structure is not primarily a codimension-one distribution but a homogeneous symplectic principal $\mathbb{R}^\times$-bundle, and compatible gradings then produce graded contact manifolds. Degree $2$ is the relevant level for Courant theory: a contact $2$-manifold endowed with an $\mathbb{R}^\times$-homogeneous cubic Hamiltonian satisfying $L_\infty$0 is the contact analog of Roytenberg’s symplectic model for a Courant algebroid (Grabowski, 2011).

A second step is the line-bundle formulation. Instead of the ordinary tangent bundle and a scalar-valued pairing, the contact version replaces them by the gauge algebroid $L_\infty$1 of a line bundle $L_\infty$2 and an $L_\infty$3-valued pairing. This yields the structure called an $L_\infty$4-Courant algebroid, which the literature explicitly equates with a contact Courant algebroid (Das, 2018). The anchor lands in first-order differential operators on $L_\infty$5, not in vector fields, which is the decisive contact/Jacobi modification.

A third step, introduced in the dg-ringed setting, promotes the contact Courant viewpoint from a graded-geometric encoding of brackets to a local BV/formal-moduli construction. Given a Courant algebroid $L_\infty$6 over a dg ringed manifold $L_\infty$7 and an $L_\infty$8-orientation on $L_\infty$9, the associated Roytenberg–Weinstein $n$0 algebra acquires a local structure “reminiscent of a shifted contact structure,” and its symplectification defines what is called the Courant contact model (Kupka et al., 4 Feb 2026).

This terminology should be distinguished from unrelated uses of “contact model” in other fields, such as the “effective contact model” for graphene transport (Bahamon et al., 2013) or the “fractional contact model in the continuum” for non-Markov particle systems (Kochubei et al., 2014).

2. Graded-contact foundations

The foundational move is the equivalence between contact geometry and homogeneous symplectic geometry. If $n$1 is a contact form on a supermanifold $n$2, then

$n$3

is symplectic on the trivial principal bundle $n$4. More invariantly, a contact structure is an even line subbundle $n$5 generated locally by contact forms, equivalently a symplectic principal $n$6-bundle. Its symplectization is $n$7 with homogeneous symplectic form satisfying

$n$8

Compatible gradings then produce graded contact manifolds, and a contact structure of degree $n$9 is the contact counterpart of a graded symplectic principal $\mathbb{R}^\times$0-bundle of weight $\mathbb{R}^\times$1 (Grabowski, 2011).

A central theorem identifies the linear case completely. Linear contact structures are exactly the canonical contact structures on first jets of line bundles. For a line bundle $\mathbb{R}^\times$2, the first jet bundle $\mathbb{R}^\times$3 carries the canonical contact structure; when $\mathbb{R}^\times$4 is trivial,

$\mathbb{R}^\times$5

Its symplectization is identified with

$\mathbb{R}^\times$6

This is the contact analog of the standard statement that linear symplectic manifolds are cotangent bundles (Grabowski, 2011).

Structure	Equivalent formulation
contact structure	symplectic principal $\mathbb{R}^\times$7-bundle
graded contact structure of degree $\mathbb{R}^\times$8	graded symplectic principal $\mathbb{R}^\times$9-bundle of weight $L$0
linear contact structure	canonical contact structure on $L$1
contact $L$2-manifold with cubic homological Hamiltonian	contact Courant algebroid

This dictionary is structurally important because it shifts the contact/Courant discussion from distributions and ad hoc brackets to homogeneous symplectic data. A plausible implication is that many constructions familiar from symplectic graded geometry admit contact counterparts once the $L$3-homogeneity is made explicit.

3. Contact Courant algebroids and $L$4-Courant algebroids

For a line bundle $L$5, the basic infinitesimal object is the gauge algebroid $L$6, whose sections are derivations $L$7 satisfying

$L$8

for a unique symbol $L$9. The tautological representation of $\mathbb{R}^\times$0 on $\mathbb{R}^\times$1 gives the Atiyah complex

$\mathbb{R}^\times$2

with $\mathbb{R}^\times$3 (Das, 2018).

An $\mathbb{R}^\times$4-Courant algebroid is a vector bundle $\mathbb{R}^\times$5 equipped with a bracket

$\mathbb{R}^\times$6

a symmetric nondegenerate $\mathbb{R}^\times$7-valued pairing

$\mathbb{R}^\times$8

and an anchor

$\mathbb{R}^\times$9

subject to the axioms

$\mathbb{R}^\times$0

$\mathbb{R}^\times$1

$\mathbb{R}^\times$2

$\mathbb{R}^\times$3

$\mathbb{R}^\times$4

where $\mathbb{R}^\times$5 is defined via the Atiyah differential and the pairing (Das, 2018). The skew-symmetrized bracket

$\mathbb{R}^\times$6

is then skew-symmetric.

The model example is the omni-$\mathbb{R}^\times$7 bundle

$\mathbb{R}^\times$8

with structure

$\mathbb{R}^\times$9

$2$0

If $2$1 is closed, the bracket twists to

$2$2

An $2$3-Courant algebroid is exact if

$2$4

is exact; after choosing an isotropic splitting, the bracket is $2$5-twisted by a closed Atiyah $2$6-form $2$7 (Das, 2018).

In the earlier graded-contact language, the same structure appears as a vector bundle $2$8 with a Loday/Leibniz bracket, an $2$9-valued pseudo-Euclidean pairing, and a morphism

$2$0

satisfying compatibility identities such as

$2$1

When the underlying line bundle is trivial, this recovers the known Courant–Jacobi structures (Grabowski, 2011).

4. Homological Hamiltonians and associated $2$2-algebras

A major structural principle is that Jacobi/Kirillov and contact-Courant data admit homological Hamiltonian descriptions. For a line bundle $2$3, a Kirillov bracket is a Lie bracket on $2$4 that is a first-order differential operator in each argument, and on a linear contact manifold it is encoded by a quadratic Hamiltonian $2$5 satisfying

$2$6

The bracket is recovered by a derived-bracket construction on the appropriate graded symplectic/contact manifold (Grabowski, 2011). This places contact geometry squarely in the same homological paradigm as Poisson and Courant geometry, with the contact correction absorbed by the line-bundle formalism.

For any $2$7-Courant algebroid $2$8, there is a canonical 3-term $2$9-algebra on the complex

$\mathbb{R}^\times$0

with

$\mathbb{R}^\times$1

and

$\mathbb{R}^\times$2

all higher $\mathbb{R}^\times$3 vanishing. Restricting to

$\mathbb{R}^\times$4

gives a 2-term truncation with the same $\mathbb{R}^\times$5 and $\mathbb{R}^\times$6 (Das, 2018).

The higher theory extends from $\mathbb{R}^\times$7 to isotropic involutive subbundles

$\mathbb{R}^\times$8

For such a subbundle $\mathbb{R}^\times$9, Hamiltonian Atiyah $L_\infty$00-forms form a space $L_\infty$01 with basic bracket

$L_\infty$02

The Jacobi identity fails by an exact term, and that failure organizes a $L_\infty$03-term $L_\infty$04-algebra of observables on the complex

$L_\infty$05

In the case of a closed nondegenerate Atiyah $L_\infty$06-form $L_\infty$07, there is an injective $L_\infty$08-morphism from the observable 2-term algebra of $L_\infty$09 into that of the twisted $L_\infty$10-Courant algebroid $L_\infty$11 (Das, 2018).

This hierarchy clarifies a recurring misconception: contact Courant structures are not merely ordinary Courant algebroids with a line bundle inserted by hand. The anchor, pairing, cohomological differential, and Jacobiator all live naturally in the Atiyah/gauge-algebroid setting, and the resulting higher brackets are part of the structure rather than a secondary packaging.

5. The dg-ringed Courant contact model

In the dg-ringed formulation, the input is a dg ringed manifold $L_\infty$12 together with a strict Courant algebroid $L_\infty$13 over $L_\infty$14. Such an algebroid consists of a dg $L_\infty$15-module $L_\infty$16 with nondegenerate pairing $L_\infty$17, anchor $L_\infty$18, and bracket satisfying the Courant axioms

$L_\infty$19

$L_\infty$20

$L_\infty$21

$L_\infty$22

The standard example is

$L_\infty$23

with the obvious pairing, anchor, and Dorfman-type bracket (Kupka et al., 4 Feb 2026).

The associated Roytenberg–Weinstein local Lie algebra is

$L_\infty$24

with brackets

$L_\infty$25

$L_\infty$26

and

$L_\infty$27

This local $L_\infty$28 algebra presents a formal moduli problem interpreted as the infinitesimal moduli space of generalized diffeomorphisms (Kupka et al., 4 Feb 2026).

An $L_\infty$29-orientation on $L_\infty$30 is a quasi-isomorphism $L_\infty$31, and from $L_\infty$32 together with an orientation class $L_\infty$33 one introduces the field space

$L_\infty$34

with fields $L_\infty$35 and $L_\infty$36. The extra variable $L_\infty$37 is the “contact coordinate” encoding the orientation modulus, with rescaling action

$L_\infty$38

The local Liouville form is

$L_\infty$39

and the exact shifted symplectic form is

$L_\infty$40

This is an exact $L_\infty$41-shifted symplectic structure, and the resulting local moduli problem $L_\infty$42 is what is called the Courant contact model (Kupka et al., 4 Feb 2026).

The action functional is

$L_\infty$43

$L_\infty$44

and it satisfies the classical master equation on $L_\infty$45. The homological vector field is

$L_\infty$46

so the theory is the BV theory associated to the Roytenberg–Weinstein local Lie algebra enlarged by the orientation modulus (Kupka et al., 4 Feb 2026).

The parity of $L_\infty$47 controls the grading behavior. When $L_\infty$48 is odd, the construction yields a $L_\infty$49-graded theory in the Batalin–Vilkovisky formalism; $L_\infty$50 recovers the familiar $L_\infty$51-graded Courant sigma-model behavior, while $L_\infty$52 is the case singled out for the Calabi–Yau fivefold application.

6. Constructions, examples, and adjacent developments

Two functorial mechanisms organize the dg-ringed theory. Reduction starts with an involutive isotropic submodule $L_\infty$53; then $L_\infty$54 carries a flat $L_\infty$55-connection, and under a mild local generation hypothesis the $L_\infty$56-flat sections

$L_\infty$57

inherit a reduced Courant algebroid structure over the invariant subalgebra $L_\infty$58. Extension of scalars proceeds along a cdga map $L_\infty$59 once the anchor is lifted compatibly, producing a Courant algebroid on $L_\infty$60 with bracket

$L_\infty$61

These operations are used to pass from smooth to holomorphic and then to Dolbeault-resolved Courant data (Kupka et al., 4 Feb 2026).

The principal geometric application in the 2026 construction is to twisted type I supergravity. A twisted background determines an involutive Lagrangian subbundle

$L_\infty$62

with $L_\infty$63, hence a complex structure on $L_\infty$64. Reducing the complexified Courant algebroid along $L_\infty$65 yields a holomorphic Courant algebroid, and extending scalars to the Dolbeault complex produces the Courant algebroid $L_\infty$66 over $L_\infty$67. For a Calabi–Yau fivefold, the associated Courant contact model is equivalent to a central extension of minimal type I BCOV theory, and the broader conjecture is that the BV theory of type I supergravity in a twisted background is equivalent to the Courant contact model for the corresponding Dolbeault-resolved Courant algebroid (Kupka et al., 4 Feb 2026).

Several adjacent developments illuminate the model’s position within generalized geometry. Coisotropic Cartan geometries canonically determine twisted Courant algebroids on tractor bundles, with Jacobiator controlled by a closed $L_\infty$68-form and with induced Lie 2-algebras and 3D AKSZ sigma models with background (Xiaomeng, 2012). Gauged Courant sigma models extend Courant sigma models by additional Lie algebroid or Courant algebroid gauge sectors; their consistency is again encoded by homological Hamiltonians and flatness/compatibility identities such as

$L_\infty$69

together with conditions of the form

$L_\infty$70

in the relevant cases (Ikeda, 31 Jan 2026). This suggests that the Courant contact model occupies the contact/BV corner of a wider AKSZ–Courant landscape, while retaining the distinctive feature that the symplectic theory arises as a symplectification of an underlying contact-type structure (Kupka et al., 4 Feb 2026).

A recurring source of confusion is the phrase “contact model” itself. In the present context it refers to contact/Jacobi/Courant structures, graded symplectification, and BV/formal-moduli constructions. It does not refer to transport contact self-energies in graphene (Bahamon et al., 2013) or to non-Markov birth-and-death processes in configuration spaces (Kochubei et al., 2014).