Chern Character Basics

• Chern character is a transformation converting K-theoretic, categorical, geometric, analytic, or field-theoretic data into cohomological data.
• It extends to vector bundles, cycles, distributions, and master field theories and applications range from indexing data to content stability.
• For a vector bundle, a connection░ has curvature characteristics, resulting in forms that convert data into problems, invariants.

The Chern character is a characteristic-class transformation that converts $K$-theoretic, categorical, geometric, analytic, or field-theoretic data into cohomological data. In its classical form, for a complex vector bundle $E$ with connection $\nabla$ and curvature $F_\nabla$, it is represented by

$$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$

and, under the splitting principle, by $\operatorname{ch}(E)=\sum_j e^{x_j}$ in terms of the Chern roots $x_j$. It is additive under direct sums, extends to virtual bundles, and is compatible with products, pullbacks, pushforwards after the appropriate Todd-class correction, and a wide range of generalized homology theories. Contemporary constructions identify the Chern character with traces, universal natural transformations, Hochschild and cyclic homology classes, localized characteristic classes, or higher-categorical traces.

1. Classical characteristic-class formulation

For a rank-$r$ complex vector bundle $E$, the total Chern character is

$$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$

Its initial components are

$E$0

and

$E$1

Consequently,

$E$2

so that for a virtual bundle $E$3 one has

$E$4

The Chern character is naturally rational or complex valued because the coefficients $E$5 occur in its components. In topological $E$6-theory, the Chern–Dold equivalence gives, after rationalization,

$E$7

and hence identifies rational complex $E$8-theory with periodic rational cohomology. For a compact space $E$9,

$\nabla$0

For ordinary connections, the differential-form representative is the Chern–Weil expression

$\nabla$1

The same formal structure appears for superconnections. If $\nabla$2 is an odd superconnection on a $\nabla$3-graded vector bundle, its curvature is $\nabla$4, and its Chern character form is

$\nabla$5

Parallel transport along the universal superpoint path on $\nabla$6 produces $\nabla$7; taking the supertrace yields the Chern character form (Dumitrescu, 2012).

For odd $\nabla$8-theory, a smooth map $\nabla$9 into the stable unitary group has odd Chern form

$F_\nabla$0

It is closed by the Maurer–Cartan equation. A homotopy $F_\nabla$1 gives the Chern–Simons transgression

$F_\nabla$2

The odd Chern character therefore assigns cohomology classes to odd $F_\nabla$3-theory classes, while Chern–Simons forms encode their homotopies.

2. Universal and categorical characterizations

A conceptual characterization of the Chern character arises from additive invariants of differential graded categories. Let $F_\nabla$4 be a commutative ring with unit. For a small dg category $F_\nabla$5, an additive invariant is a functor that sends Morita equivalences to isomorphisms and is additive with respect to the standard upper-triangular dg category $F_\nabla$6. The invariants

$F_\nabla$7

belong to this framework.

The universal additive category $F_\nabla$8 has small dg categories as objects and morphism groups

$F_\nabla$9

with composition induced by derived tensor products of bimodules. The canonical functor

$$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$0

is universal among additive invariants. The one-object dg category $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$1 corepresents $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$2: $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$3 The identity of $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$4 corresponds to the universal class $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$5.

Consequently, for every additive invariant $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$6 there is an isomorphism

$$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$7

Thus a natural transformation $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$8 is determined by one element of $$\operatorname{ch}(E)=\operatorname{Tr}\exp\!\left(\frac{F_\nabla}{2\pi i}\right),$$9. For cyclic homology,

$\operatorname{ch}(E)=\sum_j e^{x_j}$0

while

$\operatorname{ch}(E)=\sum_j e^{x_j}$1

If $\operatorname{ch}(E)=\sum_j e^{x_j}$2 and $\operatorname{ch}(E)=\sum_j e^{x_j}$3 denote canonical generators, then the Chern characters are precisely the natural transformations satisfying

$\operatorname{ch}(E)=\sum_j e^{x_j}$4

Therefore,

$\operatorname{ch}(E)=\sum_j e^{x_j}$5

