Supergeometry and Quantum Field Theory, or: What is a Classical Configuration?
We discuss the conceptual difficulties connected with the anticommutativity of classical fermion fields, and we argue that the "space" of all classical configurations of a model with such fields should be described as an infinite-dimensional supermanifold M. We discuss the two main approaches to supermanifolds, and we examine the reasons why many physicists tend to prefer the Rogers approach although the Berezin–Kostant–Leites approach is the more fundamental one. We develop the infinite-dimensional variant of the latter, and we show that the superfunctionals considered in [44] are nothing but superfunctions on M. We propose a programme for future mathematical work, which applies to any classical field model with fermion fields. A part of this programme will be implemented in the successor paper [45].