In topology, a branch of mathematics, a nilpotent space, first defined by Emmanuel Dror (1969),[1] is a based topological space X such that
the fundamental group is a nilpotent group;
acts nilpotently[2] on the higher homotopy groups , i.e., there is a central series such that the induced action of on the quotient group is trivial for all .
Simply connected spaces and simple spaces are (trivial) examples of nilpotent spaces; other examples are connected loop spaces. The homotopy fiber of any map between nilpotent spaces is a disjoint union of nilpotent spaces. Moreover, the null component of the pointed mapping space , where K is a pointed, finite-dimensional CW complex and X is any pointed space, is a nilpotent space. The odd-dimensional real projective spaces are nilpotent spaces, while the projective plane is not.
A basic theorem about nilpotent spaces[2] states that any map that induces an integral homology isomorphism between two nilpotent space is a weak homotopy equivalence. For simply connected spaces, this theorem recovers a well-known corollary to the Whitehead and Hurewicz theorems.
Nilpotent spaces are of great interest in rational homotopy theory, because most constructions applicable to simply connected spaces can be extended to nilpotent spaces. The Bousfield–Kan nilpotent completion of a space associates with any connected pointed space X a universal space through which any map of X to a nilpotent space N factors uniquely up to a contractible space of choices. Often, however, itself is not nilpotent but only an inverse limit of a tower of nilpotent spaces. This tower, as a pro-space, always models the homology type of the given pointed space X. Nilpotent spaces admit a good arithmetic localization theory in the sense of Bousfield and Kan cited above, and the unstable Adams spectral sequence strongly converges for any such space.
Let X be a nilpotent space and let h be a reduced generalized homology theory, such as K-theory. If h(X)=0, then h vanishes on any Postnikov section of X. This follows from a theorem that states that
any such section is X-cellular.
^Bousfield, Aldridge K.; Kan, Daniel M. (1987). Homotopy Limits, Completions and Localizations. Lecture Notes in Mathematics. Vol. 304. Springer. p. 59. doi:10.1007/978-3-540-38117-4. ISBN 9783540061052. MR 0365573.
^ abDror, Emmanuel (1971). "A generalization of the Whitehead theorem". Symposium on Algebraic Topology (Battelle Seattle Res. Center, Seattle, Wash., 1971). Lecture Notes in Mathematics. Vol. 249. Springer. pp. 13–22. doi:10.1007/BFb0060891. ISBN 978-3-540-37082-6. MR 0350725.
topology, a branch of mathematics, a nilpotentspace, first defined by Emmanuel Dror (1969), is a based topological space X such that the fundamental group...
an element x {\displaystyle x} of a ring R {\displaystyle R} is called nilpotent if there exists some positive integer n {\displaystyle n} , called the...
{\displaystyle N} . More generally, a nilpotent transformation is a linear transformation L {\displaystyle L} of a vector space such that L k = 0 {\displaystyle...
on a Banach space is said to be nilpotent if Tn = 0 for some positive integer n. It is said to be quasinilpotent or topologically nilpotent if its spectrum...
simply connected spaces extend with little change to nilpotentspaces (spaces whose fundamental group is nilpotent and acts nilpotently on the higher homotopy...
In mathematics, nilpotent orbits are generalizations of nilpotent matrices that play an important role in representation theory of real and complex semisimple...
which has a transitive nilpotent group of diffeomorphisms acting on it. As such, a nilmanifold is an example of a homogeneous space and is diffeomorphic...
{h}}_{3}(F)} is nilpotent (though not abelian). The Lie algebra s o ( 3 ) {\displaystyle {\mathfrak {so}}(3)} of the rotation group SO(3) is the space of skew-symmetric...
the n-th iterate of T, Tn, is identically zero, then T is said to be nilpotent. If T2 = T, then T is said to be idempotent If T = kI, where k is some...
subvariety of g {\displaystyle {\mathfrak {g}}} (considered as a vector space). The nilpotent cone of sl 2 {\displaystyle \operatorname {sl} _{2}} , the Lie algebra...
form a ring that is not a field. Another ring structure on P uses a nilpotent e to write x + y e for (x,y). The action of e on P reduces the plane to...
with the group of unit quaternions. The Heisenberg group is a connected nilpotent Lie group of dimension 3 {\displaystyle 3} , playing a key role in quantum...
theory, and solvable Lie algebras are analogs of solvable groups. Any nilpotent Lie algebra is a fortiori solvable but the converse is not true. The solvable...
whose elements are nilpotent elements. 3. A nilpotent ideal is an ideal whose power Ik is {0} for some positive integer k. Every nilpotent ideal is nil, but...
\partial } of a commutative ring A {\displaystyle A} is called a locally nilpotent derivation (LND) if every element of A {\displaystyle A} is annihilated...
a connected nilpotent Lie group by a lattice. Normal bundle: associated to an imbedding of a manifold M into an ambient Euclidean space R N {\displaystyle...
A\hookrightarrow X} is a cofibration. nilpotent 1. nilpotentspace; for example, a simply connected space is nilpotent. 2. The nilpotent theorem. nonabelian 1. nonabelian...
mathematics, the conformal group of an inner product space is the group of transformations from the space to itself that preserve angles. More formally, it...
from the homotopy category of connected p {\displaystyle p} -complete nilpotentspaces of finite p {\displaystyle p} -type to a full subcategory of the homotopy...
action of the group on the dual space of its Lie algebra. The theory was introduced by Kirillov (1961, 1962) for nilpotent groups and later extended by Bertram...
ringed spaces, they are also called holomorphic maps. A structure sheaf may have nilpotent element, and also, when the complex analytic space whose structure...
finite-dimensional nilpotent Lie algebra is conjugate to a subalgebra of the strictly upper triangular matrices, that is to say, a finite-dimensional nilpotent Lie algebra...