nLab
solenoid

Solenoids

Idea

A simple example of a solenoid is the dyadic solenoid. This is the inverse limit of the inverse sequence, (X(n),p n)(X(n),p_n), in which each X(n)X(n) is a copy of the circle S 1S^1 and each ‘structure map’ p n:X(n)X(n1)p_n\colon X(n) \to X(n-1) is given by the squaring map on the circle, that is e iθe 2iθe^{i\theta}\mapsto e^{2i\theta} (viewing S 1S^1 as the unit circle in the complex plane).

We will restrict attention, for the moment, to the class of solenoids defined by inverse sequences of circles:

General definition

Let P=(r 1,,r n,)P = (r_1,\ldots, r_n,\ldots) be a sequence of prime numbers. The PP-adic-solenoid is the space,

S P=Lim(X(n),p n,)S_P = Lim (X(n),p_n,\mathbb{N})

where for each nn, X(n)=S 1X(n)= S^1 and (considering S 1S^1 as the unit circle in \mathbb{C}), p n(z)=z r np_n(z) = z^{r_n}.

The PP-adic solenoid is a compact, connected topological group.

Solenoids and shape

In shape theory, the solenoids provide good examples of non-stable spaces. If one takes the Čech fundamental group? of S PS_P, then it is the limit of the inverse sequence of the fundamental groups of the X(n)X(n) together with the induced homomorphisms. It thus is trivial as it contains all integers that are divisible by all the primes in the sequence, and that an infinite number of times! The Strong Shape fundamental group of S PS_P is not trivial as it involves the first derived functor Lim (1)Lim^{(1)} of the inverse sequence of groups as well.

References

For solenoids in many settings, see the Wikipedia page, which also has some very neat graphics!

For solenoids and shape, references include:

  • K. Borsuk, Theory of Shape, Monografie Matematyczne Tom 59,Warszawa 1975.

and

  • J.-M. Cordier and T. Porter, (1989), Shape Theory: Categorical Methods of Approximation, Mathematics and its Applications, Ellis Horwood. Reprinted Dover (2008).

The subject is treated in others of the sources listed under shape theory.

Revised on April 25, 2012 17:19:49 by Toby Bartels (64.89.53.234)