Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userHomotopy type of the space of finite propagation unitary operators on $mathbb{Z}$
174
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The index theory for the space of finite propagation unitary operators was developed by Gross, Nesme, Vogts and Werner from the viewpoint of quantum walks in mathematical physics. In particular, they proved that $pi_0$ of the space is determined by the index. However, nothing is known about the higher homotopy groups. In this article, we describe the homotopy type of the space of finite propagation unitary operators on the Hilbert space of square summable $mathbb{C}$-valued $mathbb{Z}$-sequences, so we can determine its homotopy groups. We also study the space of (end-)periodic finite propagation unitary operators.
rate research
Read More
We study the homotopy type of the space of the unitary group $operatorname{U}_1(C^ast_u(|mathbb{Z}^n|))$ of the uniform Roe algebra $C^ast_u(|mathbb{Z}^n|)$ of $mathbb{Z}^n$. We show that the stabilizing map $operatorname{U}_1(C^ast_u(|mathbb{Z}^n|))tooperatorname{U}_infty(C^ast_u(|mathbb{Z}^n|))$ is a homotopy equivalence. Moreover, when $n=1,2$, we determine the homotopy type of $operatorname{U}_1(C^ast_u(|mathbb{Z}^n|))$, which is the product of the unitary group $operatorname{U}_1(C^ast(|mathbb{Z}^n|))$ (having the homotopy type of $operatorname{U}_infty(mathbb{C})$ or $mathbb{Z}times Boperatorname{U}_infty(mathbb{C})$ depending on the parity of $n$) of the Roe algebra $C^ast(|mathbb{Z}^n|)$ and rational Eilenberg--MacLane spaces.
We introduce a computationally tractable way to describe the $mathbb Z$-homotopy fixed points of a $C_{n}$-spectrum $E$, producing a genuine $C_{n}$ spectrum $E^{hnmathbb Z}$ whose fixed and homotopy fixed points agree and are the $mathbb Z$-homotopy fixed points of $E$. These form a piece of a contravariant functor from the divisor poset of $n$ to genuine $C_{n}$-spectra, and when $E$ is an $N_{infty}$-ring spectrum, this functor lifts to a functor of $N_{infty}$-ring spectra. For spectra like the Real Johnson--Wilson theories or the norms of Real bordism, the slice spectral sequence provides a way to easily compute the $RO(G)$-graded homotopy groups of the spectrum $E^{hnmathbb Z}$, giving the homotopy groups of the $mathbb Z$-homotopy fixed points. For the more general spectra in the contravariant functor, the slice spectral sequences interpolate between the one for the norm of Real bordism and the especially simple $mathbb Z$-homotopy fixed point case, giving us a family of new tools to simplify slice computations.
We show that the prequantum line bundle on the moduli space of flat $SU(2)$ connections on a closed Riemann surface of positive genus has degree 1. It then follows from work of Lawton and the second author that the classifying map for this line bundle induces a homotopy equivalence between the stable moduli space of flat $SU(N)$ connections, in the limit as $N$ tends to infinity, and $mathbb{C}P^infty$. Applications to the stable moduli space of flat unitary connections are also discussed.
We resolve two long-standing and closely related problems concerning stably free $mathbb{Z} G$-modules and the homotopy type of finite 2-complexes. In particular, for all $k ge 1$, we show that there exists a group $G$ and a non-free stably free $mathbb{Z} G$-module of rank $k$. We use this to show that, for all $k ge 0$, there exists homotopically distinct finite 2-complexes with fundamental group $G$ and with Euler characteristic $k$ greater than the minimal value over $G$. This provides a solution to Problem D5 in the 1979 Problems List of C. T. C. Wall.
We prove that the homotopy theory of Picard 2-categories is equivalent to that of stable 2-types.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
