The Ends of Algebras

Gabor Elek,Aryeh Y. Samet-Vaillant

DOI: https://doi.org/10.48550/arXiv.math/0504227

2005-04-12

Abstract:We introduce the notion of ends for algebras. The definition is analogous to the one in geometric group theory. We establish some relations to growth conditions and cyclic cohomology.

Rings and Algebras,Group Theory

What problem does this paper attempt to address?

The main problem that this paper attempts to solve is to introduce and study the concept of "ends" in algebra and explore its relationship with growth conditions and cyclic cohomology. Specifically, the authors hope:

1. **Define the ends of an algebra**: Analogous to the definition of the ends of a group in geometric group theory, give a strict definition of the ends of an algebra.
2. **Establish the relationship between the ends of an algebra and growth conditions**: Explore the connection between the ends of an algebra and its growth properties, such as the Gelfand - Kirillov dimension.
3. **Explore the connection between the ends of an algebra and cyclic cohomology**: Through the Fredholm module construction, associate the end classes of an algebra with elements in the first - order cyclic cohomology group.

### Summary of main problems

- **Define the ends of an algebra**: The authors define that an algebra \(A\) has \(k\) ends if \(A\) can be decomposed into the direct sum of \(k\) infinite - dimensional almost - invariant subspaces and cannot be decomposed into the direct sum of \(k + 1\) such subspaces. For any \(k\geq1\), if \(A\) has such a decomposition, then \(A\) is said to have infinitely many ends.

- **Relationship with growth conditions**: The authors prove that an algebra with Gelfand - Kirillov dimension 1 has only a finite number of ends. In addition, they also study the number of ends of algebras with linear growth.

- **Connection with cyclic cohomology**: By introducing the Fredholm module construction, the authors establish a connection between the end classes of an algebra and elements in the first - order cyclic cohomology group, thus providing a new tool for studying the ends of an algebra.

### Formula representation

- **Definition of almost - invariant subspaces**:
Let \(V\subset A\) be a \(K\)-linear subspace. If \((Vx + V)/V\) is finite - dimensional for any \(x\in A\), then \(V\) is called an almost - invariant subspace.

- **Definition of ends**:
An algebra \(A\) has \(k\) ends if \(A = V_1\oplus V_2\oplus\cdots\oplus V_k\), where each \(V_i\) is an infinite - dimensional almost - invariant subspace and \(A\) cannot be written as the direct sum of \(k + 1\) such subspaces.

- **Gelfand - Kirillov dimension**:
\[
\text{GKdim}(A)=\limsup_{n\rightarrow\infty}\frac{\log(\dim(S_n))}{\log(n)}
\]
where \(S_n\) is a sequence of vector spaces generated by a system of generators.

Through the study of these problems, the authors hope to reveal the deep - seated connection between the algebraic structure and its topological and geometric properties.