# Diffeological De Rham operators

## TL;DR

This paper develops a notion of the De Rham operator on finite-dimensional diffeological spaces with bounded cotangent pseudo-bundles, establishing that the classical construction is essentially unique in this setting.

## Contribution

It introduces a De Rham operator for diffeological spaces based on Levi-Civita connections and Clifford actions, showing the standard approach is the only viable method under certain conditions.

## Key findings

- The De Rham operator on diffeological spaces is uniquely defined via Levi-Civita connections and Clifford actions.
- Other classical notions like volume forms and Hodge star do not have full counterparts in this setting.
- The standard sum of exterior differential and its adjoint does not generalize straightforwardly to diffeological spaces.

## Abstract

We consider the notion of the De Rham operator on finite-dimensional diffeological spaces such that the diffeological counterpart \Lambda^1(X) of the cotangent bundle, the so-called pseudo-bundle of values of differential 1-forms, has bounded dimension. The operator is defined as the composition of the Levi-Civita connection on the exterior algebra pseudo-bundle \bigwedge(\Lambda^1(X)) with the standardly defined Clifford action by \Lambda^1(X); the latter is therefore assumed to admit a pseudo-metric for which there exists a Levi-Civita connection. Under these assumptions, the definition is fully analogous the standard case, and our main conclusion is that this is the only way to define the De Rham operator on a diffeological space, since we show that there is not a straightforward counterpart of the definition of the De Rham operator as the sum d+d^* of the exterior differential with its adjoint. We show along the way that other connected notions do not have full counterparts, in terms of the function they are supposed to fulfill, either; this regards, for instance, volume forms, the Hodge star, and the distinction between the $k$-th exterior degree of \Lambda^1(X) and the pseudo-bundle of differential k-forms \Lambda^k(X).