Corpus ID: 220041886

Characteristic Classes in Computer Algebra

@article{Jung2020CharacteristicCI,
  title={Characteristic Classes in Computer Algebra},
  author={Michael Jung},
  journal={arXiv: Differential Geometry},
  year={2020}
}
  • Michael Jung
  • Published 2020
  • Mathematics
  • arXiv: Differential Geometry
  • We develop a framework to compute characteristic classes and their forms in the computer algebra system SageMath using symbolic calculus. In order to do this, we make use of the Chern-Weil approach in which characteristic classes of vector bundles in the de Rham cohomology are obtained by arbitrary connections. Along the way, we implement the notion of vector bundles, their sections and connections as well as mixed differential forms in SageMath. We conclude by discussing some application… CONTINUE READING

    Figures and Tables from this paper.

    References

    SHOWING 1-10 OF 56 REFERENCES
    Symbolic tensor calculus on manifolds: a SageMath implementation
    • 5
    • PDF
    Vector Bundles and K-Theory
    • 103
    SAGE: system for algebra and geometry experimentation
    • 138
    • Highly Influential
    • PDF
    Characteristic Classes
    • 640
    • PDF
    On Chern classes of tensor products of vector bundles
    • 1
    • PDF
    On elliptic operators in
    • 233
    Spectral Asymmetry and Riemannian Geometry
    • 1,077
    • Highly Influential
    • PDF
    Spin Geometry
    • 268
    • PDF
    DIFFERENTIAL TOPOLOGY
    • 1,510
    • PDF
    Elliptic Operators, Topology and Asymptotic Methods
    • 216