Definition 1.1.
For any distribution
$F\in {\mathcal{S}}^{\prime}(\Xi )$
and any function
$f\in \mathcal{S}(\Xi )$
we define
$$(F\circ f,h):=(F,f\circ h),(f\circ F,h):=(F,h\circ f)\mathtt{f}\mathtt{o}\mathtt{r}\mathtt{a}\mathtt{l}\mathtt{l}h\in \mathcal{S}(\Xi ).$$
The expressions
$F\circ f$
and
$f\circ F$
are a priori tempered distributions. The Moyal algebra is precisely the set of elements of
${\mathcal{S}}^{\prime}(\Xi )$
that preserves regularity by composition.
Definition 1.2.
The Moyal algebra
$\mathcal{\mathcal{M}}(\Xi )$
is defined by
$$\mathcal{\mathcal{M}}(\Xi ):=\left\{F\in {\mathcal{S}}^{\prime}(\Xi )F\circ f\in \mathcal{S}(\Xi )\mathtt{a}\mathtt{n}\mathtt{d}f\circ F\in \mathcal{S}(\Xi )\mathtt{f}\mathtt{o}\mathtt{r}\mathtt{a}\mathtt{l}\mathtt{l}f\in \mathcal{S}(\Xi )\right\}.$$
For two distributions
$F$
and
$G$
in
$\mathcal{\mathcal{M}}(\Xi )$
, the Moyal product can be extended by
$$(F\circ G,h):=(F,G\circ h)forallh\in \mathcal{S}(\Xi ).$$
Remark 1.3.
The set
$\mathcal{\mathcal{M}}(\Xi )$
with this composition law and the complex conjugation
$F\mapsto {F}^{\circ}$
is a unital
${}^{*}$
algebra. Actually, this extension by duality also gives compositions
$\mathcal{\mathcal{M}}(\Xi )\circ {\mathcal{S}}^{\prime}(\Xi )\subset {\mathcal{S}}^{\prime}(\Xi )$
and
${\mathcal{S}}^{\prime}(\Xi )\circ \mathcal{\mathcal{M}}(\Xi )\subset {\mathcal{S}}^{\prime}(\Xi )$
. One checks plainly that associativity holds for any three factors product with two factors belonging to
$\mathcal{\mathcal{M}}(\Xi )$
and one in
${\mathcal{S}}^{\prime}(\Xi )$
.
An important result [MP2,Prop. 23] concerning the Moyal algebra is that it contains
${C}_{pol,u}^{\infty}(\Xi )$
, the space of infinitely derivable complex functions on
$\Xi $
having uniform polynomial growth at infinity.
Finally let us quote a result linking
$\mathcal{\mathcal{M}}(\Xi )$
with the functional calculus
$\mathfrak{O}{\mathfrak{p}}^{A}$
[
MP2,Prop. 21]
: For any vector potential
$A$
belonging to
${C}_{pol}^{\infty}\left(X\right)$
,
$\mathfrak{O}{\mathfrak{p}}^{A}$
is an isomorphism of
${}^{*}$
algebras between
$\mathcal{\mathcal{M}}(\Xi )$
and
$\mathcal{\mathcal{L}}[\mathcal{S}(X\left)\right]\cap \mathcal{\mathcal{L}}\left[{\mathcal{S}}^{\prime}\right(X\left)\right]$
, where
$\mathcal{\mathcal{L}}[\mathcal{S}(X\left)\right]$
and
$\mathcal{\mathcal{L}}\left[{\mathcal{S}}^{\prime}\right(X\left)\right]$
are, respectively, the spaces of linear continuous operators on
$\mathcal{S}\left(X\right)$
and
${\mathcal{S}}^{\prime}\left(X\right)$
.
Remark 1.4.
We note for further use that very often it is easier to work with regularized expressions. For instance, if
$f$
and
$g$
belong to
${C}_{pol,u}^{\infty}(\Xi )$
, we can interpret
$f\circ g$
as the limit
${lim}_{m,n\to \infty}\left({\chi}_{n}f\right)\circ \left({\chi}_{m}g\right)$
, where
$\chi \in {C}_{c}^{\infty}(\Xi )$
with
$\chi \left(0\right)=1$
and
${\chi}_{n}\left(\xi \right):=\chi (\xi /n)$
. Then
${\chi}_{n}f$
is a sequence approximating
$f$
in
${\mathcal{S}}^{\prime}(\Xi )$
(for example) and
$\left({\chi}_{n}f\right)\circ \left({\chi}_{m}g\right)$
is given by the explicit formula 1.3 of the composition law.
Twisted crossed product algebras Now we recall the definitions of magnetic twisted
${C}^{*}$
dynamical systems, of the corresponding twisted
${C}^{*}$
algebras, and the construction of some of their representations in the Hilbert space
$\mathcal{\mathscr{H}}$
. These algebras are particular instances of more general twisted
${C}^{*}$
algebras extensively studied in [BS] , [PR1] and [PR2] (see also references therein).
For this purpose, let
$\mathcal{A}$
be a unital
${C}^{*}$
subalgebra of
$B{C}_{u}\left(X\right)$
. We shall always assume that
$\mathcal{A}$
contains the ideal
${C}_{0}\left(X\right)$
and is stable by translations, i.e.
${\theta}_{x}\left(a\right):=a(\cdot +x)\in \mathcal{A}$
for all
$a\in \mathcal{A}$
and
$x\in X$
. In the references cited above and in [
MPR]
$\mathcal{A}$
was also assumed to be separable but this is not needed for our developments. This algebra can be thought of as a way to encode the anisotropic behaviour of the magnetic fields and of the scalar potentials. Thus we consider a magnetic field
$B$
on
$X$
whose components
${B}_{jk}$
belong to
$\mathcal{A}$
. The expression
$\omega \mathit{B}$
defined in 1.4 has then some special properties: For fixed
$x$
and
$y$
, the function
$\omega \mathit{B}(\cdot ;x,y)\equiv \omega \mathit{B}(x,y)$
belongs to the unitary group
$\mathcal{U}(\mathcal{A})$
of
$\mathcal{A}$
. Moreover, the mapping
$X\times X\ni (x,y)\mapsto \omega \mathit{B}(x,y)\in \mathcal{U}(\mathcal{A})$
is a 2cocycle on
$X$
with values in
$\mathcal{U}(\mathcal{A})$
.
The quadruplet
$(\mathcal{A},\theta ,\omega \mathit{B},X)$
is a magnetic example of an abelian twisted
${C}^{*}$
dynamical system
$(\mathcal{A},\theta ,\omega ,X)$
. In the general case
$X$
is an abelian second countable locally compact group,
$\mathcal{A}$
is anabelian
${C}^{*}$
algebra,
$\theta $
is a continuous morphism from
$X$
to the group of automorphisms of
$\mathcal{A}$
, and
$\omega $
is a strictly continuous 2cocycle with values in the unitary group of the multiplier algebra of
$\mathcal{A}$
. We refer to [
MPR,Def. 2.1]
for more explanations.
Given any abelian twisted
${C}^{*}$
dynamical system, a natural
${C}^{*}$
algebra can be defined. We recall its construction. Let
${L}^{1}(X;\mathcal{A})$
be the set of Bochner integrable functions on
$X$
with values in
$\mathcal{A}$
, with the
${L}^{1}$
norm
$\parallel \phi {\parallel}_{1}:={\int}_{X}dx\parallel \phi \left(x\right){\parallel}_{\mathcal{A}}$
. For any
$\phi ,\psi \in {L}^{1}(X;\mathcal{A})$
and
$x\in X$
, we define the product
$$(\phi \diamond \psi )\left(x\right):={\int}_{X}dy{\theta}_{\frac{yx}{2}}\left[\phi \left(y\right)\right]{\theta}_{\frac{y}{2}}\left[\psi (xy)\right]{\theta}_{\frac{x}{2}}\left[\omega (y,xy)\right]$$
and the involution
$${\phi}^{\diamond}\left(x\right):={\theta}_{\frac{x}{2}}\left[\omega \right(x,x{)}^{1}\left]\phi \right(x{)}^{*}.$$
Note that in the magnetic case
$\omega \mathit{B}(x,x)=1$
.
Definition 1.5.
The enveloping
${C}^{*}$
algebra of
${L}^{1}(X,\mathcal{A})$
is called the twisted crossed product and is denoted by
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X$
.
Let us now consider a continuous vector potential
$A$
that generates the magnetic field, i.e.
$A$
is a continuous 1form on
$X$
that satisfies
${\partial}_{j}{A}_{k}{\partial}_{k}{A}_{j}={B}_{jk}$
. The relation between
${\lambda}^{A}$
defined in equation 1.2 and
$\omega \mathit{B}$
reads (by Stokes Theorem)
$$\begin{array}{c}{\lambda}^{A}(q;x){\lambda}^{A}(q+x;y){\left[{\lambda}^{A}(q;x+y)\right]}^{1}=\omega \mathit{B}(q;x,y).\end{array}$$ 
(1.5)

If
${\lambda}^{A}$
were a map
$X\ni x\mapsto {\lambda}^{A}(\cdot ;x)\in \mathcal{U}(\mathcal{A})$
, this relation would have said that
$\omega \mathit{B}$
is a 2coboundary, or equivalently that
$\omega \mathit{B}$
is a trivial 2cocycle. But most the the time this map has only image in
$C(X;\mathbb{T})$
, the set of continuous functions on
$X$
with values in the complex numbers of modulus
$1$
. For that reason, one says that
${\lambda}^{A}$
is a pseudotrivialization of
$\omega \mathit{B}$
.
Based on relation
1.5 , one can construct a faithful and irreductible representation of the algebra
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega \mathit{B}}X$
in
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
, that we denote by
$\Re \mathfrak{e}{\mathfrak{p}}^{A}$
. Equivalently, this corresponds to a covariant representation of the associated abelian twisted
${C}^{*}$
dynamical system. For each
$\phi \in {L}^{1}(X;\mathcal{A})$
and
$u\in \mathcal{\mathscr{H}}$
, the representation is given by
$$\begin{array}{c}\left[\Re \mathfrak{e}{\mathfrak{p}}^{A}\left(\phi \right)u\right]\left(x\right)={\int}_{X}dy{\lambda}^{A}(x;yx)\phi \left(\frac{1}{2}(x+y);yx\right)u\left(y\right).\end{array}$$ 
(1.6)

Let us mention that the choice of another vector potential generating the same magnetic field would lead to a unitarily equivalent representation of
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega \mathit{B}}X$
in
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
(gauge covariance).
By formally comparing
1.1 and 1.6 , one sees that
$\mathfrak{O}{\mathfrak{p}}^{A}$
and
$\Re \mathfrak{e}{\mathfrak{p}}^{A}$
are connected by a partial Fourier transformation:
$\mathfrak{O}{\mathfrak{p}}^{A}\left(f\right)=\Re \mathfrak{e}{\mathfrak{p}}^{A}\left[{\mathfrak{F}}^{1}\right(f\left)\right]$
, with
$$\left[{\mathfrak{F}}^{1}\right(f\left)\right](x,y):={\int}_{{X}^{\u25c6}}dp{e}^{ip\cdot y}f(x,p),$$
for all
$x,y\in X$
and suitable
$f$
. Then obviously the composition laws
$\circ $
and
$\diamond $
has to be intertwined by
$\mathfrak{F}$
, i.e.
$f\circ g=\mathfrak{F}\left[{\mathfrak{F}}^{1}\right(f)\diamond {\mathfrak{F}}^{1}(g\left)\right]$
, as it can be checked by a direct computation. The enveloping
${C}^{*}$
algebra
$\mathfrak{B}B\mathcal{A}$
of
$\mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$
, endowed with the multiplication
$\circ $
and the complex conjugation, is thus isomorphic to
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega \mathit{B}}X$
via the canonical extension of
$\mathfrak{F}$
. Moreover, one has
$\mathfrak{O}{\mathfrak{p}}^{A}(\mathfrak{B}B\mathcal{A})=\Re \mathfrak{e}{\mathfrak{p}}^{A}(\u212dB\mathcal{A})$
, where
$\u212dB\mathcal{A}$
denotes for shortness the
${C}^{*}$
algebra
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega \mathit{B}}X$
.
It might be here the right place to mention that untwisted crossed products are particular cases of groupoids. We suspect that by using twisted
groupoids one could get more general results, unifying the present framework with the approach of [
LN]
and [
N]
.
1.2 Affiliation
In this section we start by recalling the meaning of affiliation, borrowed from [
ABG]
. This key concept will then be applied to generalised Schrödinger operators with magnetic fields.
Definition 1.6.
An observable affiliated to a
${C}^{*}$
algebra
$\u212d$
is a morphism
$\Phi :{C}_{0}(\mathbb{R})\to \u212d$
.
If
$\mathcal{\mathscr{H}}$
is a Hilbert space and
$\u212d$
is a
${C}^{*}$
subalgebra of
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
, then a selfadjoint operator
$H$
in
$\mathcal{\mathscr{H}}$
defines an observable
${\Phi}_{\mathit{H}}$
affiliated to
$\u212d$
if and only if
${\Phi}_{\mathit{H}}\left(\eta \right):=\eta \left(H\right)$
belongs to
$\u212d$
for all
$\eta \in {C}_{0}(\mathbb{R})$
. A sufficient condition is that
$(Hz{)}^{1}\in \u212d$
for some
$z\in \mathbb{C}$
with
$\mathsf{I}\mathsf{m}z\ne 0$
. Thus an observable affiliated to a
${C}^{*}$
algebra is the abstract version of the functional calculus of a selfadjoint operator.
Given a magnetic field
$B$
whose components belong to
$\mathcal{A}$
, a continuous vector potential
$A$
that generates
$B$
and a suitable symbol
$h:{X}^{\u25c6}\to \mathbb{R}$
, our aim is to show that the
${C}_{0}$
functional calculus of the magnetic Schrödinger operator
$h\left({\Pi}^{A}\right)$
(which needs to be carefully defined) belongs to the
${C}^{*}$
algebra
$\mathfrak{O}{\mathfrak{p}}^{A}(\mathfrak{B}B\mathcal{A})\subset \mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
. The proof of such a statement is rather difficult and we shall do it under some smoothness conditions on the magnetic field
$B$
and on the symbol
$h$
. We point out that we prove in fact a stronger result, Theorem 1.8 , that does not depend on the choice of any particular vector potential.
Definition 1.7.

