SearcharxivSearch

arXiv subjects

Efton Park

Publications and source records attributed to Efton Park.

10 recordsLinked to original sources

Chern classes and unitary equivalence of normal matrices over topological spaces

This paper continues the authors' work on the question of unitary equivalence of matrices with entries in the complex-valued functions of a topological space (matrices over spaces). Specifically, we here consider the question of unitary equivalence for pairs of normal matrices over a space that share a common characteristic polynomial that can be globally factored into distinct linear factors. We show that such a matrix is diagonalizable if and only if the first Chern classes of its eigenbundles all vanish and derive as an application that all such matrices over $\mathbb{C}P^m$ are diagonalizable for $m > 1$. Next, given a CW complex $X$ and a polynomial $μ$ in $C(X)[λ]$ that globally splits into distinct linear factors, we prove that the number of unitary equivalence classes of matrices with $μ$ as a characteristic polynomial depends only on the space $X$ and the degree of $μ$, and we give some estimates on how many unitary equivalence classes there can be. In the case that $X$ is a CW complex of dimension at most three, we demonstrate a bijection between the unitary equivalence classes of $n \times n$ normal matrices with characteristic polynomial $μ$ and elements of the group $(H^2(X))^{n-1}$. Finally, when $X$ is a smooth manifold and we restrict to matrices with smooth entries, we construct a de Rham cohomology class whose nonvanishing is an obstruction to unitary equivalence.

math.OA

K_0-theory of n-potents in rings and algebras

Let $n \geq 2$ be an integer. An \emph{$n$-potent} is an element $e$ of a ring $R$ such that $e^n = e$. In this paper, we study $n$-potents in matrices over $R$ and use them to construct an abelian group $K_0^n(R)$. If $A$ is a complex algebra, there is a group isomorphism $K_0^n(A) \cong \bigl(K_0(A)\bigr)^{n-1}$ for all $n \geq 2$. However, for algebras over cyclotomic fields, this is not true in general. We consider $K_0^n$ as a covariant functor, and show that it is also functorial for a generalization of homomorphism called an \emph{$n$-homomorphism}.

math.KT

Unitary equivalence of normal matrices over topological spaces

Let A and B be normal matrices with coefficients that are continuous complex-valued functions on a topological space X that has the homotopy type of a CW complex, and suppose these matrices have the same distinct eigenvalues at each point of X. We use obstruction theory to establish a necessary and sufficient condition for A and B to be unitarily equivalent. We also determine bounds on the number of possible unitary equivalence classes in terms of cohomological invariants of X.

math.OA

Smooth distributions are finitely generated

A subbundle of variable dimension inside the tangent bundle of a smooth manifold is called a smooth distribution if it is the pointwise span of a family of smooth vector fields. We prove that all such distributions are finitely generated, meaning that the family may be taken to be a finite collection. Further, we show that the space of smooth sections of such distributions need not be finitely generated as a module over the smooth functions. Our results are valid in greater generality, where the tangent bundle may be replaced by an arbitrary vector bundle.

math.DG

Equivariant K-theory and the Chern character for discrete groups

Let $X$ be a compact Hausdorff space, let $Γ$ be a discrete group that acts continuously on $X$ from the right, define $\widetilde{X} = \{(x,γ) \in X \times Γ: x\cdotγ= x\}$, and let $Γ$ act on $\widetilde{X}$ via the formula $(x,γ)\cdotα= (x\cdotα, α^{-1}γα)$. Results of P. Baum and A. Connes, along with facts about the Chern character, imply that $K^i_Γ(X) \otimes \mathbb{C} \cong K^i(\widetilde{X}\slashΓ) \otimes \mathbb{C}$ for $i = 0, -1$. In this note, we present an example where the groups $K^i_Γ(X)$ and $K^i(\widetilde{X}\slashΓ)$ are not isomorphic.

math.KT

The tame symbol and determinants of Toeplitz operators

Suppose that $ϕ$ and $ψ$ are smooth complex-valued functions on the circle that are invertible, have winding number zero with respect to the origin, and have meromorphic extensions to an open neighborhood of the closed unit disk. Let $T_ϕ$ and $T_ψ$ denote the Toeplitz operators with symbols $ϕ$ and $ψ$ respectively. We give an explicit formula for the determinant of $T_ϕT_ψT_ϕ^{-1} T_ψ^{-1}$ in terms of the products of the tame symbols of $ϕ$ and $ψ$ on the open unit disk.

math.FA

On the Nonexistence of Nontrivial Involutive n-Homomorphisms of C*-algebras

An n-homomorphism between algebras is a linear map $ϕ: A \to B$ such that $ϕ(a_1 ... a_n) = ϕ(a_1)... ϕ(a_n)$ for all elements $a_1, >..., a_n \in A.$ Every homomorphism is an n-homomorphism, for all n >= 2, but the converse is false, in general. Hejazian et al. [7] ask: Is every *-preserving n-homomorphism between C*-algebras continuous? We answer their question in the affirmative, but the even and odd n arguments are surprisingly disjoint. We then use these results to prove stronger ones: If n >2 is even, then $ϕ$ is just an ordinary *-homomorphism. If n >= 3 is odd, then $ϕ$ is a difference of two orthogonal *-homomorphisms. Thus, there are no nontrivial *-linear n-homomorphisms between C*-algebras.

math.OA

Representable E-theory for Co(X)-algebras

Let X be a locally compact space, and let A and B be Co(X)-algebras. We define the notion of an asymptotic Co(X)-morphism from A to B and construct representable E-theory groups RE(X;A,B). These are the universal groups on the category of separable Co(X)-algebras that are Co(X)-stable, Co(X)-homotopy-invariant, and half-exact. If A is RKK(X)-nuclear, these groups are naturally isomorphic to Kasparov's representable KK-theory groups RKK(X;A,B). Applications and examples are also discussed.

math.OA

A Hopf Index Theorem for foliations

We formulate and prove an analog of the Hopf Index Theorem for Riemannian foliations. We compute the basic Euler characteristic of a closed Riemannian manifold as a sum of indices of a non-degenerate basic vector field at critical leaf closures. The primary tool used to establish this result is an adaptation to foliations of the Witten deformation method.

math.DG