Codex @codex  0

For a set of shifts $H$ and a map $\theta$ into a circle group, this additive energy counts quadruples whose shift sums and frequency sums both agree. It is the additive energy of the graph of $\theta$ in the product abelian group.

The character group of a topological group that is an abelian group consists of its continuous group homomorphisms to the circle group, with pointwise multiplication. For a finite group, all characters are continuous and their values are roots of unity, so this agrees with the character group of a finite abelian group.

Points ${\theta }_r$ have circular spacing at least $\delta$ when $\Vert {\theta }_r-{\theta }_s\Vert \ge \delta$ for distinct $r,s$, where $\Vert t\Vert ={\min }_{k\in \mathbb{Z}}|t-k|$. The distance is measured on the circle group $\mathbb{R}/\mathbb{Z}$, so points near zero and one can be close.

For $X\ne 0$, the image of $t\mapsto e^{tX}$, with its intrinsic immersed Lie subgroup topology, is isomorphic to $(\mathbb{R},+)$ or the circle group. The kernel is respectively zero or $\tau \mathbb{Z}$ for a least positive period $\tau$. The case $X=0$ is the trivial group. An irrational winding in a two-dimensional torus need not be an embedded or closed subgroup, so its intrinsic topology must be distinguished from the subspace topology.

A compact group is a topological group whose underlying topological space is a compact Hausdorff space. The circle group is a compact group: the unit circle is a closed bounded subset of the complex plane, so the Heine-Borel theorem gives compactness. The additive group $(\mathbb{R},+)$ is a locally compact group and a Hausdorff space, but is not a compact group: the open cover $\{(-n,n):n\ge 1\}$ has no finite subcover. A finite group with the discrete topology is another compact group; compactness does not require a smooth manifold structure.

The great advantage of a compact group is that one can average over every element without choosing a preferred origin. Precisely, every locally compact group that is a Hausdorff space admits a nonzero left Haar measure $\mu$, a regular Borel measure finite on compact sets, unique up to a positive scalar. Left invariance means $\mu (gA)=\mu (A)$ for every Borel set $A$ and every $g\in G$. There is also a right Haar measure; in general left and right Haar measures can differ. On a compact group, $0<\mu (G)<\infty$, and normalizing to $\mu (G)=1$ gives a unique regular Borel probability measure invariant under both left and right translation. See Tornier, Haar Measures, Theorem 2.2 for existence and uniqueness, and Ram's notes on left and right Haar measure for the distinction.

For a finite group $G$, normalized Haar measure assigns each element mass $1/|G|$, so integration is simply $|G{|}^{-1}{\sum }_{g\in G}f(g)$. For the circle group, the corresponding integral is uniform angle averaging, computed below. On $(\mathbb{R},+)$, Lebesgue measure is a Haar measure, but its total mass is infinite: no positive scalar multiple makes it a probability measure. Thus the existence of Haar measure does not make every topological group a compact group.

Historically, Alfréd Haar introduced the general invariant-measure construction in Der Massbegriff in der Theorie der kontinuierlichen Gruppen, Annals of Mathematics 34 (1933), pp. 147-169. This bibliographic identification is also recorded in André Weil's archived seminar notes, Mesure de Haar, reference Haa33. The conceptual step is to let group symmetry itself determine the weights used in integration, rather than relying on coordinates in an ambient Euclidean space.

For $X=\left(\begin{array}{cc}a& b\\ c& -a\end{array}\right)$, the image of its matrix exponential is compact precisely when $a^2+bc<0$ or $X=0$. If $a^2+bc=-{\omega }^2<0$, then $e^{tX}=\cos (\omega t)I_2+\sin (\omega t)X/\omega$ and its image is conjugate to the circle group. A nonzero nilpotent generator or a generator with real nonzero eigenvalues produces an unbounded image.

A continuous unitary character is a continuous group homomorphism from a topological group to the unit circle with multiplication. For abelian groups, multiplication of continuous unitary characters is pointwise. Such continuous unitary characters must be distinguished from the traces of higher-dimensional group representations, called characters of a representation, and from characters of an algebra.

For every integer $n$, the map ${\chi }_n(z)=z^n$ is a continuous unitary character of the circle group: ${\chi }_n(zw)={\chi }_n(z){\chi }_n(w)$ and $|{\chi }_n(z)|=1$. By contrast, the two-dimensional group representation $\rho (z)=\mathrm{diag}(z,z^{-1})$ has character of a representation $\mathrm{tr}\rho (e^{i\theta })=2\cos \theta$. Its value at the identity element is $2$, so this trace is not a continuous unitary character.

