Fredholm Criteria for Wiener–Hopf Operators

• The central contribution establishes that a Wiener–Hopf operator is Fredholm if its symbol belongs to the class Φ(G), linking its index to the ordered-group rotation index.
• The work leverages a unitary equivalence between Wiener–Hopf and Toeplitz operators, transferring spectral properties and Fredholm criteria to a discrete ordered setting.
• The topic extends classical one-dimensional theories by integrating ordered-group structures and factorization methods to provide explicit resolvent and index formulas.

Searching arXiv for the cited paper and closely related Wiener–Hopf/Fredholm work. Fredholm criteria for Wiener–Hopf operators describe when a compressed convolution operator has closed range with finite-dimensional kernel and cokernel, and how its index is encoded by a symbol. In the discrete ordered-group setting treated by Mirotin, the operators are

$W_k g = 1_{X_+}(k*g),\qquad g\in l_2(X_+),$

where $X$ is a discrete linearly ordered Abelian group with positive cone $X_+$, and the symbol is the inverse Fourier transform $\check{k}$ on the compact connected dual group $G$. The central result is that Fredholmness is characterized exactly by a symbolic factorization class $\Phi(G)=X^i e^{C(G)}$, and the Fredholm index is the negative of the symbolic index $\mathrm{ind}\,\check{k}$ (Mirotin, 6 Dec 2025).

1. Ordered-group Wiener–Hopf operators and their symbols

The discrete theory begins with a discrete linearly ordered Abelian group $X$, a positive cone $X_+\subset X$, and the induced order

$\xi \le \chi \iff \chi\xi^{-1}\in X_+.$

The corresponding Hilbert space is

$X$0

embedded into $X$1 by zero extension. Convolution on $X$2 is

$X$3

and the Wiener–Hopf operator is defined by

$X$4

The main focus is on kernels $X$5 whose inverse Fourier transform

$X$6

is continuous; this $X$7 is the symbol of $X$8 (Mirotin, 6 Dec 2025).

The ordered structure is not auxiliary. It determines the projection $X$9, the positive Fourier spectrum, and the generalized rotation index used later in the Fredholm formula. The same paper notes that a discrete Abelian group is linearly orderable iff it is torsion-free; equivalently, its dual group $X_+$0 is compact and connected (Mirotin, 6 Dec 2025).

2. Toeplitz correspondence and the symbolic model

A decisive structural fact is the unitary equivalence between these Wiener–Hopf operators and Toeplitz operators on a Hardy space over $X_+$1. With

$X_+$2

and Toeplitz operator

$X_+$3

one has: $X_+$4 on $X_+$5 is unitarily equivalent to $X_+$6 on $X_+$7, and conversely $X_+$8 is unitarily equivalent to $X_+$9 (Mirotin, 6 Dec 2025). This equivalence transfers Fredholm and spectral statements from ordered-group Toeplitz theory to Wiener–Hopf operators.

The symbolic class governing Fredholmness is built from two ingredients. First, the order on $\check{k}$0 defines a finite-index subgroup $\check{k}$1 of characters with finite rotation index. For $\check{k}$2,

$\check{k}$3

whenever that set is finite, and this is extended by differences $\check{k}$4. Second, the Bohr–van Kampen factorization states that every invertible $\check{k}$5 has a unique representation

$\check{k}$6

This leads to

$\check{k}$7

with symbolic index $\check{k}$8 when $\check{k}$9 (Mirotin, 6 Dec 2025).

A plausible interpretation is that $G$0 plays, in ordered compact duals, the role played by nonvanishing symbols with finite winding number in classical one-dimensional Wiener–Hopf theory.

3. Fredholm criterion and index formula

For $G$1 with $G$2, the central criterion is: $G$3 and in that case

$G$4

This is the main Fredholm theorem for Wiener–Hopf operators over discrete linearly ordered Abelian groups (Mirotin, 6 Dec 2025).

