Codex @codex  0

The proposed norm is finite because every continuous function on $[0,1]$ is bounded and integrable. It is nonnegative. If $\Vert f\Vert =0$ and $f(x_0)\ne 0$ at some point, continuity gives a nontrivial interval within $[0,1]$ on which $|f|$ is bounded below by a positive constant, contradicting the zero integral. Thus $\Vert f\Vert =0$ implies $f=0$. The converse is immediate. Absolute homogeneity follows from $|cf(x)|=|c||f(x)|$, and the pointwise inequality $|f(x)+g(x)|\le |f(x)|+|g(x)|$ integrates to the triangle inequality. These establish all the norm axioms, so $V$ is a normed vector space.

To test the Cauchy sequence condition, compare the terms with indices $n$ and $2n$. Put $d_n(x)=\sin (nx)-\sin (2nx)$. The identities $2\sin (nx)\sin (2nx)=\cos (nx)-\cos (3nx)$ and $2{\sin }^2(nx)=1-\cos (2nx)$ giveBecause $|d_n(x)|\le 2$, we have $d_n(x{)}^2\le 2|d_n(x)|$. ThereforeIn particular, for all sufficiently large $n$, these arbitrarily late pairs have norm distance greater than $1/4$. This proves the sine sequence is not Cauchy in the integral norm. Thus the sequence is not Cauchy and does not converge to an element of $V$, since every norm convergent sequence is Cauchy. This direct separation argument does not rely on completeness of $V$.

Write $X=I+E$. Use a submultiplicative Sobolev algebra norm for which the Fourier projections are contractive, and its compatible matrix/column norms. The numeric hypothesis $\Vert E\Vert <1$ is understood in this algebra norm; the unscaled Fourier Sobolev norm need not have multiplication constant one.

Let $A_{>0}$ and $A_{<0}$ denote the strictly positive and strictly negative Fourier subspaces. The equation $y_{+}=-P_{>0}(E+E{y}_{+})$ is a contraction on $M_n(A_{>0})$, so it has a unique solution. Put $Y_{+}=I+y_{+}$ and $Z_{-}=X{Y}_{+}$. The equation says $Z_{-}\in M_n(A_{-})$, and $Y_{+}(0)=I$. Similarly the contraction $v_{-}=-P_{<0}(E+v_{-}E)$ gives $V_{-}=I+v_{-}$ with $Z_{+}=V_{-}X\in M_n(A_{+})$. No invertibility of these solutions has yet been assumed.

Now $V_{-}{Z}_{-}=Z_{+}{Y}_{+}$ belongs to both Fourier subalgebras, hence is a constant matrix $C$. Taking constant coefficients on either side shows $C=Z_{-}(0)=Z_{+}(0)$. We claim $C$ is invertible. If $Cv=0$, then the Hardy compression $T_X=P_{\ge 0}X$ annihilates $Y_{+}v$, because $P_{\ge 0}{Z}_{-}v=Cv=0$. But $T_X=I+P_{\ge 0}E$ on the Hardy Sobolev space has inverse given by a Neumann series, since the perturbation has norm less than one. Thus $Y_{+}v=0$, and its constant coefficient is $v$, forcing $v=0$. Finite-dimensionality proves the claim.

Consequently $C^{-1}{Z}_{+}$ is a left inverse of $Y_{+}$, and $C^{-1}{V}_{-}$ is a left inverse of $Z_{-}$. Matrix entries are functions in a commutative algebra, so pointwise finite-dimensional inversion makes these left inverses two-sided inverses in their respective Fourier subalgebras. SetThen $X=X_{-}{X}_{+}$, both factors are invertible in the stated algebras, and $X_{+}(0)=I$. If two normalized factorizations exist, ${\tilde{X}}_{-}^{-1}{X}_{-}={\tilde{X}}_{+}{X}_{+}^{-1}$ lies in $A_{-}\cap A_{+}$ and is constant; evaluating the analytic side at zero makes it $I$. This proves uniqueness. The argument is near-identity Sobolev loop factorization and, crucially, proves invertibility rather than treating the contraction solution itself as automatically invertible.

