Characteristic Classes on Vector Bundles

[DeRhamSource]

Characteristic classes on differentiable vector bundles.

Features

• characteristic classes on differentiable manifolds using the Chern-Weil homomorphism
• class BundleConnection introduced with rudimentary methods
• each characteristic class carries a dictionary with bundle connection as keys and mixed forms as values in order to simulate the cohomology equivalence

Planned sometime

• transgression forms

Depends on #28159
Depends on #28189
Depends on #28564
Depends on #28716

CC: @tscrim @egourgoulhon

Component: geometry

Keywords: characteristic classes

Author: Michael Jung

Branch/Commit: 6830d30

Reviewer: Travis Scrimshaw, Eric Gourgoulhon

Issue created by migration from https://trac.sagemath.org/ticket/27784

[DeRhamSource]

Author: Michael Jung

[DeRhamSource]

Changed keywords from none to characteristic classes

[DeRhamSource]

Description changed:

--- 
+++ 
@@ -1 +1 @@
-
+A demo notebook is provided at https://github.com/DeRhamSource/MixedFormNotebook

[DeRhamSource]

Branch: u/gh-DeRhamSource/characteristic_classes_on_manifolds

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

[sagetrac-git]

Commit: 716fb69

[DeRhamSource]

Changed commit from 716fb69 to none

[DeRhamSource]

Changed branch from u/gh-DeRhamSource/characteristic_classes_on_manifolds to u/gh-DeRhamSource/char_classes

[DeRhamSource]

Changed branch from u/gh-DeRhamSource/char_classes to u/gh-DeRhamSource/characteristic_classes_on_manifolds

[DeRhamSource]

Commit: 716fb69