Index group

Last updated

In operator theory, a branch of mathematics, every Banach algebra can be associated with a group called its abstract index group.

Contents

Definition

Let A be a Banach algebra and G the group of invertible elements in A. The set G is open and a topological group. Consider the identity component

G0,

or in other words the connected component containing the identity 1 of A; G0 is a normal subgroup of G. The quotient group

ΛA = G/G0

is the abstract index group of A. Because G0, being the component of an open set, is both open and closed in G, the index group is a discrete group.

Examples

Let L(H) be the Banach algebra of bounded operators on a Hilbert space. The set of invertible elements in L(H) is path connected. Therefore, ΛL(H) is the trivial group.

Let T denote the unit circle in the complex plane. The algebra C(T) of continuous functions from T to the complex numbers is a Banach algebra, with the topology of uniform convergence. A function in C(T) is invertible (meaning that it has a pointwise multiplicative inverse, not that it is an invertible function) if it does not map any element of T to zero. The group G0 consists of elements homotopic, in G, to the identity in G, the constant function 1. One can choose the functions fn(z) = zn as representatives in G of distinct homotopy classes of maps TT. Thus the index group ΛC(T) is the set of homotopy classes, indexed by the winding number of its members. Thus ΛC(T) is isomorphic to the fundamental group of T. It is a countable discrete group.

The Calkin algebra K is the quotient C*-algebra of L(H) with respect to the compact operators. Suppose π is the quotient map. By Atkinson's theorem, an invertible elements in K is of the form π(T) where T is a Fredholm operators. The index group ΛK is again a countable discrete group. In fact, ΛK is isomorphic to the additive group of integers Z, via the Fredholm index. In other words, for Fredholm operators, the two notions of index coincide.

Related Research Articles

In mathematics, especially functional analysis, a Banach algebra, named after Stefan Banach, is an associative algebra A over the real or complex numbers that at the same time is also a Banach space, that is, a normed space that is complete in the metric induced by the norm. The norm is required to satisfy

In mathematics, specifically in functional analysis, a C-algebra is a Banach algebra together with an involution satisfying the properties of the adjoint. A particular case is that of a complex algebra A of continuous linear operators on a complex Hilbert space with two additional properties:

Lie group Group that is also a differentiable manifold with group operations that are smooth

In mathematics, a Lie group is a group that is also a differentiable manifold. A manifold is a space that locally resembles Euclidean space, whereas groups define the abstract, generic concept of multiplication and the taking of inverses (division). Combining these two ideas, one obtains a continuous group where points can be multiplied together, and their inverse can be taken. If, in addition, the multiplication and taking of inverses are defined to be smooth (differentiable), one obtains a Lie group.

This is a glossary of some terms used in the branch of mathematics known as topology. Although there is no absolute distinction between different areas of topology, the focus here is on general topology. The following definitions are also fundamental to algebraic topology, differential topology and geometric topology.

Topological group Group that is a topological space with continuous group action

In mathematics, topological groups are logically the combination of groups and topological spaces, i.e. they are group and topological spaces at the same time, such that the continuity condition for the group operations connect these two structures together and consequently they are not independent from each other.

In algebra, the kernel of a homomorphism is generally the inverse image of 0. An important special case is the kernel of a linear map. The kernel of a matrix, also called the null space, is the kernel of the linear map defined by the matrix.

Orthogonal group Group of isometries of a Euclidean vector space or, more generally, of a vector space equipped with a quadratic form

In mathematics, the orthogonal group in dimension n, denoted O(n), is the group of distance-preserving transformations of a Euclidean space of dimension n that preserve a fixed point, where the group operation is given by composing transformations. The orthogonal group is sometimes called the general orthogonal group, by analogy with the general linear group. Equivalently, it is the group of n×n orthogonal matrices, where the group operation is given by matrix multiplication. The orthogonal group is an algebraic group and a Lie group. It is compact.

Homotopy Continuous deformation between two continuous functions