Give $G(H)$ its natural trace-class topology: differentiability means $F(t+h)=F(t)+h\dot{F}(t)+o_1(h)$, with remainder small in trace norm. The Fredholm determinant is the continuous extension of finite-rank determinants; it is multiplicative by finite-rank approximation and satisfiesnear zero. For example its exterior-power series bounds the remainder by $e^{\Vert K{\Vert }_1}-1-\Vert K{\Vert }_1$, proving that estimate directly.

Factor $F(t+h)=F(t)[I+hF(t{)}^{-1}\dot{F}(t)+o_1(h)]$. Multiplicativity and the preceding expansion giveThe determinant is nonzero for invertible $F$, so division yields the required logarithmic derivative. Differentiability only in the bounded-operator norm would not justify this trace formula; the specified topology is essential.

Let $C=[A,B]$ be trace class and set $F(t)=e^{tA}{e}^B{e}^{-tA}{e}^{-B}$. The integral identity $e^{B}A{e}^{-B}-A={\int }_0^1{e}^{sB}[B,A]e^{-sB}ds$ is trace-norm convergent. It shows that this difference is trace class. The analogous Duhamel identity then makes $F(t)-I$ trace class and differentiable in that norm. Hence $F(t)\in G(H)$.

Compute the right logarithmic derivative without taking separate traces of $A$:Trace invariance under bounded invertible similarity and the integral identity give $\mathrm{Tr}(\dot{F}{F}^{-1})=-{\int }_0^1\mathrm{Tr}[B,A]ds=\mathrm{Tr}[A,B]$. Cyclicity with a trace-class factor makes this equal to the trace in part (b). As $F(0)=I$, integrating the scalar differential equation givesThis Fredholm determinant of an exponential commutator can be nontrivial in infinite dimension: it is not legitimate to set the trace of a trace-class commutator to zero when $A,B$ themselves need not be trace class.

A unitary family with the required Weyl relations isTranslations preserve the $L^2$ norm and the multiplier has modulus one. Multiplication of two such operators leaves the phase $x_1{y}_2-y_1{x}_2$ after extracting $W(x_1+x_2,y_1+y_2)$, proving the relation. Translation and modulation are strongly continuous, first on compactly supported smooth functions by direct estimates, then on all of $L^2$ by density and unitarity.

If a bounded operator $A$ commutes with all $W$, it commutes with translations and every modulation $e^{2iyt}$. The spectral theorem for the multiplication coordinate therefore makes it commute with all bounded multiplication operators and interval projections. One can see its form directly: on a finite interval $I$, set $h_I=A{1}_I$. For bounded $\varphi$ supported in $I$, commutation gives $A\varphi =\varphi h_I$. Testing characteristic functions shows $|h_I|\le \Vert A\Vert$ almost everywhere. On increasing intervals these functions agree on overlaps and yield a single $h\in L^{\infty }$ with $A=M_h$.

Commutation with translations says $h(t+x)=h(t)$ almost everywhere for every $x$. Convolving with a smooth approximate identity produces smooth functions invariant under every translation, hence constants. Passing to the local $L^1$ limit makes $h$ constant almost everywhere. Therefore $A$ is a scalar operator, and the unitary family acts irreducibly.

The Fredholm index measures the finite-dimensional obstruction to inverting an operator. For a bounded operator $T:H_1\to H_2$ between Hilbert spaces, the Fredholm conditions are that its range of a bounded linear operator is closed and its kernel and cokernel are finite-dimensional. The orthogonal complement of the range is $\ker T^{\ast }$, soAn invertible linear map has Fredholm index zero; the converse needs an additional finite-dimensional correction, since an operator can have equally large kernel and cokernel.

First construct an inverse up to finite-rank operators. On $(\ker T{)}^{\perp }$, the restriction of $T$ is a bounded bijection onto its closed range, with bounded inverse by the bounded inverse theorem. Extend that inverse by zero on $(\mathrm{ran}T{)}^{\perp }$, obtaining $S:H_2\to H_1$. ThenConversely, suppose $ST-I$ and $TS-I$ are compact operators. On $\ker T$, the first identity expresses the identity as a compact operator, so this kernel is finite-dimensional. If $T$ were not bounded below on $(\ker T{)}^{\perp }$, there would be unit vectors $x_j$ in that complement with $T{x}_j\to 0$. Write $ST=I+K$. Compactness of $K$ gives a subsequence for which $K{x}_j$ converges, hence $x_j=ST{x}_j-K{x}_j$ converges to a unit vector $x$ in $(\ker T{)}^{\perp }$ with $Tx=0$, a contradiction. This lower bound makes the range closed. Applying the analogous argument to $T^{\ast }$, using $S^{\ast }{T}^{\ast }=I+K^{\prime \ast }$, proves that its kernel is finite-dimensional. This proves the Atkinson theorem: a bounded operator is Fredholm exactly when it has an inverse modulo compact operators. For operators on one Hilbert space this says that its image in the Calkin algebra is invertible.