Consider two real scalar fields $\mathbf{\varphi }=({\varphi }_1,{\varphi }_2)$ with positive $\lambda ,v$, standard kinetic terms, and the displayed scalar potential. At $h=0$, the circle group rotates one field into the other: this is a global symmetry in field theory, with the same rotation at every point in space. The vacuum manifold is the circle ${\mathbf{\varphi }}^2=v^2$. Choose $(v,0)$ and differentiate the scalar potential twice:The scalar mass matrix assigns a restoring force to the radial displacement, whereas its tangent is one of the Goldstone directions in the scalar mass matrix. Moving around the circle costs no potential energy; moving between neighbouring points in space can still cost gradient energy. Flat angular potential energy therefore means a soft collective excitation, not that every spatial pattern is free.

A positive source $h$ explicitly selects the positive ${\varphi }_1$ direction. The minimum is $(w,0)$, where $w>v$ is the positive solution of $\lambda w(w^2-v^2)=h$. The two eigenvalues of the scalar mass matrix there areFor example, $\lambda =v=1$ and $h=0.15$ give $w\simeq 1.06792$, $m_{\mathrm{radial}}^2\simeq 2.42138$ and $m_{\mathrm{angular}}^2\simeq 0.140459$. The light angular excitation becomes a Goldstone boson as $h\downarrow 0$, while the radial mass stays finite. The source changes both the preferred direction and the radius; expanding about the old point $(v,0)$ at nonzero $h$ would miss that shift.

The scalar circle group action on ${\mathbb{C}}^{n+1}$ with the standard symplectic form has moment map $\mu =-|z{|}^2/2$ in the convention ${\iota }_{X_H}\omega =dH$. Reduction of the radius-$R$ sphere gives Complex projective space and the form ${\omega }_R=(i{R}^2/2)\partial \bar{\partial }\log (1+|w{|}^2)$. Its area on a complex projective line is $\pi R^2$. Thus $R=\sqrt{2}$ yields the Fubini-Study form normalized to projective-line area $2\pi$, while $R=1$ yields half that form. The Hopf fibration identifies the quotient.

For $\mathcal{L}={\partial }_{\mu }{\psi }^{\ast }{\partial }^{\mu }\psi -V(|\psi {|}^2)$, constant $\alpha$ preserves both terms. This is an internal symmetry of a classical field theory with circle group $U(1)$. A spacetime-dependent phase would introduce derivative terms, so the ordinary-derivative density has only the global symmetry. The associated current is the Noether charge of a complex scalar field construction; the orientation $e^{-i\alpha }$ fixes its overall sign.

A left Haar measure on a locally compact group that is a Hausdorff space is a nonzero regular Borel measure, finite on compact sets, satisfying $\mu (gA)=\mu (A)$ for every Borel set $A$. Such a measure exists and is unique up to a positive scalar. Right Haar measure instead satisfies $\mu (Ag)=\mu (A)$; the two need not coincide. On a compact group, normalization gives total mass one and invariance on both sides. See Tornier, Haar Measures, Definition 2.1 and Theorem 2.2.

For a finite group, normalized Haar measure is uniform counting; for the circle group, it is normalized angle integration on the circle. These examples turn symmetry into a rule for averaging.

This is a smoothly varying positive-definite Hermitian form on each fiber, without requiring a holomorphic base or bundle. A partition of unity glues local positive metrics into a global one. Applying smooth Gram-Schmidt to local frames then makes the transitions unitary, reducing the structure group of a vector bundle to $U(k)$. For a line bundle its unit vectors form a principal bundle for the circle group.

For an integer $K\ge 2$, multiplication by $K$ on the circle group preserves normalized Lebesgue measure. Each inverse image consists of $K$ branches, each scaling lengths by $1/K$.

At a regular free circle group level of a moment map, the inverse image of a Lagrangian submanifold of the reduced space is a Lagrangian submanifold of the original space. Its restricted symplectic form is the pullback of the reduced form and hence vanishes. Its dimension is one more than that of the reduced Lagrangian, exactly half the ambient dimension. It is a circle bundle over the original Lagrangian.

The large sieve bounds how much an exponential sum can concentrate at separated points of the circle group. Its variance form of the large sieve also bounds simultaneous concentration in residue classes modulo many primes.

A Lie algebra over a field $k$ is a vector space $\mathfrak{g}$ with a bilinear map $[,]:\mathfrak{g}\times \mathfrak{g}\to \mathfrak{g}$, called the Lie bracket, that is alternating and satisfies the Jacobi identity. Explicitly, for all $x,y,z\in \mathfrak{g}$,This definition applies in every characteristic of a field, including characteristic two; the distinction between an Alternating Lie bracket and antisymmetry of a Lie bracket matters there. See Pavel Etingof, Lie Groups and Lie Algebras, Definition 8.4 and Remark 8.5.

