Let $D=i\frac{d}{dx}$ be the Dirac operator on $\mathbb{R}$, acting on the spinor bundle $\mathbb{R}\times\mathbb{C}$. The bounded operator $F=\frac{D}{\sqrt{D^2+1}}$ has a coarse index 


$$\text{Ind}(F)\in K\_1(C^\*(|\mathbb{R}|)),$$ 


where $C^\*(|\mathbb{R}|)$ is the Roe algebra of the metric space (as opposed to the group) $\mathbb{R}$.


It has been stated in various places (for example, Higson & Roe's book "Analytic $K$-Homology" chapter 12) that this coarse index in fact generates the group $K\_1(C^\*(|\mathbb{R}|))\cong\mathbb{Z}$.


However, I haven't seen this explicitly computed anywhere, and it would be nice and instructive to see a detailed calculation showing. For example, the analogous fact that the Dirac operator on $\mathbb{R}^n$ has non-trivial coarse index can be used to show that there exists no Riemannian metric of positive scalar curvature on $\mathbb{T}^n$.


To be specific, my question is just about the one-dimensional case, from which I would assume higher-dimensional computations follow:


**Question:** Show that $\text{Ind}(F)$ generates $K\_1(C^\*(|\mathbb{R}|))\cong\mathbb{Z}$.


So if there are experts in the area reading this who wouldn't mind sharing their thoughts, that would be very helpful.



Coarse index of Dirac operator on $\mathbb{R}$
There are a number of ways to do this calculation, but at risk of shamelessly plugging my own work there is a nice way to see it using a Mayer-Vietoris principle.


Decompose $\mathbb{R}$ as the union of the rays $\mathbb{R}^+ = [0, \infty)$ and $\mathbb{R}^- = (-\infty, 0]$, intersecting at a point. This decomposition admits Mayer-Vietoris sequences in both K-homology and and coarse K-theory, and there is a coarse index map from the former sequence to the latter. This gives a commuting square:


$$
\require{AMScd}
\begin{CD}
K\_1(\mathbb{R}) @>Index>> K\_1(C^\*(\mathbb{R})) \\
@VVM{V}V @VVM{V}V \\
K\_0(\text{point}) @>Index>> K\_0(C^\*(\text{point}))
\end{CD}
$$


Now, the Mayer-Vietoris boundary maps are isomorphisms because the rays $\mathbb{R}^\pm$ have trivial K-homology and trivial coarse K-theory - this follows from homotopy invariance of K-homology and an Eilenberg swindle argument for coarse K-theory. The group $K\_1(\mathbb{R})$ is generated by the K-homology class of the Dirac operator, and a quick calculation shows that the Mayer-Vietoris boundary map in this case is just the ordinary boundary map induced by the inclusion of a point into $\mathbb{R}$. A difficult but standard K-homology calculation shows that this boundary map sends the Dirac class to a generator of $K\_0(\text{point})$, i.e. a Fredholm operator of index 1.


That completes the calculation, up to the construction of the Mayer-Vietoris sequences and and the index maps between them. I worked all that out in my PhD thesis, and you can see a preprint [here](https://arxiv.org/pdf/1212.0241.pdf). By inductively chopping $\mathbb{R}^n$ into half-spaces you get the Gromov-Lawson theorem about the torus for free, and the argument has a nice and geometric flavor to it. That said, it's hard to turn the argument into explicit formulas - calculating the boundary of the Dirac class is hard, and I doubt it's any cleaner to go the other way around the diagram.


