- Divided power structure
-
In mathematics, specifically commutative algebra, a divided power structure is a way of making expressions of the form xn / n! meaningful even when it is not possible to actually divide by n!.
Contents
Definition
Let A be a commutative ring with an ideal I. A divided power structure (or PD-structure, after the French puissances divisées) on I is a collection of maps for n=0, 1, 2, ... such that:
- γ0(x) = 1 and γ1(x) = x for , while for n > 0.
- for .
- γn(λx) = λnγn(x) for .
- γm(x)γn(x) = ((m,n))γm + n(x) for , where is an integer.
- γn(γm(x)) = Cn,mγmn(x) for , where is an integer.
For convenience of notation, γn(x) is often written as x[n] when it is clear what divided power structure is meant.
The term divided power ideal refers to an ideal with a given divided power structure, and divided power ring refers to a ring with a given ideal with divided power structure.
Examples
- If A is an algebra over the rational numbers Q, then every ideal I has a unique divided power structure where . (The uniqueness follows from the easily verified fact that in general, xn = n!γn(x).) Indeed, this is the example which motivates the definition in the first place.
- If A is a ring of characteristic p > 0, where p is prime, and I is an ideal such that Ip = 0, then we can define a divided power structure on I where if n < p, and γn(x) = 0 if . (Note the distinction between Ip and the ideal generated by xp for ; the latter is always zero if a divided power structure exists, while the former is not necessarily zero.)
- If M is an A-module, let denote the symmetric algebra of M over A. Then its dual has a canonical structure of divided power ring. In fact, it is canonically isomorphic to a natural completion of (see below) if M has finite rank.
Constructions
If A is any ring, there exists a divided power ring
consisting of divided power polynomials in the variables
that is sums of divided power monomials of the form
with . Here the divided power ideal is the set of divided power polynomials with constant coefficient 0.
More generally, if M is an A-module, there is a universal A-algebra, called
- ΓA(M),
with PD ideal
- Γ + (M)
and an A-linear map
(The case of divided power polynomials is the special case in which M is a free module over A of finite rank.)
If I is any ideal of a ring A, there is a universal construction which extends A with divided powers of elements of I to get a divided power envelope of I in A.
Applications
The divided power envelope is a fundamental tool in the theory of PD differential operators and crystalline cohomology, where it is used to overcome technical difficulties which arise in positive characteristic.
The divided power functor is used in the construction of co-Schur functors.
References
- Pierre Berthelot and Arthur Ogus, Notes on Crystalline Cohomology. Annals of Mathematics Studies. Princeton University Press, 1978.
Categories:- Commutative algebra
- Polynomials
Wikimedia Foundation. 2010.