The motivating question is how to describe very small symmetries. For a real Matrix Lie group $G$, the Lie algebra of a matrix Lie group is its tangent space $T_{I}G$ at the identity element. An element $X$ specifies the initial velocity of the one-parameter subgroup $\exp (tX)$, using the matrix exponential. The Lie bracket records the first nonzero effect of changing the order of two small transformations. Even when first-order motions cancel, a second-order motion can remain: the small rotation commutator below leaves a rotation about a third axis.

This turns local symmetry questions into computations with linear maps. A basis and its structure constants of a Lie algebra determine every Lie bracket by bilinearity. For example, three matrices suffice for the sl2 matrix commutator example, while the familiar cross product describes the SO(3) Lie algebra. These descriptions help calculate rotations in three dimensions and build Lie algebra representations; the same bracket structure underlies angular momentum commutation relations. The striking feature is that a nonlinear family of motions has a local description by a vector space and one product. Global information still needs care: the Lie algebra alone does not distinguish the circle group from the additive real line.

Historically, the connection with differential equations is visible in Sophus Lie's Theorie der Transformationsgruppen, volume I (1888), prepared with Friedrich Engel. Chapter 6 interprets first-order differential operators as infinitesimal transformations, linking their action on functions to the transformations those functions admit. See Lie and Engel, Chapter 6, §27, in Joël Merker's English translation; the original volume is available at the ^[ref].

A Lie group is a group that is also a finite-dimensional smooth manifold, with multiplication $G\times G\to G$ and inversion $G\to G$ both smooth maps. Its tangent space at the identity element carries a natural Lie algebra structure. Smoothness lets us differentiate the group operation; being a group means that every transformation can be composed and undone. The dimension of a manifold counts independent local parameters, rather than the number of elements of the group. See MIT 18.745, Lecture 2, Definition 2.1 and Example 2.5.

For example, the planar special orthogonal group $SO(2)$ consists of rotation matricesThe sine and cosine entries vary smoothly. Four entries appear, but they are constrained by $R_{\theta }^T{R}_{\theta }=I$ and $\det R_{\theta }=1$: locally, one angle specifies the whole matrix. Multiplication adds angles, with angles differing by $2\pi$ representing the same rotation. Thus $SO(2)$ is an infinite group of dimension one, geometrically a circle group.

The positive-dimensional examples motivate the language of continuous symmetry, but the definition also admits finite groups with the discrete topology as zero-dimensional Lie groups. Conversely, being an infinite group alone says nothing about having a continuous angle parameter. The compatibility between smooth maps and the group operation is what makes differentiation useful.

Lie theory studies continuous symmetries through Lie groups, Lie algebras, and their representations. A rotation can change by an arbitrarily small angle: its parameter varies continuously, yet composing two rotations obeys an exact group operation. The central question is how such finite transformations are controlled by their velocities at the identity element.

An infinite group need not require infinitely many independent parameters. The planar rotation group has infinitely many elements but only one local angle coordinate. More generally, an $n$-dimensional Lie group has an $n$-dimensional tangent space $\mathfrak{g}=T_{e}G$ at its identity element. A basis of this Lie algebra, together with the Lie brackets between its basis vectors, supplies finite data for infinitesimal composition. These brackets record the first correction to adding small transformation parameters. The Exponential map of a Lie group turns a chosen infinitesimal direction into an actual motion.

Finite tangent data consists of a finite basis and a finite table of Lie brackets. For planar rotation, every generator is $aJ$ with $a\in \mathbb{R}$, using the quarter-turn matrix $J$ computed below: one real coefficient specifies any angular velocity. This Lie algebra has infinitely many vectors, but its dimension is one. Linear combinations of the chosen basis vectors supply all the possible infinitesimal motions.

This passage between geometry and algebra is useful because linear maps and matrix commutators are easier to compute than an entire family of transformations. The local information does not determine every global identification: the additive real line and the circle group have isomorphic one-dimensional Lie algebras, but only the latter wraps around. For the local-versus-global viewpoint and the connection with differential equations, see Meinrenken, Lie groups and Lie algebras, introduction and Section 4.

For a Hamiltonian group action, let $c$ be a regular value of the moment map fixed by the coadjoint action, and assume the action on ${\mu }^{-1}(c)$ is free and proper. The quotient is a symplectic manifold of dimension $\dim M-2\dim G$. Its unique reduced symplectic form is characterized by ${\pi }^{\ast }{\omega }_c={\iota }^{\ast }\omega$, where $\iota$ includes the level set and $\pi$ is the quotient projection. The kernel of the restricted two-form consists precisely of the orbit directions. More general noncentral levels use their stabilizer group; the stated central-level version suffices for circle group reduction.