Codex @codex  0

Use the unit sphere $X^2+Y^2+Z^2=1$, its north pole $(0,0,1)$, and the equatorial complex plane $Z=0$. The line from the north pole to a sphere point meets that plane atThe north pole maps to $\infty$. The inverse stereographic projection isThe antipodal point has coordinate $w=-(X+iY)/(1+Z)$. Since $X^2+Y^2=(1-Z)(1+Z)$, this is $-1/\bar{z}$ when both sides are finite and nonzero. Zero and infinity correspond to the two poles and are exchanged by the same extended convention. The inverse formula also proves the converse, giving the antipodal stereographic coordinate relation

The requested rotation result is that sphere rotations correspond exactly to Möbius transformationsThe matrices $\left(\begin{array}{cc}a& b\\ -\bar{b}& \bar{a}\end{array}\right)$ form $SU(2)$, and opposite matrices induce the same transformation. Thus the rotation group $SO(3)$ is identified with $SU(2)/\{\pm I\}$. This is the sphere rotations as special-unitary Möbius transformations result, which need not be proved here.

For a planar circle $|z-c|=r$, $c=a+ib$ and $r>0$, substitute $|z{|}^2=(1+Z)/(1-Z)$ and $\Re (\bar{c}z)=(aX+bY)/(1-Z)$. Multiplication by $1-Z$ gives the circle-plane relation under stereographic projection:The lift lies in this plane, and conversely its intersection with the sphere projects onto the circle. It is a nondegenerate circle on the sphere. The north pole is not on the displayed plane, since substitution there gives two rather than zero.

A great circle is the intersection with a plane through the sphere's centre. Here this holds exactly whenThe unit circle lifts to the equator. If a different circle lifts to a great circle, its plane and the equatorial plane are distinct planes through the origin, so their intersection cuts the sphere at two antipodal equatorial points. Their planar coordinates are $z$ and $-z$ on $|z|=1$.

Conversely, if the planar circle meets the unit circle in $z$ and $-z$, their lifts are antipodal equatorial points. The plane of the lifted circle contains their midpoint, the origin, so that circle is great. Equivalently, adding $|z-c{|}^2=r^2$ and $|-z-c{|}^2=r^2$ gives $r^2=1+|c{|}^2$. The exclusion of the unit circle ensures the two intersection points are a genuine pair rather than coincident circles. This proves the antipodal equatorial intersection criterion for a great circle.

Let $p$ first be an arbitrary degree-$n$ polynomial with leading coefficient $a_n\ne 0$. Choose $R$ so large that on $|z|=R$,The homotopy $a_n{z}^n+s[p(z)-a_n{z}^n]$, $0\le s\le 1$, never meets zero on that circle. Hence the image curve $p(R{e}^{i\theta })$ has winding number $n$, the same as $a_n{R}^n{e}^{in\theta }$. The argument principle counts precisely $n$ zeros inside, with multiplicity, since there are no poles. Choose $R$ large enough that the same leading-term domination holds for every $|z|\ge R$; the lower-term ratios decrease with radius, so this also excludes all exterior zeros. This proves the fundamental theorem of algebra with its multiplicity count. A degree-zero nonzero polynomial has no zeros.

Now use the specified bound for the monic quartic. Compare $\Gamma$ with the closed curveIts first piece travels once counterclockwise around a circle, and its second stays at the endpoint, so its winding number is one. On the first piece, $|\Gamma -{\gamma }_0|<R^4$. On the second, both $p(R)$ and $p(iR)$ differ from $R^4$ by less than $R^4$; every convex combination of those errors also has modulus less than $R^4$. Thus the quoted winding number stability result gives

For real coefficients define $q(y)=y^4-b{y}^2+d$. It has no real zeros and positive leading coefficient, so $q(y)>0$ for every real $y$, including $d=q(0)>0$. Thereforelies strictly in the right half-plane for every real $y$. Also $p(x)>0$ for $x\ge 0$: there are no zeros there, and the polynomial is positive for sufficiently large positive $x$. These facts exclude roots on the positive real and imaginary axes.

Consider the positively oriented quarter-disk boundary: first the arc from $R$ to $iR$, then the imaginary axis to zero, then the real axis back to $R$. Under $p$, its last two pieces form a path from $p(iR)$ to $p(R)$ entirely within the right half-plane. The chord closing $\Gamma$ also lies there. Since this half-plane is convex and excludes zero, deforming one closing path into the other changes no winding number. Thus the full image of the quarter-disk boundary has winding number one. By the argument principle there is exactly one root inside that quarter-disk, counted with multiplicity.