and the standard Chern character corresponds to $\operatorname{ch}(E)=\sum_j e^{x_j}$6 (Tabuada, 2010).

This characterization uses naturality, Morita invariance, additivity, normalization at the unit dg category, and compatibility with cyclic periodicity. It does not require multiplicativity, an idempotent formula, a trace identity, a connection, curvature, a Chern–Weil construction, or a $\operatorname{ch}(E)=\sum_j e^{x_j}$7-ring structure. It is a statement about natural transformations of functors to abelian groups, rather than a multiplicative characterization at the level of rings or spectra.

The same trace principle extends to higher categories. For a dualizable object $\operatorname{ch}(E)=\sum_j e^{x_j}$8 and an endomorphism $\operatorname{ch}(E)=\sum_j e^{x_j}$9, the categorical trace

$x_j$0

is defined using coevaluation, evaluation, and the symmetry constraint. In a symmetric monoidal $x_j$1-category, trace is a symmetric monoidal $x_j$2-functor and has a canonical $x_j$3-invariant refinement on equivalences. Applied to categorical sheaves over a prestack $x_j$4, pullback to the free loop stack $x_j$5 supplies monodromy, whose trace defines a functor

$x_j$6

The corresponding secondary character is obtained by iterating the construction: $x_j$7 This framework identifies ordinary Chern characters with traces of monodromy and secondary Chern characters with iterated traces (Hoyois et al., 2015).

3. Cyclic, Hochschild, and noncommutative realizations

For an algebra or dg category, the Chern character often takes values in Hochschild, cyclic, or negative cyclic homology. Connes’ noncommutative Chern character gives

$x_j$8

and for every $x_j$9,

$r$0

The dg-categorical extensions are natural transformations on small dg categories. Negative cyclic homology is related to $r$1-homotopy fixed points of Hochschild homology: $r$2 This is the homotopy-theoretic counterpart of the mixed-complex formalism underlying cyclic homology.

For a $r$3-summable Fredholm module $r$4 over a locally convex dg algebra $r$5, the Chern character is an entire cyclic cocycle. Its construction uses the formal superconnection

$r$6

with curvature

$r$7

The curvature components are

$r$8

$r$9

and

$E$0

Heat-kernel simplex integrals produce a perturbative exponential $E$1, and the JLO-type cocycle is

$E$2

It satisfies

$E$3

in the entire cyclic complex. The estimate

$E$4

ensures analyticity and continuity on the entire cyclic completion (Güneysu et al., 2019).

For matrix factorizations, let $E$5 be a smooth scheme, $E$6, and let $E$7 be a matrix factorization with odd differential $E$8 satisfying

$E$9

The Hochschild homology of the dg category of matrix factorizations is modeled by the twisted de Rham complex

$$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$0

with

$$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$1

The Chern character is the boundary–bulk map evaluated on the identity: $$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$2 It can be written using an exponential of the Atiyah class: $$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$3 If $$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$4 admits a global connection $$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$5, the curvature-like operator is

$$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$6

and

$$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$7

The Chern character then has the explicit form

$$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$8

For $$\operatorname{ch}(E)=\sum_{j=1}^r e^{x_j} =\sum_{k\geq 0}\operatorname{ch}_k(E), \qquad \operatorname{ch}_k(E)=\frac{1}{k!}\sum_{j=1}^r x_j^k.$$9, this recovers the classical Chern character of perfect complexes through the exponential of the Atiyah class (Platt, 2012).

An algebraic Chern–Weil construction gives a parallel formulation for a smooth finitely generated $E$00-algebra $E$01, with $E$02 containing $E$03, and $E$04. For a matrix factorization $E$05, the Atiyah class $E$06 yields strict morphisms whose exponential is

$E$07

Taking the supertrace gives

$E$08

as a class in the homology of the Koszul-type complex $E$09. The construction is independent of connections, invariant under homotopy equivalence, additive in distinguished triangles, multiplicative under tensor products, and functorial under suitable algebra maps (Yu, 2013).

4. Arithmetic, relative, and higher Chern characters

In Arakelov geometry, a hermitian vector bundle is a pair