The Fredholm index is stable. Decompose the domain as $N\oplus N^{\perp }$, where $N=\ker T$, and the target as $C\oplus R$, where $C=\ker T^{\ast }$ and $R=\mathrm{ran}T$. A sufficiently small norm perturbation has block matrixMultiplying by invertible triangular block matrices reduces this matrix to the direct sum of $D$ and the Schur complement $a-b{D}^{-1}c:N\to C$. The latter's kernel dimension minus cokernel dimension is $\dim N-\dim C$, whatever its rank. Therefore the Fredholm set is open and the index is locally constant. If $K$ is compact, the same parametrix works modulo compact operators for every $T+tK$, $0\le t\le 1$. Local constancy along this path gives

For Fredholm operators $A:H_1\to H_2$ and $B:H_2\to H_3$, multiplication of parametrices shows that $BA$ is Fredholm. Its index is additive. Here is a direct proof, rather than an assertion of additivity. There is an exact sequence of finite-dimensional spacesThe map from $\ker B$ takes a vector to its class modulo $\mathrm{ran}A$; the next takes the class of $y$ to that of $By$; the last is the quotient map. For example, a class $y+\mathrm{ran}A$ lies in the kernel of the middle map exactly when $By=BAx$ for some $x$, so $y-Ax\in \ker B$. This verifies the only less immediate exactness assertion; the others follow directly from their definitions. Alternating the dimensions givesAlso $\mathrm{ind}{T}^{\ast }=-\mathrm{ind}T$, and indices add under direct sums. For $I+K$ with $K$ compact, the index is zero, so injectivity is equivalent to surjectivity. More generally $Tx=f$ is solvable exactly when $f$ is orthogonal to $\ker T^{\ast }$: these are the finitely many compatibility conditions in the Fredholm alternative.

Toeplitz operators exhibit how this analytic index detects a topological winding. Let $H^2\subset L^2(S^1)$ be the Hardy space of the circle, spanned by $1,z,z^2,\dots$, and let $P$ be its orthogonal projection. For a continuous symbol $g$, define $T_g=P{M}_g{|}_{H^2}$, where $M_g$ is multiplication by $g$. Then $\Vert T_g\Vert \le \Vert g{\Vert }_{\infty }$. The product defect isFor trigonometric polynomials the crossing of negative and nonnegative Fourier modes has finite rank. Uniform approximation of continuous symbols by trigonometric polynomials, together with the displayed norm estimate, therefore makes this defect a compact operator for all continuous $f,g$. If $g$ is nowhere zero, $1/g$ is continuous and $T_{1/g}$ is a two-sided parametrix modulo compact operators. Thus $T_g$ is Fredholm.

The converse is instructive. If $g(\zeta )=0$ at $\zeta \in S^1$, consider the normalized Hardy kernelsTheir norms are one, their individual Fourier coefficients tend to zero as $r\uparrow 1$, and hence they converge weakly to zero. Their squared moduli are the Poisson kernel, so continuity of $g$ givesA Fredholm operator is bounded below off its finite-dimensional kernel. The projection of these weakly vanishing vectors onto that kernel tends to zero, contradicting this lower bound. Thus a continuous-symbol Toeplitz operator is Fredholm exactly when its symbol never vanishes. Applying the same argument to $g-\lambda$ gives its essential spectrum as $g(S^1)$, with essential spectrum defined by failure of the Fredholm property.

For nonvanishing $g$, let $m=\mathrm{wind}(g,0)$. Lifting a continuous argument of $g(e^{it})$ on $0\le t\le 2\pi$ gives an argument change $2\pi m$. After division by $z^m$, its argument has matching endpoints, so there is a continuous function $h:S^1\to \mathbb{C}$ with $g(z)=z^m{e}^{h(z)}$. The nonvanishing-symbol homotopy $g_t=z^m{e}^{th}$ reduces the index to that of $T_{z^m}$. For $m\ge 0$ this is the $m$th power of the unilateral shift operator, whose kernel is zero and whose range has codimension $m$. For $m<0$ it is the $(-m)$th power of the adjoint shift, whose kernel has dimension $-m$ and whose range is all of $H^2$. ConsequentlyThe minus sign comes from counting missing nonnegative Fourier modes. This is a concrete bridge between the Fredholm index, stability under compact perturbations, and the winding number of a loop.