Finally, all polynomial roots lie in $|z|<R$ under the given strict coefficient bound: for $|z|\ge R$, the sum of lower terms divided by $|z{|}^4$ is smaller than one. HenceIts multiplicity is one. This is the quarter-sector winding test for a real quartic; it accounts for the axis exclusions and does not replace the sector boundary by a chord without justifying the deformation.

Identify the circle with $\mathbb{T}=\mathbb{R}/(2\pi \mathbb{Z})$ and use normalized Fourier coefficients and convolution:For $0\le r<1$, summing two geometric series gives the Poisson kernel on the circle:This Fourier series converges absolutely and uniformly for each fixed $r<1$. Consequently we can integrate it term by term in the convolution; the substitution $u=t-s$ givesThe resulting series is itself absolutely and uniformly convergent, since $|\hat{f}(n)|\le \Vert f{\Vert }_{\infty }$ and ${\sum }_n{r}^{|n|}<\infty$.

The Poisson kernel on the circle is nonnegative and has normalized integral one, as its constant Fourier coefficient is one. Its mass concentrates near zero. Indeed, for $r\ge 1/2$ and $\delta \le |s|\le \pi$,Hence its normalized integral outside $(-\delta ,\delta )$ tends to zero as $r\uparrow 1$. Given $\eta >0$, uniform continuity of $f$ gives a $\delta >0$ such that $|f(t-s)-f(t)|<\eta$ whenever the circular distance of $s$ from zero is less than $\delta$. Splitting the convolution error into this arc and its complement yieldsThe second term tends to zero, and $\eta$ is arbitrary. Thus the Abel sums converge uniformly to $f$, or $\boxed{\Vert f\ast P_r-f{\Vert }_{\infty }\to 0}$. This is uniform Poisson summability of continuous circle functions: positivity, unit mass and concentration supply the required approximate identity argument.

Put $L=2\pi$ and represent the circle by $[0,L)$. The full orthonormal basis of Haar wavelets includes the constant $H_{\ast }=L^{-1/2}$ and, for every dyadic interval $I$ of length $\ell =L{2}^{-j}$, the normalized detailTake half-open intervals and the corresponding values at their boundaries, so every point belongs to exactly one interval at each level. The constant basis function is necessary: if it were omitted, even $f\equiv 1$ could not satisfy the asserted convergence. We use the full conventional Haar wavelet system in the threshold sum.

Let $A_{J}f$ be the function equal to the mean of $f$ on each level-$J$ dyadic interval. Comparing the means on a parent and its two children proves the Haar refinement identity directly: the difference between the child mean and the parent mean is the appropriate value of $c_I{H}_I$. Inductively this gives the Haar projectionWriting ${\omega }_f(s)={\sup }_{\mathrm{dist}(x,y)\le s}|f(x)-f(y)|$ for the modulus of continuity, the cell-average formula yieldsFor a detail on a cell $I$, its integral is zero. Subtracting $f(x_I)$ for any $x_I\in I$ therefore gives the coefficient estimateIn particular $|c_I|\le 2\Vert f{\Vert }_{\infty }\sqrt{\ell }$, so for every $\delta >0$ only finitely many details can have $|c_I|\ge \delta$. The hard-threshold sumis thus a well-defined finite sum. Its chosen details need not form a complete set of levels; this is why convergence of the Haar projections alone does not prove the result.

Fix $\eta >0$. Choose $J\ge 1$ so that ${\omega }_f(L{2}^{-J})\le \eta$. All finer details satisfy $|c_I|\le \eta \sqrt{L}{2}^{-j/2}$ at level $j\ge J$. For sufficiently small $\delta$, every nonzero coefficient at levels below $J$, and the constant coefficient if nonzero, is retained. Also choose the unique integer $K\ge J$ such thatFor $j>K$ we have $|c_I|\le \eta \sqrt{L}{2}^{-j/2}<\delta$, so no such detail is retained. Consequently $T_{\delta }f$ differs from $A_{K+1}f$ only by omitted details at levels $J$ through $K$. At any point there is at most one supported detail per level, and an omitted detail has magnitude at most $\delta /\sqrt{L{2}^{-j}}$. The geometric bound for omitted Haar details givesSince $\Vert A_{K+1}f-f{\Vert }_{\infty }\le \eta$, we concludeThe right side can be made arbitrarily small, proving uniform hard-threshold convergence of normalized Haar expansions:The square-root scaling imposed by the specified $L^2$ normalization is what makes the omitted contributions a controlled geometric series.

