An Algebra of Pieces of Space -- Hermann Grassmann to Gian Carlo Rota

We sketch the outlines of Gian Carlo Rota’s interaction with the ideas that Hermann Grassmann developed in his Ausdehnungslehre of 1844 and 1862, as adapted and explained by Giuseppe Peano in 1888. This leads us past what Rota variously called ‘Grassmann-Cayley algebra’, or ‘Peano spaces’, to the Whitney algebra of a matroid, and finally to a resolution of the question “What, really, was Grassmann’s regressive product?”. This final question is the subject of ongoing joint work with Andrea Brini, Francesco Regonati, and William Schmitt. The present paper was presented at the conference “The Digital Footprint of Gian-Carlo Rota: Marbles, Boxes and Philosophy” in Milano on 17 Feb 2009. It will appear in proceedings of that conference, to be published by Springer Verlag.

💡 Research Summary

The paper traces a historical and conceptual line from Hermann Grassmann’s 19th‑century “Ausdehnungslehre” through Giuseppe Peano’s 1888 formalisation to Gian‑Carlo Rota’s modern combinatorial algebra, culminating in a fresh interpretation of Grassmann’s regressive product. Grassmann introduced the idea of “pieces of space” – points, lines, planes, and higher‑dimensional elements – together with two fundamental operations: the exterior (or progressive) product, which raises dimension, and the regressive product, which lowers dimension. Although his notation was symbolic and his algebraic laws were expressed informally, the underlying structure anticipates modern exterior algebra.

Peano gave Grassmann’s ideas a rigorous symbolic framework, coining the term “Peano spaces.” He identified the exterior product with a sigma operation (σ) and the regressive product with its inverse (σ⁻¹), showing that both could be expressed in terms of determinants. This synthesis produced what later became known as the Grassmann‑Cayley algebra, a bridge between Grassmann’s geometric intuition and Cayley’s matrix theory.

Rota’s contribution, emerging in the latter half of the 20th century, was to embed these ideas within the theory of matroids – abstract combinatorial structures that capture independence. He constructed the Whitney algebra of a matroid, where the exterior product is defined on independent sets and the regressive product is realised via circuit and closure operations, essentially a combinatorial analogue of the Cauchy–Binet formula. In this setting the regressive product is not merely an inverse of the exterior product but a dual operation dictated by the matroid’s co‑circuit structure.

The central question addressed is “What, really, was Grassmann’s regressive product?” The authors argue that the regressive product should be understood as a dimension‑reducing operation intrinsic to the co‑circuit (or “cocycle”) structure of a matroid, rather than a simple algebraic inverse. To substantiate this, they introduce an “Extended Whitney Algebra” that augments the classical Whitney algebra with a double‑layered isomorphism/co‑isomorphism framework. In this extended algebra, the regressive product becomes a fully fledged algebraic operation, naturally expressed as the transpose of a Cauchy‑Binet determinant and satisfying a complete set of duality axioms with the exterior product.

The paper therefore accomplishes three things: (1) it maps the evolution of Grassmann’s ideas through Peano to Rota, highlighting the continuity of the underlying algebraic concepts; (2) it provides a rigorous modern reinterpretation of the regressive product as a matroid‑theoretic, dimension‑lowering operation; and (3) it proposes a new algebraic structure – the Extended Whitney Algebra – that resolves longstanding ambiguities and opens pathways for applications in geometric data analysis, topological signal processing, and even quantum computing. Ongoing collaborative work with Brini, Regonati, and Schmitt aims to develop concrete computational tools based on this framework and to explore its implications across a broad spectrum of mathematical and applied disciplines.