(a)
For
$s\in \mathbb{R}$
, a function
$h\in {C}^{\infty}\left({X}^{\u25c6}\right)$
is a symbol of type
$s$
if the following condition is satisfied:
$$\forall \alpha \in {\mathbb{N}}^{N},\exists {c}_{\alpha}>0\mathtt{s}\mathtt{u}\mathtt{c}\mathtt{h}\mathtt{t}\mathtt{h}\mathtt{a}\mathtt{t}\left\right({\partial}^{\alpha}h\left)\right(p\left)\right\le {c}_{\alpha}\langle p{\rangle}^{s\left\alpha \right}\mathtt{f}\mathtt{o}\mathtt{r}\mathtt{a}\mathtt{l}\mathtt{l}p\in {X}^{\u25c6},$$
where
$\langle p\rangle :=\sqrt{1+{p}^{2}}$
.

(b)
The symbol
$h$
is called elliptic if there exist
$R>0$
and
$c>0$
such that
$$c\langle p{\rangle}^{s}\le h\left(p\right)\mathtt{f}\mathtt{o}\mathtt{r}\mathtt{a}\mathtt{l}\mathtt{l}p\in {X}^{\u25c6}\mathtt{a}\mathtt{n}\mathtt{d}\leftp\right\ge R.$$
We denote by
${S}_{el}^{s}\left({X}^{\u25c6}\right)$
the family of elliptic symbols of type
$s$
, and set
${S}_{el}^{\infty}\left({X}^{\u25c6}\right):={\cup}_{s}{S}_{el}^{s}\left({X}^{\u25c6}\right)$
.
Note that all the classes
${S}^{s}\left({X}^{\u25c6}\right)$
are naturally contained in
${C}_{pol,u}^{\infty}(\Xi )$
, thus in
$\mathcal{\mathcal{M}}(\Xi )$
. For any
$z\notin \mathbb{R}$
, we also set
${r}_{z}:\mathbb{R}\to \mathbb{C}$
by
${r}_{z}(\cdot ):=(\cdot z{)}^{1}$
.
We are in a position to state the results about affiliation.
Theorem 1.8.
Assume that
$B$
is a magnetic field whose components belong to
$\mathcal{A}\cap B{C}^{\infty}\left(X\right)$
. Then each real
$h\in {S}_{el}^{\infty}\left({X}^{\u25c6}\right)$
defines an observable
${\Phi}_{h}^{B}$
affiliated to
$\mathfrak{B}B\mathcal{A}$
, such that for any
$z\notin \mathbb{R}$
one has
$$\begin{array}{c}(hz)\circ {\Phi}_{h}^{B}\left({r}_{z}\right)=1={\Phi}_{h}^{B}\left({r}_{z}\right)\circ (hz).\end{array}$$ 
(1.7)

In fact one even has
${\Phi}_{h}^{B}\left({r}_{z}\right)\in \mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)\subset {\mathcal{S}}^{\prime}(\Xi )$
, so the compositions can be interpreted as
$\mathcal{\mathcal{M}}(\Xi )\times {\mathcal{S}}^{\prime}(\Xi )\to {\mathcal{S}}^{\prime}(\Xi )$
and
${\mathcal{S}}^{\prime}(\Xi )\times \mathcal{\mathcal{M}}(\Xi )\to {\mathcal{S}}^{\prime}(\Xi )$
.
We shall now consider a scalar potential
$V\in \mathcal{A}$
. It is a standard fact that
$\mathcal{A}$
consists of multipliers of the algebra
$\mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$
. A straightforward reformulation of the arguments in [ABG,p. 365–366] allows then to define the observable
${\Phi}_{h,V}^{B}:={\Phi}_{h}^{B}+V$
. Considering now
$h+V\in {\mathcal{S}}^{\prime}(\Xi )$
we remark that we can compute the Moyal product
$(h+Vz)\circ {\Phi}_{h,V}^{B}\left({r}_{z}\right)=(hz)\circ {\Phi}_{h,V}^{B}\left({r}_{z}\right)+V\circ {\Phi}_{h,V}^{B}\left({r}_{z}\right)=1$
(by the explicit formula of
${\Phi}_{h,V}^{B}$
given in [ABG] ). This leads to the following statement:
Corollary 1.9.
We are in the framework of Theorem 1.8 . Let also
$V$
be a real function in
$\mathcal{A}$
. Then
${\Phi}_{h,V}^{B}$
is an observable affiliated to
$\mathfrak{B}B\mathcal{A}$
, such that for any
$z\notin \mathbb{R}$
one has
$$(h+Vz)\circ {\Phi}_{h,V}^{B}\left({r}_{z}\right)=1={\Phi}_{h,V}^{B}\left({r}_{z}\right)\circ (h+Vz).$$
These statements are elegant, being abstract, but in applications one also needs the represented version:
Corollary 1.10.
We are in the framework of Corollary 1.9 . Let
$A$
be a continuous vector potential that generates
$B$
. Then
$\mathfrak{O}{\mathfrak{p}}^{A}\left(h\right)+V\left(Q\right)$
defines a selfadjoint operator
${H}_{h}(A,V)$
in
$\mathcal{\mathscr{H}}$
with domain given by the image of the operator
$\mathfrak{O}{\mathfrak{p}}^{A}\left[(hz{)}^{1}\right]$
(which do not depend on
$z/\in \mathbb{R}$
). This operator is affiliated to
$\mathfrak{O}{\mathfrak{p}}^{A}(\mathfrak{B}B\mathcal{A})=\Re \mathfrak{e}{\mathfrak{p}}^{A}(\u212dB\mathcal{A})$
.
In [MP1] we have given an affiliation result for
$h\left(p\right)=p{}^{2}$
and
$\mathcal{A}=B{C}_{\text{u}}\left(X\right)$
. In this case we only need that the derivatives
${\partial}^{\alpha}{B}_{jk}$
are bounded for
$\left\alpha \right\le 2$
.
1.3 The essential spectrum
We shall give now a description of the essential spectrum of any observable affiliated to the
${C}^{*}$
algebra
$\u212dB\mathcal{A}$
. For the generalised magnetic Schrödinger operators of Theorem 1.8 , this is expressed in terms of the spectra of socalled asymptotic operators. The affiliation criterion and the algebraic formalism introduced above play an essential role in the proof of this result; see Section 3 . We start by recalling some definitions in relation with topological dynamical systems.
By Gelfand theory, the abelian
${C}^{*}$
algebra
$\mathcal{A}$
is isomorphic to the
${C}^{*}$
algebra
${C}_{0}(S\mathcal{A})$
, where
$S\mathcal{A}$
is the spectrum of
$\mathcal{A}$
. Since
$\mathcal{A}$
was assumed unital and contains
${C}_{0}\left(X\right)$
,
$S\mathcal{A}$
is a compactification of
$X$
. We shall therefore identify
$X$
with a dense open subset of
$S\mathcal{A}$
. The group law
$\theta :X\times X\to X$
extends then to a continuous map
$\stackrel{~}{\theta}:X\times S\mathcal{A}\to S\mathcal{A}$
, because
$\mathcal{A}$
was also assumed to be stable under translations. Thus the complement
$F\mathcal{A}$
of
$X$
in
$S\mathcal{A}$
is closed and invariant; it is the space of a compact topological dynamical system. For any
$\mathfrak{z}\in F\mathcal{A}$
, let us call the set
$\left\{\stackrel{~}{\theta}\right(x,\mathfrak{z}\left)\rightx\in X\}$
the orbit generated by
$\mathfrak{z}$
, and its closure a quasiorbit. Usually there exist many elements of
$F\mathcal{A}$
that generate the same quasiorbit. In the sequel, we shall often encounter the restriction
${a}_{\mathit{F}}$
of an element
$a\in \mathcal{A}\equiv C(S\mathcal{A})$
to a quasiorbit
$F$
. Naturally
${a}_{\mathit{F}}$
is an element of
$C\left(F\right)$
, but we shall show in Section 3 that this algebra can be realized as a subalgebra of
$B{C}_{u}\left(X\right)$
. By a slight abuse of notation, we shall identify
${a}_{\mathit{F}}$
with a function defined on
$X$
, thus inducing a multiplication operator in
$\mathcal{\mathscr{H}}$
.
The calculation of the essential spectrum may be performed at an abstract level, i.e.
without using any representation, as shown in Subsection 3.1 . In the next statement we present for convenience a represented version.
Theorem 1.11.
Let
$B$
be a magnetic field whose components belong to
$\mathcal{A}\cap B{C}^{\infty}\left(X\right)$
and let
$V\in \mathcal{A}$
be a real function. Assume that
$\{{F}_{\nu}{\}}_{\nu}$
is a covering of
$F\mathcal{A}$
by quasiorbits.
Then for each real
$h\in {S}_{el}^{\infty}\left({X}^{\u25c6}\right)$
one has
$$\begin{array}{c}{\sigma}_{ess}\left[{H}_{h}(A,V)\right]=\overline{{\bigcup}_{\nu}\sigma \left[{H}_{h}\right({A}_{\nu},{V}_{\nu}\left)\right]},\end{array}$$ 
(1.8)

