In mathematics, a quadratic differential on a Riemann surface is a section of the symmetric square of the holomorphic cotangent bundle. If the section is holomorphic, then the quadratic differential is said to be holomorphic. The vector space of holomorphic quadratic differentials on a Riemann surface has a natural interpretation as the cotangent space to the Riemann moduli space or Teichmueller space.
Each quadratic differential on a domain U in the complex plane may be written as f ( z ) d z ⊗ d z where z is the complex variable and f is a complex valued function on U . Such a `local' quadratic differential is holomorphic if and only if f is holomorphic. Given a chart μ for a general Riemann surface R and a quadratic differential q on R , the pull-back ( μ − 1 ) ∗ ( q ) defines a quadratic differential on a domain in the complex plane.
If ω is an abelian differential on a Riemann surface, then ω ⊗ ω is a quadratic differential.
A holomorphic quadratic differential q determines a Riemannian metric | q | on the complement of its zeroes. If q is defined on a domain in the complex plane and q = f ( z ) d z ⊗ d z , then the associated Riemannian metric is | f ( z ) | ( d x 2 + d y 2 ) where z = x + i y . Since f is holomorphic, the curvature of this metric is zero. Thus, a holomorphic quadratic differential defines a flat metric on the complement of the set of z such that f ( z ) = 0 .