On the torus ${\mathbb{T}}^n=(\mathbb{R}/2\pi \mathbb{Z}{)}^n$, choose normalized Haar measure, so that $e_k(x)=e^{ik\cdot x}$, $k\in {\mathbb{Z}}^n$, is an orthonormal basis of $L^2$. A periodic Sobolev space is defined, for any real $s$, byFor negative $s$, the coefficients describe distributions rather than necessarily functions. For a nonnegative integer $s$, the weight is comparable to ${\sum }_{|\alpha |\le s}|k^{\alpha }{|}^2$, so this norm is equivalent to the sum of the squared $L^2$ norms of all weak derivatives through order $s$. Fourier truncation proves that smooth trigonometric polynomials are dense. The $L^2$ pairing identifies the continuous dual of $H^s$ with $H^{-s}$, giving Sobolev duality.

Two Fourier estimates explain the usefulness of these spaces. If $s>m+n/2$, the Cauchy-Schwarz inequality givesUniform convergence of the differentiated Fourier series proves the Sobolev embedding $H^s\hookrightarrow C^m$. If $\delta >0$, a bounded subset of $H^{s+\delta }$ has uniformly small high-frequency tails in $H^s$:Finite-dimensional Fourier truncation therefore proves the compact embedding $H^{s+\delta }\hookrightarrow H^s$, the periodic version of Rellich-Kondrachov compactness theorem. In addition, for $s>n/2$ multiplication is continuous $H^s\times H^s\to H^s$, making it a Sobolev algebra. Indeed the weighted coefficient of a product is bounded by the sum of the convolutions of $⟨k{⟩}^s|\hat{u}(k)|$ with $|\hat{v}(k)|$ and of $|\hat{u}(k)|$ with $⟨k{⟩}^s|\hat{v}(k)|$; Cauchy-Schwarz puts unweighted coefficients in ${\ell }^1$, and the ${\ell }^1\ast {\ell }^2\to {\ell }^2$ case of Young's convolution inequality finishes the estimate.

For eigenfunction expansions, distinguish ellipticity from self-adjointness. An arbitrary non-self-adjoint elliptic operator need not have an orthonormal basis of eigenfunctions. A useful definite setting iswith smooth real periodic coefficients, $a_{ij}=a_{ji}$, real $V$, and uniform ellipticityTake the self-adjoint realization in $L^2$ with domain $H^2$. Its construction and spectral properties can be seen from the associated form on $H^1$,For a sufficiently large constant $C$, $b_C=b+C(\cdot ,\cdot )$ is a positive coercive form: $b_C(u,u)\ge c_1\Vert u{\Vert }_{H^1}^2$, and $L+C\ge I$. The Lax-Milgram theorem supplies the unique weak solution of $(L+C)u=f$ for $f\in H^{-1}$; the form is Hermitian, which gives symmetry of its inverse on $L^2$.

The regularity input is the periodic elliptic estimateHere is why an elliptic operator gains two derivatives. With coefficients frozen at a point, its principal symbol $\sum a_{ij}{\xi }_i{\xi }_j$ dominates $c|\xi {|}^2$, and the estimate follows by multiplying Fourier coefficients by that symbol. On a sufficiently small coordinate patch, the difference of the leading coefficients from these constants has arbitrarily small supremum norm. In the integer-order differentiated estimate, this absorbs the highest derivatives into the left side; derivatives falling on coefficients contribute only lower-order terms. A partition of unity reduces the variable-coefficient problem to such patches. Its commutators with $L$ have order one, controlled bywhich follows by splitting low and high Fourier modes. Absorbing these terms gives the displayed estimate. For a weak $H^1$ solution, the same localization with difference quotients first bounds its second weak derivatives for $f\in L^2$; differentiating and repeating then gives $f\in H^s\Rightarrow u\in H^{s+2}$ for nonnegative integer $s$. Interpolation and duality extend the scale to real orders. In particular $(L+C{)}^{-1}:L^2\to H^2$ is bounded.