where
$A$
,
${A}_{\nu}$
are continuous vector potentials for
$B$
,
${B}_{\nu}\equiv {B}_{{F}_{\nu}}$
, and
${V}_{\nu}\equiv {V}_{{F}_{\nu}}$
.
The operators
${H}_{h}({A}_{\nu},{V}_{\nu})\equiv h\left({\Pi}^{{A}_{\nu}}\right)+{V}_{\nu}$
are the asymptotic operators mentioned earlier. We shall show in Section 3 that these operators are affiliated to faithful representations in
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
of quotients of
$\u212dB\mathcal{A}$
by corresponding natural ideals. All the spectra appearing in 1.8 are only depending on the respective magnetic fields, by gauge covariance. This will be strengthened in Subsection 3.1 in which a manifestly invariant result will be given in an abstract framework.
1.4 A nonpropagation result
We finally describe how the localization results proved in [
AMP]
in the case of Schrödinger operators without magnetic field can be extended to the situation where a magnetic field is present. Once again, the algebraic formalism and the affiliation criterion introduced above play an essential role in the proofs: see Section 4 . We first introduce the trace on
$X$
of a base of neighbourhoods of an arbitrary quasiorbit in
$S\mathcal{A}$
.
For any quasiorbit
$F$
, let
${\mathcal{N}}_{F}$
be the family of sets of the form
$W=\mathcal{W}\cap X$
, where
$\mathcal{W}$
is any element of a base of neighbourhoods of
$F$
in
$S\mathcal{A}$
. We write
${\chi}_{W}$
for the characteristic function of
$W$
.
Theorem 1.12.
Let
$B$
be a magnetic field whose components belong to
$\mathcal{A}\cap B{C}^{\infty}\left(X\right)$
, let
$V$
be a real scalar potential that belongs to
$\mathcal{A}$
and let
$h$
be a real element of
${S}_{el}^{\infty}\left({X}^{\u25c6}\right)$
.
Assume that
$F\subset {F}_{\mathcal{A}}$
is a quasiorbit. Let
$A$
,
${A}_{F}$
be continuous vector potentials for
$B$
and
${B}_{F}$
. If
$\eta \in {C}_{0}(\mathbb{R})$
with
$\text{supp}\left(\eta \right)\cap \sigma \left[{H}_{h}\right({A}_{F},{V}_{F}\left)\right]=\varnothing $
, then for any
$\varepsilon >0$
there exists
$W\in {\mathcal{N}}_{F}$
such that
$$\parallel {\chi}_{W}\left(Q\right)\eta \left[{H}_{h}\right(A,V\left)\right]\parallel \le \varepsilon .$$
In particular, the inequality
$$\parallel {\chi}_{W}\left(Q\right){e}^{it{H}_{h}(A,V)}\eta \left[{H}_{h}\right(A,V\left)\right]u\parallel \le \varepsilon \parallel u\parallel $$
holds, uniformly in
$t\in \mathbb{R}$
and
$u\in \mathcal{\mathscr{H}}$
.
The last statement of this theorem gives a precise meaning to the notion of nonpropagation.
Heuristically, if the spectral support of
$u\in \mathcal{\mathscr{H}}$
with respect to the operator
${H}_{h}(A,V)$
does not meet the spectrum of the asymptotic operator corresponding to a quasiorbit, then the state
$u$
cannot propagate under the evolution given by
${e}^{it{H}_{h}(A,V)}$
in the direction of this quasiorbit. We refer to the remark on page 1223 of [
AMP]
for physical explanations and interpretations of this result.
2 Affiliation
In this section we derive our affiliation criterion. In Subsection 2.1 we indicate the main steps of the proof of Theorem 1.8 . Some technical details are included in an appendix. Corollary 1.10 is obtained in Subsection 2.2 , as a direct consequence of the theorem. We assume tacitly all the hypotheses of Theorem 1.8 .
2.1 The proof of the affiliation criterion
The proof of Theorem 1.8 will be based on the following strategy: Let
$\mathcal{\mathcal{M}}$
be an associative algebra with a composition law denoted by
$\circ $
and let
$\mathfrak{h}$
be an element of
$\mathcal{\mathcal{M}}$
. Our aim is to find the inverse for
$\mathfrak{h}$
. Assume that
${\mathfrak{h}}^{\prime}$
is another element such that
$\mathfrak{h}\circ {\mathfrak{h}}^{\prime}$
and
${\mathfrak{h}}^{\prime}\circ \mathfrak{h}$
are invertible. These inverses are written
$(\mathfrak{h}\circ {\mathfrak{h}}^{\prime}{)}^{(1)}$
and
$({\mathfrak{h}}^{\prime}\circ \mathfrak{h}{)}^{(1)}$
respectively. Then, the element
${\mathfrak{h}}^{\prime}\circ (\mathfrak{h}\circ {\mathfrak{h}}^{\prime}{)}^{(1)}$
is obviously a right inverse for
$\mathfrak{h}$
and the element
$({\mathfrak{h}}^{\prime}\circ \mathfrak{h}{)}^{(1)}\circ {\mathfrak{h}}^{\prime}$
a left inverse for
$\mathfrak{h}$
. Both expressions are thus equal to
${\mathfrak{h}}^{(1)}$
.
In the sequel, we shall take for
$\mathfrak{h}$
the strictly positive symbol
$h+a$
, with
$a$
large enough, and for
${\mathfrak{h}}^{\prime}$
its pointwise inverse
$(h+a{)}^{1}$
. Finding an inverse
$(h+a{)}^{(1)}$
for
$h+a$
with respect to the composition law
$\circ $
will lead rather easily to an observable. In the calculations below we shall use tacitly the approximation procedure described in Remark 1.4 . For several arguments we will be forced to get out of the algebra
$\mathcal{\mathcal{M}}=\mathcal{\mathcal{M}}(\Xi )$
. This will be easily dealt with, by a suitable use of elements of
${\mathcal{S}}^{\prime}(\Xi )$
.

Proof of Theorem 1.8 .
(i) Let us consider an elliptic symbol
$h$
of order
$s$
and fix some real number
$a\ge infh+1$
. We set
${h}_{a}:=h+a$
, and denote by
${h}_{a}^{1}$
its inverse with respect to pointwise multiplication, i.e.
${h}_{a}^{1}\left(p\right):=\left(h\right(p)+a{)}^{1}$
for all
$p\in {X}^{\u25c6}$
. It is clear that
${h}_{a}^{1}$
is a symbol of type
$s$
. Since both functions
${h}_{a}$
and
${h}_{a}^{1}$
belong to
${C}_{pol,u}^{\infty}(\Xi )$
, and thus to the Moyal algebra
$\mathcal{\mathcal{M}}(\Xi )$
, one can calculate their product. By using 1.3 we obtain
$$\begin{array}{c}\left({h}_{a}\circ {h}_{a}^{1}\right)(q,p)={4}^{N}{\int}_{X}dx{\int}_{{X}^{\u25c6}}dk{\int}_{X}dy{\int}_{{X}^{\u25c6}}dl{e}^{2i(k\cdot yl\cdot x)}\gamma \mathit{B}(q;2x,2y)\frac{{h}_{a}(pk)}{{h}_{a}(pl)},\end{array}$$ 
(2.1)

with
$\gamma \mathit{B}(q;2x,2y):=\omega \mathit{B}\left(qxy;2x,2(yx)\right)$
. The last factor in the integral does not depend on
$x$
and
$y$
; it can be developed:
$$\begin{array}{c}\frac{{h}_{a}(pk)}{{h}_{a}(pl)}=1+{\sum}_{j=1}^{N}({l}_{j}{k}_{j})\frac{{\int}_{0}^{1}dt\left({\partial}_{j}h\right)\left(pl+t(lk)\right)}{h(pl)+a}=:1+{\sum}_{j=1}^{N}{F}_{a,j}(p;k,l).\end{array}$$ 
(2.2)

Moreover, let
$\stackrel{~}{\gamma}\mathit{B}(q;k,l)\equiv (\mathbb{F}\gamma \mathit{B})(q;k,l):={\int}_{X}dx{\int}_{X}dy{e}^{ik\cdot y}{e}^{il\cdot x}\gamma \mathit{B}(q;x,y)$
. Then the following equality holds (in the sense of distributions, by using Remark 1.4 ):
$$\begin{array}{c}{\int}_{{X}^{\u25c6}}dk{\int}_{{X}^{\u25c6}}dl\stackrel{~}{\gamma}\mathit{B}(q;k,l)=\gamma \mathit{B}(q;0,0)=1.\end{array}$$ 
(2.3)

Thus, by inserting 2.2 and 2.3 into 2.1 , we obtain
$${h}_{a}\circ {h}_{a}^{1}=1+{\sum}_{j=1}^{N}{f}_{a,j},$$
with
$$\begin{array}{c}{f}_{a,j}(q;p):={\int}_{{X}^{\u25c6}}dk{\int}_{{X}^{\u25c6}}dl\stackrel{~}{\gamma}\mathit{B}(q;k,l){F}_{a,j}(p;k,l)=\langle (\mathbb{F}\gamma \mathit{B})(q;\cdot ,\cdot ),{F}_{a,j}(p;\cdot ,\cdot )\rangle .\end{array}$$ 
(2.4)

The last notation is used in order to emphasize the duality between
${C}_{pol,u}^{\infty}({X}^{\u25c6}\times {X}^{\u25c6})$
and its dual.
Indeed, for
$q,p$
fixed, Lemma 6.2 proves that
${F}_{a,j}(p;\cdot ,\cdot )\in {C}_{pol,u}^{\infty}({X}^{\u25c6}\times {X}^{\u25c6})$
, and Lemma 6.1 proves that
$\gamma \mathit{B}(q,\cdot ,\cdot )\in {C}_{pol}^{\infty}(X\times X)$
, so that
$(\mathbb{F}\gamma \mathit{B})(q;\cdot ,\cdot )\in {\left[{C}_{pol,u}^{\infty}({X}^{\u25c6}\times {X}^{\u25c6})\right]}^{\prime}$
[
S,Chap. VII,Thm. XV]
.
(ii) We are now going to deduce some useful estimates on
${f}_{a,j}$
. We set
$\langle {P}_{x}\rangle \equiv \langle i{\partial}_{x}\rangle $
. For
$\alpha ,j$
fixed and
$m,n$
integers that we shall choose below, one has
$$\left\right({\partial}_{p}^{\alpha}{f}_{a,j}\left)\right(q;p\left)\right\le {sup}_{x,y\in X}\langle x{\rangle}^{n}\langle y{\rangle}^{n}\langle {P}_{x}{\rangle}^{m}\langle {P}_{y}{\rangle}^{m}\gamma \mathit{B}(q;x,y\left)\right\cdot $$
$$\begin{array}{c}\parallel \langle x{\rangle}^{N}\langle y{\rangle}^{N}{\parallel}_{{L}^{2}(X\times X)}\parallel \langle {P}_{k}{\rangle}^{n+N}\langle {P}_{l}{\rangle}^{n+N}\langle k{\rangle}^{m}\langle l{\rangle}^{m}\left({\partial}_{p}^{\alpha}{F}_{a,j}\right)(p;\cdot ,\cdot ){\parallel}_{{L}^{2}({X}^{\u25c6}\times {X}^{\u25c6})}.\end{array}$$ 
(2.5)

By taking into account 6.2 , subject of Lemma 6.2 , and by some simple calculations, one can fix
$m$
such that the last factor of 2.5 is dominated by
${c}_{n}{a}^{1/\mu}\langle p{\rangle}^{s/\mu 1\left\alpha \right}$
, with
$\mu >max\{1,s\}$
. Then, by using Lemma 6.1 , one can choose
$n$
(depending on
$m$
) such that the first factor on the r.h.s. term of 2.5 is bounded. Altogether, one obtains
$$\begin{array}{c}\left\right({\partial}_{p}^{\alpha}{f}_{a,j}\left)\right(q;p\left)\right\le c{a}^{1/\mu}\langle p{\rangle}^{s/\mu 1\left\alpha \right},\end{array}$$ 
(2.6)

where
$c$
depends on
$\alpha $
and
$j$
but not on
$p,q$
or
$a$
.
(iii) Let us now show that for each
$j$
,
${\mathfrak{F}}^{1}\left({f}_{a,j}\right)$
is an element of
${L}^{1}(X;\mathcal{A})$
, and thus belongs to the
${C}^{*}$
algebra
$\u212dB\mathcal{A}$
. The partial Fourier transform
$\mathfrak{F}$
was defined at the end of Subsection 1.1 .
By taking into account Lemma
6.1 , the r.h.s. of the equation 2.4 can be rewritten as
$\langle \gamma \mathit{B}(q;\cdot ,\cdot ),\left({\mathbb{F}}^{*}{F}_{a,j}\right)(p,\cdot ,\cdot )\rangle $
, the duality between
${C}_{pol}^{\infty}(X\times X)$
and
${\left({C}_{pol}^{\infty}(X\times X)\right)}^{\prime}={\mathbb{F}}^{*}{C}_{pol,u}^{\infty}({X}^{\u25c6}\times {X}^{\u25c6})$
. As
$\gamma \mathit{B}$
defines a function from
$X\times X$
to
$\mathcal{A}$
(see Lemma 6.1 ) that is of class
${C}_{pol}^{\infty}(X\times X)$
, we can easily prove that
${f}_{a,j}(\cdot ;p)$
belongs to
$\mathcal{A}$
, for all
$p\in {X}^{\u25c6}$
(by using partitions of unity on
$X\times X$
and by approximating the duality pairing with finite linear combinations of elements in
$\mathcal{A}$
).
This observation together with
2.6 imply that the hypotheses of Lemma 6.4 are fulfilled for each
${f}_{a,j}$
, with
$t=\left(1s/\mu \right)<0$
. It follows that
${\mathfrak{F}}^{1}\left({f}_{a,j}\right)$
belongs to
${L}^{1}(X;\mathcal{A})$
and that there exists
$C>0$
such that
$$\parallel {\mathfrak{F}}^{1}\left({f}_{a,j}\right){\parallel}_{1}\le C{a}^{1/\mu}.$$
Thus, for
$a$
large enough, the strict inequality
$\parallel {\sum}_{j=1}^{N}{\mathfrak{F}}^{1}\left({f}_{a,j}\right){\parallel}_{1}<1$
holds. It follows that
${\mathfrak{F}}^{1}(1+{\sum}_{j=1}^{N}{f}_{a,j})$
is invertible in
$\stackrel{~}{{L}^{1}}$
, the minimal unitization of
${L}^{1}(X;\mathcal{A})$
. Equivalently,
${h}_{a}\circ {h}_{a}^{1}\equiv 1+{\sum}_{j=1}^{N}{f}_{a,j}$
is invertible in
$\stackrel{~}{\mathfrak{F}\left({L}^{1}\right)}$
, the minimal unitization of
$\mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$
. Its inverse will be denoted by
${\left({h}_{a}\circ {h}_{a}^{1}\right)}^{(1)}$
.
(iv) We recall that
${h}_{a}^{1}\in {S}^{s}\left({X}^{\u25c6}\right)$
. Then, by Lemma 6.4 we get that
${h}_{a}^{1}\in \mathfrak{F}\left({L}^{1}\left(X\right)\right)\subset \mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$
. Thus
${h}_{a}^{1}\circ ({h}_{a}\circ {h}_{a}^{1}{)}^{(1)}$
is a well defined element of
$\mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$
. Moreover, one readily gets
${h}_{a}\circ [{h}_{a}^{1}\circ ({h}_{a}\circ {h}_{a}^{1}{)}^{(1)}]=1$
. For this, just think of
${h}_{a}$
and
${h}_{a}^{1}$
as elements of the Moyal algebra
$\mathcal{\mathcal{M}}(\Xi )$
and interpret
$({h}_{a}\circ {h}_{a}^{1}{)}^{(1)}\in \stackrel{~}{\mathfrak{F}\left({L}^{1}\right)}$
as an element of
${\mathcal{S}}^{\prime}(\Xi )$
. The needed associativity follows easily from the definition by duality of the composition law as stated in Remark 1.3 . In the same way one obtains
$\left[\right({h}_{a}^{1}\circ {h}_{a}{)}^{(1)}\circ {h}_{a}^{1}]\circ {h}_{a}=1$
in
$\mathcal{\mathcal{M}}(\Xi )$
. In conclusion, there exists
${a}_{0}\ge infh+1$
such that for any
$a>{a}_{0}$
the symbol
${h}_{a}$
possess an inverse with respect to the Moyal product
$${h}_{a}^{(1)}:={h}_{a}^{1}\circ ({h}_{a}\circ {h}_{a}^{1}{)}^{(1)}=({h}_{a}^{1}\circ {h}_{a}{)}^{(1)}\circ {h}_{a}^{1}\in {\mathcal{S}}^{\prime}(\Xi )$$
that also belongs to
$\mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)\subset \mathfrak{B}B\mathcal{A}$
. The second equality follows from Remark 1.3 or Remark 1.4 by straightforward arguments.
(v) We define
${\Phi}_{h}^{B}\left({r}_{x}\right):={h}_{x}^{(1)}$
for
$x<{a}_{0}$
. Then
${\Phi}_{h}^{B}\left({r}_{x}\right)\in \mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)\subset \mathfrak{B}B\mathcal{A}\cap {\mathcal{S}}^{\prime}(\Xi )$
, its norm is uniformly bounded for
$x$
in the given domain and
$(hx)\circ {\Phi}_{h}^{B}\left({r}_{x}\right)={\Phi}_{h}^{B}\left({r}_{x}\right)\circ (hx)=1$
, as shown above. This allows us to obtain an extension to the halfstrip
$\{z=x+iyx<{a}_{0},\lefty\right<\delta \}$
for some
$\delta >0$
by setting
$$\begin{array}{c}{\Phi}_{h}^{B}\left({r}_{z}\right):={\Phi}_{h}^{B}\left({r}_{x}\right)\circ \{1+(xz\left){\Phi}_{h}^{B}\right({r}_{x}){\}}^{(1)}.\end{array}$$ 
(2.7)