$E$10

where $E$11 is an algebraic vector bundle and $E$12 is a smooth conjugation-invariant hermitian metric on the associated complex bundle. Its arithmetic Chern character is

$E$13

Formally,

$E$14

where $E$15 are arithmetic Chern roots. In particular,

$E$16

The curvature map sends the arithmetic class to the Chern–Weil form: $E$17

Unlike the ordinary Chern character, the arithmetic Chern character is not generally additive for a sequence of hermitian vector bundles that is exact only on the generic fiber. Consider

$E$18

The failure of additivity has two components:

• an archimedean metric defect measured by a Bott–Chern class $E$19;
• a finite-fiber defect measured by a localized Chern character $E$20.

The fundamental identity is

$E$21

If the sequence is everywhere exact and the metrics are compatible, both terms vanish. If exactness holds everywhere but the metrics are not compatible, the defect is purely Bott–Chern. If the metrics are compatible but exactness fails on finite fibers, the supported term remains (Gillet et al., 2012).

Higher arithmetic Chern characters extend this construction to higher arithmetic $E$22-groups: $E$23 Takeda’s construction uses exact hermitian cubes, multi-relative complexes, iterated doubles, higher Bott–Chern forms, and Burgos–Feliu higher arithmetic Chow groups. A degree-$E$24 arithmetic $E$25-class is represented by a pair $E$26 satisfying

$E$27

The resulting character is compatible with pullback: $E$28 and with the $E$29-module structure: $E$30 For $E$31, it reduces to the Gillet–Soulé arithmetic Chern character. Its Deligne-cohomological realization agrees with the regulator predicted by Beilinson’s theory (Takeda, 2012).

5. Geometric, moduli-theoretic, and homotopical applications

The Chern character is also used to express characteristic classes in moduli problems. For the Verlinde bundle

$E$32

associated with conformal blocks for a complex simple simply connected Lie group, the total Chern character is given by a stable-graph formula: $E$33 The leg, vertex, and edge factors are respectively

$E$34

$E$35

and

$E$36

The degree-zero term is the Verlinde number, and every component of the Chern character lies in the tautological ring. These classes define a semisimple CohFT whose degree-zero theory is the Verlinde fusion algebra. Teleman’s reconstruction identifies the diagonal $E$37-matrix, after removing the Hodge factor, as

$E$38

The graph formula is then recovered from the $E$39-matrix action (Marian et al., 2013).

For holomorphic vector bundles with holomorphic connections, the Chern character can be organized as a map of simplicial presheaves. Bundle isomorphisms are not required to preserve connections. If

$E$40

then the degree-one component is

$E$41

For composable maps, higher simplicial components consist of traces of products of covariant derivatives of the transition maps. Čech totalization converts these local expressions into Hodge Chern-character classes. The construction records Chern–Simons-type data in higher simplicial degrees and extends to complex Lie groupoids and group actions (Glass et al., 2019).

The same homotopical principle applies to infinity vector bundles. A simplicial presheaf of homotopy-coherent complexes of holomorphic vector bundles is constructed using cyclic simplicial sets and Maurer–Cartan elements. If $E$42 is the higher descent datum and

$E$43

is the corresponding Atiyah class, the Chern character on a $E$44-cell is

$E$45

This defines a map

$E$46

of simplicial presheaves. On connected components it recovers the Toledo–Tong/O’Brian–Toledo–Tong Chern character of coherent sheaves, while on higher homotopy groups it yields Chern–Simons and higher Chern–Simons invariants (Glass et al., 2022).

In loop-space geometry, the even Bismut–Chern form of a connection $E$47 is an even form on $E$48 satisfying

$E$49

For the stable unitary group $E$50, the odd Bismut–Chern form on $E$51 extends the universal odd Chern form and satisfies

$E$52

where $E$53 is the inclusion of constant loops. This produces a homomorphism

$E$54

whose restriction to constant loops is the ordinary odd Chern character (Wilson, 2013).

Supersymmetric field theories provide another geometric model. Restriction of a $E$55-dimensional Euclidean field theory to the invariant locus of supercircles yields a pair $E$56 satisfying

