Chern–Weil homomorphism

The map sending invariant polynomials on a Lie algebra to de Rham cohomology classes represented by curvature forms of principal-bundle connections.

Version

v2 · 2026-09-19 · History

Domain-specific #

3668

Domain group

Formal Sciences

Origin domain

Mathematics

Subdomain

Differential Geometry → Mathematics

Core Idea

The differential-form representative depends on the connection but its cohomology class does not, normalization conventions change characteristic-class factors and invariant polynomials and structure group must be declared. A connection produces a curvature two-form; an Ad-invariant polynomial evaluates repeated curvature entries to a closed even-degree form, and transgression shows that changing connection alters it only by an exact form. The abstraction is therefore identified by a declared carrier, a transformation or constraint over that carrier, and an invariant that tells an analyst whether the named structure is genuinely present.

How would you explain it like I'm…

Same Total Bendiness

Imagine a bumpy ball made of clay. You can squish it so some spots get pointier and others flatter, and you can measure the bendiness in many different ways. But when you add up the bendiness in the special way mathematicians do, you always get the same total. The Chern–Weil homomorphism is a machine that turns local bendiness into totals like that, which don't depend on how you measured.

Curvature Totals That Never Change

Imagine a surface with little arrows attached at every point, and a rule (called a connection) for sliding arrows from place to place. Different rules bend the arrows in different amounts at different spots, which mathematicians call curvature. The Chern–Weil homomorphism is a set of recipes that combine the curvature into special quantities you can total up over the whole surface. The surprising part: no matter which sliding rule you pick, the totals come out the same. So they tell you something about the shape and the way the arrows are attached, not about the rule you chose.

Curvature-to-Characteristic-Class Map

In differential geometry, a principal G-bundle over a manifold attaches a copy of a symmetry group G to each point, and a connection tells you how to move between neighboring copies. A connection has a curvature, a 2-form measuring how moving around a small loop fails to return you to where you started. The Chern–Weil homomorphism feeds the curvature into polynomials that are invariant under the group's adjoint action, producing closed differential forms of even degree. Changing the connection changes the form, but only by an exact form, so its de Rham cohomology class stays the same. That's how you get characteristic classes like Chern and Pontryagin classes, which are topological invariants of the bundle. Normalization conventions change constant factors, so they must be stated.

 

Given a principal G-bundle P over a smooth manifold M with connection ω and curvature Ω, the Chern–Weil homomorphism maps the algebra of Ad-invariant polynomials on the Lie algebra 𝔤 to de Rham cohomology: a degree-k invariant polynomial f is evaluated on k copies of Ω (with a wedge convention), giving a closed 2k-form f(Ω). Closedness follows from the Bianchi identity and invariance. Transgression shows that for two connections, f(Ω₁) − f(Ω₀) is exact, so the class [f(Ω)] ∈ H^{2k}_dR(M) is independent of the connection even though the form is not. The map is a homomorphism of graded algebras, and its images are characteristic classes — Chern classes for unitary groups, Pontryagin classes for orthogonal groups. Normalization conventions (factors of 2π, i) change the constants, and the structure group and invariant polynomials must be declared.

Scope of Application

Chern–Weil homomorphism belongs to differential geometry and is useful where the analyst can specify the typed differential geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, then evaluate the principal G-bundle over a smooth manifold, Lie algebra and invariant-polynomial algebra, connection and curvature form, polynomial degree and wedge convention, resulting closed differential form, de Rham cohomology class, independence from connection, graded-algebra homomorphism and characteristic classes such as Chern and Pontryagin classes are explicit.

Clarity

The abstraction clarifies a crowded vocabulary by making the principal G-bundle over a smooth manifold, Lie algebra and invariant-polynomial algebra, connection and curvature form, polynomial degree and wedge convention, resulting closed differential form, de Rham cohomology class, independence from connection, graded-algebra homomorphism and characteristic classes such as Chern and Pontryagin classes are explicit the center of the account. A claim should name the carrier, the governing operation or relation, the applicable assumptions, and the recognition test.

Manages Complexity

Without the abstraction, an analyst must reason directly over many local details: the carrier roles, admissibility assumptions, competing conventions, derived invariants, boundary cases, and proof or validation obligations specific to Chern–Weil homomorphism. Chern–Weil homomorphism compresses them into the roles in the structural signature. That compression permits comparison across instances without erasing the variables that determine validity. It also exposes which details may be varied safely and which are constitutive.

Abstract Reasoning

1. Identify the carrier. State what the elements, states, objects, or observations are: the typed differential geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets. Reject examples whose alleged carrier belongs to a different problem.
2. Lock the constitutive rule. Express the principal G-bundle over a smooth manifold, Lie algebra and invariant-polynomial algebra, connection and curvature form, polynomial degree and wedge convention, resulting closed differential form, de Rham cohomology class, independence from connection, graded-algebra homomorphism and characteristic classes such as Chern and Pontryagin classes are explicit independently of one notation or implementation.

Knowledge Transfer

Knowledge transfers strongly among subfields of differential geometry because they reuse the typed differential geometry carrier, including objects, relations, parameters, conventions, evidence, boundaries, and comparison targets, A connection produces a curvature two-form; an Ad-invariant polynomial evaluates repeated curvature entries to a closed even-degree form, and transgression shows that changing connection alters it only by an exact form., and type the carrier, state every parameter and convention in the definition, test that the principal G-bundle over a smooth manifold, Lie algebra and invariant-polynomial algebra, connection and curvature form, polynomial degree and wedge convention, resulting closed differential form, de Rham cohomology class, independence from connection, graded-algebra homomorphism and characteristic classes such as Chern and Pontryagin classes are explicit, compare the nearest accepted identity, and report counterexamples, uncertainty, and limiting cases.

Relationships to Other Abstractions

Current abstraction Chern–Weil homomorphism Domain-specific

Parents (1) — outgoing typed relations

• Chern–Weil homomorphism is a kind of Function (Mapping) Prime

  It remains its own entry because its identity is fixed by the principal G-bundle over a smooth manifold, Lie algebra and invariant-polynomial algebra, connection and curvature form, polynomial degree and wedge convention, resulting closed differential form, de Rham cohomology class, independence from connection, graded-algebra homomorphism and characteristic classes such as Chern and Pontryagin classes.

Hierarchy path (1) — routes to 1 parentless root

• Chern–Weil homomorphism → is a kind of Function (Mapping)

Neighborhood in Abstraction Space

Chern–Weil homomorphism sits in a crowded region of the domain-specific corpus (7^th percentile for distinctiveness): several abstractions share nearly its structure, so a description that fits it tends to fit its neighbors too.

Family — Gauge Theory & Characteristic Classes (5 abstractions)

Nearest neighbors

• ∞-Chern–Weil theory — 0.93
• Differential form — 0.93
• Parabolic geometry (differential geometry) — 0.92
• Weakly symmetric space — 0.92
• Metric tensor — 0.92

Computed from structural-signature embeddings · 2026-10-25