It follows that
$$(hz)\circ {\Phi}_{h}^{B}\left({r}_{z}\right)=\left\{\right(hx)\circ {\Phi}_{h}^{B}({r}_{x})+(xz\left){\Phi}_{h}^{B}\right({r}_{x}\left)\right\}\circ \{1+(xz\left){\Phi}_{h}^{B}\right({r}_{x}){\}}^{(1)}=1.$$
We now prove that the map
$$\{z=x+iyx<{a}_{0},\lefty\right<\delta \}\ni z\mapsto {\Phi}_{h}^{B}({r}_{z})\in \mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$$
satisfies the resolvent equation. Let us choose two complex numbers
$z$
and
${z}^{\prime}$
in this domain and subtract the two equations
$$\begin{array}{c}(hz)\circ {\Phi}_{h}^{B}\left({r}_{z}\right)=1,(h{z}^{\prime})\circ {\Phi}_{h}^{B}\left({r}_{{z}^{\prime}}\right)=1\end{array}$$ 
(2.8)

in order to get
$(hz)\circ \left\{{\Phi}_{h}^{B}\right({r}_{z}){\Phi}_{h}^{B}({r}_{{z}^{\prime}}\left)\right\}+({z}^{\prime}z){\Phi}_{h}^{B}\left({r}_{{z}^{\prime}}\right)=0$
. By multiplying at the left with
${\Phi}_{h}^{B}\left({r}_{z}\right)$
and by using the associativity, we obtain the resolvent equation
$${\Phi}_{h}^{B}\left({r}_{z}\right){\Phi}_{h}^{B}\left({r}_{{z}^{\prime}}\right)=(z{z}^{\prime}){\Phi}_{h}^{B}\left({r}_{z}\right)\circ {\Phi}_{h}^{B}\left({r}_{{z}^{\prime}}\right).$$
Now, setting
${z}^{\prime}=\overline{z}=xiy$
with
$y>0$
and taking norms we get
$$\parallel {\Phi}_{h}^{B}\left({r}_{z}\right){\parallel}_{\mathfrak{F}\left({L}^{1}\right(X;\mathcal{A}\left)\right)}\le {y}^{1}.$$
With this estimate and formula 2.7 , the function
$z\mapsto {\Phi}_{h}^{B}\left({r}_{z}\right)$
can be extended to the domain
$\mathbb{C}\backslash [{a}_{0},+\infty )$
, preserving the relations 2.8 . The resolvent equation may be proved in a similar way to hold on the entire domain
$\mathbb{C}\backslash [{a}_{0},+\infty )$
and analyticity of the defined function follows in an evident way.
(vi) Thus we have got an analytic map
$\mathbb{C}\backslash [{a}_{0},+\infty )\ni z\to {\Phi}_{h}^{B}\left({r}_{z}\right)\in \mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)$
satisfying the resolvent equation and the symmetry condition. A general argument presented in [
ABG,p. 364]
allows now to extend in a unique way the map
${\Phi}_{h}^{B}$
to a
${C}^{*}$
algebra morphism
${C}_{0}(\mathbb{R})\to \mathfrak{B}B\mathcal{A}$
.
2.2 The represented version
This subsection consists only in the proof of the represented version on Theorem 1.8 .

Proof of Corollary 1.10 .
We shall first consider the case
$V=0$
and then add
$V$
as a bounded perturbation.
Let us denote by
${\mathcal{D}}_{z}$
the range of the operator
$\mathfrak{O}{\mathfrak{p}}^{A}\left[{\Phi}_{h}^{B}\right({r}_{z}\left)\right]\in \mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
. By the resolvent identity it follows immediately that it is a subspace of
$\mathcal{\mathscr{H}}$
that does not depend on
$z\in \mathbb{C}\backslash \mathbb{R}$
. Thus we set
${\mathcal{D}}_{z}\equiv \mathcal{D}$
. Since
$h\in \mathcal{\mathcal{M}}(\Xi )$
, one has
$\mathfrak{O}{\mathfrak{p}}^{A}\left(h\right)\in \mathcal{\mathcal{L}}[\mathcal{S}(X\left)\right]\cap \mathcal{\mathcal{L}}\left[{\mathcal{S}}^{\prime}\right(X\left)\right]$
. We interpret it as a linear operator in
${\mathcal{S}}^{\prime}\left(X\right)$
and set
${H}_{h}(A,0):=\mathfrak{O}{\mathfrak{p}}^{A}\left(h\right){}_{\mathcal{D}}$
.
Now, by applying
$\mathfrak{O}{\mathfrak{p}}^{A}$
to 1.7 we get
$$\left\{{H}_{h}\right(A,0)z1\}\mathfrak{O}{\mathfrak{p}}^{A}\left[{\Phi}_{h}^{B}\right({r}_{z}\left)\right]=1$$
and
$$\mathfrak{O}{\mathfrak{p}}^{A}\left[{\Phi}_{h}^{B}\right({r}_{z}\left)\right]\{\mathfrak{O}{\mathfrak{p}}^{A}(h)z{1}_{\mathcal{S}\left(X\right)}\}={1}_{\mathcal{S}\left(X\right)}.$$
The first identity shows that
${H}_{h}(A,0)\mathcal{D}\subset \mathcal{\mathscr{H}}$
. Straightforwardly it is hermitian. The second equality implies that
$\mathcal{S}\left(X\right)\subset \mathcal{D}$
and thus
$\mathcal{D}$
is dense in
$\mathcal{\mathscr{H}}$
. By the first equality above the ranges of
${H}_{h}(A,0)\pm i$
both coincide with
$\mathcal{\mathscr{H}}$
. Thus, by the fundamental criterion of selfadjointness,
${H}_{h}(A,0)$
is selfadjoint.
By construction,
$\{\mathfrak{O}{\mathfrak{p}}^{A}[{\Phi}_{h}^{B}\left({r}_{z}\right)\left]\rightz\in \mathbb{C}\backslash \mathbb{R}\}$
is the resolvent family of
${H}_{h}(A,0)$
, which is therefore affiliated to
$\mathfrak{O}{\mathfrak{p}}^{A}(\mathfrak{B}B\mathcal{A})$
.
Then we define the standard operator sum
${H}_{h}(A,V):={H}_{h}(A,0)+V:\mathcal{D}\to \mathcal{\mathscr{H}}$
. Using the second resolvent equation and the Neumann series the conclusion of the Corollary follows easily using [
MPR,Prop. 2.6]
as in [
MP1]
. A different proof could start from the result of Corollary 1.9 .
3 The essential spectrum
In this section, we shall consider certain abelian twisted
${C}^{*}$
dynamical system
$(\mathcal{A},\theta ,\omega ,X)$
and explain how to calculate the essential spectrum of any observable affiliated to the twisted crossed product algebra
$\mathcal{A}{\times}_{\theta}^{\omega}X$
. This result is contained in Proposition 3.1 . Then, by using the concrete affiliation criterion obtained in Subsection 1.2 , we shall particularize the result to the case of magnetic Schrödinger operators and prove Theorem 1.11 .
We start by recalling some definitions in relation with spectral analysis in a
${C}^{*}$
algebraic framework.
Let
$\pi :\u212d\to {\u212d}^{\prime}$
be a morphism between two
${C}^{*}$
algebras and
$\Phi $
an observable affiliated to
$\u212d$
. Then
$\pi [\Phi ]:{C}_{0}(\mathbb{R})\to {\u212d}^{\prime}$
given by
$\left(\pi [\Phi ]\right)\left(\eta \right):=\pi [\Phi (\eta \left)\right]$
is an observable affiliated to
${\u212d}^{\prime}$
, called the image of
$\Phi $
through
$\pi $
. If
$\mathfrak{K}$
is an ideal of
$\u212d$
, the
$\mathfrak{K}$
essential spectrum of
$\Phi $
is
$${\sigma}_{\mathfrak{K}}(\Phi ):=\left\{\lambda \in \mathbb{R}if\eta \in {C}_{0}(\mathbb{R})and\eta (\lambda )\ne 0,then\Phi (\eta )\notin \mathfrak{K}\right\}.$$
If
$\pi $
denotes the canonical morphism
$\u212d\to \u212d/\mathfrak{K}$
, one has
${\sigma}_{\mathfrak{K}}(\Phi )={\sigma}_{\left\{0\right\}}\left(\pi \right[\Phi \left]\right)$
.
In the particular situation when
$\u212d$
is a
${C}^{*}$
subalgebra of
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
for some Hilbert space
$\mathcal{\mathscr{H}}$
, any selfadjoint operator
$H$
in
$\mathcal{\mathscr{H}}$
defines an observable
${\Phi}_{\mathit{H}}$
affiliated to
$\u212d$
by its functional calculus
${C}_{0}(\mathbb{R})\ni \eta \mapsto \eta \left(H\right)\equiv {\Phi}_{\mathit{H}}\left(\eta \right)$
if and only if
${\Phi}_{\mathit{H}}\left({r}_{z}\right)\in \u212d$
for some
$z/\in \mathbb{R}$
. Then
${\sigma}_{\left\{0\right\}}\left({\Phi}_{\mathit{H}}\right)$
is the usual spectrum
$\sigma \left(H\right)$
of
$H$
. Moreover, if
$\u212d$
contains the ideal
$\mathcal{K}(\mathcal{\mathscr{H}})$
of compact operators on
$\mathcal{\mathscr{H}}$
, then
${\sigma}_{\mathcal{K}(\mathcal{\mathscr{H}})}\left({\Phi}_{\mathit{H}}\right)$
is equal to the essential spectrum
${\sigma}_{ess}\left(H\right)$
of
$H$
. Here we shall be mainly interested in the usual spectrum and in the essential spectrum. The need for the
$\mathfrak{K}$
essential spectrum with
$\mathfrak{K}$
different from
$\left\{0\right\}$
or
$\mathcal{K}(\mathcal{\mathscr{H}})$
will appear only in Section 4 .
3.1 The abstract construction
In this subsection
$(\mathcal{A},\theta ,\omega ,X)$
will be an abelian twisted
${C}^{*}$
dynamical system. Thus
$X$
is an abelian, second countable locally compact group and
$\mathcal{A}$
an abelian, unital
${C}^{*}$
subalgebra of
$B{C}_{u}\left(X\right)$
stable under translations and containing
${C}_{0}\left(X\right)$
. We recall that the spectrum
$S\mathcal{A}$
of
$\mathcal{A}$
is a compactification of
$X$
, endowed with an action
$\stackrel{~}{\theta}$
of
$X$
by homeomorphisms. For any quasiorbit
$F$
we define
$${\mathcal{A}}^{F}:=\left\{a\in C(S\mathcal{A})a{}_{F}=0\right\}.$$
By identifying
$\mathcal{A}$
with
$C(S\mathcal{A})$
,
${\mathcal{A}}^{F}$
will be an invariant ideal of
$\mathcal{A}$
. Obviously the unitary group
$\mathcal{U}\left({\mathcal{A}}^{F}\right)$
of the multiplier algebra of
${\mathcal{A}}^{F}$
contains the unitary group
$\mathcal{U}(\mathcal{A})$
of
$\mathcal{A}$
. Consequently, the abelian twisted dynamical system
$({\mathcal{A}}^{F},\theta ,\omega ,X)$
obtained by replacing
$\mathcal{A}$
with
${\mathcal{A}}^{F}$
and performing suitable restrictions is well defined. Furthermore, the twisted crossed product
${\mathcal{A}}^{F}{\mathbb{\setminus}}_{\theta}^{\omega}X$
may be identified with an ideal of
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X$
[
PR2,Prop. 2.2]
.
In order to have an explicit description of the quotient, let us first note that
$\mathcal{A}/{\mathcal{A}}^{F}$
is canonically isomorphic to the unital
${C}^{*}$
algebra
$C\left(F\right)$
of all continuous functions on
$F$
. The natural action of
$X$
on
$b\in C\left(F\right)$
is given by
$\left({\theta}_{x}b\right)(\mathfrak{z})=b\left[\stackrel{~}{\theta}\right(x,\mathfrak{z}\left)\right]$
for each
$x\in X$
and
$\mathfrak{z}\in F$
. Now, for each
$x,y\in X$
, the restriction of
$\omega (x,y)\in \mathcal{U}(\mathcal{A})$
to
$F$
gives rise to a 2cocycle
${\omega}_{\mathit{F}}:X\times X\to \mathcal{U}\left(C\left(F\right)\right)$
.
Thus
$\left(C\left(F\right),\theta ,{\omega}_{\mathit{F}},X\right)$
is a welldefined abelian twisted
${C}^{*}$
dynamical system. Moreover the quotient
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X/{\mathcal{A}}^{F}{\mathbb{\setminus}}_{\theta}^{\omega}X$
may be identified with the corresponding twisted crossed product
$C\left(F\right){\mathbb{\setminus}}_{\theta}^{{\omega}_{F}}X$
. This follows from [
PR2,Prop. 2.2]
if
$\mathcal{A}$
is separable. For the nonseparable case, just perform obvious modifications in the proof of [
GI3,Th. 2.10]
to accommodate the
$2$
cocycle. Let us recall that
${a}_{\mathit{F}}$
denotes the restriction of
$a\in \mathcal{A}\equiv C(S\mathcal{A})$
to
$F$
. Then the image of
$\phi \in {L}^{1}(X;\mathcal{A})$
through the canonical morphism
$\pi \mathit{F}:\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X\to C\left(F\right){\mathbb{\setminus}}_{\theta}^{{\omega}_{\mathit{F}}}X$
is the element of
${L}^{1}\left(X;C\left(F\right)\right)$
given by
$\left(\pi \mathit{F}\left[\phi \right]\right)\left(x\right)=\left[\phi \right(x){]}_{\mathit{F}}$
for all
$x\in X$
.
Let us consider a covering
$\{{F}_{\nu}{\}}_{\nu}$
of
$F\mathcal{A}$
by quasiorbits. At the algebraic level, the covering requirement reads
${\cap}_{\nu}{\mathcal{A}}^{{F}_{\nu}}={C}_{0}\left(X\right)$
. It implies the equality
$${\bigcap}_{\nu}\left({\mathcal{A}}^{{F}_{\nu}}{\mathbb{\setminus}}_{\theta}^{\omega}X\right)={C}_{0}\left(X\right){\mathbb{\setminus}}_{\theta}^{\omega}X.$$
By putting all these together one obtains, cf. [
M1,Prop. 1.5]
:
Proposition 3.1.
Let
$\{{F}_{\nu}{\}}_{\nu}$
be a covering of
$F\mathcal{A}$
by quasiorbits.