Let $R=(L+C{)}^{-1}$. Compactness of $H^2\hookrightarrow L^2$ makes $R$ a compact operator. Symmetry of the form makes $R$ self-adjoint, and positivity of $L+C$ makes $R$ positive and injective. Its range is dense because $\ker R^{\ast }=\ker R=0$. The spectral theorem for compact self-adjoint operators consequently gives an orthonormal basis ${\varphi }_j$ withElliptic regularity bootstraps every ${\varphi }_j$ to a smooth function. Each eigenvalue has finite multiplicity. Thus a self-adjoint uniformly elliptic second-order operator on the torus has a complete smooth orthonormal eigenfunction expansion with discrete eigenvalues tending to infinity.

Writing $u_j=(u,{\varphi }_j)$, every $u\in L^2$ has $u={\sum }_j{u}_j{\varphi }_j$ in $L^2$, with $\Vert u{\Vert }_2^2={\sum }_j|u_j{|}^2$. Iterating the elliptic estimate shows that the graph norm of $(L+C{)}^m$ is equivalent to the $H^{2m}$ norm. Interpolation and duality give the more general spectral descriptionThe comparison constants depend on the operator and $s$. In particular smooth functions have coefficients decaying faster than every power of ${\lambda }_j+C$, and their expansions converge in every Sobolev norm and hence in every $C^m$ norm.

This gives a practical way to solve elliptic equations. The equation $Lu=f$ is solvable if and only if $f_j=0$ whenever ${\lambda }_j=0$; then one may take $u_j=f_j/{\lambda }_j$ on the other eigenspaces and add an arbitrary vector in $\ker L$. The Sobolev description proves the two-derivative gain and the Fredholm alternative, rather than leaving them as formal series manipulations. Similarly the solution of the heat equation ${\partial }_{t}u+Lu=0$ isFor every $t>0$ the exponential decay at high eigenvalues places this solution in every Sobolev space, hence it is smooth.

For the Laplacian $-\Delta$ the eigenfunctions are precisely $e^{ik\cdot x}$ with eigenvalues $|k{|}^2$. The number with $|k{|}^2\le R$ is the number of lattice points in a radius-$\sqrt{R}$ ball, asymptotic to its volume by comparison with unit cubes. For the general self-adjoint operator above, bounds on its form above and below by positive multiples of $\Vert \nabla u{\Vert }_2^2$ plus constants, together with the Courant–Fischer min-max principle, imply ${\lambda }_j+C\asymp j^{2/n}$. Thus the growth reflects dimension and the two-derivative order. Compactness of the torus is essential: on ${\mathbb{R}}^n$, translated bumps prevent the compact embedding, and the Laplacian instead has continuous spectrum described by the Fourier transform.

Use the unitary normalization of the Fourier transform,The Schwartz space $\mathcal{S}({\mathbb{R}}^n)$ consists of smooth functions for which every Schwartz seminorm ${\sup }_x|x^{\alpha }{\partial }^{\beta }f(x)|$ is finite. Such functions and all their derivatives are integrable. Differentiating under the integral and integrating by parts giveConsequentlyExpand the derivative by the product rule and insert the integrable weight $(1+|x|{)}^{-n-1}$; the right side is bounded by finitely many Schwartz seminorms of $f$. This proves continuity $\mathcal{F}:\mathcal{S}\to \mathcal{S}$. The identical argument with the opposite sign proves continuity of $\mathcal{G}$.

For surjectivity and injectivity an inversion proof is needed. If $f\in \mathcal{S}$, multiply $\mathcal{F}f(\xi )$ by $e^{-\epsilon |\xi {|}^2/2}$. Fubini's theorem and the elementary Gaussian integral giveThe Gaussian has total integral one and its mass outside any fixed ball tends to zero. The right side therefore tends to $f(x)$, by uniform continuity of $f$. On the left, $\mathcal{F}f\in \mathcal{S}\subset L^1$, so dominated convergence gives $\mathcal{GF}f(x)$. This proves $\mathcal{GF}=I$. Reversing the signs in the same calculation proves $\mathcal{FG}=I$. ThusIts inverse is continuous by the seminorm estimate already proved. This establishes the requested bijection without assuming Fourier inversion as an unexplained theorem.

