No abstract

Motivated by DeWitt's viewpoint of covariant field theory, we define a general notion of non-local classical observable that applies to many physical lagrangian systems (with bosonic and fermionic variables), by using methods that are now standard in algebraic geometry. We review the (standard) methods of local functional calculus, as they are presented by Beilinson and Drinfeld, and relate them to our construction. We partially explain the relation of these with the Vinogradov's secondary calculus. The methods present here are all necessary to understand mathematically properly and with simple notions the full renormalization of the standard model, based on functional integral methods. This article can be seen as an introduction to well grounded classical physical mathematics, and as a good starting point to study quantum physical mathematics, that make frequent use of non-local functionals, like for example in the computation of Wilson's effective action. We finish by describing briefly a coordinate free approach to the classical Batalin-Vilkovisky formalism for general gauge theories, in the language of homotopical geometry.Comment: 49 page

Motivated by the well-known lack of archimedean information in algebraic geometry, we define, formalizing Ostrowski's classification of seminorms on Z, a new type of valuation of a ring that combines the notion of Krull valuation with that of a multiplicative seminorm. This definition partially restores the broken symmetry between archimedean and non-archimedean valuations artificially introduced in arithmetic geometry by the theory of schemes. This also allows us to define a notion of global analytic space that reconciles Berkovich's notion of analytic space of a (Banach) ring with Huber's notion of non-archimedean analytic spaces. After defining natural generalized valuation spectra and computing the spectrum of Z and Z[X], we define analytic spectra and sheaves of analytic functions on them.

No abstract