(i)
There exists an injective morphism
$$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X/{C}_{0}\left(X\right){\mathbb{\setminus}}_{\theta}^{\omega}X\hookrightarrow {\prod}_{\nu}C\left({F}_{\nu}\right){\mathbb{\setminus}}_{\theta}^{{\omega}_{{\mathit{F}}_{\nu}}}X.$$

(ii)
If
$\Phi $
is an observable affiliated to
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X$
and
${\pi}_{{\mathit{F}}_{\nu}}$
denotes the canonical surjective morphism
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X\to C\left({F}_{\nu}\right){\mathbb{\setminus}}_{\theta}^{{\omega}_{{\mathit{F}}_{\nu}}}X$
, then, with
$\mathfrak{K}:={C}_{0}\left(X\right){\mathbb{\setminus}}_{\theta}^{\omega}X$
, we have
$$\begin{array}{c}{\sigma}_{\mathfrak{K}}(\Phi )=\overline{{\bigcup}_{\nu}\sigma \left({\pi}_{{\mathit{F}}_{\nu}}\right[\Phi \left]\right)}.\end{array}$$ 
(3.1)

We now introduce a represented version of this proposition in the Hilbert space
$\mathcal{\mathscr{H}}$
. Let
$\lambda \in C\left(X;C(X;\mathbb{T})\right)$
be a 1cochain satisfying the relation
$$\begin{array}{c}\lambda \left(x\right){\theta}_{x}\left[\lambda \right(y\left)\right]\lambda (x+y{)}^{1}=\omega (x,y)forallx,y\in X.\end{array}$$ 
(3.2)

It was proved in [
MPR,Prop 2.14]
that such a pseudotrivialization function
$\lambda $
always exists. The associated representation of
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X$
in
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
defined by 1.6 , but with
${\lambda}^{A}$
replaced by
$\lambda $
, is denoted by
$\Re \mathfrak{e}{\mathfrak{p}}^{\lambda}$
. We recall from [
MPR,Prop. 2.17]
that
$\Re \mathfrak{e}{\mathfrak{p}}^{\lambda}$
is irreducible and faithful and that
$\Re \mathfrak{e}{\mathfrak{p}}^{\lambda}\left({C}_{0}\left(X\right){\mathbb{\setminus}}_{\theta}^{\omega}X\right)$
is equal to
$\mathcal{K}(\mathcal{\mathscr{H}})$
. If
$\Phi $
is an observable affiliated to
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X$
, then the l.h.s. term of 3.1 is equal to
${\sigma}_{ess}\left(\Re \mathfrak{e}{\mathfrak{p}}^{\lambda}(\Phi )\right)$
, and it does not depend on a particular choice of
$\lambda $
.
In order to construct a faithful representation of
$C\left({F}_{\nu}\right){\mathbb{\setminus}}_{\theta}^{{\omega}_{{\mathit{F}}_{\nu}}}X$
in
$\mathcal{\mathscr{H}}$
, we rely on the natural realization of the restriction of
$\mathcal{A}$
to a quasiorbit mentioned in Subsection 1.3 . Let
$F$
be a quasiorbit and
$\mathfrak{z}$
an element of
$F\mathcal{A}$
that generates it. Then, for any
$b\in C\left(F\right)$
and
$x\in X$
, set
${b}_{\mathfrak{z}}\left(x\right):=b\left[\stackrel{~}{\theta}\right(x,\mathfrak{z}\left)\right]$
. By taking into account the surjectivity of the morphism
$\mathcal{A}\to C\left(F\right)$
and the continuity of translations in
$\mathcal{A}\subset B{C}_{u}\left(X\right)$
, one easily sees that
${b}_{\mathfrak{z}}:X\to \mathbb{C}$
belongs to
$B{C}_{u}\left(X\right)$
. Furthermore, the induced action of
$X$
on
${b}_{\mathfrak{z}}$
coincides with the natural action of
$X$
on
$B{C}_{u}\left(X\right)$
. One has thus obtained an embedding of
$C\left(F\right)$
in
$B{C}_{u}\left(X\right)$
. By an abuse of notation, we shall keep writing
$b$
for
${b}_{\mathfrak{z}}$
, and
$C\left(F\right)$
for the corresponding
${C}^{*}$
subalgebra of
$B{C}_{u}\left(X\right)$
.
Now, by choosing any 1cochain
${\lambda}^{F}\in C\left(X;C(X;\mathbb{T})\right)$
satisfying the pseudotriviality relation 3.2 with
$\lambda ={\lambda}^{F}$
and
$\omega ={\omega}_{\mathit{F}}$
, one can construct the faithful Schrödinger representation
$\Re \mathfrak{e}{\mathfrak{p}}^{{\lambda}^{F}}$
of the algebra
$C\left(F\right){\mathbb{\setminus}}_{\theta}^{{\omega}_{F}}X$
. Thus, if
$\Phi $
is the observable affiliated to
$\mathcal{A}{\mathbb{\setminus}}_{\theta}^{\omega}X$
of Proposition 3.1 , then each observable
${\pi}_{{\mathit{F}}_{\nu}}(\Phi )$
can be represented as a observable affiliated to a
${C}^{*}$
subalgebra of
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
and having the same spectrum. This remark makes the calculation of the r.h.s. terms in 3.1 more concrete. The particular case treated in Theorem 1.11 is proved now.
3.2 Application to magnetic Schrödinger operators
We particularize the above construction to the case of a magnetic 2cocycle
$\omega \mathit{B}$
. So, we consider a magnetic field
$B$
whose components belong to
$\mathcal{A}$
. We shall need the following parametrized formula:
for
$q,x,y\in X$
$$\begin{array}{c}\omega \mathit{B}(q;x,y)=exp\left\{i{\sum}_{j,k=1}^{N}{x}_{j}{y}_{k}{\int}_{0}^{1}ds{\int}_{0}^{1}dts{B}_{jk}(q+sx+sty)\right\}.\end{array}$$ 
(3.3)

We are now in a position to prove Theorem 1.11 . It consists essentially in an application of Proposition 3.1 together with a partial Fourier transformation.

Proof of Theorem 1.11 .
Let us fix a quasiorbit
${F}_{\nu}$
; obviously
$\omega \mathit{B}{}_{{F}_{\nu}}={\omega}^{{\mathit{B}}_{{\mathit{F}}_{\nu}}}$
with natural identifications.
Then the morphism
$$\mathfrak{F}\left({L}^{1}(X;\mathcal{A})\right)\ni f\mapsto \mathfrak{F}\left({\pi}_{{\mathit{F}}_{\nu}}\left[{\mathfrak{F}}^{1}\right(f\left)\right]\right)\in \mathfrak{F}\left({L}^{1}\left(X;C\left(F\right)\right)\right)$$
extends to a surjective morphism
${\stackrel{~}{\pi}}_{{\mathit{F}}_{\nu}}:\mathfrak{B}B\mathcal{A}\to {\mathfrak{B}}_{C\left({F}_{\nu}\right)}^{{B}_{{F}_{\nu}}}$
. The equality 3.1 can then be rewritten in the framework of
$\mathfrak{B}B\mathcal{A}$
and for the observable
${\Phi}_{h,V}^{B}$
:
$${\sigma}_{ess}\left({\Phi}_{h,V}^{B}\right)=\overline{{\bigcup}_{\nu}\sigma \left(\stackrel{{\mathit{F}}_{\nu}}{\stackrel{~}{\pi}}\left[{\Phi}_{h,V}^{B}\right]\right)}.$$
The result follows now from the central observation that
${\stackrel{~}{\pi}}_{{\mathit{F}}_{\nu}}\left[{\Phi}_{h,V}^{B}\right]$
is equal to
${\Phi}_{h,{V}_{{F}_{\nu}}}^{{B}_{{F}_{\nu}}}$
, by considering faithful representations (i) of
$\mathfrak{B}B\mathcal{A}$
through
$\mathfrak{O}{\mathfrak{p}}^{A}$
and (ii) of
${\mathfrak{B}}_{C\left({F}_{\nu}\right)}^{{B}_{{F}_{\nu}}}$
through
$\mathfrak{O}{\mathfrak{p}}^{{A}_{\nu}}$
and by applying Corollary 1.10 .
4 Nonpropagation properties
As mentioned earlier, the result of nonpropagation is mainly an adaptation of [
AMP]
in the presence of a magnetic field together with the use of an approximate unit introduced in [
M2]
. Since all notations and concepts have already been introduced, it only remains to prove Theorem 1.12 . We start by recalling an easy result of [
AMP,Lem. 1]
.
Lemma 4.1.
Let
$\mathfrak{K}$
be an ideal in a
${C}^{*}$
algebra
$\u212d$
and
$\Phi $
an observable affiliated to
$\u212d$
.
If
$\eta \in {C}_{0}(\mathbb{R})$
and
$\eta \left(\lambda \right)=0$
for all
$\lambda \in {\sigma}_{\mathfrak{K}}(\Phi )$
, then
$\Phi \left(\eta \right)\in \mathfrak{K}$
.

