Eric Forgy Modified Wedge Product

Contents

Warning: Speculative material under construction.

The following material began as a post on the nCafe…

---

Initial Thought

Given a manifold $M$ and differential forms $\Omega(M)$ on $M$, we can construct a simplicial complex $S$ with cochains $C^*(S)$. The de Rham map $R$ takes forms on $M$ and turns them into cochains on $S$

The Whitney map ($W$) takes cochains on $S$ and turns them into (Whitney) forms on $M$

We have

and

The wedge product in $\Omega(M)$ is graded commutative and the cup product in $C^*(S)$ is not graded commutative “on the nose” so all these maps do not quite fit together perfectly, e.g.

and

Some people have proposed a modified cup product for computational physics via

I don’t think this helps much with the “cochain problem”. In particular, this modified cup product is not even associative!

I have proposed an alternative, which at first will seem radical but I actually think might help with things like the “cochain problem”. That is to introduce a modified wedge product

This modified wedge product has the (uber) nice property that it is an algebra homomorphism “on the nose”, i.e.

The undesirable property of this modified wedge product is that it will depend on triangulation $S$, but that dependence disappears when you pass to cohomology, homotopy, etc, which is what the mathematicians really care about.

My gut tells me that having a true algebra morphism like this will give you true functors and the category theoretic analysis will be much cleaner. But that is just a hunch.

Also note that in a suitable limit of refinements of S, i.e. a kind of “continuum limit” we have

Unit Elements

Both the Whitney map and de Rham map preserve unit elements, i.e.

and

Projection from Smooth Forms to Whitney Forms

Given a differential form $\alpha$, let $\tilde\alpha$ denote the corresponding Whitney form given by

The Whitney form $\tilde\alpha$ may be thought of as a piecewise linear approximation to the smooth differential form $\alpha$.

The map

is a projection from smooth forms to Whitney forms, which can be seen by expanding

and noting that $R\circ W = 1$ so that

Algebra of Whitney Forms

Now, I have proposed above using this modified wedge product on smooth forms, but that might not be the right thing to do. For example, consider the modified wedge product of a smooth form $\alpha$ and the unit 0-form 1

However,

Therefore, what I have really done is define an algebra of Whitney forms.

This is significant because Whitney forms are not closed under the ordinary wedge product, i.e.

is not a Whitney form (which always bugged me). However

is a Whitney form.

Exterior Derivative and Cohomology

The exterior derivative behaves nicely with respect to both the Whitney and de Rham maps, i.e.

and

In particular, this means that

so the exterior derivative of a Whitney form is a Whitney form.

For smooth forms $\alpha$ and $\beta$, we have the Leibniz rule

For cochains $a$ and $b$, we have the Leibniz rule

The Leibniz rule is important for many reasons, not least of them being that it preserves cohomological properties.

Therefore, it is important to note that Whitney forms together with the modified wedge product also satisfy the Leibniz rule

Differential Graded Non-Commutative Algebra

All this taken together means that on a manifold $M$ we have a full fledged graded differential algebra of Whitney forms

where $\tilde\Omega^r(M)$ is the space of Whitney $r$-forms on $M$. We have an exterior derivative

that is nilpotent ($d^2 = 0$) and satisfies the graded Leibniz rule

However, the modified wedge product of Whitney forms is not graded commutative, i.e.

This failure to be graded commutative is a feature (and not a bug that) leads to all kinds of fascinating concepts related to, among other things, quantum mechanics and noncommutative geometry.

Cochain Problem

To be continued…

References

• The search for discrete differential geometry (String Coffee Table)
• Gugenheim, On the multiplication structure of the de Rham theory
• Forgy & Schreiber, Discrete differential geometry on causal graphs
• Baez, This Week’s Finds in Mathematical Physics (Week 288)