The criterion has two distinct components. Invertibility of the symbol in $G$5 is necessary but not sufficient; the character part of the Bohr–van Kampen factorization must also have finite ordered-group index. This distinguishes full Fredholmness from mere nonvanishing. The same paper proves a semi-Fredholm implication: if $G$6 is semi-Fredholm and $G$7, then $G$8 is invertible in $G$9 (Mirotin, 6 Dec 2025). Thus semi-Fredholmness already forces nonvanishing of the symbol, but full Fredholmness requires $\Phi(G)=X^i e^{C(G)}$0.

This ordered-group theorem has classical analogues on other function spaces. For Wiener–Hopf operators with continuous symbols on $\Phi(G)=X^i e^{C(G)}$1, Duduchava’s criterion extends to Lorentz, reflexive Orlicz, and variable Lebesgue spaces: if $\Phi(G)=X^i e^{C(G)}$2, then

$\Phi(G)=X^i e^{C(G)}$3

(Valente, 17 Sep 2025). In that regime, the symbolic obstruction is the winding number on $\Phi(G)=X^i e^{C(G)}$4; in Mirotin’s discrete ordered setting, it is the ordered-group index of the character factor (Mirotin, 6 Dec 2025).

A related localization principle appears for discrete Wiener–Hopf operators on reflexive Orlicz sequence spaces $\Phi(G)=X^i e^{C(G)}$5. There, Fredholmness of $\Phi(G)=X^i e^{C(G)}$6 is reduced to Fredholmness of local representatives $\Phi(G)=X^i e^{C(G)}$7 through Gohberg–Krupnik localization in the Calkin algebra (Karlovych et al., 14 Sep 2025). This suggests that symbol localization and symbolic factorization are complementary mechanisms across discrete Wiener–Hopf settings.

4. Spectral consequences of the Fredholm criterion

The Fredholm criterion immediately controls the spectrum of $\Phi(G)=X^i e^{C(G)}$8, because the symbol of $\Phi(G)=X^i e^{C(G)}$9 is $\mathrm{ind}\,\check{k}$0. Hence

$\mathrm{ind}\,\check{k}$1

(Mirotin, 6 Dec 2025).

For $\mathrm{ind}\,\check{k}$2, the spectrum satisfies the enclosure

$\mathrm{ind}\,\check{k}$3

where $\mathrm{ind}\,\check{k}$4 is the essential range (Mirotin, 6 Dec 2025). When $\mathrm{ind}\,\check{k}$5, the essential spectrum and full spectrum are described in terms of the compact connected image $\mathrm{ind}\,\check{k}$6 and the holes of its complement. A hole $\mathrm{ind}\,\check{k}$7 belongs to the essential Fredholm spectrum precisely when

$\mathrm{ind}\,\check{k}$8

while holes contributing to the ordinary spectrum but not the essential Fredholm spectrum are characterized by

$\mathrm{ind}\,\check{k}$9

(Mirotin, 6 Dec 2025). The same theorem states that the essential Weyl spectrum equals the spectrum and that both $X$0 and $X$1 are connected (Mirotin, 6 Dec 2025).

This spectral picture makes Fredholmness a resolvent criterion. The Fredholm spectrum is exactly the set of $X$2 for which the shifted symbol leaves $X$3. In classical continuous-symbol settings on Banach function spaces, the analogous resolvent test is ellipticity of $X$4 together with the winding-number formula (Valente, 17 Sep 2025).

A different operator-theoretic perspective is provided by maximal noncompactness results. On separable translation-invariant Banach function spaces, a Wiener–Hopf operator $X$5 satisfies

$X$6

(Karlovych et al., 22 Sep 2025). This does not itself give a Fredholm criterion, but it indicates that the essential part of the operator is norm-dominant, which is consistent with symbol-driven Fredholm analysis.

5. Classical reductions, winding numbers, and factorization phenomena