$E$57

The cohomology class $E$58 is therefore independent of the circle length and lies in

$E$59

In dimension $E$60, a partition function yields $E$61 satisfying

$E$62

The resulting class lies in cohomology with coefficients in weak modular forms, providing a geometric Chern-character map toward complex analytic elliptic cohomology (Berwick-Evans, 2020).

6. Localization, singularities, and generalized index formulas

A Chern character can convert global $E$63-theory classes into local singularity data. For a family of Fredholm operators, the Fermi set is

$E$64

Near a point of the Fermi set, the small-eigenvalue subspace is finite dimensional. If the local family is homotopic to a Clifford-linear model

$E$65

then the Jacobian sign of the coordinate map $E$66 defines the local Fermi-point sign. For a compact oriented $E$67-manifold and an even Fredholm family $E$68, the top Chern character satisfies

$E$69

For an odd family $E$70 on an oriented $E$71-manifold,

$E$72

When $E$73, this is spectral flow, up to the convention for orientations and crossing signs. Thus the odd Chern character is a higher-dimensional analogue of spectral flow (Horie, 10 May 2025).

For Landau–Ginzburg models, let $E$74 be a smooth quasi-projective complex variety and $E$75 a regular function with critical locus contained in $E$76. The category $E$77 of matrix factorizations is equivalent, through Orlov’s equivalence, to the singularity category of $E$78. The critical cohomology is

$E$79

A matrix factorization determines a relative topological $E$80-class and hence a class in critical $E$81-theory: $E$82 Applying the localized Chern character and the Todd class gives

$E$83

Thus

$E$84

The transformation satisfies Grothendieck–Riemann–Roch for proper maps of Landau–Ginzburg models, as well as pullback, shift, module, tensor-product, external-product, Sebastiani–Thom, and Knörrer-periodicity compatibilities (Shoemaker, 23 Jul 2026).

For ample groupoids with torsion-free stabilizers, a rational Chern character maps the Baum–Connes left-hand side to periodicized groupoid homology: $E$85 It is constructed from the rational equivalence

$E$86

assembled over the simplicial nerve of the groupoid. Under the rational Baum–Connes conjecture,

$E$87

This construction is a Chern–Dold-type character at the level of spectra and does not use a smooth dense subalgebra, the Chern–Connes character, or periodic cyclic homology (Proietti et al., 9 Sep 2025).

The same localization philosophy appears in arithmetic deformation theory. For a locally complete intersection $E$88 of codimension $E$89, Koszul complexes associated with infinitesimal deformations define a natural transformation from the local Hilbert functor to a functor built from Hochschild homology with support: $E$90 The target is smooth, while its tangent map, after contraction and passage from local cohomology to ordinary cohomology, recovers the infinitesimal Abel–Jacobi map. On obstruction spaces, the same transformation recovers Bloch’s semiregularity map and annihilates the relevant embedded-deformation obstructions (Yang, 2021).

Related constructions and scope

The term “Chern character” therefore denotes a family of related transformations rather than a single formula. Classical Chern–Weil theory uses curvature and traces; superconnections replace curvature by $E$91; odd $E$92-theory uses Maurer–Cartan forms and transgression; dg and categorical theories use Hochschild or cyclic traces; arithmetic theories incorporate metric and finite-fiber corrections; matrix factorizations lead to twisted de Rham or critical cohomology; and higher-categorical theories use $E$93-equivariant traces of monodromy.

These constructions share several structural properties—additivity, homotopy invariance, functoriality, and compatibility with products or pushforwards—but their targets, coefficient systems, gradings, and normalization conventions differ. In particular, a scalar index or partition function should not be confused with an entire inhomogeneous Chern-character class, and a Chern character valued in abelian-group cohomology should not automatically be interpreted as a multiplicative map of rings or spectra. The universal categorical characterization, the cyclic and Hochschild realizations, and the generalized Riemann–Roch formulas provide distinct but interconnected descriptions of the same broad principle: $E$94-theoretic or categorical information can be linearized by a canonical trace-like transformation into cohomological data.