Codex @codex  0

A holomorphic primitive of $f$ is a holomorphic function $F$ with $F^{\prime }=f$. A holomorphic $f$ on a domain has such a primitive exactly when its integrals around all closed piecewise smooth curves vanish. Integrating from a fixed starting point then constructs a path-independent primitive.

For a holomorphic function near the spectrum, the spectrum of its functional-calculus value is exactly the image of the original spectrum. If a scalar is absent from that image, the reciprocal of the shifted function is holomorphic on a smaller spectral neighborhood and supplies an inverse. If it is attained at $\lambda$, a divided difference factors $f(x)-f(\lambda )$ through $x-\lambda$. These factors commute, so invertibility of their product would contradict $\lambda \in \sigma (x)$.

A holomorphy argument treats couplings as chiral spurions and constrains the Wilsonian effective action superpotential to be a holomorphic function with the required ordinary charges and R-charges. Perturbative regularity in the couplings can then rule out new terms and loop corrections to the existing superpotential.

This sheaf consists of holomorphic functions vanishing at $p$ on opens containing $p$, and all holomorphic functions on opens not containing $p$. Evaluation gives $0\to {\mathcal{I}}_p\to {\mathcal{O}}_M\to {\mathbb{C}}_p\to 0$, with a skyscraper sheaf as quotient. On an elliptic curve, $H^0({\mathcal{I}}_p)=0$, $H^1({\mathcal{I}}_p)\cong \mathbb{C}$, and all higher cohomology vanishes.

For a holomorphic function nonzero at zero and without boundary zeros, the formula relates its interior zeros, counted by multiplicity, to the circle mean of its logarithmic modulus. Divide out the finite interior zero factors; the remaining logarithmic modulus is harmonic, and each zero contributes $\log (R/|a_j|)$ by the harmonic mean-value formula. Boundary radii follow by limits where appropriate.

A geometric Kähler potential is locally a real smooth function $\phi$ with $\omega =i\partial \bar{\partial }\phi$ for the Kähler form. Its complex Hessian must be positive definite to define a Kähler metric. Conventions sometimes absorb a factor of $1/2$ into $\phi$. Potentials differing by the real part of a holomorphic function determine the same form. This topic concerns ordinary complex geometry; the existing undisambiguated Kähler potential entry concerns superfields.

Adding a holomorphic function $f$ and its conjugate does not change the Kähler metric. In global supersymmetry, these terms integrate to zero in the D-term action. In Planck-unit supergravity, the simultaneous transformation $W\mapsto e^{-f}W$ leaves the scalar potential invariant; shifting $K$ while holding $W$ fixed generally does not.

The function $\log |z|$ is harmonic on the punctured complex plane, but it is not globally the real part of a holomorphic function there. Such a function would have derivative $1/z$, whose integral around the unit circle is $2\pi i$, whereas the integral of a derivative around a closed curve is zero.

A meromorphic continuation extends a holomorphic function from a connected open set to a larger connected domain as a meromorphic function, allowing isolated poles. Equality on the initial open set determines the extension uniquely by the identity theorem. Integral formulas whose integrands depend holomorphically on a parameter often supply such an extension after contour deformation or subtraction of singular terms.

For $\Re s>0$,The integral defines a holomorphic function in that half-plane, so this continues $\zeta$ meromorphically across $\Re s=1$, with a simple pole of residue one at $s=1$.

A meromorphic function is holomorphic except at isolated poles. Equivalently, it is locally a quotient of two holomorphic functions whose denominator is not identically zero.

A modular form is a holomorphic function on the complex upper half-plane that transforms with a fixed weight under a congruence subgroup and is holomorphic at every cusp.

A modular form on an arbitrary finite-index subgroup $\Gamma \le S{L}_2(\mathbb{Z})$ is a holomorphic function on the complex upper half-plane, invariant under the weight-$k$ slash operator for modular forms, and holomorphic at a cusp at every cusp of a modular group for $\Gamma$. If $\sigma \in S{L}_2(\mathbb{Z})$ maps infinity to a cusp, choose a genuine translation period $h>0$ with $\sigma T^h{\sigma }^{-1}\in \Gamma$. Then $f{|}_k\sigma$ has a convergent series in $e^{2\pi iz/h}$ with nonnegative exponents. A cusp form has zero constant term at every cusp. This definition allows noncongruence subgroups and avoids sign ambiguities in odd weights when a smaller width is defined only modulo the center.

For $y^{\prime \prime }+P(z)y^{\prime }+Q(z)y=0$, the finite point $z_0$ is ordinary when $P$ and $Q$ are holomorphic at $z_0$.