
If matrices almost satisfying a group relation are close to matrices exactly
satisfying the relation, then we say that a group is matricially stable. Here
"almost" and "close" are in terms of the HilbertSchmidt norm. Using tracial
2norm on $II_1$factors we similarly define $II_1$factor stability for
groups. Our main result is that all 1relator groups with nontrivial center
are $II_{1}$factor stable. Many of them are also matricially stable and RFD.
For amenable groups we give a complete characterization of matricial stability
in terms of the following approximation property for characters: each character
must be a pointwise limit of traces of finitedimensional representations. This
allows us to prove matricial stability for the discrete Heisenberg group
$\mathbb H_3$ and for all virtually abelian groups. For nonamenable groups the
same approximation property is a necessary condition for being matricially
stable. We study this approximation property and show that RF groups with
character rigidity have it.

We consider various lifting problems for C*algebras. As an application of
our results we show that any commuting family of order zero maps from matrices
to a von Neumann central sequence algebra can be lifted to a commuting family
of order zero maps to the C*central sequence algebra.

It is shown that the spectral radius is continuous on a $C^*$algebra if and
only if the $C^*$algebra is type I. This answers a question of V. Shulman and
Yu.~Turovskii [10]. It is shown also that the closure of nilpotents in a
$C^*$algebra contains an element with nonzero spectrum if and only if the
$C^*$algebra is not type I.

We develop a geometric approach to quantum mechanics based on the concept of
the Tulczyjew triple. Our approach is genuinely infinitedimensional and
including a Lagrangian formalism in which selfadjoint (Schroedinger) operators
are obtained as Lagrangian submanifolds associated with the Lagrangian. As a
byproduct we obtain also results concerning coadjoint orbits of the unitary
group in infinite dimension, embedding of the Hilbert projective space of pure
states in the unitary group, and an approach to selfadjoint extensions of
symmetric relations.

We characterize the class of RFD $C^*$algebras as those containing a dense
subset of elements that attain their norm under a finitedimensional
representation. We show further that this subset is the whole space precisely
when every irreducible representation of the $C^*$algebra is
finitedimensional, which is equivalent to the $C^*$algebra having no simple
infinitedimensional AF subquotient. We apply techniques from this proof to
show the existence of elements in more general classes of $C^*$algebras whose
norms in finitedimensional representations fit certain prescribed properties.

We consider tracial stability, which requires that tuples of elements of a
C*algebra with a trace that nearly satisfy the relation are close to tuples
that actually satisfy the relation. Here both "near" and "close" are in terms
of the associated 2norm from the trace, e.g., the HilbertSchmidt norm for
matrices. Precise definitions are stated in terms of liftings from tracial
ultraproducts of C*algebras. We completely characterize matricial tracial
stability for nuclear C*algebras in terms of certain approximation properties
for traces. For nonnuclear $C^{\ast}$algebras we find new obstructions for
stability by relating it to Voiculescu's free entropy dimension. We show that
the class of C*algebras that are stable with respect to tracial norms on
realrankzero C*algebras is closed under tensoring with commutative
C*algebras. We show that $C(X)$ is tracially stable with respect to tracial
norms on all $C^{\ast}$algebras if and only if $X$ is approximately
pathconnected.

We begin with a detailed description of a low dimensional quantum channel
($d_A=4, d_E=3$) demonstrating the symmetric form of superactivation of
oneshot zeroerror quantum capacity. This means appearance of a noiseless
(perfectly reversible) subchannel in the tensor square of a channel having no
noiseless subchannels.
Then we describe a quantum channel $\Phi$ such that $\,\bar{Q}_0(\Phi)=0$ and
$\,\bar{Q}_0(\Phi\otimes\Phi)\geq\log n\,$ for any $\,n\leq+\infty$.
We also show that the superactivation of oneshot zeroerror quantum capacity
of a channel can be reformulated in terms of quantum measurements theory as
appearance of an indistinguishable subspace for tensor product of two
observables having no indistinguishable subspaces.

Let $X_{\pi}$ be the subspace of fixed vectors for a uniformly bounded
representation $\pi$ of a group $G$ on a Banach space $X$. We study the problem
of the existence and uniqueness of a subspace $Y$ that complements $X_{\pi}$ in
$X$. Similar questions for $G$invariant complement to $X_{\pi}$ are
considered. We prove that every nonamenable discrete group $G$ has a
representation with noncomplemented $X_{\pi}$ and find some conditions that
provide an $G$invariant complement. A special attention is given to
representations on $C(K)$ that arise from an action of $G$ on a metric compact
$K$.

We propose examples of low dimensional quantum channels demonstrating
different forms of superactivation of oneshot zeroerror capacities, in
particular, the extreme superactivation (this complements the recent result of
T.S.Cubitt and G.Smith).
We also describe classes of quantum channels whose zeroerror classical and
quantum capacities cannot be superactivated.
We consider implications of the superactivation of oneshot zeroerror
capacities to analysis of reversibility of a tensorproduct channel with
respect to families of pure states.
Our approach based on the notions of complementary channel and of transitive
subspace of operators makes it possible to study the superactivation effects
for infinitedimensional channels as well.