Inversion gives ${\mathcal{F}}^{2}f(x)=f(-x)$ and the Parseval identity. Indeed, inserting the integral for $\mathcal{F}f$ into $\int \mathcal{F}f\overline{\mathcal{F}g}$ and using $f,\mathcal{F}g\in L^1$ gives $\int f\overline{g}$. Density of Schwartz functions in $L^2$ extends $\mathcal{F}$ to a unitary operator on $L^2$, the Plancherel theorem. Translation of $f$ becomes multiplication by a phase, modulation becomes frequency translation, andThese formulas explain why the Fourier transform diagonalizes constant-coefficient differential operators. By transpose it also defines a bijection of the tempered distributions: with the complex-linear distributional pairing, $⟨\mathcal{F}T,\varphi ⟩=⟨T,\mathcal{F}\varphi ⟩$, since the Fourier kernel is symmetric in its variables.

The connection with creation and annihilation operators is especially transparent for the harmonic oscillator. On the common invariant dense domain $\mathcal{S}$, setIntegration by parts shows that these are formal Hilbert-space adjoints. They are closable unbounded operators; commutators below are computed on $\mathcal{S}$, avoiding undefined products on arbitrary $L^2$ vectors. The identity $[{\partial }_j,x_k]={\delta }_{jk}I$ gives the canonical commutation relationsIt also givesThe normalized vacuum $h_0(x)={\pi }^{-n/4}{e}^{-|x{|}^2/2}$ satisfies $a_j{h}_0=0$. Define the Hermite functionsMoving annihilation operators past creation operators with the commutation relations provesThese same relations show that the Hermite functions are orthonormal: unequal occupations are orthogonal eigenvectors of one of the commuting symmetric number operators $a_j^{†}{a}_j$, and the ladder relations recursively give norm one.

For completeness, let $g\in L^2$ be orthogonal to every $h_{\alpha }$. The Hermite polynomials have nonzero leading monomials and triangular lower-degree terms, so these orthogonality relations say that all polynomial moments of $h(x)=g(x)e^{-|x{|}^2/2}\in L^1$ vanish. Its Fourier integral extends to an entire function of $\zeta \in {\mathbb{C}}^n$:The Cauchy-Schwarz inequality, with the Gaussian absorbing every exponential linear weight and every polynomial, justifies differentiation uniformly on compact sets of $\zeta$. Every Taylor coefficient at zero is a vanishing moment, so the entire function is zero. Fourier uniqueness on $L^1$ follows here without circularity: if an $L^1$ function has zero Fourier transform, convolving it with ${\rho }_{\epsilon }$ gives zero by the Gaussian integral and Fubini, and the approximate-identity limit in $L^1$ gives the original function zero. Thus $h=0$ and $g=0$. The Hermite functions form an orthonormal basis of $L^2$.

Finally, the elementary Gaussian integral gives $\mathcal{F}{h}_0=h_0$. The derivative and multiplication identities above implywhere the operators on the right act on the frequency variable. HenceThus creation and annihilation organize both the oscillator's spectral decomposition and the four possible Fourier eigenvalues. On Schwartz functions the oscillator powers control weighted derivatives, and Hermite coefficients decay faster than every power of $1+|\alpha |$; conversely this rapid coefficient decay implies all Schwartz seminorms are finite. The Fourier phases preserve this decay, providing another explanation of the Fourier automorphism of Schwartz space.

The loop group here is $LU(1)=C^{\infty }(S^1,U(1))$, with pointwise multiplication. Although it is abelian, its nontrivial positive-energy quantum representations are projective: implementers can commute only up to a phase. A positive energy representation of the loop group of U(1) has rotations $R_t$ whose self-adjoint generator is bounded below and which implement $g(z)\mapsto g(e^{it}z)$ in the projective unitary group. The fermionic construction gives both that phase and an explicit bosonic description.

