MathOverflow will be down for maintenance for approximately 3 hours, starting Monday evening (06/24/2013) at approximately 9:00 PM Eastern time (UTC-4).

3 added tag
2 TeX corrected

# FredhomnessFredholmness and invertibility in a C* algebra generated convolution-type operators

Let $PC$ be the algebra of complex-valued, piecewise-continuous functions from $[-\infty,+\infty]$, $SO$ be the algebra of bounded, continuous, complex-valued functions on $\mathbb R$ which are slowly oscillating at infinity and $[PC,SO]$ be the closed subalgebra of $L^\infty (\mathbb R)$ generated by $PC$ and $SO$. Let $\mathcal A_{[PC,SO]}$ be the the closed subalgebra of $\mathcal B(L^2(\mathbb R))$ generated by operators $a\mathcal F^{-1}b\mathcal F$ where $\mathcal F$ is the Fourier transform and $a,b\in [PC,SO]$.

For $v\in(0,\infty)$, $a\in [PC,SO]$ let $a_v\in PC$ be given by: $f_v(x)=f_v(-v+0)$ if $x\le -v$; $f_v(x)=f(x)$ if $x\in (-v,v)$ ; $f_v(x)=f_v(v-0)$ if $x\ge v$.

The question I need to answer is if $T=\sum_{i=1}^N \prod_{j=1}^M a_{i,j}\mathcal F^{-1}b_{i,j}\mathcal F$ ($a_{i,j}, b_{i,j}\in [PC,SO]$) is invertible, does it follow that $T_v:=\sum_{i=1}^N \prod_{j=1}^M (a_{i,j})v\mathcal F^{-1}(b{i,j})_v\mathcal a_{i,j})_v\mathcal F^{-1}(b_{i,j})_v\mathcal F$ is Fredholm.

The answer to the above must be "yes" if $T\mapsto T_v$ extends continuously to $\mathcal A_{[PC,SO]}$. In that case we would have that $T_v$ would have to be invertible. My instinct is that this is true, probably allowing much more general functions. I also guess the answer must be fairly obvious to anyone with a better understanding of harmonic analysis.

My motivation is to extend a Fredholm-index formula from $\mathcal A_{PC}$ to $\mathcal A_{[PC,SO]}$.

1

# Fredhomness and invertibility in a C* algebra generated convolution-type operators

Let $PC$ be the algebra of complex-valued, piecewise-continuous functions from $[-\infty,+\infty]$, $SO$ be the algebra of bounded, continuous, complex-valued functions on $\mathbb R$ which are slowly oscillating at infinity and $[PC,SO]$ be the closed subalgebra of $L^\infty (\mathbb R)$ generated by $PC$ and $SO$. Let $\mathcal A_{[PC,SO]}$ be the the closed subalgebra of $\mathcal B(L^2(\mathbb R))$ generated by operators $a\mathcal F^{-1}b\mathcal F$ where $\mathcal F$ is the Fourier transform and $a,b\in [PC,SO]$.

For $v\in(0,\infty)$, $a\in [PC,SO]$ let $a_v\in PC$ be given by: $f_v(x)=f_v(-v+0)$ if $x\le -v$; $f_v(x)=f(x)$ if $x\in (-v,v)$ ; $f_v(x)=f_v(v-0)$ if $x\ge v$.

The question I need to answer is if $T=\sum_{i=1}^N \prod_{j=1}^M a_{i,j}\mathcal F^{-1}b_{i,j}\mathcal F$ ($a_{i,j}, b_{i,j}\in [PC,SO]$) is invertible, does it follow that $T_v:=\sum_{i=1}^N \prod_{j=1}^M (a_{i,j})v\mathcal F^{-1}(b{i,j})_v\mathcal F$ is Fredholm.

The answer to the above must be "yes" if $T\mapsto T_v$ extends continuously to $\mathcal A_{[PC,SO]}$. In that case we would have that $T_v$ would have to be invertible. My instinct is that this is true, probably allowing much more general functions. I also guess the answer must be fairly obvious to anyone with a better understanding of harmonic analysis.

My motivation is to extend a Fredholm-index formula from $\mathcal A_{PC}$ to $\mathcal A_{[PC,SO]}$.