In topology, a branch of mathematics, two continuous functions from one topological space to another are called homotopic if one can be "continuously deformed" into the other, such a deformation being called a homotopy between the two functions. A notable use of homotopy is the definition of homotopy groups and cohomotopy groups, important invariants in algebraic topology.

Covering space A topological space that maps onto another, looking locally like separate copies

In mathematics, specifically algebraic topology, a covering map is a continuous function from a topological space to a topological space such that each point in has an open neighborhood evenly covered by . In this case, is called a covering space and the base space of the covering projection. The definition implies that every covering map is a local homeomorphism.

In mathematics, Fredholm operators are certain operators that arise in the Fredholm theory of integral equations. They are named in honour of Erik Ivar Fredholm. By definition, a Fredholm operator is a bounded linear operator T : X → Y between two Banach spaces with finite-dimensional kernel and finite-dimensional (algebraic) cokernel , and with closed range . The last condition is actually redundant.

In functional analysis and related areas of mathematics, the group algebra is any of various constructions to assign to a locally compact group an operator algebra, such that representations of the algebra are related to representations of the group. As such, they are similar to the group ring associated to a discrete group.

Spin group Lie group in theoretical physics, predicting properties of [[spin (physics)|spin]]

In mathematics the spin group Spin(n) is the double cover of the special orthogonal group SO(n) = SO(n, R), such that there exists a short exact sequence of Lie groups

In mathematics, the spectrum of a C*-algebra or dual of a C*-algebraA, denoted Â, is the set of unitary equivalence classes of irreducible *-representations of A. A *-representation π of A on a Hilbert space H is irreducible if, and only if, there is no closed subspace K different from H and {0} which is invariant under all operators π(x) with xA. We implicitly assume that irreducible representation means non-null irreducible representation, thus excluding trivial representations on one-dimensional spaces. As explained below, the spectrum  is also naturally a topological space; this is similar to the notion of the spectrum of a ring.

In functional analysis, the Calkin algebra, named after John Williams Calkin, is the quotient of B(H), the ring of bounded linear operators on a separable infinite-dimensional Hilbert space H, by the ideal K(H) of compact operators. Here the addition in B(H) is addition of operators and the multiplication in B(H) is composition of operators; it is easy to verify that these operations make B(H) into a ring. When scalar multiplication is also included, B(H) becomes in fact an algebra over the same field over which H is a Hilbert space.

In mathematics, specifically group theory, the identity component of a group G refers to several closely related notions of the largest connected subgroup of G containing the identity element.

In mathematics, a covering group of a topological group H is a covering space G of H such that G is a topological group and the covering map p : GH is a continuous group homomorphism. The map p is called the covering homomorphism. A frequently occurring case is a double covering group, a topological double cover in which H has index 2 in G; examples include the spin groups, pin groups, and metaplectic groups.

In mathematics, specifically in operator K-theory, the Baum–Connes conjecture suggests a link between the K-theory of the reduced C*-algebra of a group and the K-homology of the classifying space of proper actions of that group. The conjecture sets up a correspondence between different areas of mathematics, with the K-homology of the classifying space being related to geometry, differential operator theory, and homotopy theory, while the K-theory of the group's reduced C*-algebra is a purely analytical object.

In mathematics, KK-theory is a common generalization both of K-homology and K-theory as an additive bivariant functor on separable C*-algebras. This notion was introduced by the Russian mathematician Gennadi Kasparov in 1980.

Hilbert space Generalization of Euclidean space allowing infinite dimensions

In mathematics, Hilbert spaces allow generalizing the methods of linear algebra and calculus from the two-dimensional and three dimensional Euclidean spaces to spaces that may have an infinite dimension. A Hilbert space is a vector space equipped with an inner product operation, which allows defining a distance function and perpendicularity. Furthermore, Hilbert spaces are complete for this distance, which means that there are enough limits in the space to allow the techniques of calculus to be used.

This is a glossary for the terminology in a mathematical field of functional analysis.

References