Choose the one-particle Hilbert space $H=L^2(S^1)$ with modes $e_r(z)=z^r$, $r\in \mathbb{Z}$, and projection $P$ onto $r\ge 0$. Use the polarized fermionic Fock spacewhere the exterior powers are Hilbert-completed and the tensor product is graded. Its vacuum fills all modes $r<0$ and leaves $r\ge 0$ empty; excitations are particles in the empty modes and holes in the filled modes. The fermionic annihilation operators $c_r$ and fermionic creation operators $c_r^{\ast }$ satisfy the canonical anticommutation relationsFinite particle-hole configurations form an orthonormal basis. As in the finite-dimensional exterior algebra construction, their creation and annihilation operators act irreducibly: an operator in the commutant sends the vacuum to a scalar vacuum, since the joint kernel of its vacuum annihilators is one-dimensional, and then acts by that scalar on the dense configuration basis.

Segal's quantization criterion for fermions says that a unitary one-particle operator $u$ has a unitary implementer $\Gamma (u)$ on this Fock space, satisfying $\Gamma (u)c^{\ast }(f)\Gamma (u{)}^{\ast }=c^{\ast }(uf)$, exactly whenEquivalently $P-uP{u}^{\ast }$ is Hilbert-Schmidt. Implementers are unique up to phase, hence form a projective unitary representation of the restricted unitary group. This is the fermionic, polarized criterion; it is not a condition that the entire operator $u-I$ be Hilbert-Schmidt. The criterion and the corresponding continuity topology are stated in Theorem III.2.1.1 of the fermionic construction of loop-group representations. For the compact principal-angle part of a pair of polarizations, the threshold has a concrete interpretation. Its two-dimensional blocks are rotations through angles ${\theta }_j$; finitely many unmatched modes can be handled separately. Each angle ${\theta }_j$ rotates the vacuum into $\cos {\theta }_j$ times its original component plus $\sin {\theta }_j$ times a particle-hole pair. After discarding finitely many exceptional blocks, the successive tensor products are Cauchy precisely when ${\prod }_j\cos {\theta }_j$ converges to a nonzero value, equivalently ${\sum }_j{\sin }^2{\theta }_j<\infty$. In this block model the sum is exactly half the squared Hilbert-Schmidt norm of the projection difference; finitely many unmatched modes account for a change of charge. Infinitely many unmatched modes already violate the criterion. This explains why infinitely many arbitrarily small mixings can fail to be implementable.

For $g(z)={\sum }_n{g}_n{z}^n\in LU(1)$, multiplication $M_g$ is a unitary one-particle operator. Its matrix entry from $e_s$ to $e_r$ is $g_{r-s}$. ThereforeFor a fixed difference $n$, exactly $|n|$ pairs cross the polarization boundary. Smoothness makes the sum finite, so Segal's quantization criterion for fermions constructs a continuous projective unitary representation of every smooth loop. Smooth convergence gives operator-norm convergence of $M_g$ and Hilbert-Schmidt convergence of its commutator, which is sufficient for the strong projective continuity of the implementers.

Normal ordering fixes the charge and rotation energy. On the dense finite-configuration domain putThe sums are finite on each configuration. A particle at $r\ge 0$ adds charge one and energy $r$; a hole at $r<0$ adds charge minus one and energy $-r$. Consequently $L_0$ is a nonnegative self-adjoint diagonal operator with integer spectrum and finite-dimensional eigenspaces. The unitaries $R_t=e^{it{L}_0}$ are strongly continuous, have period $2\pi$, and implement $e_r\mapsto e^{itr}{e}_r$. Conjugating multiplication by this one-particle rotation gives $M_{g(e^{it}\cdot )}$, so their Fock implementers rotate the loop representation projectively. This is an actual positive-energy circle action.

The scalar anomaly is visible in the Heisenberg current algebra of a fermion on the circle. Define on finite-energy vectorsFor fixed $n$ the sum has only finitely many nonzero actions on any configuration. Direct use of the canonical anticommutation relations givesOn summing, the two noncentral sums cancel. If $m=-n$ the central sum is ${\sum }_r(1_{r<0}-1_{r+n<0})=n$: for $n>0$ the terms are precisely $r=-n,\dots ,-1$. ThusIn particular $J_n\Omega =0$ for $n>0$. The coefficient one in the central term is the level of this basic representation.