In the special case $X$7 with $X$8, the dual group is $X$9, characters are $X_+\subset X$0, and $X_+\subset X$1. Then

$X_+\subset X$2

and the ordered-group index formula becomes the familiar statement that the Fredholm index equals minus the winding number of the symbol around zero (Mirotin, 6 Dec 2025). This is the precise sense in which the ordered-group criterion generalizes the Coburn–Douglas–Singer and Gohberg–Krein type formulas.

Factorization remains central in other Wiener–Hopf regimes. For positive bounded invertible Wiener–Hopf operators on $X_+\subset X$3, every operator admits triangular factorization

$X_+\subset X$4

with $X_+\subset X$5 for every $X_+\subset X$6 (Bessonov, 2018). In that positive class the Fredholm index is necessarily zero, but the factorization gives a stronger structural refinement than mere invertibility.

A useful caution comes from unbounded matrix-symbol analogues. For Toeplitz-like operators with rational matrix symbols having poles on the unit circle, a Wiener–Hopf type factorization yields Fredholm criteria and index formulas, but determinant nonvanishing on the contour is not sufficient for Fredholmness; the example

$X_+\subset X$7

has $X_+\subset X$8 and nevertheless does not define a Fredholm operator (Groenewald et al., 2020). Since those results are presented as translating directly to Wiener–Hopf operators via the circle–line correspondence, they show that in boundary-singular matrix settings the correct criterion must inspect the full factorization rather than only $X_+\subset X$9 (Groenewald et al., 2020). This corrects a common overextension of the bounded continuous-symbol criterion.

For Wiener–Hopf plus Hankel operators under the matching condition $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$0, Fredholm and one-sided invertibility are governed by subordinated matching functions $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$1 and $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$2, again through Wiener–Hopf factorization data (Didenko et al., 2019). This indicates that factorization-based Fredholm criteria persist even when Hankel perturbations are present, provided the symbol algebra has the matching symmetry.

6. Extensions, minimal hypotheses, and abstract frameworks

The ordered-group criterion (Mirotin, 6 Dec 2025) assumes $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$3 and $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$4. In the continuous half-line setting, a different foundational issue arises: closability of the semibounded quadratic form. A semibounded Wiener–Hopf quadratic form on $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$5 is closable if and only if its kernel is the Fourier transform of an absolutely continuous measure,

$\xi \le \chi \iff \chi\xi^{-1}\in X_+.$6

and $\xi \le \chi \iff \chi\xi^{-1}\in X_+.$7 is then the symbol of the associated semibounded operator (Yafaev, 2016). This does not itself provide a Fredholm theorem, but it specifies the minimal analytic condition under which symbol-based Fredholm analysis is even meaningful (Yafaev, 2016).

At the opposite end of abstraction, groupoid methods characterize Fredholm operators by invertibility of the principal symbol together with all boundary restrictions. For pseudodifferential operators modeled by a Fredholm groupoid,

$\xi \le \chi \iff \chi\xi^{-1}\in X_+.$8

(Nistor, 2016). A plausible implication is that Wiener–Hopf operators on manifolds with cylindrical or poly-cylindrical ends fit naturally into a framework where the usual symbol and limit-operator conditions appear as a groupoid Fredholm criterion.

Across these settings, the invariant pattern is the same. A Wiener–Hopf operator becomes Fredholm when its symbol is nondegenerate in the appropriate algebra and when the residual topological or ordered obstruction is finite and computable. In the classical one-dimensional continuous case, that obstruction is the winding number (Valente, 17 Sep 2025). In the discrete ordered-group case, it is the ordered rotation index of the character factor (Mirotin, 6 Dec 2025). In localized Orlicz sequence settings, it is tested through local representatives in the Calkin algebra (Karlovych et al., 14 Sep 2025). The variations are substantial, but the symbolic principle remains stable: Fredholmness is a factorization property of the symbol, and the index is the corresponding symbolic defect.