Proof of Theorem 1.12 .
Let
$\mathfrak{K}:={\mathfrak{B}}_{{\mathcal{A}}^{F}}^{B}\equiv \mathfrak{F}\left({\u212d}_{{\mathcal{A}}^{F}}^{B}\right)$
, the ideal of
$\mathfrak{B}B\mathcal{A}$
related to the quasiorbit
$F$
, and let
${\stackrel{~}{\pi}}_{\mathit{F}}:\mathfrak{B}B\mathcal{A}\to {\mathfrak{B}}_{C\left(F\right)}^{{B}_{F}}$
be the corresponding morphism of kernel
$\mathfrak{K}$
. We consider the observable
${\Phi}_{h,V}^{B}$
that is affiliated to
$\mathfrak{B}B\mathcal{A}$
by Theorem 1.8 . Then, by taking into account the equality
${\sigma}_{\mathfrak{K}}\left({\Phi}_{h,V}^{B}\right)=\sigma \left({\stackrel{~}{\pi}}_{\mathit{F}}\left[{\Phi}_{h,V}^{B}\right]\right)=\sigma \left({\Phi}_{h,{V}_{F}}^{{B}_{F}}\right)$
, the hypothesis on
$\eta $
and Lemma 4.1 , we see that
${\Phi}_{h,V}^{B}\left(\eta \right)$
belongs to
$\mathfrak{K}$
.
By representing faithfully
$\mathfrak{B}B\mathcal{A}$
in
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
through
$\mathfrak{O}{\mathfrak{p}}^{A}$
one has that
$\mathfrak{O}{\mathfrak{p}}^{A}\left({\Phi}_{h,V}^{B}\left(\eta \right)\right)$
belongs to the ideal
$\mathfrak{O}{\mathfrak{p}}^{A}(\mathfrak{K})$
. For the final step of the proof, one only has to remark that the family
$\{1{\chi}_{W}(Q){\}}_{W\in {\mathcal{N}}_{F}}$
is an approximate unit in
$\mathcal{\mathcal{B}}(\mathcal{\mathscr{H}})$
for
$\mathfrak{O}{\mathfrak{p}}^{A}\left({\mathfrak{B}}_{{\mathcal{A}}^{F}}^{B}\right)\equiv \Re \mathfrak{e}{\mathfrak{p}}^{A}\left({\u212d}_{{\mathcal{A}}^{F}}^{B}\right)$
, which is straightforward by the description of this type of algebras given in [
MPR,Prop. 2.6]
.
5 Examples
In this last section, we illustrate Theorem 1.11 on the essential spectrum by choosing concrete examples of algebras
$\mathcal{A}$
. A similar transcription of Theorem 1.12 on propagation for these concrete situations could also be performed. Since an adaptation for the magnetic case of the examples given in [
AMP]
is rather straightforward, we leave this to the reader.
It is always assumed in the sequel that the components of the magnetic field
$B$
belong to
$\mathcal{A}\cap B{C}^{\infty}\left(X\right)$
and that the scalar potential
$V$
belongs to
$\mathcal{A}$
. It is convenient to write
$\sigma \left[{H}_{h}\right(B,V\left)\right]$
for
$\sigma \left[{H}_{h}\right(A,V\left)\right]$
and
${\sigma}_{ess}\left[{H}_{h}\right(B,V\left)\right]$
for
${\sigma}_{ess}\left[{H}_{h}\right(A,V\left)\right]$
if
$B=dA$
. This is justified by the independence of these sets on a choice of a vector potential and, especially, by the abstract approach of Subsection 3.1 .
The easiest and best known situation is certainly when the algebra
$\mathcal{A}$
is equal to
$\mathbb{C}+{C}_{0}\left(X\right)$
. In this situation
$\mathcal{A}/{C}_{0}\left(X\right)\sim =\mathbb{C}$
and one has
${\sigma}_{ess}\left[{H}_{h}\right(B,V\left)\right]=\sigma \left[{H}_{h}\right({B}_{\infty},{V}_{\infty}\left)\right]=\sigma \left[{H}_{h}\right({B}_{\infty},0\left)\right]+{V}_{\infty}$
, where
${B}_{\infty}$
,
${V}_{\infty}$
are respectively the limits of
$B$
and
$V$
at infinity. For instance, if
$h\left(p\right)=p{}^{2}$
(giving the usual magnetic Schrödinger operator) in
$X={\mathbb{R}}^{2}$
, we have for
${B}_{\infty}\ne 0$
:
${\sigma}_{ess}\left[H\right(B,V\left)\right]=(2\mathbb{N}+1){B}_{\infty}+{V}_{\infty}$
, a translation by
${V}_{\infty}$
of the familiar Landau levels. For
${B}_{\infty}=0$
we clearly obtain
${\sigma}_{ess}\left[H\right(B,V\left)\right]=[{V}_{\infty},\infty )$
. Some related results may be found in [
P]
.
We shall now consider more complicated examples.
5.1 Vanishing oscillation
We take
$\mathcal{A}$
to be the algebra
$VO\left(X\right)$
of vanishing oscillations functions :
Definition 5.1.
A bounded and uniformly continuous function
$a$
belongs to
$VO\left(X\right)$
if for any
$x\in X$
, the difference
${\theta}_{x}\left[a\right]a$
belongs to
${C}_{0}\left(X\right)$
.
Obviously,
$VO\left(X\right)$
is a unital
${C}^{*}$
algebra containing
${C}_{0}\left(X\right)$
and stable by translations. It contains also
${C}^{rad}\left(X\right)$
, the algebra of continuous functions that can be extended continuously to the radial compactification of
$X$
obtained by adding a sphere at infinity. But
$VO\left(X\right)$
is in fact much larger than
${C}^{rad}\left(X\right)$
. For example, it also contains the set of all bounded
${C}^{1}$
functions with derivatives in
${C}_{0}\left(X\right)$
.
A simple typical example is
$a\left(x\right):=f\left((1+x{)}^{s}\right)$
(suitably regularized at the origin), where
$f$
is a periodic
${C}^{1}$
function of one variable and
$s$
is a real number strictly smaller than
$1$
.
To understand what the asymptotic operators should be, let us introduce the notion of asymptotic range
of a real, bounded and continuous function
$\phi $
defined on
$X$
. We write
$\lambda \in \phi (X{)}_{asy}$
if and only if for any
$\varepsilon >0$
,
${\phi}^{1}\left[\right(\lambda \varepsilon ,\lambda +\varepsilon \left)\right]$
is not relatively compact in
$X$
. Equivalently,
$\lambda \in [lim{inf}_{x\to \infty}\phi (x),lim{sup}_{x\to \infty}\phi (x\left)\right]$
, or it exists a divergent sequence
$\mathbf{x}=\{{x}_{n}{\}}_{n\in \mathbb{N}}$
such that
$\phi \left({x}_{n}\right)\to \lambda $
when
$n\to \infty $
. We recall that a divergent sequence
$\{{x}_{n}{\}}_{n\in \mathbb{N}}$
consists in a sequence of
${x}_{n}\in X$
such that
${x}_{n}\to \infty $
as
$n\to \infty $
. The interest in the set
$\phi (X{)}_{asy}$
lies in the fact that for any
$\mathcal{A}\equiv C(S\mathcal{A})$
containing
$\phi $
, the range of the restriction to
$F\mathcal{A}$
is exactly
$\phi (X{)}_{asy}$
, i.e.
$\phi (F\mathcal{A})=\phi (X{)}_{asy}$
with a loose notation.
A nice feature of
$VO\left(X\right)$
is that it is the largest unital translational invariant
${C}^{*}$
subalgebra of
$B{C}_{u}\left(X\right)$
such that all quasiorbits situated at infinity are reduced to points. This means that
$R\equiv {F}_{VO\left(X\right)}$
admits the partition
$R={\bigsqcup}_{\mathfrak{z}\in R}\{\mathfrak{z}\}$
in (quasi)orbits and
$\phi \mapsto {\left(\phi (\mathfrak{z})\right)}_{\mathfrak{z}\in R}$
determines the embedding of
$VO\left(X\right)/{C}_{0}\left(X\right)$
into
${\prod}_{\mathfrak{z}\in R}\mathbb{C}$
. Using all these in conjunction with Theorem 1.11 leads to
$${\sigma}_{ess}\left[{H}_{h}\right(B,V\left)\right]=\overline{{\bigcup}_{\mathfrak{z}\in R}\sigma \left[{H}_{h}\right(B(\mathfrak{z}),V(\mathfrak{z})\left)\right]}=\overline{{\bigcup}_{\mathbf{x}\in \mathcal{\mathcal{R}}}\sigma \left[{H}_{h}\right({B}_{\mathbf{x}},{V}_{\mathbf{x}}\left)\right]},$$
where the second union is performed over the set
$\mathcal{\mathcal{R}}$
of all divergent sequences
$\mathbf{x}=\{{x}_{n}{\}}_{n\in \mathbb{N}}$
such that there exist a constant magnetic field
${B}_{\mathbf{x}}$
and a number
${V}_{\mathbf{x}}$
satisfying
${sup}_{j,k}\left\right(B\left({x}_{n}\right){B}_{\mathbf{x}}{)}_{jk}\to 0$
and
$\leftV\right({x}_{n}){V}_{\mathbf{x}}\to 0$
as
$n\to \infty $
. We say that
${B}_{\mathbf{x}}$
and
${V}_{\mathbf{x}}$
are asymptotic values for
$B$
and
$V$
respectively.
Various particularizations are available.
5.2 Comparison with the results of [HM]
The results of [
HM]
are very interesting because large classes of unbounded potentials and magnetic fields are admitted. In the bounded case, however, they are entirely confined to the vanishing oscillation type of anisotropy, as we now argue.
For the comparison with the results of [
HM]
, we need
Lemma 5.2.
Let
$r\in \mathbb{N}$
and
$f\in BC\left(X\right)\cap {C}^{r}\left(X\right)$
. Assume that
${\partial}^{\alpha}f\in {C}_{0}\left(X\right)$
for all
$\alpha \in {\mathbb{N}}^{N}$
with
$\left\alpha \right=r$
. Then
$f$
belongs to
$VO\left(X\right)$
and
${\partial}^{\beta}f\in {C}_{0}\left(X\right)$
for all
$\beta \in {\mathbb{N}}^{N}$
with
$1\le \left\beta \right\le r1$
.

Proof.
Since we were not able to locate this result in the literature, we sketch its proof. Let us first state three remarks which are easily proved. (i) Under the hypotheses on
$f$
, one has
${\partial}^{\beta}f\in BC\left(X\right)$
for all
$\beta \in {\mathbb{N}}^{N}$
with
$1\le \left\beta \right\le r1$
, cf. for example [L] . (ii) If
$g\in B{C}^{1}\left(X\right)$
and
${\partial}_{j}g\in {C}_{0}\left(X\right)$
for all
$j\in \{1,...,N\}$
, then
$g\in VO\left(X\right)$
. (iii) If
$h\in B{C}^{1}\left(X\right)$
and
${\partial}_{j}h\in VO\left(X\right)$
, then
${\partial}_{j}h\in {C}_{0}\left(X\right)$
.
Now, if
$r=1$
, the result is obtained by (ii). If
$r\ge 2$
, let
$\beta \in {\mathbb{N}}^{N}$
with
$\left\beta \right=r2$
and set
$h:={\partial}^{\beta}f\in B{C}^{2}\left(X\right)$
by (i). For each
$k\in \{1,...,N\}$
,
${\partial}_{k}h$
belongs to
$VO\left(X\right)$
by (ii), and then to
${C}_{0}\left(X\right)$
by (iii). By varying
$\beta $
and
$k$
, one obtains
${\partial}^{\gamma}f\in {C}_{0}\left(X\right)$
for all
$\gamma \in {\mathbb{N}}^{N}$
with
$\left\gamma \right=N1$
. A bootstrap argument leads to the result.
We describe now the results of [
HM]
with slightly modified notations. They consider magnetic Schrödinger operators
${H}_{h}(A,V)$
for the particular case
$h\left(p\right)\equiv {h}_{0}\left(p\right):=p{}^{2}$
. The data
$V$
and
$B=dA$
are subject to the following assumptions. There exist
$q,r\in \mathbb{N}$
and some smooth function
$\rho :X\to [1,\infty )$
with
$\rho \left(x\right)\to \infty $
when
$\leftx\right\to \infty $
, which is also tempered in a sense that is not important here [
HM,eq. (1.14)]
, such that

(i)
$V={V}_{0}+{\sum}_{l=1}^{q}{V}_{l}^{2}$
,

(ii)
${V}_{0}\ge {C}_{1}$
,
${V}_{0}\in {C}^{1}\left(X\right)$
and
${V}_{l}\in {C}^{r+2}\left(X\right)$
for
$l=1,...,q$
,

(iii)
${\sum}_{\left\alpha \right=1}\left{\partial}^{\alpha}{V}_{0}\right+{\sum}_{\left\alpha \right=r+2}{\sum}_{l=1}^{q}\left{\partial}^{\alpha}{V}_{l}\right\le {C}_{2}{\phi}^{1}$
,

(iv)
for all
$j,k$
,
${B}_{jk}\in {C}^{r+3}\left(X\right)$
and
${\sum}_{\left\alpha \right=r+1}^{r+3}{\phi}^{\left\alpha \rightr1}\left{\partial}^{\alpha}{B}_{jk}\right\le {C}_{3}{\phi}^{1}$
.
Under these assumptions it is proved that
$$\begin{array}{c}{\sigma}_{ess}\left[{H}_{{h}_{0}}\right(B,V\left)\right]=\overline{{\bigcup}_{\mathbf{x}\in \mathcal{\mathcal{R}}}\sigma \left[{H}_{{h}_{0}}\right({A}_{\mathbf{x}},{V}_{\mathbf{x}}\left)\right]},\end{array}$$ 
(5.1)

