Program of the First Italian
School
Forino (AV), 17 July - 1 August 1998
0. General Introduction - A. Vinogradov
A comparison between Classical Physics and Mathematics:
-
Observation mechanism in classical Physics
-
Commutative algebrae
-
States of a classical system
-
Spectra of a commutative algebra
Spectral Theorem (manifolds as spectra of commutative algebrae).
Application: why it is wrong to regard set theory as the basis of
mathematics.
Classical differential calculus: the ideas from mechanics and geometry
which led to it.
Differential calculus on commutative algebrae. Theorem: classical
differential calculus as a particular case of algebraic differential
calculus.
Application: transforming algebraic geometry into differential geometry
Observability in Physics and Mathematics: paradoxes of actual paradigms.
What kind of mathematics is necessary to Quantum Observability? A first
idea of Secondary Calculus.
1. First order differential calculus on manifolds
A. M. Vinogradov
- Tangent vectors and absolute and relative vector fields. D functor.
- Behaviour of tangent vectors and vector fields with respect to
differentiable mappings of manifolds.
- The flow of a vector field. Lie derivative of vector fields.
Commutators and Lie algebrae.
- Tangent covectors and differential forms. Tensors. Main operations on
tensors. Algebra of differential forms.
- Behaviour of differential forms and covariant tensors with respect to
differentiable mappings of manifolds. Lie derivatives of covariant tensors.
- Exterior differential and de Rham cohomology.
- Cartan's formula and homotopy property of de Rham cohomology.
- Integration theory as de Rham cohomology.
2. Introduction to differential calculus on
commutative algebrae
I.S. Krasil'shchick
- Rinigs and commutative algebrae. Modules and bi-modules.
- Linear differential operatirs between modules
- Comparison with the analytical definition of differential operator.
- Examples of algebraic differential operators.
- Bi-module structure in the set of linear differential operators.
- Composition of differential operators
- Symbol of a linear differential operator. Algebra of symbols.
- Categories and functors, representative objects.
- Functors of the algebraic calculus and their representability.
- Derivations and multi-derivations.
- Differential forms and de Rham complex.
- Interior product and lie derivative. Comparison with the geometric
approach.