Abstract:The discretization of Cartan's exterior calculus of differential forms has been fruitful in a variety of theoretical and practical endeavors: from computational electromagnetics to the development of Finite-Element Exterior Calculus, the development of structure-preserving numerical tools satisfying exact discrete equivalents to Stokes' theorem or the de Rham complex for the exterior derivative have found numerous applications in computational physics. However, there has been a dearth of effort in establishing a more general discrete calculus, this time for differential forms with values in vector bundles over a combinatorial manifold equipped with a connection. In this work, we propose a discretization of the exterior covariant derivative of bundle-valued differential forms. We demonstrate that our discrete operator mimics its continuous counterpart, satisfies the Bianchi identities on simplicial cells, and contrary to previous attempts at its discretization, ensures numerical convergence to its exact evaluation with mesh refinement under mild assumptions.

ExteriorExtensions: A package for Macaulay2

Exterior Algebras and Two Conjectures on Finite Abelian Groups

Matching Fields in Macaulay2

A Step towards Computational Derived Algebraic Geometry: The RepHomology Package For Macaulay2

The MatrixSchubert package for Macaulay2

Coding theory package for Macaulay2

The multigraded BGG correspondence in Macaulay2

Exterior powers of a parabolic Springer sheaf on a Lie algebra

The QuillenSuslin Package for Macaulay2

Computing Quasidegrees of A-graded Modules

$\mathbb{A}^1$-Brouwer degrees in Macaulay2

Extending Structures for Lie 2-Algebras

Deformed Kazhdan-Lusztig elements and Macdonald polynomials

A Discrete Exterior Calculus of Bundle-valued Forms

On the Spectrum of Exterior Algebra, and Generalized Exponents of Small Representations

The OIGroebnerBases Package for Macaulay2

Simplicial complexes in Macaulay2

L^2 -Extension of Adjoint Bundles and Kollár’s Conjecture

Explicit equations for exterior square of the general linear group

On covariants in exterior algebras for the even special orthogonal group

A Kac-Moody algebra associated to the non-compact manifold SL$(2, \mathbb R)$