Skip to main content
3 of 7
tag added
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216

Where can square roots come from when they are not distances?

In a recent survey "Supergeometry in Mathematics and Physics", Kapranov points out cases in which observable quantities of immediate interest are represented as bilinear combinations of more fundamental quantities which may be physically mysterious and may not even observable by themselves. Such `mysterious square roots' underpin supersymmetry, and Kapranov explains how they all arise from actions of the first levels of the sphere spectrum $\pi_1^{\mathrm{st}}= \mathbb{Z}/2$ and $\pi_2^{\mathrm{st}}= \mathbb{Z}/2$.

This made me curious, because the only other non-contrived cases of square roots that I can think of in mathematics are distances. For example, the $1/\sqrt{n}$ in the Central Limit Theorem (note that $n$ has immediate meaning as a number of samples but $\sqrt{n}$ doesn't) comes from a standard deviation which is a distance.

Question: Is every square root in mathematics, in which an object of immediate interest is replaced by its square root which is perhaps more fundamental but less readily interpreted, either a distance or an action of $\pi_1^{\mathrm{st}}$ or of $\pi_2^{\mathrm{st}}$ or as one of Kapranov's examples? Where else can square roots come from?

These are Kapranov's basic examples (the last is a simple case of supersymmetry):

  • The wave function $\psi(x)$ of a particle, which cannot be measured, although $\left\vert \psi(x)\right\vert^2= \bar{\psi}(x)\cdot \psi(x)$ represents the probability density of the particle which is real, non-negative, and measurable.
  • The Laplace operator on forms on a smooth Riemannian manifold is non-negative definite and real (self-adjoint), but is defined as $\Delta= d \circ d^\ast + d^\ast \circ d$ where $d$ is the exterior derivative and $d^\ast$ is its adjoint with respect to the Riemannian metric.
  • Spinors as square roots of vectors.
  • For $X$ be a smooth projective curve over a finite field $\mathbb{F}_q$, the étale cohomology group $H^1(X \otimes \bar{\mathbb{F}}_q,\mathbb{Q}_l)$ is acted upon by the Frobenius element $Fr$ generating $\mathrm{Gal}(\bar{\mathbb{F}}_q/\mathbb{F}_q)$. The image of each eigenvalue of $Fr$ in each complex embedding is a square root of $q$. This example motivated the Weil conjectures.
  • The differential operator $Q =\frac{\partial}{\partial\xi}+\xi \frac{\partial}{\partial t}$ in $\mathbb{C}[t] \otimes \Lambda[\xi]$ is the square root of $\frac{\partial }{\partial t}$.
Daniel Moskovich
  • 22.1k
  • 15
  • 139
  • 216