Let $n$ be a natural number. Recall that a C*algebra is said to be
$n$subhomogeneous if all its irreducible representations have dimension at
most $n$. In this short note, we give various approximation properties
characterising $n$subhomogeneous C*algebras.

Let p be a polynomial in one variable. It is shown that the universal
C*algebra of the relation p(x)=0, \x\ \le C is semiprojective, residually
finitedimensional and has trivial extension group.

We solve the lifting problem in C^*algebras for many sets of relations that
include the relations x_j^{N_j} = 0 on each variable. The remaining relations
must be of the form \ p(x_1,...,x_n) \ \leq C for C a positive constant and p
a noncommutative *polynomial that is in some sense homogeneous. For example,
we prove liftability for the set of relations x^3=0, y^4=0, z^5=0,
xx^*+yy^*+zz^* \leq 1. Thus we find more noncommutative semialgebraic sets that
have the topology of noncommutative absolute retracts.

Let $A$ be a $C^*$algebra and $I$ be a closed ideal in $A$. For $x\in A$,
its image under the canonical surjection $A\to A/I$ is denoted by $\dot x$, and
the spectral radius of $x$ is denoted by $r(x)$. We prove that $$\max\{r(x),
\\dot x\\} = \inf \(1+i)^{1}x(1+i)\$$ (where infimum is taken over all
$i\in I$ such that $1+i$ is invertible), which generalizes spectral radius
formula of Murphy and West \cite{MurphyWest} (Rota for $\mathcal{B(H)}$
\cite{Rota}). Moreover if $r(x)< \\dot x\$ then the infimum is attained. A
similar result is proved for commuting family of elements of a $C^*$algebra.
Using this we give a partial answer to an open question of C. Olsen: if $p$ is
a polynomial then for "almost every" operator $T\in B(H)$ there is a compact
perturbation $T+K$ of $T$ such that $$\p(T+K)\ = \p(T)\_e.$$
We show also that if operators $A,B$ commute, $A$ is similar to a contraction
and $B$ is similar to a strict contraction then they are simultaneously similar
to contractions.

Let $p$ be a polynomial in one variable whose roots either all have
multiplicity more than 1 or all have multiplicity exactly 1. It is shown that
the universal $C^*$algebra of a relation $p(x)=0$, $\x\ \le 1$ is
semiprojective. In the case of all roots multiple it is shown that the
universal $C^*$algebra is also residually finitedimensional. Applications to
polynomially compact operators are given.

We solve a class of lifting problems involving approximate polynomial
relations (soft polynomial relations). Various associated C*algebras are
therefore projective. The technical lemma we need is a new manifestation of
Akemann and Pedersen's discovery of the norm adjusting power of quasicentral
approximate units.
A projective C*algebra is the analog of an absolute retract. Thus we can say
that various noncommutative semialgebraic sets turn out to be absolute
retracts. In particular we show a noncommutative absolute retract results from
the intersection of the approximate locus of a homogeneous polynomial with the
noncommutative unit ball. By unit ball we are referring the C*algebra of the
universal row contraction. We show projectivity of alternative noncommutative
unit balls.
Sufficiently many C*algebras are now known to be projective that we are able
to show that the cone over any separable C*algebra is the inductive limit of
C*algebras that are projective.

We look for an effective description of the algebra D_{Lie}(X,B) of operators
on a bimodule X over an algebra B, generated by inner derivations. It is shown
that in some important examples D_{Lie}(X,B) consists of all elementary
operators x\to \sum_i a_ixb_i satisfying the conditions $\sum_i a_ib_i = \sum_i
b_ia_i = 0. The Banach algebraic versions of these results are also obtained
and applied to the description of closed Lie ideals in some Banach algebras,
and to the proof of a density theorem for Lie algebras of operators on Hilbert
space.

Let $A$ be a separable $C^*$algebra. We prove that its stabilized second
suspension $S^2A\otimes \mathcal K$ and the $C^*$algebra $qA\otimes \mathcal
K$ constructed by Cuntz in the framework of his picture of KKtheory are
asymptotically equivalent. This means that there exist asymptotic morphisms
from each to the other whose compositions are homotopic to the identity maps.
This result yields an easy description of the natural transformation from
KKtheory to Etheory. One more corollary is the following. T. Loring ([3])
proved that any asymptotic morphism from $\qC$ to any $C^*$algebra $B$ is
homotopic to a $\ast$homomorphism. We prove that the same is true when $\C$ is
replaced by any nuclear $C^*$algebra $A$ and when $B$ is stable.

It is proved that that every nilpotent contraction in a quotient C*algebra
can be lifted to a nilpotent contraction. As a consequence we get that the
universal C*algebra generated by a nilpotent contraction is projective. This
answers the question posed by T. Loring.

We study the universal C^*algebras generated by n projections $p_1, >...,
p_n$ subject to the relation $p_1+... p_n = \lambda 1$, $\lambda \in \mathbb
R$. The questions of when these C^*algebras are type I, nuclear or exact are
considered. It is proved also that among these algebras there is continuum of
mutually nonisomorphic ones.