Differential calculus over commutative algebras


Differential calculus over commutative algebras

In mathematics the differential calculus over commutative algebras is a part of commutative algebra based on the observation that most concepts known from classical differential calculus can be formulated in purely algebraic terms. Instances of this are:

  1. The whole topological information of a smooth manifold M is encoded in the algebraic properties of its \mathbb{R}-algebra of smooth functions A=C^\infty (M), as in the Banach–Stone theorem.
  2. Vector bundles over M correspond to projective finitely generated modules over A, via the functor Γ which associates to a vector bundle its module of sections.
  3. Vector fields on M are naturally identified with derivations of the algebra A.
  4. More generally, a linear differential operator of order k, sending sections of a vector bundle E\rightarrow M to sections of another bundle F\rightarrow M is seen to be an \mathbb{R}-linear map \Delta: \Gamma (E) \rightarrow \Gamma (F) between the associated modules, such that for any k + 1 elements f_0,\ldots, f_k\in A:

    [f_k[f_{k-1}[\cdots[f_0,\Delta]\cdots]]=0

    where the bracket [f,\Delta]:\Gamma(E)\rightarrow \Gamma(F) is defined as the commutator

    [f,\Delta](s)=\Delta(f\cdot s)-f\cdot \Delta(s)

Denoting the set of kth order linear differential operators from an A-module P to an A-module Q with Diffk(P,Q) we obtain a bi-functor with values in the category of A-modules. Other natural concepts of calculus such as jet spaces, differential forms are then obtained as representing objects of the functors Diffk and related functors.

Seen from this point of view calculus may in fact be understood as the theory of these functors and their representing objects.

Replacing the real numbers \mathbb{R} with any commutative ring, and the algebra C^\infty(M) with any commutative algebra the above said remains meaningful, hence differential calculus can be developed for arbitrary commutative algebras. Many of these concepts are widely used in algebraic geometry, differential geometry and secondary calculus. Moreover the theory generalizes naturally to the setting of graded commutative algebra, allowing for a natural foundation of calculus on supermanifolds, graded manifolds and associated concepts like the Berezin integral.

See also

References

  • J. Nestruev, Smooth Manifolds and Observables, Graduate Texts in Mathematics 220, Springer, 2002.
  • I. S. Krasil'shchik, Lectures on Linear Differential Operators over Commutative Algebras DIPS-01/98
  • I. S. Krasil'shchik, Calculus over Commutative Algebras: a concise user's guide, Acta Appl. Math. 49 (1997) 235–248; DIPS-01/99
  • I. S. Krasil'shchik, A. M. Verbovetsky, Homological Methods in Equations of Mathematical Physics, Open Ed. and Sciences, Opava (Czech Rep.), 1998; DIPS-07/98.

Wikimedia Foundation. 2010.

Look at other dictionaries:

  • Differential operator — In mathematics, a differential operator is an operator defined as a function of the differentiation operator. It is helpful, as a matter of notation first, to consider differentiation as an abstract operation, accepting a function and returning… …   Wikipedia

  • Differential algebra — In mathematics, differential rings, differential fields, and differential algebras are rings, fields, and algebras equipped with a derivation, which is a unary function that is linear and satisfies the Leibniz product law. A natural example of a… …   Wikipedia

  • Differential form — In the mathematical fields of differential geometry and tensor calculus, differential forms are an approach to multivariable calculus that is independent of coordinates. Differential forms provide a better[further explanation needed] definition… …   Wikipedia

  • Secondary calculus and cohomological physics — In mathematics, secondary calculus is a proposed expansion of classical differential calculus on manifolds, to the space of solutions of a (nonlinear) partial differential equation. It is a sophisticated theory at the level of jet spaces and… …   Wikipedia

  • Connection (algebraic framework) — Geometry of quantum systems (e.g., noncommutative geometry and supergeometry) is mainly phrased in algebraic terms of modules and algebras. Connections on modules are generalization of a linear connection on a smooth vector bundle written as a… …   Wikipedia

  • Jet bundle — In differential geometry, the jet bundle is a certain construction which makes a new smooth fiber bundle out of a given smooth fiber bundle. It makes it possible to write differential equations on sections of a fiber bundle in an invariant… …   Wikipedia

  • List of mathematics articles (D) — NOTOC D D distribution D module D D Agostino s K squared test D Alembert Euler condition D Alembert operator D Alembert s formula D Alembert s paradox D Alembert s principle Dagger category Dagger compact category Dagger symmetric monoidal… …   Wikipedia

  • Exterior algebra — In mathematics, the exterior product or wedge product of vectors is an algebraic construction generalizing certain features of the cross product to higher dimensions. Like the cross product, and the scalar triple product, the exterior product of… …   Wikipedia

  • mathematics — /math euh mat iks/, n. 1. (used with a sing. v.) the systematic treatment of magnitude, relationships between figures and forms, and relations between quantities expressed symbolically. 2. (used with a sing. or pl. v.) mathematical procedures,… …   Universalium

  • Outline of algebraic structures — In universal algebra, a branch of pure mathematics, an algebraic structure is a variety or quasivariety. Abstract algebra is primarily the study of algebraic structures and their properties. Some axiomatic formal systems that are neither… …   Wikipedia