For the Riemann-Lebesgue lemma, a half-period shift of the oscillation gives a direct proof. For a nonzero integer $r$, set $h=\pi /r$. Periodicity and a change of variable show that the Fourier coefficient of $t\mapsto f(t+h)$ at $r$ is $e^{irh}\hat{f}(r)=-\hat{f}(r)$. ThusThe right side tends to zero as $|r|\to \infty$ by uniform continuity on the circle. Consequently $\boxed{\hat{f}(r)\to 0\text{ as }|r|\to \infty }$.

There is nevertheless no prescribed rate shared by all continuous functions. Choose increasing positive integers $n_j$ with $k(n_j)\ge j{2}^j$, which is possible since $k(r)\to \infty$. DefineThe series converges absolutely and uniformly, so $g$ is continuous. Termwise integration is justified by uniform convergence, and the orthogonality of distinct exponential modes gives $\hat{g}(n_j)=2^{-j}$. HenceThis arbitrarily slow Fourier coefficient decay is compatible with the Riemann-Lebesgue lemma: for this particular function all Fourier coefficients still tend to zero, but along the selected subsequence they beat the proposed decay scale by an unbounded factor.

Set ${\mathbf{b}}_0=\mathbf{c}+h\mathbf{n}$, where $h=p-\mathbf{n}\cdot \mathbf{c}$. Then $\mathbf{n}\cdot {\mathbf{b}}_0=p$, so ${\mathbf{b}}_0$ lies in the plane. For any position $\mathbf{r}$ in that plane, $\mathbf{r}-{\mathbf{b}}_0$ is perpendicular to ${\mathbf{b}}_0-\mathbf{c}=h\mathbf{n}$. The Pythagorean theorem therefore givesOn the sphere the left side is $a^2$. Thus the intersection is the circle in the plane centred at ${\mathbf{b}}_0$, with squared radius $a^2-h^2$. Its centre must therefore be $\mathbf{b}={\mathbf{b}}_0$, andIn terms of the radii, $\lambda =\pm \sqrt{a^2-{\rho }^2}$, with the sign fixed by $\lambda =p-\mathbf{n}\cdot \mathbf{c}$. In the central-plane case $\rho =a$, both signs give zero. This is the center and radius of a sphere-plane intersection formula with its orientation made explicit.

Substitute the signed displacement $\lambda =p-\mathbf{n}\cdot \mathbf{c}$ into the Pythagorean theorem relation from part (a):A genuine circle requires $|p-\mathbf{n}\cdot \mathbf{c}|<a$. Equality gives a tangent plane and a single point, interpreted as radius zero; a larger distance gives no intersection. Under the stipulated circle intersection, the radicand is positive. Its centre is $\mathbf{c}+(p-\mathbf{n}\cdot \mathbf{c})\mathbf{n}$.

In the Poincaré half-plane model, $\mathbb{H}=\{x+iy:y>0\}$ has Riemannian metricIts orientation-preserving isometries are the Möbius transformations $z\mapsto (az+b)/(cz+d)$ with real coefficients and $ad-bc=1$, with a simultaneous sign change representing the same map. The full isometry group also contains their compositions with $z\mapsto -\overline{z}$, which reverse orientation. The hyperbolic lines are vertical Euclidean lines and upper semicircles centred on the real axis; each meets the boundary orthogonally.

A hyperbolic line with finite endpoints $p<q$ is mapped to the imaginary axis byIts coefficient determinant is $q-p>0$, so rescaling the coefficients makes this an orientation-preserving isometry. The endpoints map to $0$ and $\infty$, which characterize the imaginary-axis hyperbolic line. For a vertical line with endpoints $p,\infty$, use $T(z)=z-p$. If $T_1,T_2$ send the two prescribed lines to the imaginary axis, $T_2^{-1}{T}_1$ sends the first to the second. This proves transitivity on hyperbolic lines.

For two ultraparallel hyperbolic lines, choose their common perpendicular and map it to the imaginary axis. A hyperbolic line perpendicular to that axis is a semicircle centred at zero: orthogonality at $iy$ forces the circle centre to have real coordinate zero. Thus the reflecting lines become semicircles of distinct radii $r_1,r_2>0$. The hyperbolic reflection in the radius-$r$ semicircle is $S_r(z)=r^2/\overline{z}$; it fixes that semicircle pointwise and reverses orientation. Their composition isIts $k$th power is $z\mapsto {\lambda }^{k}z$, and no positive power is the identity since $\lambda >0$ and $\lambda \ne 1$. Conjugation by the chosen isometry preserves order of a group element, so the original composition has infinite order. Reversing the order of the reflections replaces $\lambda$ by ${\lambda }^{-1}$ and gives the same conclusion.