where
$\mathcal{\mathcal{R}}$
is the set of divergent sequences
$\mathbf{x}=\{{x}_{n}{\}}_{n\in \mathbb{N}}$
such that the following limits exist:

(a)
${v}_{0}=limn{V}_{0}\left({x}_{n}\right)$
and
${v}_{l}^{\alpha}=limn\left({\partial}^{\alpha}{V}_{l}\right)\left({x}_{n}\right)$
for
$l=1,...,q$
and
$\left\alpha \right\le r+1$
,

(b)
${B}^{\alpha}=limn\left({\partial}^{\alpha}B\right)\left({x}_{n}\right)$
for
$\left\alpha \right\le r$
.
Then the asymptotic operators
${H}_{{h}_{0}}({A}_{\mathbf{x}},{V}_{\mathbf{x}})$
are constructed with the scalar potential
$${V}_{\mathbf{x}}\left(x\right):={v}_{0}+{\sum}_{l=1}^{q}{\left({\sum}_{\left\alpha \right\le r+1}\frac{{v}_{l}^{\alpha}}{\alpha !}{x}^{\alpha}\right)}^{2}$$
and the magnetic potential
$${A}_{\mathbf{x}}\left(x\right):={\sum}_{\left\alpha \right\le r}\frac{{B}^{\alpha}\cdot x}{\alpha !(2+\alpha \left\right)}{x}^{\alpha}.$$
Let us see how the hypotheses and the conclusion look like when
$V$
and
$B$
are bounded. We ignore the temperedness condition; the fact that
$\phi $
diverges at infinity implies that the l.h.s. of the conditions (iii) and (iv) belong to
${C}_{0}\left(X\right)$
. Lemma 5.2 can be applied and thus
$V$
and
${B}_{jk}$
belong to
$VO\left(X\right)$
. In the bounded case the anisotropy covered by [
HM]
is surely of the vanishing oscillation type.
To understand the conclusion under the extra condition that
$V$
and
$B$
are bounded, note that the same Lemma 5.2 says that all the derivatives of strictly positive order are in
${C}_{0}\left(X\right)$
, thus the only nonnull constant coefficients in (a) and (b) are those corresponding to
$\alpha =0$
. Then 5.1 coincides with our result described above.
5.3 Mixed algebras
In the examples developed above, the quasiorbits are reduced to singletons. We shall introduce some algebras with more complicated quasiorbits, leading to nontrivial asymptotic operators with variable coefficients. There is also a very nice type of anisotropy studied in [
GI2]
and [
GI3]
under the name potentials belonging to the bumps algebra. It would be interesting to work out the magnetic counterpart.
We first reconsider an example introduced in [
M1]
, to which we refer for details and comments. Let us introduce the algebra
$AP\left(X\right)$
of all continuous, almost periodic functions on
$X$
[
D,16.2.1]
:
Definition 5.3.
A bounded and continuous function
$a$
on
$X$
belongs to
$AP\left(X\right)$
if and only if it satisfies one of the following equivalent condition :

(a)
The set
$\left\{{\theta}_{x}\right[a\left]\rightx\in X\}$
is relatively compact in
$BC\left(X\right)$
.

(b)
For any
$\varepsilon >0$
there is a trigonometric polynomial
$b$
on
$X$
such that
$\parallel ab{\parallel}_{{L}^{\infty}}\le \varepsilon $
.
The set
$AP\left(X\right)$
is a translational invariant unital
${C}^{*}$
subalgebra of
$B{C}_{u}\left(X\right)$
whose Gelfand spectrum is called the Bohr group (denoted by
$T$
). All continuous functions on
$X$
which are periodic with respect to some closed subgroup
$\Gamma $
of
$X$
with compact quotient
$X/\Gamma $
lie in
$AP\left(X\right)$
, but there are many others.
We can consider the algebra
$\mathcal{A}:=\langle VO\left(X\right)\cdot AP\left(X\right)\rangle $
generated by
$VO\left(X\right)$
and
$AP\left(X\right)$
. It is obviously a unital
${C}^{*}$
subalgebra of
$B{C}_{u}\left(X\right)$
containing
${C}_{0}\left(X\right)$
and stable by translations. Its Gelfand spectrum is the disjoint union
$S\mathcal{A}=X\bigsqcup (R\times T)$
, where
$R$
is the part at infinity of the Gelfand spectrum of
$VO\left(X\right)$
. The relevant quasiorbits are
${\left\{\{\mathfrak{z}\}\times T\equiv T\right\}}_{\mathfrak{z}\in R}$
. This is by no means a general result; it expresses the fact that
$VO\left(X\right)$
and
$AP\left(X\right)$
are asymptotically independent, see [
M3]
and references therein. Actually
$AP\left(X\right)$
could be replaced by any
${C}^{*}$
algebra of minimal functions [
M2,
M3]
.
Instead of considering arbitrary elements of this algebra
$\mathcal{A}$
, let us concentrate on a simple example.
Assume for simplicity that
$V=0$
and that each component of the magnetic field is a product of an element of
$VO\left(X\right)$
and of an element of
$AP\left(X\right)$
, i.e.
${B}_{jk}={C}_{jk}{D}_{jk}$
, with
${C}_{jk}\in VO\left(X\right)$
and
${D}_{jk}\in AP\left(X\right)$
. Let us once again invoke the asymptotic values of the matrix valued function
$C:=\{{C}_{jk}{\}}_{j,k=1}^{N}$
:
${C}_{\mathbf{x}}$
is an asymptotic value if and only if there exists a divergent sequence
$\mathbf{x}=\{{x}_{n}{\}}_{n\in \mathbb{N}}$
such that
${sup}_{j,k}\left\right(C\left({x}_{n}\right){C}_{\mathbf{x}{)}_{jk}}\to 0$
as
$n\to \infty $
. Then one has
$${\sigma}_{ess}\left[{H}_{h}\right(B,0\left)\right]=\overline{{\bigcup}_{\mathbf{x}}\sigma \left[{H}_{h}\right({B}_{\mathbf{x},0\left)\right]}},$$
where
${B}_{\mathbf{x}}$
is the magnetic field whose components are given by
$({B}_{\mathbf{x}{)}_{jk}}:=({C}_{\mathbf{x}{)}_{jk}}{D}_{jk}\in AP\left(X\right)$
.
The asymptotic values taken by
$C$
at infinity serves as coupling constants for the magnetic fields of the asymptotic operators, a phenomenon already observed in [
M1]
for Schrödinger operators without magnetic field. Similarly, if
${B}_{jk}={C}_{jk}+{D}_{jk}$
, with the same assumptions on the functions
${C}_{jk}$
and
${D}_{jk}$
, the asymptotic operators are constructed with the almost periodic magnetic fields
$\{{C}_{\mathbf{x}}+D{\}}_{\mathbf{x}\in R}$
.
5.4 Cartesian anisotropy
In this paragraph we consider another type of spacial anisotropy, which is called Cartesian. The algebra
${C}^{cart}\left(X\right)$
consists in the set of all continuous functions on
$X$
that can be extended to a hypercube compactifying
$X$
. We refer to [
R]
for a precise definition of this algebra and for an extensive study of Schrödinger operators related to this anisotropy (in the absence of magnetic field). Let us simply mention that the quasiorbits are hypercubes of lower dimensions. We shall restrict here our investigation to a single example in the space
${\mathbb{R}}^{2}$
. In this situation, the set of quasiorbits consist in 4 closed segments and 4 points (corners).
For
$N=2$
, the magnetic field has only one component
$B$
orthogonal to the space
${\mathbb{R}}^{2}$
. Let us assume for simplicity that
$B({x}_{1},{x}_{2})={B}_{1}\left({x}_{1}\right){B}_{2}\left({x}_{2}\right)+{B}_{0}({x}_{1},{x}_{2})$
, where
${B}_{0}$
belongs to
${C}_{0}\left({\mathbb{R}}^{2}\right)$
and
${B}_{j}\left({x}_{j}\right)\to {b}_{j}^{\pm}\in \mathbb{R}$
as
${x}_{j}\to \pm \infty $
. Let also
$V$
be of the form
$V({x}_{1},{x}_{2})={V}_{1}\left({x}_{1}\right){V}_{2}\left({x}_{2}\right)+{V}_{0}({x}_{1},{x}_{2})$
, where
${V}_{0}$
belongs to
${C}_{0}\left({\mathbb{R}}^{2}\right)$
and
${V}_{j}\left({x}_{j}\right)\to {v}_{j}^{\pm}\in \mathbb{R}$
as
${x}_{j}\to \pm \infty $
. Then one has
$$\begin{array}{ccc}{\sigma}_{ess}\left[{H}_{h}\right(B,V\left)\right]& =& \sigma \left[{H}_{h}\right({b}_{2}^{}{B}_{1},{v}_{2}^{}{V}_{1}\left)\right]\cup \sigma \left[{H}_{h}\right({b}_{2}^{+}{B}_{1},{v}_{2}^{+}{V}_{1}\left)\right]\end{array}$$  
$$\begin{array}{ccc}& & \cup \sigma \left[{H}_{h}\right({b}_{1}^{}{B}_{2},{v}_{1}^{}{V}_{2}\left)\right]\cup \sigma \left[{H}_{h}\right({b}_{1}^{+}{B}_{2},{v}_{1}^{+}{V}_{2}\left)\right].\end{array}$$  
We stress that each asymptotic operator has a magnetic field that depends only on one variable.
This kind of two dimensional magnetic Schrödinger operators was studied in [
I]
and [
MP4]
and exhibits a band spectrum.
6 Appendix: Some technical results
Let us now state and prove the auxiliary technical results used in the proof of the affiliation criterion.
Lemma 6.1.
Assume that the components of the magnetic field
$B$
belong to
$\mathcal{A}\cap B{C}^{\infty}\left(X\right)$
.
Then
$\gamma \mathit{B}$
belongs to
${C}_{pol}^{\infty}(X\times X;\mathcal{A})$
, or more precisely:

(a)
for each
$x,y\in X$
,
$\gamma \mathit{B}(\cdot ;x,y)\in \mathcal{A}$
,

(b)
for each
$\alpha ,\beta \in {\mathbb{N}}^{N}$
, there exist
$c>0$
,
${s}_{1}\ge 0$
and
${s}_{2}\ge 0$
such that for all
$q,x,y\in X$
:
$${\partial}_{x}^{\alpha}{\partial}_{y}^{\beta}\gamma \mathit{B}(q;x,y\left)\right\le c\langle x{\rangle}^{{s}_{1}}\langle y{\rangle}^{{s}_{2}}.$$

Proof.
We use the explicit parametrized form of
$\gamma \mathit{B}$
$$\begin{array}{c}\gamma \mathit{B}(q;x,y)=exp\left\{i{\sum}_{j,k=1}^{N}{x}_{j}{y}_{k}{\int}_{0}^{1}dt{\int}_{0}^{1}dss{B}_{jk}\left(q\frac{1}{2}x\frac{1}{2}y+sx+st(yx)\right)\right\}.\end{array}$$ 
(6.1)

A careful examination of 6.1 leads directly to the results (a) and (b). See also the proof of Lemma 4.2 in [MPR] .
Lemma 6.2.
For each
$j\in \{1,...,N\}$
, each
$\alpha ,\beta ,\gamma \in {\mathbb{N}}^{N}$
and each
$\mu >max\{1,s\}$
there exists
$c>0$
such that
$$\begin{array}{c}\left{\partial}_{p}^{\alpha}{\partial}_{k}^{\beta}{\partial}_{l}^{\gamma}{F}_{a,j}\right(p;k,l\left)\right\le c{a}^{1/\mu}\langle p{\rangle}^{s/\mu 1\left\alpha \right}\langle k{\rangle}^{s}\langle l{\rangle}^{2s}\end{array}$$ 
(6.2)

for all
$p,k,l\in {X}^{\u25c6}$
and
$a\ge infh+1$
.

Proof.
It is enough to show that the expression
$$\begin{array}{c}{sup}_{t\in [0,1]}\left{\partial}_{p}^{\alpha}{\partial}_{k}^{\beta}{\partial}_{l}^{\gamma}\left[({l}_{j}{k}_{j})\left({\partial}_{j}h\right)\left(p+(t1)ltk\right){h}_{a}^{1}(pl)\right]\right\end{array}$$ 
(6.3)

