CC BY
23
2018, Т. 160, кн. 2 С. 275-286
УЧЕНЫЕ ЗАПИСКИ КАЗАНСКОГО УНИВЕРСИТЕТА. СЕРИЯ ФИЗИКО-МАТЕМАТИЧЕСКИЕ НАУКИ
ISSN 2541-7746 (Print) ISSN 2500-2198 (Online)
UDK 517.986
COVERINGS OF SOLENOIDS AND AUTOMORPHISMS OF SEMIGROUP C*-ALGEBRAS
R.N. Gumerov
Kazan Federal University, Kazan, 420008 Russia Abstract
The paper deals with finite-sheeted covering mappings onto the P-adic solenoids and limit endomorphisms of semigroup C* -algebras. The aim of our exposition is two-fold: firstly, to present the results concerning the above-mentioned mappings and endomorphisms; secondly, to demonstrate proofs for some of the results. It has been shown that every covering mapping onto a solenoid is isomorphic to a power mapping. We have considered dynamical properties of the covering mappings. A power mapping for the P-adic solenoid is topologically transitive. A criterion for the covering mapping to be chaotic has been given. The classical Euler-Fermat theorem may be used in its proof. We have studied limit endomorphisms of C* -algebras generated by isometric representations for semigroups of rational numbers. We formulate criteria for limit endomorphisms to be automorphisms in number-theoretic, algebraic, and functional terms. The necessity of such a criterion has been given from the category-theoretic viewpoint.
Keywords: automorphism of C* -algebras, chaotic, inductive sequence of Toeplitz algebras associated with sequence of prime numbers, inverse limit and sequence, finite-sheeted covering mapping, semigroup C* -algebra, solenoid, *-homomorphism, Toeplitz algebra, topologically transitive
Introduction
Throughout the paper, P = (p1,p2, ■ ■ ■) is an arbitrary sequence of prime numbers. The P-adic solenoid Sp is the inverse limit of the inverse sequence
S1 i fl S1 i h S1 i fs ■■■ ,
where S1 is the unit circle in C, and fn(z) = zPn, z G S1, n G N. Thus, SP is a subspace consisting of threads in the Cartesian product S1 endowed with the Tichonoff
topology:
Sp = lim{S\ fn} = {(Z1,Z2, ■■■): zn G S1, zp+1 = z„,n G N}.
If P is the constant sequence (2, 2, ■ ■ ■), then the solenoid SP is said to be dyadic.
P-adic solenoids are commutative topological groups. Two sequences of prime numbers P and Q are said to be equivalent if a finite number of terms can be deleted from each sequence, so that every prime number occurs the same number of times in the deleted sequences. It is known that the topological groups Sp and Sq are isomorphic if and only if the sequences P and Q are equivalent.
P-adic solenoids were introduced by L. Vietoris in 1927 [1] and D. van Dantzig and B. van der Waerden in 1928 [2] (see also [3]). These objects have been studied for a long time ( see the references below and the literature therein). Solenoids have been
the focus of attention in various branches of mathematics and physics. In particular, they provide topological models for the Smale attractors.
As is well known, properties of objects and morphisms in the algebraic and topological categories have appropriate analogs for objects and morphisms in the categories of Banach algebras. P-adic solenoids are closely related to semigroup C* -algebras.
The motivation for this work comes from the sources of two kinds. On the one hand, these are results on covering mappings onto topological groups. On the other hand, these are papers on semigroup C* -algebras. The corresponding references will be given in the text. Here, we mention only Pontryagin's theorem [4, theorem 79] on the existence of a group structure on a covering space of a connected locally path connected topological group making a given covering mapping into a morphism of topological groups.
Pontryagin's theorem. Let f : X ^ G be a covering mapping from a path connected space X onto a connected locally path connected topological group G with identity e. Then, for any point e G f-1(e), there exists a unique structure of the topological group on X, such that e is the identity and f : X ^ G is a morphism of topological groups. Furthermore, if G is abelian, then f is a morphism of abelian groups.
Pontryagin's theorem is one of starting points of our research.
This paper is concerned with finite-sheeted covering mappings onto the P-adic solenoids, as well as endomorphisms of semigroup C* -algebras for semigroups of rational numbers. We treat C* -algebras as the inductive limits of inductive sequences of Toeplitz algebras associated with sequences of prime numbers. It is worth noting that the semigroup C* -algebra is a natural object, because it is generated by the left regular representation for an additive semigroup of non-negative rational numbers. The endo-morphism is considered as the limit * -homomorphism induced by a morphism between two copies of the same inductive sequence of Toeplitz algebras.
1. Preliminaries
In this section we consider finite-sheeted covering mappings from topological spaces onto topological groups. All spaces are assumed to be Hausdorff.
Definition 1. For k G N , a surjective mapping f : X ^ Y between topological spaces X and Y is called a k-sheeted (k-fold) covering mapping provided that for each y G Y there exists an open neighborhood W C Y of y, such that the inverse image f-1(W) can be written as the disjoint union of k open sets lying in X, each of which is mapped homeomorphically onto W under f. If X is a connected space, then f : X ^ Y is said to be a connected covering.
Now, we recall the definition of isomorphic covering mappings.
Definition 2. A finite-covering mapping fi : Xi ^ Y is said to be isomorphic ( or equivalent) to a covering fi : X2 ^ Y provided that there exists a homeomorphism p : Xi ^ X2 such that the following diagram commutes:
Xi
p
X2
Y
i.e., the equality f1 = f2 o p holds.
Example 1. Each homeomorphism is an 1 -sheeted covering mapping.
Example 2. For a topological space X and k G N, the projection onto the first coordinate f : X x {1, 2,...,k} ^ X : (x,m) ^ x, m = 1,...,k, is a k-sheeted covering mapping. We recall that a k-sheeted covering mapping onto X is said to be trivial if it is equivalent to that projection.
Example 3. The k-th power mapping fk : S1 ^ S1 : 2 ^ zk is a k-sheeted covering mapping.
The P-adic solenoid is a compact connected abelian group under the coordinatewise multiplication with the identity (1,1,...).
One of the main tools in studying covering mappings onto topological groups is Pontryagin's theorem formulated in Introduction. But the P-adic solenoid is not locally connected at any point. To study the structure of finite-sheeted covering mappings on topological groups which are not locally connected, we make use of the following statement [5-7].
Theorem 1. Let f : X ^ G be a finite-sheeted covering mapping from a connected space X onto a compact group G with identity e . Then, for any point e G f-1(e), there exists a unique structure of the topological group on X such that e is the identity and f : X ^ G is a continuous homomorphism between the compact groups. Furthermore, if G is abelian, then f is a continuous homomorphism of the abelian groups.
It follows from this result that all finite-sheeted covering mappings onto the compact connected abelian groups are defined, up to isomorphisms, by polynomials with continuous coefficients. There are also applications of this theorem to trivial coverings and to algebraic equations with functional coefficients [5-9]. To present here some of those applications, we give necessary notations and definitions.
In what follows, the symbol G stands for an additive compact connected abelian group and G denotes its additive character group, i.e., the group of continuous homo-morphisms from G to the multiplicative group S1.
For the given k G N we consider the homomorphism of discrete groups defined by
Tk : G ^ G : x ^ k\.
Definition 3. Let k G N. We say that the group G is k-divisible provided that the homomorphism Tk is surjective.
Note that if G is k-divisible, then the homomorphism Tk is an automorphism, because G is a torsion-free abelian group [10, theorem 24.25].
As a corollary of theorem 1, one can obtain the following criterion for triviality of covering mappings onto compact abelian groups.
Theorem 2. Let k ^ 2 be an integer. Then all k-sheeted covering mappings onto a compact connected abelian group G are trivial if and only if the character group G is k! -divisible.
It is worth noting that the necessary and sufficient conditions for G to be k-divisible are given in [11]. In particular, it was shown there that the character group G is k -divisible if and only if the group G admits a k -mean. Below we recall the definition of a mean.
Definition 4. For an integer k ^ 2, a k-mean on G is a continuous mapping
j : G x G x • • • x G ^ G from the Cartesian product of k copies of G satisfying the following conditions:
1) = g;
2) Mgi,g2 ) = Kg-n(1), g-*(2), ■ ■ ■, gn(k))
for all elements g,gi,g2, ■ ■ ■ ,gk € G and for every permutation n of the set {1, 2, ■■■, k}.
The question on the existence of means on solenoids was considered in [12, 13]. Finally, we note that various generalizations of Pontryagin's theorem are provided in [14-17].
2. Coverings of P-adic solenoids
In what follows, we shall consider finite-sheeted covering mappings onto P-adic solenoids. There is a vast literature on these coverings. Note that R. Fox's theory of overlays was applied to the study of coverings onto the solenoids in 1972 ( see [18-20]).
Let us take k € N. We consider the morphism {hn : n € N} between two copies of the same inverse sequence and the limit mapping hp induced by this morphism:
f 1 cl f 2 CJ1 f3
Sp
f 1 C1 f 2 o, 1 f 3
■■ Sp,
where h^(z) = zk and z € S1. Therefore, we get hp(g) = gk, where g € ■
Various properties of the mappings hp : ^ are considered in [21, 22, 24]. It is worth noting that the paper [23] is devoted to so-called generalized solenoids.
It is known that every mapping hp : Sp —> Sp is a finite-sheeted covering (see, for example, [21, lemma 1], [22, proposition 8], [24, proposition 1]). More precisely, we have the following assertions concerning those mappings ( [24, proposition 3, theorem 1 and theorem 2]).
Theorem 3. Let P be a sequence of prime numbers and let k ^ 2 be an integer. Then, the limit mapping hp : Sp — Sp is a homeomorphism if and only if every prime divisor of k is equal to infinitely many terms of the sequence P.
Theorem 4. Let P be a sequence of prime numbers and let k ^ 2 be an integer. Then, the mapping hp is a k-sheeted connected covering of the P-adic solenoid Sp if and only if every prime divisor of k is equal to a finite number of terms in the sequence P.
It is interesting to note that theorem 3 and theorem 4 are applied to the crossed product C* -algebras in [25].
Theorem 5. Let f : X — Sp be a k -fold connected covering of the P-adic solenoid Sp . Then, f is is isomorphic to hp .
Proof. We shall give a proof of the theorem by making use of the results in [5-7] (see also [24, remark 2]). The approximation construction given there yields the following commutative diagram:
1 <
k
k
k
k
h
h
h
h
P
2
3
(Xn,en) i
•fin
(S1,1)
(S1,1)
- (Xn+1,en+1)
Vn + 1 ^ i
(S1,1)
• n+1
(S1,1)
c
n
f
k
k
h
h
n+1
f
Here, firstly, the family {(Xn, en), Zn} is an inverse sequence consisting of connected locally path, connected pointed spaces, and continuous mappings of pointed spaces. Secondly, for every n G N, there exists a continuous surjection Tn : X — Xn, such that Tn = Zn o Zn+1 o ... o Zm o Tm whenever n < m. Thirdly, the sequence {nn : ( Xn, en) — (S1,1)} is a morphism between inverse sequences {(Xn,en),Zn} and {(S1,1),fn}. Fourthly, every nn is a k-sheeted covering mapping of pointed spaces.
Let the morphism {r/n : (Xn, en) — (S1,1)} induce the limit mapping
lim{nn} : lim{( Xri,eri),Zn} —► Sp.
Applying the universal property of the inverse limit lim{( Xn, en), Zn} to the sequence {Tn}, we get the continuous mapping q : X —> lim{( Xn, en), Zn}. It is straightforward to check that q is a homeomorphism. Moreover, it establishes an isomorphism between f and lim{nn} (see [6, p. 10]).
It follows from the well-known lifting lemmas in the classical theory of covering mappings that every mapping Wn can be lifted with respect to the covering mapping r/n : (Xn,en) —► (S1,1) to a homeomorphism of pointed spaces
: (S1,1) -— (Xn,en).
The commutativity of the above diagram yields the following equalities:
Vn o 0n o fn = hhn o fn = fn o hn+1 = fn o rin+1 o ^n+1 = Vn o Zn o &n+1.
By the uniqueness of liftings, we see that the equality $n o fn = Zn o $n+1 holds for each n G N. Therefore, the sequence of homeomorphisms {$n} is a morphism between the inverse sequences {(S1,1),fn} and {(Xn,en),Zn}. Consequently, we can consider the limit mapping, which is a homeomorphism:
lim{$n} : Sp —> lim{( Xn, en), Zn}.
In addition, we have the equality: lim{nn} o lim{$n} = hp. Thus, we conclude that the mappings lim{nn} and hn, and, hence, f and hn are isomorphic, as required. □
Further, we discuss dynamical properties of the finite-sheeted covering mappings onto the P-adic solenoids (see also [21, 22, 24, 26]).
Definition 5. For n G N, the composite hp o hp o ... o hp (n times) is called the n-th iteration of hp and is denoted by (hp)n ( (hp)1 = hp). A point x G Sp is said to be periodic if there exists n G N, such that (hp)n(x) = x.
Definition 6. The covering mapping hp : S p —> S p is said to be topologically transitive provided that for each pair of open sets U,V C Sp there exists n G N, such that (hp)n(U) n V = 0.
Definition 7. A covering mapping hp : Sp — Sp is said to be chaotic if it is topologically transitive and the set of its periodic points is dense in Sp .
The following theorem for an arbitrary P-adic solenoid is an analog of proposition 8 in [21] for the dyadic solenoid. Their proofs are similar.
Theorem 6. A covering mapping hp : Sp — Sp is topologically transitive for every integer k ^ 2.
It is worth noting that we make use of the Euler-Fermat theorem in the proof of the following statement (see [24, proposition 6]).
Theorem 7. Let P be a sequence of prime numbers and let k be an integer greater than 1. Then the covering mapping hp is chaotic if and only if there exists a prime number q satisfying the following conditions:
1) q is not a divisor of the integer k;
2) 3 N € N, such that q = pn for all n > N.
Now, we recall the classical result, which is usually referred as the Euler-Fermat theorem. Note that Fermat's little theorem is its special case.
The Euler—Fermat theorem. Let a be a natural number coprime to m € N. Then
aT(m) = 1 (mod m).
Here, y(m) is a value of the Euler function at m. That is, y(1) = 1 and, for m > 1, the number ^>(m) is defined as follows:
f(m) = ql11-1 q22-1 ■ ■ ■ i?-(q1 " 1)(q2 - 1) ■ ■ ■ (qn - 1),
where m = c^q22 ■ ■ ■ qn? is the canonical factorization of m, so that, q1, q2, ■ ■ ■, qn > 2 are distinct prime numbers and /1, /2, ■ ■ ■ ,ln € N.
For the dynamics of generalized solenoids, we refer the reader to [23, § 6,9].
Finally, we note that there exists a connected covering space of the solenoid, which does not admit a topological group structure, such that a covering mapping becomes a morphism of topological groups. Of course, such a covering mapping is infinite-sheeted [27].
3. Limit endomorphisms of semigroup C* -algebras
Together with the sequence P = (pl,p2,■■■) we consider the dual group of the P -adic solenoid, i.e., the additive group of rational numbers:
PiP2 ■■■Pn
m e Z, n e n| ■
Let r denote either the group Z or Qp . Let r+ = r fl [0; be a positive cone in the ordered group r As usual, we denote by l2(r+) the Hilbert space of all square summable complex-valued functions on the additive semigroup r+. Let {ea\a € r+} be the canonical orthonormal basis in /2(r+) given by ea(b) = Sa,b, where Sa,b = 1 if a = b and 0 if a = b■
Let B(l2(r+)) be the C*-algebra of all bounded linear operators on the Hilbert space l2(r+). For every a € r+, we define the isometry Va € B(l2(r+)) by setting
Vaeb
ea+b,
where b e r+. The sub-C*-algebra of B(72(T+)) generated by the set {Va\a e r+} is called the reduced semigroup C* -algebra of r+ , or the Toeplitz algebra generated by r+ . It is denoted by C* (r+). In the case r = Z, we denote it by T and use the symbols T and Tn instead of Vi and Vn, respectively, where n e Z+.
L.A. Coburn studied the Toeplitz algebra for the additive semigroup of non-negative integers [28]. R.G. Douglas [29] considered the case of subsemigroups in the additive group of all real numbers. G.J. Murphy [30] explored the general case of ordered groups. In the last decade, semigroup C* -algebras have also attracted a considerable attention from researchers (see, for example, [31-34] and references therein).
m
Definition 8. An isometric homomorphism(or representation) from r+ into a unital C* -algebra B is a mapping given by
p : r+ — B : a — Wc
such that the equalities W*Wa = 1 and Wa+b = WaWb are valid for all a, b G r+.
Clearly, the mapping defined by the formula
n :r+ — C*(r+) : a — Va
is an isometric homomorphism. Furthermore, it is the universal one. Explicitly, this means that n satisfies the following universal property (see [30, theorems 1.3,1.9]).
Theorem 8. Let p : r+ — B be an isometric homomorphism. Then, there exists a unique * -homomorphism p* : C* (r+) — B, such that the diagram
C* (r+) ---- B
r+
is commutative, i.e., p* on = p. Moreover, if p(a) is non-unitary for every a> 0, then the * -homomorphism p* is injective.
We note that one can find self-contained proofs of some results from [30] in [35, corollaries 2.5, 2.6].
In the literature on the subject, the universal property of the isometric homomor-phism for r+ = Z+ is also known as the Coburn theorem, which is formulated in the following form (see, e.g., [36, theorem 3.5.18]).
Theorem 9. Let V be an isometry in the unital C* -algebra B. Then, there exists a unique unital * -homomorphism y : T — B, such that y(T) = V. Moreover, if VV* = 1, then is isometric.
In the sequel, for the * -homomorphism defined in the Coburn theorem, we shall write shortly y : T —► B : T — V.
As an immediate consequence of the Coburn theorem, one has that for each positive integer n there exists a unique unital * -homomorphism of C* -algebras
y : T —>T : T — Tn.
Furthermore, the *-homomorphism y is isometric. Using such *-homomorphisms, we define inductive sequences of the Toeplitz algebras.
Definition 9. For an arbitrary sequence of prime numbers P = {p1,p2,...} and the sequence of isometric * -homomorphisms {yn : T —> T : T — TPn , the inductive sequence
rr fl n- '-P2 '-P3
...
is called the inductive sequence of Toeplitz algebras associated with the sequence P.
Theorem 10. Let P = {p1,p2,...} be a sequence of prime numbers and let {T ,yn}+=°1 be the inductive sequence of Toeplitz algebras associated with P. Then, there exists an isomorphism of C* -algebras between the inductive limit of the given sequence of algebras and the Toeplitz algebra generated by the semigroup Q+ :
lim{T ,yn} = C**(Q+).
p
This result can be considered as a partial case of theorem 1.6 from [30] about the continuity of the functor sending groups to Toeplitz algebras. The point is that the group Qp is the inductive limit of the inductive sequence of groups:
Z
Z
Z
pnm, m € Z. One can
where the connecting homomorphisms are given by Tn(m) check this well-known fact by making use of definitions.
For k € N, we consider the limit endomorphism vp : C* (Q+) — C\ by the morphism {^n : n € N} between two copies of the same inductive sequence of the Toeplitz algebras associated with P :
+) defined
T
fk
T
T
fk
T
T
Vk3
T
C*
C*
}pp)
fkP
}+p),
where the vertical morphisms are given by : T —> T : T -—► Tk ■
It can be seen that the limit endomorphism vp : C* (Q+) — C*(Q+) coincides with the *-homomorphism defined by the universal property of isometric homomorphisms:
C *
C *
Q+
Here, the * -homomorphism pk is given by the formula Pk : Q+ -— C**(Q+) : a -— Vka■
We have the following criterion for p to be an automorphism of C* -algebras.
Theorem 11. Let P be a sequence of prime numbers and let k ^ 2 be an integer. Then, the limit endomorphism p : C*(Q+) —► C* (Q+) is an automorphism if and only if each prime divisor of k is equal to infinitely many terms of the sequence P.
For the complete proof of this theorem, we refer the reader to [37]. As noted in [37, remark 3.10], the proof of the "only if" part of theorem 11 can be established by a way different from that given in [37, section 3]. Below, we sketch out the way of the proof.
Proof. Let us assume that we are given a limit automorphism of C* -algebras:
Vp : C** (Q+) -— C* (Q+)
Using results in [29, 30], we can consider the following commutative diagram:
C *
K
C (Q p )
fkp
C *
Hi)
P)/
K
C (Q p )
C
C
Here, firstly, K is the commutator ideal of C*(Q+), i.e., the closed ideal generated by all elements of the form ab — ba, where a,b G C*(Q+). It is clear that if £ : A — B is a *-homomorphism of C*-algebras, then £(K(A)) C £(K(B)), with the equality if £ is surjective, where K(A) and K(B) are the commutator ideals of C* -algebras A and B, respectively. Secondly, ^ is the quotient * -homomorphism, and y, i as well as y are the isomorphisms of C* -algebras. Thirdly, Qp is the compact dual group of the discrete group Qp and C(Qp) is the commutative C* -algebra of all complex-valued continuous functions on Q p.
Further, let us consider the spectrum functor (see, e.g., [38, Ch.IV, §1]):
UCBA —► CT op,
i.e., the contravariant functor from the category of unital commutative Banach algebras and their continuous unital homomorphisms to the category of compact topological spaces and their continuous mappings. It sends the algebra C(Qp) to its spectrum, i.e., the space of multiplicative functionals, or, equivalently, to the space of maximal ideals, which is homeomorphic to the compact space Qp. By the Pontryagin duality, the compact group Qp is topologically isomorphic to the P-adic solenoid Sp.
One can see that the isomorphism y really induces the k-th power mapping
hp : Sp —> Sp,
which is the isomorphism of topological groups.
By theorem 3, we conclude that each prime divisor of the number k occurs infinitely many times in the sequence P. This completes the proof. □
Using number-theoretic arguments, one can easily prove that, for a natural number k ^ 2, every prime divisor of k is equal to infinitely many terms in the sequence P if and only if the group of rational numbers Qp is k-divisible. Combining this observation and the result from [11] on the existence of means (see section 2) with theorem 11, we obtain the following assertion.
Theorem 12. Let P be a sequence of prime numbers and let k ^ 2 be an integer. The following conditions are equivalent:
1) the limit * -homomorphism yp : C*(Q+) —► C*(Q+) is an automorphism of C* -algebras;
2) the group of rational numbers Qp is k-divisible;
3) the P -adic solenoid Sp admits a k -mean.
Finally, we consider several examples. Let k ^ 2 be an integer.
Example 4. Let P = (2, 3, 5, 7,...) be the sequence of all prime numbers. Then, the k-th power mapping hp : Sp — Sp is a chaotic k-fold covering mapping. The limit endomorphism yp : C* (Q+) —► C* (Q+) is not an automorphism of C* -algebras.
Example 5. We take a periodic sequence P = (2, 3, 2, 3, 2, 3,...). Then, the k-th power mapping hp : Sp — Sp is a k-fold covering mapping if and only if neither 2 nor 3 is a divisor of k. Every mapping hp is chaotic. An endomorphism yp : C*(Q+) —► C* (Q+) is an automorphism if and only if there exist non-negative integers m and n, such that k = 2m3n.
Example 6. We consider the sequence P = (2, 2, 3, 2, 3, 5, 2, 3, 5, 7, . . .) . We have the equality Qp = Q, where Q is the group of all rational numbers. Then, the k-th power mapping hp : Sp — Sp is a homeomorphism, which is not chaotic. The limit endomorphism yp : C* (Q+) —► C* (Q+) is an automorphism.
References
1. Vietoris L. Uber den hoheren Zusammenhang kompakter Raume und eine Klasse von zusammenhangstreuen Abbildungen. Math. Ann., 1927, vol. 97, pp. 454-472.
2. Dantzig van D., Waerden van der B.L. Uber metrisch homogene Raume. Abh. Math. Semin. Hamburg, 1928, no. 6, pp. 367-376.
3. Dantzig van D. Uber topologisch homogene Kontinua. Fundam. Math., 1930, no. 15, pp. 102-125.
4. Pontryagin L.S. Nepreryvnye gruppy [Continuous Groups]. Moscow, Nauka, 1984. 520 p. (In Russian)
5. Grigorian S.A., Gumerov R.N. On a covering group theorem and its applications. Lobachevskii J. Math., 2002, vol. 10, pp. 9-16.
6. Grigorian S.A., Gumerov R.N. On the structure of finite coverings of compact connected groups. arXiv:math/0403329, 2004. Available at: https://arxiv.org/pdf/math/ 0403329.pdf.
7. Grigorian S.A., Gumerov R.N. On the structure of finite coverings of compact connected groups. Topol. Its Appl., 2006, vol. 153, no. 18, pp. 3598-3614. doi: 10.1016/j.topol.2006.03.010.
8. Gumerov R.N. Weierstrass polynomials and coverings of compact groups. Sib. Math. J., 2013, vol. 54, no. 2, pp. 243-246. doi: 10.1134/S0037446613020080.
9. Gumerov R.N. Characters and coverings of compact groups. Russ. Math., 2014, vol. 58, no. 4, pp. 7-13. doi: 10.3103/S1066369X14040021.
10. Hewitt E., Ross K.A. Abstract Harmonic Analysis. Vol. I: Structure of Topological Groups Integration Theory Group Representations. Berlin, Springer, 1963. 525 p. doi: 10.1007/978-1-4419-8638-2.
11. Keesling J. The group of homeomorphisms of a solenoid. Trans. Amer. Math. Soc., 1972, vol. 172, pp. 119-131. doi: 10.2307/1996337.
12. Krupski P. Means on solenoids. Proc. Am. Math. Soc., 2002, vol. 131, no. 6, pp. 1931-1933.
13. Gumerov R.N. On the existence of means on solenoids. Lobachevskii J. Math., 2005, vol. 17, pp. 43-46.
14. Grigorian S.A. Gumerov R.N., Kazantsev A.V. Group structure in finite coverings of compact solenoidal groups. Lobachevskii J. Math., 2000, vol. 4, pp. 39-46.
15. Eda K., Matijevic V. Finite-sheeted covering maps over 2-dimensional connected, compact Abelian groups. Topol. Its Appl., 2006, vol. 153, no. 7, pp. 1033-1045. doi: 10.1016/j.topol.2005.02.005.
16. Eda K., Matijevic V. Existence and uniqueness of group structures on covering spaces over groups. Fundam. Math, 2017, vol. 238, pp. 241-267. doi: 10.4064/fm990-10-2016.
17. Dydak J. Overlays and group actions. Topol. Its Appl., 2016, vol. 207, pp. 22-32.
18. Fox R.H. On shape. Fundam. Math., 1972, vol. 74, pp. 47-71.
19. Fox R.H. Shape theory and covering spaces. In: Dickman R.F., Fletcher P. (Eds.) Lecture Notes in Mathematics. Berlin, Heidelberg, Springer 1974, vol. 375, pp. 71-90. doi: 10.1007/BFb0064013.
20. Moore T.T. On Fox's theory of overlays. Fundam. Math., 1978, vol. 99, pp. 205-211.
21. Zhou Youcheng. Covering mapping on solenoids and their dynamical properties. Chin. Sci. Bull., 2000, vol. 45, no. 12, pp. 1066-1070. doi: 10.1007/BF02887175.
22. Charatonik J.J., Covarrubias P.P. On covering mappings on solenoids. Proc. Am. Math. Soc., 2002, vol. 130, no. 7, pp. 2145-2154.
23. Bogatyi S.A., Frolkina O.D. Classification of generalized solenoids. Trudy seminara po vek-tornomu i tenzornomu analizu [Proc. Semin. on Vector and Tensor Analysis]. Vol. XXVI. Moscow, Mosk. Gos. Univ., 2005, pp. 31-59. (In Russian)
24. Gumerov R.N. On finite-sheeted covering mappings onto solenoids. Proc. Am. Math. Soc., 2005, vol. 133, no. 9, pp. 2771-2778. doi: 10.2307/4097643.
25. Brownlowe N., Raeburn I. Two families of Exel-Larsen crossed products. J. Math. Anal. Appl., 2013, vol. 398, no. 1, pp. 68-79. doi: 10.1016/j.jmaa.2012.08.026.
26. Gumerov R.N. Dynamical properties of covering mappings of solenoids. Proc. Int. Conf. "Function Spaces, Approximation Theory, Nonlinear Analysis" dedicated to the centennial ofS.M. Nikolskii (Moscow, Russia, May 23-29, 2005). Moscow, 2005, p. 92. (In Russian).
27. Eda K., Matijevic V. Covering maps over solenoids which are not covering homomor-phisms. Fundam. Math, 2013, vol. 221, pp. 69-82. doi: 10.4064/fm221-1-3 .
28. Coburn L.A. The C* -algebra generated by an isometry. Bull. Am. Math. Soc., 1967, vol. 73, no. 5, pp. 722-726.
29. Douglas R.G. On the C* -algebra of a one-parameter semigroup ofisometries. Acta Math., 1972, vol. 128, pp. 143-152.
30. Murphy G.J. Ordered groups and Toeplitz algebras. J. Oper. Theory, 1987, vol. 18, no. 2, pp. 303-326.
31. Grigoryan S.A., Salakhutdinov A. F. C* -algebras generated by cancellative semigroups. Sib. Math. J., 2010, vol. 51, no. 1, pp. 12-19. doi: 10.1007/s11202-010-0002-y.
32. Grigoryan T.A., Lipaheva E.V., Tepoyan V.A. On the extension of the Toeplitz algebra. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie Nauki, 2012, vol. 154, no. 4, pp. 130-138. (In Russian)
33. Li X. Semigroup C* -algebras and amenability of semigroups. J. Funct. Anal., 2012, vol. 262, no. 10, pp. 4302-4340. doi: 10.1016/j.jfa.2012.02.020.
34. Lipacheva E.V., Hovsepyan K.H. Automorphisms of some subalgebras of the Toeplitz algebra. Sib. Math. J., 2016, vol. 57, no. 3, pp. 525-531. doi: 10.1134/S0037446616030149.
35. Adji S., Laca M., Nilsen M., Raeburn I. Crossed products by semigroups of endomorphisms and the Toeplitz algebras of ordered groups. Proc. Am. Math. Soc., 1994, vol. 122, no. 4, pp. 1133-1141. doi: 10.1090/S0002-9939-1994-1215024-1.
36. Murphy G.J. C* -algebras and operator theory. New York, Academic Press, 1990, 286 p.
37. Gumerov R.N. Limit automorphisms of C* -algebras generated by isometric representations for semigroups of rational numbers. Sib. Math. J., 2018, vol. 59, no. 1, pp. 73-84. doi: 10.1134/S0037446618010093.
38. Helemskii A.Ya. Banach and Locally Convex Algebras. New York, Clarendon Press, Oxford Univ. Press, 1993. 464 p.
Received October 25, 2017
Gumerov Renat Nelsonovich, Candidate of Physical and Mathematical Sciences, Associate Professor of the Department of Mathematical Analysis Kazan Federal University
ul. Kremlevskaya, 18, Kazan, 420008 Russia E-mail: [email protected]
УДК 517.986
Накрытия соленоидов и автоморфизмы полугрупповых С * -алгебр
Р.Н. Гумеров
Казанский (Приволжский) федеральный университет, г. Казань, 420008, Россия
Аннотация
В статье рассматриваются конечнолистные накрывающие отображения Р- адических соленоидов и предельные эндоморфизмы полугрупповых О* -алгебр. Цель нашего изложения двояка. Во-первых, это представление результатов, касающихся таких отображений и эндоморфизмов. Во-вторых, мы демонстрируем доказательства некоторых из них. Показывается, что каждое накрывающее отображение соленоида изоморфно отображению возведения в степень. Мы обсуждаем динамические свойства накрывающих отображений. Отображение возведения в степень для Р - адического соленоида является топологически транзитивным. Дается критерий хаотичности накрывающего отображения. Классическая теорема Ферма-Эйлера может быть использована для его доказательства. Далее мы рассматриваем предельные эндоморфизмы О* -алгебр, порожденных изометрическими представлениями полугрупп рациональных чисел. В теоретико-числовых, алгебраических и функциональных терминах нами формулируются критерии того, что предельные эндоморфизмы будут автоморфизмами. С теоретико-категорной точки зрения дается доказательство необходимости условия в таком критерии.
Ключевые слова: автоморфизм О * -алгебр, алгебра Теплица, *-гомоморфизм, индуктивная последовательность алгебр Теплица, ассоциированная с последовательностью простых чисел, конечнолистное накрывающее отображение, обратные и индуктивные последовательность и предел, полугрупповая О* -алгебра, тологически транзитивное, хаотическое.
Поступила в редакцию 25.10.17
Гумеров Ренат Нельсонович, кандидат физико-математических наук, доцент кафедры математического анализа
Казанский (Приволжский) федеральный университет
ул. Кремлевская, д. 18, г. Казань, 420008, Россия E-mail: [email protected]
I For citation: Gumerov R.N. Coverings of solenoids and automorphisms of semigroup ( C* -algebras. Uchenye Zapiski Kazanskogo Universiteta. Seriya Fiziko-Matematicheskie \ Nauki, 2018, vol. 160, no. 2, pp. 275-286.
Для цитирования: Gumerov R.N. Coverings of solenoids and automorphisms of semigroup C* -algebras // Учен. зап. Казан. ун-та. Сер. Физ.-матем. науки. - 2018. -Т. 160, кн. 2. - С. 275-286.