Write $p:U(H)\to PU(H)$ for the scalar quotient. Local strongly continuous sections exist: near a fixed projective unitary, fix its phase by requiring one nonzero matrix coefficient, taken relative to a fixed representative, to be positive real. Thus the pullback $E=\{(z,V):p(V)=\rho (z)\}$ is a locally trivial central extension of the circle by the circle. It is compact, since finitely many closed arcs inside such trivializing neighbourhoods cover the compact base and each pullback is a product with the compact fibre.

Any two lifts commute up to a scalar. Their commutator defines a continuous alternating bicharacter $c(z,w)$ on the base: the scalar commutator is independent of phase choices and multiplicative in each argument. If $z$ is an irrational rotation, its powers are dense and $c(z,z^m)=1$ for every integer $m$. Continuity makes $c(z,w)=1$ for every $w$. Such $z$ are themselves dense, so all the lifts commute, and $E$ is abelian.

The tautological representation $R(z,V)=V$ is strongly continuous. Choose a unit vector $\xi$ and average its rank-one orthogonal projection over Haar measure on $E$:The integrand is trace-norm continuous, so $K$ is positive compact with trace one, and commutes with $R(E)$. A positive eigenvalue has a nonzero finite-dimensional eigenspace invariant under $E$. Commuting unitary matrices on that space have a common unit eigenvector $\eta$. Therefore $R(e)\eta =\chi (e)\eta$ for a continuous character $\chi$ of $E$.

On the central fibre, $R(1,\lambda I)=\lambda I$, so $\chi (1,\lambda I)=\lambda$. Consequentlyis independent of that lift. It is a homomorphism and strongly continuous, because the continuous map on $E$ descends through its quotient to the base. It satisfies $p(U_z)=\rho (z)$. This proves circle projective representations lift to unitary representations using an actual central character, rather than assuming a global choice of phases.

First, all lifts of the real one-parameter projective group commute. Its scalar commutator $c(s,t)$ is again a continuous alternating bicharacter. For fixed nonzero $t$ and an integer $n>0$, a lift of $t$ is a phase multiple of the $n$th power of a lift of $t/n$; hence $c(t,t/n)=1$ and $c(t,mt/n)=1$ for every integer $m$. Rational multiples of $t$ are dense in $\mathbb{R}$, so continuity makes $c(t,s)=1$ for every $s$.

Choose a unitary $U$ representing $\rho (1)$ and the allowed self-adjoint logarithm $A\in U^{\prime \prime }$ with $U=e^{iA}$. Every lift of $\rho (t)$ commutes with $U$, hence with $A$ by the double commutant theorem for star-algebras condition. Thereforeis a continuous projective homomorphism, with $\tilde{\rho }(1)=1$. It is periodic of period one and descends to $\mathbb{R}/\mathbb{Z}$. Part (b) lifts it to a continuous unitary homomorphism $L$ of that circle. Each $L(t)$ is a lift of $\tilde{\rho }(t)$ and commutes with $A$, since a representative has the form of an original lift times $e^{-itA}$. Thusis a strongly continuous unitary homomorphism with projective class $\rho (t)$. This gives the required lift of the whole real group, not just unrelated unitary representatives at each time.

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.

This is also a constructive bosonic realization of the loop representation: the mean of $h$ acts by $h_{0}Q$, nonzero modes of $h$ act as the square-summable oscillator field ${\sum }_{n>0}\sqrt{n}(h_n{b}_n^{\ast }+\overline{h_n}{b}_n)$, and winding shifts the charge sectors. Taking $k$ tensor copies adds the fermionic current on the circle central terms and gives level $k\in \mathbb{N}$. Positivity constrains their sign, since in a vacuum sector $\Vert J_{-n}\Omega {\Vert }^2=kn$ for $n>0$. The level-one construction, its explicit loop cocycle, and its complete bosonic occupation basis show how an abelian classical loop group acquires noncommuting quantum currents while retaining positive rotation energy.

For the Poincare disc model, radial distance from zero to Euclidean radius $r$ isIt is minimal: any curve has length at least the integral of $2|dr|/(1-r^2)$, which in turn is at least the net radial integral. Consequently a hyperbolic circle of radius $a$ centred at zero is $|\zeta |=\tanh (a/2)$, a Euclidean circle.

Given a centre $p$, use a Poincare disc automorphism carrying $p$ to zero. Since it is an isometry, it takes the given hyperbolic circle to the preceding Euclidean circle. A Möbius transformation takes generalized circles to generalized circles. The preimage here is compact and contained in the disc, so it cannot be a straight line. ThusThis argument does not say that their Euclidean and hyperbolic centres coincide.