--- title: Quadratic Functions in Abelian Groups url: https://www.emergentmind.com/topics/quadratic-functions-over-abelian-groups type: topic --- # Quadratic Functions in Abelian Groups Searching arXiv for the cited papers to ground the article in current metadata and ensure accurate citations. Quadratic functions over abelian groups are maps whose second-order behavior is bilinear and whose third-order variation vanishes. In the most classical additive setting, a map \(q\colon X\to A\) on an abelian group is quadratic when its polarization \(B(x,y)=q(x+y)-q(x)-q(y)+q(0)\) is symmetric and biadditive, equivalently when \(q\) satisfies identities such as \(q(x+y)+q(x-y)=2q(x)+2q(y)\) and all third finite differences vanish [2102.01592; 1912.08448]. This notion admits several technically distinct but closely related realizations: as degree-\(\le 2\) polynomial maps detected by iterated differences, as reduced functors \(F\colon \mathcal C\to Ab\) with vanishing third cross-effect, as solutions of functional equations on abelian groups and semigroups with involutions, as quadratic forms with coefficients in arithmetic groups, as quadratic \(\ell\)-adic sheaves enhancing finite-group quadratic forms, and as extended quadratic forms governed by quadratic form parameters over \(\mathbb Z\) [0810.4502; 2102.01789; 1703.06089; 2305.15164; 2404.09189]. ## 1. Classical definitions, polarization, and finite differences For a map \(q\colon X\to A\) between abelian groups, the classical quadratic condition is encoded by the polarization \[ B(x,y)=q(x+y)-q(x)-q(y)+q(0). \] In the functional-equation framework, a quadratic function \(q\colon X\to \mathbb R\) is one for which there exists a symmetric biadditive function \(B\colon X\times X\to \mathbb R\) such that \(q(x)=B(x,x)\), equivalently \[ q(x+y)+q(x-y)=2q(x)+2q(y) \] for all \(x,y\in X\); when \(q(0)=0\), the associated polarization is \[ B(x,y)=\tfrac12\bigl(q(x+y)-q(x)-q(y)\bigr) \] [2102.01592]. In this sense, “quadratic” is not defined by a coordinate expression but by second-order additivity. A parallel characterization uses finite-difference operators. For abelian groups \(G,H\), the functional degree of a map \(f\colon G\to H\) is defined through the augmentation ideal of \(\mathbb Z[G]\), and degree \(\le d\) is equivalent to the vanishing of all \((d+1)\)-fold iterated differences. The quadratic specialization is exact: \(f\) is quadratic precisely when \[ \Delta_{g_1}\Delta_{g_2}\Delta_{g_3}f(x)=0 \] for all \(x,g_1,g_2,g_3\in G\). In that case the second difference \[ B_f(g_1,g_2):=\Delta_{g_1}\Delta_{g_2}f(x) \] is independent of the base point \(x\), biadditive in each variable, and symmetric [1912.08448]. The same paper records the canonical decomposition \[ f(x)=c+L(x)+Q(x), \] where \(c\in H\) is constant, \(L\) has degree \(\le 1\), and \(Q\) is quadratic with \(\Delta_x\Delta_yQ=B_f(x,y)\) [1912.08448]. These two descriptions are compatible. The finite-difference criterion explains why polarization is bilinear: once third differences vanish, the second difference becomes translation-invariant and hence depends only on increments. A plausible implication is that the functional-equation and finite-difference approaches are best viewed as two normal forms of the same degree-\(2\) phenomenon: one emphasizes the Jensen-type identity, the other the annihilation of the third layer of difference operators. ## 2. Quadratic functors with values in \(Ab\) A categorical generalization replaces a single group by a pointed category \(\mathcal C\) with finite coproducts and a small regular projective generator \(E\). In this framework, a reduced functor \(F\colon \mathcal C\to Ab\) is polynomial of degree \(\le n\) when its \((n+1)\)-st cross-effect vanishes; in particular, \(F\) is linear iff \(cr_2F=0\), and quadratic iff \(cr_3F=0\) [0810.4502]. The second cross-effect is defined by \[ cr_2F(X,Y)=\ker\!\bigl(F(X\vee Y)\to F(X)\times F(Y)\bigr), \] with a split short exact sequence \[ 0\to F(X\mid Y)\to F(X\vee Y)\to F(X)\oplus F(Y)\to 0, \] and for \(Ab\)-valued functors \(cr_2F\) is additive in each variable [0810.4502]. When the target is \(Ab\), a reduced functor admits a decomposition over finite coproducts in terms of its cross-effects; for quadratic functors only \(cr_1\) and \(cr_2\) remain nonzero [0810.4502]. The paper identifies a precise analogue of classical polarization. For a normalized map \(\varphi\) of morphism-sets, a second cross-effect \(cr_2(\varphi)\) is defined using the reduced standard projective functor \(U_X\), and \(\varphi\) is quadratic iff this cross-effect is bilinear, i.e. factors through the bilinearization \(T_{11}(cr_2U_X)\) [0810.4502]. It also introduces the quadratization functor \(T_2\), the universal quadratic approximation left adjoint to the inclusion of degree-\(\le 2\) functors, and proves that \(T_{11}(cr_2F)\cong cr_2(T_2F)\) [0810.4502]. The main classification theorem states that reduced quadratic functors \(F\colon \mathcal C\to Ab\) preserving filtered colimits and suitable coequalizers are equivalent to quadratic \(\mathcal C\)-modules relative to \(E\). The minimal algebraic data are \[ M_e=F(E),\qquad M_{ee}=cr_2F(E,E), \] together with structure maps \(P\), an involution \(T\), and a map \(\hat H\) subject to relations \(QM1\) and \(QM2\); conversely, a quadratic functor is reconstructed from such data by a quadratic tensor product \(X\otimes M\) [0810.4502]. When \(E\) is a cogroup, the structure simplifies to maps \(H_1\) and \(H_2\), with \(T=H_1P-1\), and relations \(T1\)–\(T6\) make explicit the roles of the second Hopf invariant and the Whitehead product [0810.4502]. This yields the specializations to groups and to \(R\)-modules: for the category of free groups, quadratic \(\mathcal C\)-modules become abelian square groups; for finitely generated free \(R\)-modules, they become quadratic \(R\)-modules [0810.4502]. ## 3. Functional equations and the emergence of a common quadratic core Quadratic functions over abelian groups arise naturally as the rigid part of several functional equations. For the Kac–Bernstein equation \[ f(x+y)g(x-y)=f(x)f(y)g(x)g(-y) \] on an arbitrary abelian group \(X\), passing to logarithms yields an inhomogeneous d’Alembert-type equation. The proof applies finite-difference operators to show that the logarithms \(\Phi=\ln f\) and \(\Psi=\ln g\) are degree-\(\le 2\) Djoković polynomials, up to a term constant on cosets of \(X(2)=\{2x:x\in X\}\) [2102.01592]. The resulting structure theorem is exact: if \(f,g>0\), then there exist a real-valued quadratic function \(P\), additive real functions \(l,m\), and a real function \(r\) constant on cosets of \(X(2)\) such that \[ f(x)=\exp\{P(x)+l(x)+r(x)\},\qquad g(x)=\exp\{P(x)+m(x)-r(x)\} \] for all \(x\in X\), and conversely every such pair satisfies the Kac–Bernstein equation [2102.01592]. When \(X(2)=X\), the cosetwise constant term reduces to a global constant [2102.01592]. The same paper makes explicit that the quadratic parts of \(\ln f\) and \(\ln g\) coincide. This common \(P\) satisfies the quadratic identity \[ P(x+y)+P(x-y)=2\bigl(P(x)+P(y)\bigr), \] and on groups such as \(\mathbb Z^d\) or \(\mathbb R^d\) it can be written as \(P(x)=x^TQx\) for a real symmetric matrix \(Q\) [2102.01592]. In the Hermitian complex-valued case, unitary characters and sign functions constant on \(X(4)\)-cosets appear, but the same real quadratic core persists [2102.01592]. A related semigroup-theoretic result treats the quadratic-type equation \[ f(x+y,z+w)+f(x+\sigma(y),z+\tau(w))=2f(x,z)+2f(y,w) \] on a commutative semigroup \(S\) with involutions \(\sigma,\tau\), with values in an abelian group uniquely divisible by \(2\). The general solution has the form \[ f(u)=B(u,u)+T(u), \] where \(T\) is additive and invariant under \((\sigma,\tau)\), and \(B\) is symmetric and biadditive and anti-invariant in its first argument; moreover, \[ B(u,r)=\frac{f(u+r)-f(u+\sigma(r))}{4} \] is obtained by polarization [2102.01789]. For an abelian group with negation involution, the equation becomes \[ f(x+y,z+w)+f(x-y,z-w)=2f(x,z)+2f(y,w), \] a parallelogram-type identity recovering the standard quadratic/bilinear split [2102.01789]. These results show that, in several nontrivial functional equations, the genuinely nonlinear part is not arbitrary: it is forced into a quadratic form whose polarization controls the entire second-order behavior. This suggests that quadraticity often appears as the maximal nonlinearity compatible with strong additive symmetries. ## 4. Explicit models on abelian groups and finite-group arithmetic On finitely generated abelian groups, quadratic maps admit concrete representatives. For \(G\cong \bigoplus_i \mathbb Z/n_i\mathbb Z\), a quadratic map is determined up to affine-linear terms by a symmetric biadditive form \(B\), and one convenient representative uses binomial coefficients: \[ Q\!\left(\sum_i n_ie_i\right) = \sum_i b_{ii}\binom{n_i}{2} + \sum_{i \left(\sum_j \mathrm{Fdeg}(f_j)\right) \!\left(\sum_k (p^{\beta_k}-1)\right), \] the common zero set is not a singleton, and its cardinality is divisible by \(p\); when each \(f_i\) is quadratic, \(\sum \mathrm{Fdeg}(f_i)\le 2r\), giving the stated quadratic corollaries [1912.08448]. In the square domain–codomain case \(B=A\), if \(N>2r\), then the number of common zeros is divisible by \(p\) and the zero set is not a singleton [1912.08448]. A different arithmetic manifestation appears in diagonal quadratic forms with coefficients in an abelian group \(G\) equipped with reduction maps \(\rho_v\colon G\to G_v\). The form \[ Q(x_1,\dots,x_n)=x_1^2P_1+\cdots+x_n^2P_n \] is studied under assumption \(A1\) controlling \(l\)-adic orders of reductions of independent points [1703.06089]. The main local–global theorem states that for binary and ternary diagonal forms, local representability modulo almost all \(v\) implies global representability in \(G\), up to torsion [1703.06089]. The result holds for Mordell–Weil groups of abelian varieties with \(\operatorname{End}_{\overline K}(A)=\mathbb Z\), odd algebraic \(K\)-theory groups \(K_{2n+1}(K)\), and finitely generated subgroups of \(K^\times\) [1703.06089]. For rank \(n\ge 4\), however, the Hasse–Minkowski principle fails: the explicit form \[ F(x_1,\dots,x_n)=\bigl(2x_1^2+x_2^2+\cdots+x_n^2\bigr)P \] represents torsion modulo every \(v\) but has no nontrivial global torsion representation [1703.06089]. ## 5. Harmonic analysis, sheaf theory, and representation-theoretic enhancements Quadratic structures on finite abelian groups admit analytic and geometric lifts. For a finite abelian group \(G\) of odd order \(d\), the convolution-square equation \[ (f\star f)(2t)=\lambda f(t)^2 \] defines the notion of a critical value \(\lambda\): a complex number for which the equation has a nonzero solution [2208.02528]. The paper interprets the equation as quadratic both because it contains the pointwise square \(f(t)^2\) and because characters satisfy \(\chi(2t)=\chi(t)^2\) [2208.02528]. Its principal construction uses theta functions on abelian varieties with complex multiplication. Theorem 4.3 gives a critical value \[ \lambda_\nu=\epsilon_\nu\, d_\nu^{1/2}\,\det_\mathbb C(T_\nu)^{1/2},\qquad \epsilon_\nu^4=1, \] attached to a principally polarized abelian variety and a unitary endomorphism \(\nu\), and Theorem 5.5 rewrites it in CM-field terms as \[ \lambda_\nu=\epsilon_\nu\, d_\nu^{1/2}\,N_\Phi(\nu)^{1/2} \] [2208.02528]. The same paper proves structural constraints on critical values: they are algebraic integers, all Galois conjugates are critical, \(|\lambda|\le d\) with equality only for \(\lambda=d\), and only finitely many critical values exist on \(G\) [2208.02528]. The function-sheaf analogue is developed for connected unipotent commutative groups over finite fields. A quadratic \(\ell\)-adic sheaf \(Q\) on a perfect unipotent commutative group \(U\) is an invertible étale sheaf such that \[ B_Q:=m^*Q\otimes pr_1^*Q^{-1}\otimes pr_2^*Q^{-1} \] is bimultiplicative [2305.15164]. If the associated morphism \(l_Q\colon U\to U^*\) is finite étale, \(Q\) is called isogeneous; if \(\deg l_Q=1\), it is non-degenerate [2305.15164]. Over \(U=\mathbb G_a^{\mathrm{perf}}\), symmetric bimultiplicative sheaves are classified by additive endomorphisms \(f(X)\) through sheaves of the form \(L_\psi(f(x)y)\) [2305.15164]. The associated cohomology realizes a finite Heisenberg representation. If \(Q\) is isogeneous and \(d=\dim U\), then \(H^d(U_{\overline k},Q)\) carries an action of a finite Heisenberg group \(H\), and Theorem 5.5 states that this cohomology is the unique irreducible \(H\)-representation with the prescribed central character, of dimension \(|K|^{1/2}\), where \(K=\ker l_Q(\overline k)\) [2305.15164]. Cohomology is concentrated in degree \(d\), and Frobenius eigenvalues are of the form \(\zeta q^{d/2}\) with \(\zeta\) a root of unity [2305.15164]. In the non-degenerate case, the trace function \(t_{Q,q}\) on \(U(\mathbb F_q)\) is a non-degenerate quadratic form in the sense of finite abelian groups, and the Gauss sum \[ \sum_{x\in U(\mathbb F_q)} t_{Q,q}(x) \] equals \(( -1)^d T\), where \(T\) is the Frobenius eigenvalue on middle cohomology [2305.15164]. A Hasse–Davenport-type relation over \(\mathbb F_{q^n}\) is also proved [2305.15164]. This sheaf-theoretic enhancement places the classical polarization identity inside a geometric package: the bicharacter becomes the bimultiplicative sheaf \(B_Q\), non-degeneracy becomes the isogeny \(l_Q\), and Gauss sums become Frobenius traces. A plausible implication is that the classical theory of quadratic forms on finite abelian groups is the trace-level shadow of a richer representation-theoretic mechanism. ## 6. Extended quadratic forms, Witt groups, and algebraic classification over \(\mathbb Z\) A further generalization replaces scalar-valued quadratic maps by quadratic refinements controlled by a form parameter \(Q=(Q_e,h,p)\) over \(\mathbb Z\), where \[ h\circ p\circ h=2h,\qquad p\circ h\circ p=2p \] [2404.09189]. A \(Q\)-form on a finitely generated abelian group \(X\) is a triple \((X,\lambda,\mu)\) with \(\lambda\colon X\times X\to \mathbb Z\) an \(\varepsilon_Q\)-symmetric bilinear form and \(\mu\colon X\to Q_e\) satisfying \[ \mu(x+y)=\mu(x)+\mu(y)+p(\lambda(x,y)),\qquad h(\mu(x))=\lambda(x,x) \] [2404.09189]. Here the “polar” of \(\mu\) is \[ \mu(x+y)-\mu(x)-\mu(y)=p(\lambda(x,y)), \] so the classical pattern survives, but the target is no longer merely an abelian group: it is the coefficient object of an extended quadratic theory [2404.09189]. The paper classifies all quadratic form parameters over \(\mathbb Z\). The category \(\mathbf{FP}_+\) of symmetric parameters is equivalent to the slice category \(Ab/\mathbb Z_2\), while the anti-symmetric category \(\mathbf{FP}_-\) is equivalent to the coslice category \(\mathbb Z_2/Ab\) [2404.09189]. Indecomposable parameters include the symmetric \(Q_+\), \(Q^+\), \(\mathbb Z_{P,\infty}\), \(\mathbb Z_{P,k}\), and the anti-symmetric \(Q_-\), \(Q^-\), \(\mathbb Z_{A,k}\); every parameter admits a maximal splitting into one of these indecomposables plus an abelian-group summand [2404.09189]. For nonsingular \(Q\)-forms, the corresponding Witt group \(W_0(Q)\) is computed explicitly. The principal examples are: \[ W_0(Q^+)\cong \mathbb Z,\qquad W_0(\mathbb Z_{P,\infty})\cong \mathbb Z\oplus \mathbb Z,\qquad W_0(\mathbb Z_{P,k})\cong \mathbb Z\oplus \mathbb Z/2^{k-1}\mathbb Z, \] in the symmetric case, and \[ W_0(Q^-)\cong \mathbb Z/2\mathbb Z,\qquad W_0(Q_-)=0,\qquad W_0(\mathbb Z_{A,k})=0 \] in the anti-symmetric case [2404.09189]. The invariants are the signature \(o\), the Arf invariant \(c\), and the refined \(2\)-primary invariants \(P_k\) built from characteristic elements [2404.09189]. For split parameters \(Q\oplus G\), the Witt group decomposes as \[ W_0(Q\oplus G)\cong W_0(Q)\oplus (G\otimes_{\mathrm{quad}}Q), \] where the quadratic tensor product is governed by exact sequences involving the symmetric square in the symmetric case and the anti-symmetric square quotient in the anti-symmetric case [2404.09189]. This framework connects directly to Wall’s extended quadratic forms in manifold theory: the parameter \(T_{q-1}\{SO_q\}\) controls \((q-1)\)-connected \(2q\)-manifolds with connected boundary, and the resulting Witt groups govern boundary homotopy spheres and surgery-theoretic classifications [2404.09189]. The broader lesson is that quadraticity over abelian groups is not confined to scalar functions; it also underlies the structure of refinements of bilinear forms, their metabolic theory, and their Witt-theoretic invariants. ## 7. Scope, specializations, and recurring structural themes Across these frameworks, several structural themes recur. First, the decisive invariant is always a second-order object: a symmetric biadditive form, a second cross-effect, a bimultiplicative sheaf, or a bilinear form \(\lambda\) together with a quadratic refinement \(\mu\) [0810.4502; 2305.15164; 2404.09189]. Second, the disappearance of third-order information is the operative degree-\(2\) condition, whether expressed as \(cr_3F=0\), \(\Delta^3f=0\), or the solvability of a quadratic-type functional equation [0810.4502; 1912.08448; 2102.01789]. Third, \(2\)-primary phenomena are exceptional and structurally important: they govern cosetwise constants on \(X(2)\), the sharp \(X(4)\)-behavior of sign functions, the need for binomial-coefficient representatives when division by \(2\) is unavailable, and the torsion structure of Witt groups [2102.01592; 1912.08448; 2404.09189]. There are also important limitations and non-equivalences. Diagonalization is not generally available for quadratic forms with coefficients in an arbitrary abelian group equipped with reduction maps, and Hasse–Minkowski holds only in ranks \(2\) and \(3\) in the group-valued setting studied in [1703.06089]. In the categorical theory, equivalence with quadratic modules requires preservation of filtered colimits and suitable coequalizers, or reflexive coequalizers in the Mal’cev and Barr-exact case [0810.4502]. In the convolution-square theory, the odd-order hypothesis is intrinsic because the doubling map must be invertible [2208.02528]. In the sheaf-theoretic theory, isogeneity of \(l_Q\) is the condition ensuring cohomological concentration and the Heisenberg action [2305.15164]. Taken together, these results describe a coherent mathematical landscape. Quadratic functions over abelian groups are characterized by bilinear polarization, vanishings of third-order difference or cross-effect operators, and reconstruction from small algebraic data. Their manifestations range from explicit formulas on finite \(p\)-groups and rigidity phenomena in functional equations to Heisenberg representations, Gauss sums, local–global principles, and Witt groups of extended quadratic forms [1912.08448; 2102.01592; 1703.06089; 2305.15164; 2404.09189]. This suggests that “quadratic over an abelian group” is less a single definition than a stable degree-\(2\) paradigm whose algebraic core persists across category theory, arithmetic, harmonic analysis, and geometry. Source: https://www.emergentmind.com/topics/quadratic-functions-over-abelian-groups