is dominated by the r.h.s. term of 6.2 with a constant
$c$
not depending on
$p$
,
$k$
,
$l$
and
$a$
.
It is easy to see that for any
$\delta \in {\mathbb{N}}^{N}$
, we have
${\partial}^{\delta}{h}_{a}^{1}={h}_{a}^{1}{u}_{a,\delta}$
, where
${u}_{a,\delta}\in {S}^{\left\delta \right}\left({X}^{\u25c6}\right)$
uniformly in
$a$
. By using this, the Leibnitz formula and the inequality
$\langle x+y\rangle \le \sqrt{2}\langle x\rangle \langle y\rangle $
, it follows straightforwardly that 6.3 is dominated by
${c}_{1}{h}_{a}^{1}(pl)\langle p{\rangle}^{s1\left\alpha \right}\langle k{\rangle}^{s}\langle l{\rangle}^{s}$
for some
${c}_{1}>0$
independent of
$p$
,
$k$
,
$l$
and
$a$
.
Furthermore, by using the ellipticity of
$h$
, we see that there exist
${c}_{2}>0$
and
${c}_{3}>0$
independent of
$p,l$
and
$a$
such that
${h}_{a}^{1}(pl)\le {c}_{2}\langle l{\rangle}^{s}[a+{c}_{3}\langle p{\rangle}^{s}{]}^{1}$
for all
$p,l\in {X}^{\u25c6}$
. The final step consists in taking into account the inequality
$a+{c}_{3}\langle p{\rangle}^{s}\ge {\mu}^{1/\mu}(\nu {c}_{3}{)}^{1/\nu}{a}^{1/\mu}\langle p{\rangle}^{s/\nu}$
, valid for any
$\mu \ge 1$
,
$\nu \ge 1$
with
${\mu}^{1}+{\nu}^{1}=1$
.
In order to state the next lemma in its full generality, we need the definition:
Definition 6.3.
For
$s\in \mathbb{R}$
,
${S}^{s}({X}^{\u25c6};\mathcal{A})$
denotes the set of all functions
$f:X\times {X}^{\u25c6}\to \mathbb{C}$
that satisfy:

(i)
$f(\cdot ;p)\in \mathcal{A}$
for all
$p\in {X}^{\u25c6}$
,

(ii)
$f(q;\cdot )\in {C}^{\infty}\left({X}^{\u25c6}\right)$
,
$\forall q\in X$
, and for each
$\alpha \in {\mathbb{N}}^{N}$
$${sup}_{q\in X}\parallel f(q;\cdot ){\parallel}_{s,\alpha}:={sup}_{q\in X}{sup}_{p\in {X}^{\u25c6}}\left[\langle p{\rangle}^{s+\left\alpha \right}\left{\partial}_{p}^{\alpha}f\right(q;p\left)\right\right]<\infty .$$
It is easily seen that the algebraic tensor product
$\mathcal{A}\odot {S}^{s}\left({X}^{\u25c6}\right)$
is contained in
${S}^{s}({X}^{\u25c6};\mathcal{A})$
.
Lemma 6.4.
Let
$f$
be an element of
${S}^{t}({X}^{\u25c6};\mathcal{A})$
with
$t<0$
. Then its partial Fourier transform
${\mathfrak{F}}^{1}\left(f\right)$
is an element of
${L}^{1}(X;\mathcal{A})$
that satisfies for a suitable large integer
$m$
$$\begin{array}{c}\parallel {\mathfrak{F}}^{1}\left(f\right){\parallel}_{{L}^{1}(X;\mathcal{A})}\le c{max}_{\left\alpha \right\le m}{sup}_{q\in X}\parallel f(q;\cdot ){\parallel}_{t,\alpha}.\end{array}$$ 
(6.4)


Proof.
This is a straightforward adaptation of the proof of [ABG,Prop. 1.3.3] (see also [ABG,Prop. 1.3.6] ).
We decided to present it in order to put into evidence the explicit bound
6.4 . Actually, the arguments needed to control the behaviour in the variable
$q$
are easy and we leave them to the reader; we take simply
$f\in {S}^{t}\left({X}^{\u25c6}\right)$
.
Since the case
$t\le N$
is rather simple, we shall concentrate on the more difficult one:
$N<t<0$
.
Let us first choose a cutoff function
$\chi \in {C}_{c}^{\infty}\left(X\right)$
that is 1 in a neighbourhood of
$0$
. One has the estimates:
$$\begin{array}{ccc}& & \parallel (1\chi ){\mathcal{\mathcal{F}}}^{1}\left(f\right){\parallel}_{{L}^{1}}\le C{\sum}_{\left\alpha \right=m}\parallel \leftQ{}^{2m}\right(1\chi \left){\mathcal{\mathcal{F}}}^{1}\right({\partial}^{2\alpha}f){\parallel}_{{L}^{1}}\end{array}$$  
$$\begin{array}{ccc}& \le & C{\left({\int}_{X}dx{\left(1\chi \left(x\right)\right)}^{2}x{}^{4m}\right)}^{1/2}{\sum}_{\left\alpha \right=m}\parallel {\partial}^{2\alpha}f{\parallel}_{{L}^{2}}\end{array}$$  
$$\begin{array}{ccc}& \le & {C}^{\prime}{\left({\int}_{X}dx{\left(1\chi \left(x\right)\right)}^{2}x{}^{4m}\right)}^{1/2}{\left({\int}_{{X}^{\u25c6}}dp\langle p{\rangle}^{2(t2m)}\right)}^{1/2}max\left\alpha \right=2m\parallel f{\parallel}_{t,\alpha},\end{array}$$  
where we take
$m\in \mathbb{N}$
with
$4m>N$
to make the integrals convergent.
We study now the behaviour of
${\mathcal{\mathcal{F}}}^{1}\left(f\right)$
near the origin, a more difficult matter. Let us fix a second cutoff function
$\phi \in {C}^{\infty}\left({X}^{\u25c6}\right)$
such that
$0\le \phi \le 1$
,
$\phi \left(p\right)=0$
for
$\leftp\right\le 1$
and
$\phi \left(p\right)=1$
for
$\leftp\right\ge 2$
. For
$b>0$
we set
${\phi}_{b}\left(p\right):=\phi \left(bp\right)$
. We have:
$$\left\left\{{\mathcal{\mathcal{F}}}^{1}\left((1{\phi}_{b})f\right)\right\}\right(y\left)\right\le {\int}_{\leftp\right\le 2/b}dp\leftf\right(p\left)\right\le \parallel f{\parallel}_{t,0}{\int}_{\leftp\right<2/b}dpp{}^{t}\le C\parallel f{\parallel}_{t,0}{b}^{Nt}.$$
Moreover, if
$m\in 2\mathbb{N}$
with
$m\ge N+1$
, then one has:
$$\begin{array}{ccc}& & \lefty{}^{m}\right\left[{\mathcal{\mathcal{F}}}^{1}\right({\phi}_{b}f\left)\right]\left(y\right)\le C{\sum}_{\left\alpha \right=m}\left[{\mathcal{\mathcal{F}}}^{1}\left({\partial}^{\alpha}\left({\phi}_{b}f\right)\right)\right]\left(y\right)\end{array}$$  
$$\begin{array}{ccc}& \le & C{\sum}_{\left\alpha \right=m}{\sum}_{\beta \le \alpha}{C}_{\alpha}^{\beta}{b}^{\alpha \beta }{\int}_{{X}^{\u25c6}}dp\left\right({\partial}^{\alpha \beta}\phi \left)\right(bp\left)\right\left\right({\partial}^{\beta}f\left)\right(p\left)\right\end{array}$$  
$$\begin{array}{ccc}& \le & {C}^{\prime}max\left\alpha \right\le m\parallel f{\parallel}_{t,\alpha}\left\{{\int}_{\leftp\right\ge 1/b}dpp{}^{tm}+{\sum}_{\left\beta \right<m}{b}^{m\left\beta \right}{\int}_{1/b<\leftp\right<2/b}dpp{}^{t\left\beta \right}\right\}\end{array}$$  
$$\begin{array}{ccc}& =& {C}^{\prime \prime}max\left\alpha \right\le m\parallel f{\parallel}_{t,\alpha}{b}^{mNt}.\end{array}$$  
By fixing
$b:=\lefty\right$
, we get
$\left\right[{\mathcal{\mathcal{F}}}^{1}\left({\phi}_{\lefty\right}f\right)\left]\right(y\left)\right\le {C}^{\prime \prime}max\left\alpha \right\le m\parallel f{\parallel}_{t,\alpha}y{}^{Nt}$
. The singularity at the origin is integrable, and putting all the inequalities together we obtain 6.4 .
Acknowledgment Serge Richard is supported by the Swiss National Science Foundation. Marius Mantoiu and Radu Purice acknowledge partial support from the CERES Contract No. 328/2003 with the Romanian Ministery of Education and Research. Part of this work has been completed while the authors visited the University of Geneva and we express our gratitude to Prof. Werner Amrein for his kind hospitality and the stimulating discusions.
References

W.O. Amrein, A. Boutet de Monvel and V. Georgescu,
${C}_{0}$
Groups, Commutator Methods and Spectral Theory of NBody Hamiltonians, Birkhäuser, Basel, 1996.

W.O. Amrein, M. Măntoiu and R. Purice, Propagation Properties for Schrödinger Operators Affiliated with Certain
${C}^{*}$
Algebras, Ann. Henri Poincaré 3 (2002), 1215–1232.

R.C. Busby and H.A. Smith, Representations of Twisted Group Algebras, Trans. Amer. Math. Soc. 149 (1970), 503–537.

E.B. Davies and B. Simon, Scattering Theory for Systems with Different Spatial Asymptotics on the Left and Right, Commun. Math. Phys. 63 (1978), 277–301.

J. Dixmier, Les
${C}^{*}$
Algèbres et leurs représentations, GauthierVillars, Paris, 1964.

V. Georgescu and A. Iftimovici,
${C}^{*}$
Algebras of Energy Observables: II. Graded Symplectic Algebras and Magnetic Hamiltonians, preprint 0199, www.ma.utexas.edu/mp_arc.

V. Georgescu and A. Iftimovici, Crossed Products of
${C}^{*}$
Algebras and Spectral Analysis of Quantum Hamiltonians, Commun. Math. Phys. 228 (2002), 519–560.

V. Georgescu and A. Iftimovici,
${C}^{*}$
Algebras of Quantum Hamiltonians, in Operator Algebras and Mathematical Physics, 123–167, Conference Proceedings: Constanţ a (Romania) July 2001, Theta Foundation, 2003.

B. Helffer and A. Mohamed, Caractérisation du spectre essentiel de l'opérateur de Schrödinger avec un champ magnétique, Ann. Inst. Fourier 38 (1988), 95–112.

A. Iwatsuka, Examples of Absolutely Continuous Schrödinger Operators in Magnetic Fields, Publ. RIMS, Kyoto Univ. 21 (1985), 385–401.

M.V. Karasev and T.A. Osborn, Symplectic Areas, Quantization and Dynamics in Electromagnetic Fields, J. Math. Phys. 43 (2002), 756–788.

M.V. Karasev and T.A. Osborn, Quantum Magnetic Algebra and Magnetic Curvature, J. Phys. A 37 (2004), 2345–2363.

R. Lauter and V. Nistor, Analysis of Geometric Operators on Open Manifolds: a Groupoid Approach, in Quantization of Singular Symplectic Quotients, 181–229, Progr. Math. 198, Birkhäuser, Basel, 2001.

J.L. Lions, Dérivées intermédiaires et espaces intermédiaires, C. R. Acad. Sci. Paris 256 (1963), 4343–4345.

M. Măntoiu,
${C}^{*}$
Algebras, Dynamical Systems at Infinity and the Essential Spectrum of Generalized Schrödinger Operators, J. reine angew. Math. 550 (2002), 211–229.

M. Măntoiu,
${C}^{*}$
Algebras, Dynamical Systems, Spectral Analysis, in Operator Algebras and Mathematical Physics, 299–314, Conference Proceedings: Constanţ a (Romania) July 2001, Theta Foundation, 2003.

M. Măntoiu, On Abelian
${C}^{*}$
Algebras that are Independent with Respect to a Filter, to appear in J. London Math. Soc.

M. Măntoiu and R. Purice, The Algebra of Observables in a Magnetic Field, in Mathematical Results in Quantum Mechanics (Taxco, 2001), 239–245, Contemporary Mathematics 307, Amer. Math. Soc., Providence, RI, 2002.

M. Măntoiu and R. Purice, The Magnetic Weyl Calculus, J. Math. Phys. 45, No 4 (2004), 1394–1417.

M. Măntoiu and R. Purice, Strict Deformation Quantization for a Particle in a Variable Magnetic Field, to appear in J. Math. Phys.

M. Măntoiu and R. Purice, Some Propagation Properties of the Iwatsuka Model, Commun. Math. Phys. 188 (1997), 691–708.

M. Măntoiu, R. Purice and S. Richard, Twisted Crossed Products and Magnetic Pseudodifferential Operators, to appear in the Proceedings of the Conference of Sinaia (Romania), July 2003.

V. Nistor, Pseudodifferential Operators on NonCompact Manifolds and Analysis on Polyhedral Domains, Proceedings of the Workshop on Spectral Geometry of Manifolds with Boundary and Decomposition of Manifolds, Roskilde University, 307–328, Contemporary Mathematics, AMS, Rhode Island, 2005.

M. Pascu, On the essential spectrum of the relativistic magnetic operator, Osaka J. Math. 39 (2002), 963–978.

J.A. Packer and I. Raeburn, Twisted Crossed Products of
${C}^{*}$
Algebras, Math. Proc. Camb. Phil. Soc. 106 (1989), 293–311.

J.A. Packer and I. Raeburn, Twisted Crossed Products of
${C}^{*}$
Algebras II, Math. Ann. 287 (1990), 595–612.

S. Richard, Spectral and Scattering Theory for Schrödinger Operators with Cartesian Anisotropy, to appear in Publ. RIMS, Kyoto Univ. 41 (2005).

L. Schwartz, Théorie des Distributions, nouvelle édition, Hermann, 1973.