Let $h(\theta )={\sum }_n{h}_n{e}^{in\theta }$ be smooth and real. The normal-ordered infinitesimal implementer of multiplication by $h$ isThe sign of the current index matters: multiplication by $z^n$ raises the one-particle mode by $n$, so it corresponds to $J_{-n}$. It follows either directly from the bilinear commutator or from the fermionic currents on the circle that $[A(h),c_r^{\ast }]={\sum }_n{h}_n{c}_{r+n}^{\ast }$. For trigonometric $h$ these are oscillator fields on the finite-energy domain; their self-adjoint closures exponentiate to the implementers of $e^{ih}$. For general smooth $h$, their extensions are obtained by the oscillator-field construction below: ${\sum }_{n>0}n|h_n{|}^2<\infty$ guarantees the square-summable field coefficients, and Fourier truncation converges in the corresponding Weyl relations implementers. Thus no unjustified infinite operator product is required.

SetIt is real and antisymmetric for real $h,k$. The Heisenberg current algebra of a fermion on the circle relations give $[A(h),A(k)]=i\omega (h,k)I$. The Weyl relations, or the finite-mode Baker-Campbell-Hausdorff computation followed by the square-summable limit, yieldThis is an explicit two-cocycle on the identity component of the loop group. A different phase choice changes it by a group coboundary, but its antisymmetric commutator remains $e^{-i\omega (h,k)}$, and hence cannot be removed.

The winding components also matter. Every smooth loop is $z^w{e}^{ih}$ with $w\in \mathbb{Z}$, real periodic $h$, and mean $h_0$ determined modulo $2\pi$. Let $S$ implement multiplication by $z$. It moves the filled boundary one place upwards, so it raises charge by one; phases of charge ground states can be chosen so that $S{\Omega }_q={\Omega }_{q+1}$. Conjugating the fermionic currents on the circle givesChoose $U(w,h)=S^w{e}^{iA(h)}$. Since $e^{iA(h)}{S}^v=S^v{e}^{i(A(h)+v{h}_{0}I)}$, one obtains the full loop group two-cocycle for U(1)The exponent is bilinear in the additive winding-logarithm coordinates, so expansion immediately gives $c(a,b)c(a+b,d)=c(b,d)c(a,b+d)$. Replacing $h$ by $h+2\pi \ell$ changes $A(h)$ by $2\pi \ell Q$, whose exponential is identity since charges are integers; the scalar cocycle also stays unchanged since $v\in \mathbb{Z}$. Thus the expression is well-defined on loops, not just on chosen logarithms. It records both the derivative anomaly and the commutator of winding with constant loops.

For the fermion-boson correspondence on the circle, decompose ${\mathcal{F}}_P={⨁}_{q\in \mathbb{Z}}{\mathcal{F}}_q$ into charge eigenspaces. The charge-$q$ ground state ${\Omega }_q$ fills all integer modes $r<q$. Its energy isFor $q>0$, sum the energies of the added modes $0,\dots ,q-1$; for $q<0$, sum the hole energies of the removed modes $q,\dots ,-1$. Every other charge-$q$ configuration is obtained by moving finitely many occupied levels upwards, so this is the lowest energy. Since $J_n$ preserves charge and lowers energy by $n>0$, $J_n{\Omega }_q=0$ for $n>0$.

Define bosonic annihilation operators $b_n=J_n/\sqrt{n}$ and $b_n^{\ast }=J_{-n}/\sqrt{n}$, $n>0$. They obey $[b_n,b_m^{\ast }]={\delta }_{nm}I$. Their occupation vectorsare orthonormal by commuting positive fermionic currents on the circle through negative fermionic currents on the circle. Their energies are $q(q-1)/2+{\sum }_{n>0}n{m}_n$. It remains to prove that they span, rather than assume the boson correspondence. Count configurations by formal charge $u$ and energy $t$. Empty modes $r\ge 0$ can contain one extra particle, while filled modes $-r$, $r\ge 1$, can contain one hole. Therefore the fermionic character isThe charge form of the Jacobi triple product proved in Question 4 identifies this withThe reciprocal product counts bosonic occupations, or partitions of an integer. For fixed charge and energy, the finite-dimensional fermion space has exactly as many basis configurations as the independent fermionic current on the circle monomials already constructed. Hence those monomials exhaust every such space, proving their dense completeness. This establishes a unitary identification of every charge sector with a bosonic Fock space, and on that identificationThe usual half-integer fermion convention instead gives ground energy $q^2/2$ and requires the corresponding adjustment of rotations. Here integer modes were deliberately chosen to obtain a genuine circle action with integral nonnegative energies. The two ground states of energy zero, at charges zero and one, are therefore consistent, not a negative-energy defect.