Differential calculus over commutative algebras

This article includes a list of references, related reading or external links, but its sources remain unclear because it lacks inline citations. Please help to improve this article by introducing more precise citations. (October 2025) (Learn how and when to remove this template message)

|

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 ℝ-algebra of smooth functions A=C∞(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->M to sections of another bundle F->M is seen to be an ℝ-linear map Δ:Γ(E)->Γ(F) between the associated modules, such that for any k+1 elements f0,…,fk∈A:

[fk[fk−1[⋯[f0,Δ]⋯]]]=0 where the bracket [f,Δ]:Γ(E)->Γ(F) is defined as the commutator [f,Δ](s)=Δ(f⋅s)−f⋅Δ(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 ℝ with any commutative ring, and the algebra C∞(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

* Secondary calculus and cohomological physics
* Differential algebra - Algebraic study of differential equations
* Spectrum of a ring - Set of a ring's prime ideals

## References

* J. Nestruev, Smooth Manifolds and Observables, Graduate Texts in Mathematics 220, Springer, 2002.
* Template:Nestruev Smooth Manifolds and Observables 2020
* I. S. Krasil'shchik, "Lectures on Linear Differential Operators over Commutative Algebras". Eprint DIPS-01/99.
* I. S. Krasil'shchik, A. M. Vinogradov (eds) "Algebraic Aspects of Differential Calculus", Acta Appl. Math. 49 (1997), Eprints: DIPS-01/96, DIPS-02/96, DIPS-03/96, DIPS-04/96, DIPS-05/96, DIPS-06/96, DIPS-07/96, DIPS-08/96.
* I. S. Krasil'shchik, A. M. Verbovetsky, "Homological Methods in Equations of Mathematical Physics", Open Ed. and Sciences, Opava (Czech Rep.), 1998; Eprint arXiv:math/9808130v2.
* G. Sardanashvily, Lectures on Differential Geometry of Modules and Rings, Lambert Academic Publishing, 2012; Eprint arXiv:0910.1515 [math-ph] 137 pages.
* A. M. Vinogradov, "The Logic Algebra for the Theory of Linear Differential Operators", Dokl. Akad. Nauk SSSR, 295(5) (1972) 1025-1028; English transl. in Soviet Math. Dokl. 13(4) (1972), 1058-1062.
* Vinogradov, A. M. (2001). Cohomological Analysis of Partial Differential Equations and Secondary Calculus. American Mathematical Soc.. ISBN 9780821897997.
* A. M. Vinogradov, "Some new homological systems associated with differential calculus over commutative algebras" (Russian), Uspechi Mat.Nauk, 1979, 34 (6), 145-150;English transl. in Russian Math. Surveys, 34(6) (1979), 250-255.

* v
* t
* e

Manifolds (Glossary, List, Category)

Basic concepts|

* Topological manifold
* Atlas
* Differentiable/Smooth manifold
* Differential structure
* Smooth atlas
* Submanifold
* Riemannian manifold
* Smooth map
* Submersion
* Pushforward
* Tangent space
* Differential form
* Vector field

Main theorems (list)|

* Atiyah–Singer index
* Darboux's
* De Rham's
* Frobenius
* Generalized Stokes
* Hopf–Rinow
* Noether's
* Sard's
* Whitney embedding

Maps|

* Curve
* Diffeomorphism
* Local
* Geodesic
* Exponential map
* in Lie theory
* Foliation
* Immersion
* Integral curve
* Lie derivative
* Section
* Submersion

Types of
manifolds|

* Calabi–Yau
* Closed
* Collapsing
* Complete
* (Almost) Complex
* (Almost) Contact
* Einstein
* Fibered
* Finsler
* (Almost, Ricci-) Flat
* G-structure
* Hadamard
* Hermitian
* Hyperbolic
* (Hyper) Kähler
* Kenmotsu
* Lie group
* Lie algebra
* Manifold with boundary
* Nilmanifold
* Oriented
* Parallelizable
* Poisson
* Prime
* Quaternionic
* Hypercomplex
* (Pseudo-, Sub-) Riemannian
* Rizza
* Sasakian
* Stein
* (Almost) Symplectic
* Tame

Tensors|

| Vectors|

* Distribution
* Lie bracket
* Pushforward
* Tangent space
* bundle
* Torsion
* Vector field
* Vector flow

|

Covectors|

* Closed/Exact
* Covariant derivative
* Cotangent space
* bundle
* De Rham cohomology
* Differential form
* Complex
* Vector-valued
* One-form
* Exterior derivative
* Interior product
* Pullback
* Ricci curvature
* flow
* Riemann curvature tensor
* Tensor field
* density
* Volume form
* Wedge product

Bundles|

* Adjoint
* Affine
* Associated
* Cotangent
* Dual
* Fiber
* (Co-) Fibration
* Jet
* Lie algebra
* (Stable) Normal
* Principal
* Spinor
* Subbundle
* Tangent
* Tensor
* Vector

Connections|

* Affine
* Cartan
* Ehresmann
* Form
* Generalized
* Koszul
* Levi-Civita
* Principal
* Vector
* Parallel transport

Related|

* Classification of manifolds
* Gauge theory
* History
* Morse theory
* Moving frame
* Singularity theory

Generalizations|

* Banach
* Diffeology
* Diffiety
* Fréchet
* Hilbert
* K-theory
* Non-Hausdorff
* Orbifold
* Secondary calculus
* over commutative algebras
* Sheaf
* Stratifold
* Supermanifold
* Stratified space

0.00

(0 votes)

Original source: https://en.wikipedia.org/wiki/Differential calculus over commutative algebras. Read more

|

Retrieved from "https://handwiki.org/wiki/index.php?title=Differential_calculus_over_commutative_algebras&oldid=4156810"
*[v]: View this template
*[t]: Discuss this template
*[e]: Edit this template