Let be a unital, simple C*-algebra of stable rank one. Does there exist a commutative sub-C*-algebra such that for every lower-semicontinuous function there exists an open subset such that for ? Here, denotes the Choquet simplex of normalized -quasitraces on (if is exact, then this is just the Choquet simplex of tracial states on ), and denotes the probability measure on induced by the restriction of to .
More specifically, one may ask if this is always the case for a Cartan subalgebra of .
Question: Is every separable C*-algebra an inductive limit of semiprojective C*-algebras?
This question was first raised by Blackadar in . If we think of C*-algebras as noncommutative topological spaces, then semiprojective C*-algebras are noncommutative absolute neighborhood retracts (ANRs). It is a classical result from shape theory that every metrizable space is homeomorphic to an inverse limit of metrizable ANRs , that is, . This means that is isomorphic to an inductive limit of the , that is, . The question is if the noncommutative analog of this result also holds.
It has been verified for many classes of C*-algebras that they are inductive limits of semiprojective C*-algebras. For example, Enders showed in  that every UCT-Kirchberg algebra is an inductive limit of semiprojective C*-algebras. In , it was shown that the class of C*-algebras that are inductive limits of semiprojective C*-algebras is closed under shape domination, and in particular under homotopy equivalence. One deduces, for example, that if is a contractible, compact, metrizable space, and if is an inducitve limit of semiprojective C*-algebras, then so is . It also follows that every contractible C*-algebra is an inductive limit of semiprojective C*-algebras – in fact, even of projective C*-algebras, as was shown in .
The commutative C*-algebra is probably the easiest C*-algebra where it is currently unknown if it is an inductive limit of semiprojective C*-algebras. Equivalently, it is unknown if is an inductive limit of semiprojective C*-algebras. By Example 4.6 in , we know that the stabilization is an inductive limit of semiprojective C*-algebras.
Question: Let be a C*-algebra that is complemented in its bidual by a *-homomorphism, that is, there exists a *-homomorphism such that for all . Is a von Neumann algebra?
The converse is true: Let be a von Neumann algebra. Then has a (unique) isometric predual . Let be the natural inclusion of the Banach space in its bidual. We naturally identify the dual of with , and the dual of with . Then the transpose is a *-homomorphism that complements in .
Question: Let be a -factor. Is the unitary group contractible when equipped with the strong operator topology?
Background/Motivation: By Kuiper’s theorem, if is an infinite-dimensional Hilbert space, then the unitary group of the -factor is contractible in the norm topology. This was generalized by Breuer  to (certain) and von Neumann algebras, and eventually Brüning-Willgerodt  showed that the unitary group of every properly infinite von Neumann algebra is contractible in the norm topology. This is no longer true for finite von Neumann algebras: The unitary group of a finite matrix algebra is not contractible. Similarly, the unitary group of a factor is not contractible in the norm topology since its fundamental group does not vanish – in fact, it was shown in  that for every factor .
As noted in the introduction of , the unitary group of every properly infinite von Neumann algebra is also contractible in the strong operator topology. This naturally leads to the above question, which was considered by Popa-Takesaki in . They showed that is contractible in the strong operator topology if is a separable factor such that the associated factor admits a trace scaling one-parameter group of automorphisms. This includes all McDuff factors ( is McDuff if for the hyperfinite factor ) and all factors that satisfy , where is the group von Neumann algebra of the free group on infinitely many generators.
This is one of the few problems from the Scottish book that are still open. In slightly modernized form, and correcting the typo (in the book, and should be switched in the last sentence) the problem is:
Let be a topological manifold, and let be a continuous function. Let denote the subgroup of homeomorphisms that satisfy . Let be another manifold that is not homeomorphic to . Does there exist a continuous function such that is not isomorphic to ?
This is one of the few problems from the Scottish book that are still open. In modern terminology, the problem is:
Let and be Banach spaces, and let be a bijective map with the following property: For every there exists such that for the sphere , the restriction is isometric. Does it follow that is isometric?
It is noted in the Scottish Book that the answer is „yes“ whenever is continuous, which is automatic if is finite-dimensional, or if has the property that for any two elements satisfying and there exists such that .
Given groups and , let us say that the pair has property (*) if any two injective homomorphisms are conjugate if (and only if) they are pointwise conjugate.
Problem 1: Describe the class of groups such that has (*) for every group .
Problem 2: Describe the class of groups such that has (*) for every group .
Definitions: Given a group , two elements are conjugate if there exists such that . Two homomorphisms are pointwise conjugate if is conjugate to in for every . (Thus, for each there exists such that .) Further, and are conjugate if there exists such that for every . If and are conjugate, then they are locally conjugate. Property (*) records that the converse holds (for injective homomorphisms).
Motivation: Problem 30 of the Scottish Book  (which is still open) asks to determine which groups have the following property: Pairs and in are conjugate (there exists such that and ) if (and only if) for every word in two noncommuting variables the elements and are conjugate. Using property (*) formulated above, Problem 30 asks to determine which groups have the property that satisfies (*) for every subgroup of that is generated by two elements. The above Problem 2 is a more general (and possibly more natural) version of this problem.
An automorphism is class-preserving if is conjuagte to for every . If has (*), then every class-preserving automorphism of is inner. The study of groups with (or without) outer class-preserving automorphisms has a long history; see for instance  and . There exist finite groups with outer class-preserving automorphisms. In particular, there exist finite groups that belong neither to nor to . Note also that contains all abelian groups and that contains all cyclic groups.
M.K. Yadav, Class preserving automorphisms of finite p-groups: a survey, in: C.M. Campbell, M.R. Quick, E.F. Robertson, C.M. Roney-Dougal, G.C. Smith, G. Traustason (Eds.), Groups St Andrews 2009 in Bath, Cambridge University Press, 2007: pp. 569–579. https://doi.org/10.1017/cbo9780511842474.019.
Question 1: If is a *-subalgebra of bounded linear operators on a separable Hilbert space such that is purely infinite as a ring, is the norm-closure purely infinite as a C*-algebra?
This is Problem 8.4 in . As noted in Problem 8.6 in , this is even unclear if is a unital, simple, purely infinite ring. In the converse direction, it seems natural to ask:
Question 2: Given a purely infinite C*-algebra , is there a dense *-subalgebra that is purely infinite as a ring?
Definitions: The relation on a ring is defined by setting if there exist such that ; see Definition 2.1 in . A ring is purely infinite if no quotient of is a division ring, and if any satisfy if (and only if) ; see Definition 3.1 in . (Here, denotes the two-sided ideal generated by , that is, .)
Given a C*-algebra , the Cuntz subequivalence relation is defined by setting if there exist sequences and in such that . A C*-algebra is purely infinite if it admits no nonzero one-dimensional representations and if any satisfy if and only if belongs to , the closed, two-sided ideal generated by ; see Definition 4.1 in . (The definition in  only considers positive elements in , but it equivalent to the definition given here.)
Background: By Proposition 3.17 in , if a C*-algebra is purely infinite as a ring, then it is purely infinite as a C*-algebra. The converse does probably not hold (Remark 3.18 in ), which is why we ask Question 2 above. A unital, simple C*-algebra is purely infinite as a C*-algebra if and only if it is purely infinite as a ring. Thus, Question 2 has a positive answer in this case.
Given a C*-algebra , let denote its Pedersen ideal (the minimal dense ideal in ). By Proposition 8.5 in , if is purely infinite as a ring, then is purely infinite. Thus, in this particular instance, Question 1 has a positive answer.
G. Aranda Pino, K.R. Goodearl, F. Perera, M. Siles Molina, Non-simple purely infinite rings, American Journal of Mathematics. (2010) 563–610. https://doi.org/10.1353/ajm.0.0119.
Given a C*-algebra and a closed, two-sided ideal , is the image of the normal elements in under the quotient map a closed subset of ?
Equivalently, if is a sequence of normal elements in that converge to , and if each admits a normal lift in , does admit a normal lift?
This question is raised in Example 6.5 in . It is equivalent to the question of whether the commutative C*-algebra of continuous functions on the disc vanishing at zero is -closed in the sense of Definition 6.1 in .
Of related interest is the class of normal elements that are universally liftable: We say that a normal element in a C*-algebra is universally liftable if for every C*-algebra and every surjective *-homomorphism there exists a normal element with . One can show that a normal element is universally liftable if and only if there exists a projective C*-algebra , a normal element and a *-homomorphism with . (A C*-algebra is projective if for every C*-algebra , every closed, two-sided ideal , and every *-homomorphism there exists a *-homomorphism such that , where is the quotient map.) Indeed, for the forward direct, one uses that every C*-algebra is the quotient of a projective C*-algebra, and for the converse direction one applies the definition of projectivity. In particular, every normal element in a projective C*-algebra is universally liftable.
Question: Given a C*-algebra , is the set of universally liftable normal elements in closed? Is it open (relative to the set of normal elements)?
Question: Is there a projective C*-algebra and a normal element such that for every C*-algebra , a normal element is universally liftable if and only if there exists a *-homomorphism with ?
Do simple, -stable, stably projectionless C*-algebras have stable rank one?
Definitions: A C*-algebra is said to be -stable if it tensorially absorbs the Jiang-Su algebra , that is, . Further, a simple C*-algebra is projectionless if it contains no nonzero projections, and it is stably projectionless if is projectionless. (In the nonsimple case, one should require that no quotient of contains a nonzero projection – see .) A unital C*-algebra is said to have stable rank one if the invertible elements in are dense. A nonunital C*-algebra has stable rank one if its minimal unitization does.
Background/Motivation: Rørdam showed in Theorem 6.7 in  that every unital, simple, finite -stable C*-algebra has stable rank one. Using this, one can show that every simple, finite, -stable C*-algebra that is not stably projectionless has stable rank one. Indeed, one may first reduce to the separable case (to show that a given element with is approximated by invertible elements, consider any separable, simple, -stable sub-C*-algebra of that is not stably projectionless and that contains .) Let be a nonzero projection. By Brown’s stabilization theorem, we have . Then the hereditary sub-C*-algebra is separable, unital, simple, finite and -stable (by Corollary 3.2 in ) and therefore has stable rank one. Since stable rank one is invariant under stable isomorphism, it follows that has stable rank one.
Thus, a simple, -stable C*-algebra that is not stably projectionless has stable rank one if and only if it is (stably) finite. A simple, stably projectionless C*-algebra is automatically stably finite, and it is therefore natural to expect that every simple, -stable, stably projectionless C*-algebra has stable rank one.
Let be a simple, -stable, stably projectionless C*-algebra. By Corollary 3.2 in , almost has stable rank one, that is, every hereditary sub-C*-algebra satisfies . In particular, every element in can be approximated by invertible elements in . To show that has stable rank one, one would need to show that every element in is approximated by invertibles. In Theorem 6.13 in  it is shown that has stable rank at most two, that is, the tuples in such that is invertible are dense in . One can also show:
Simple, -stable, stably projectionless C*-algebras have general stable rank one.
Here, the general stable rank of a unital C*-algebra , denoted , is the least integer such that acts transitively on for all . (We use to denote the set of invertible elements in the matrix algebra . Further, denotes the set of -tuples that generate as a left ideal, that is, such that is invertible.) For a nonunital C*-algebra . In general, one has , as noted in Theorem 3.3. of the overview article . If is unital, then the action of , the connected component of the unit in , on has open orbits. It follows that the orbits of the action of on are also open (and hence also closed).
Let be a simple, -stable, stably projectionless C*-algebra. Let us prove that . By Theorem 6.13 in , we have , and so . To verify that , we need to show that acts transitively on . So let with and . First, we find such that with and . (If , we use the identity matrix; if , we use the flip matrix; and if and we use the upper-triangular matrix with diagonal entries and upper right entry .) Given , we use that to approximate by some invertible such that . We note that is in the orbit of , that is, there exists such that . Then . Since the orbits of the action of on are closed, it follows that for some . Finally, since is finite, it follows that .
We remark that implies , but not conversely in general.