Ordinary differential forms measure oriented infinitesimal volume. On a real smooth manifold, a $k$-form only remembers its total degree $k$. Complex geometry needs a finer measurement. A complex coordinate $z_i=x_i+i y_i$ has two natural infinitesimal covectors, $dz_i$ and $d\bar z_i$, and these behave differently under holomorphic coordinate changes. A $(p,q)$-form is the part of a differential form with $p$ holomorphic covector factors and $q$ antiholomorphic covector factors. This distinction is structural. The equation $\bar\partial f=0$ is the coordinate-free form of holomorphicity, Dolbeault cohomology is graded by pairs $(p,q)$, and Hermitian metrics are naturally encoded by real $(1,1)$-forms. Thus $(p,q)$-forms are a basic language for complex manifolds, several complex variables, and complex versions of de Rham cohomology. ## Definition The basic purpose of the definition is to separate a complex-valued form by the kind of complex covectors it uses. A form of type $(p,q)$ has exactly $p$ holomorphic covector factors and exactly $q$ antiholomorphic covector factors at every point. Here $(T^*M)^{1,0}$ denotes the bundle of holomorphic cotangent directions, locally spanned by the coordinate covectors $dz_i$, while $(T^*M)^{0,1}$ denotes the antiholomorphic cotangent directions, locally spanned by the $d\bar z_i$. The exterior power $\Lambda^p$ means that $p$ such covectors are wedged alternately, the [tensor product](/page/Tensor%20Product) combines the holomorphic and antiholomorphic parts over $\mathbb C$, and a section is a smooth choice of such an alternating covector at every point of $M$. [definition: Form of Type P Q] Let $M$ be a complex manifold of complex dimension $n$. For integers $p,q$ with $0\le p,q\le n$, a smooth $(p,q)$-form on $M$ is a smooth section of the complex vector bundle \begin{align*} \Lambda^{p,q}T^*M=\Lambda^p (T^*M)^{1,0}\otimes_{\mathbb C}\Lambda^q (T^*M)^{0,1}. \end{align*} The space of smooth $(p,q)$-forms on $M$ is denoted by \begin{align*} \Omega^{p,q}(M)=\Gamma\left(\Lambda^{p,q}T^*M\right). \end{align*} [/definition] On $\mathbb C^2$, the coordinate form $dz_1\wedge d\bar z_2$ is already a $(1,1)$-form: it uses one holomorphic covector and one antiholomorphic covector. By contrast, $dz_1\wedge dz_2$ has type $(2,0)$, and $d\bar z_1\wedge d\bar z_2$ has type $(0,2)$. This local count is the fibrewise rule encoded by the bundle notation above. [example: Reading the Bidegree] On $\mathbb C^2$, the form \begin{align*} z_1\,dz_1\wedge d\bar z_2 \end{align*} has type $(1,1)$ because its coefficient is a smooth function and its wedge factor contains one $dz$ covector and one $d\bar z$ covector. The coefficient does not change the bidegree; only the covector factors do. [/example] This definition is compact because it refers to the holomorphic and antiholomorphic cotangent bundles. The rest of this section unpacks those ingredients, starting from the real cotangent bundle underneath the complex manifold. ### Holomorphic and Antiholomorphic Cotangent Directions The cotangent bundle of the underlying smooth manifold is real, while the symbols $dz_i$ and $d\bar z_i$ are complex-valued covectors. To make the notation intrinsic, the real cotangent spaces are first enlarged by allowing complex scalar coefficients. The complex structure then separates the enlarged space into holomorphic and antiholomorphic parts. [definition: Complexified Cotangent Space] Let $M$ be a smooth manifold. The complexified cotangent space at $x\in M$ is \begin{align*} T_x^*M\otimes_{\mathbb R}\mathbb C. \end{align*} The complexified cotangent bundle is \begin{align*} T^*M\otimes_{\mathbb R}\mathbb C=\bigsqcup_{x\in M}\left(T_x^*M\otimes_{\mathbb R}\mathbb C\right). \end{align*} [/definition] The complexified cotangent space alone does not know which covectors should count as complex-linear and which should count as conjugate-linear. Without an intrinsic split, a local expression involving $dz_i$ and $d\bar z_i$ would depend on the chosen chart rather than on the complex structure of $M$. The next definition supplies the missing intrinsic split: it singles out the two coordinate-stable subspaces that will later provide the two indices in a $(p,q)$-form. The key point is that holomorphic coordinate changes preserve the distinction between differentials of the coordinates and differentials of their complex conjugates. Thus the spans of the $dz_i$ and the $d\bar z_i$ are not just chart artifacts; they are the intrinsic covector directions that measure holomorphic and antiholomorphic variation separately. [definition: Holomorphic and Antiholomorphic Cotangent Spaces] Let $M$ be a complex manifold of complex dimension $n$, and let $x\in M$. The holomorphic cotangent space $(T_x^*M)^{1,0}$ is the complex vector subspace of $T_x^*M\otimes_{\mathbb R}\mathbb C$ spanned in any holomorphic coordinate chart $(U,\varphi)$ with coordinates $(z_1,\ldots,z_n)$ by the covectors $dz_1,\ldots,dz_n$. The antiholomorphic cotangent space $(T_x^*M)^{0,1}$ is the complex vector subspace of $T_x^*M\otimes_{\mathbb R}\mathbb C$ spanned in the same chart by the covectors $d\bar z_1,\ldots,d\bar z_n$. [/definition] Holomorphic coordinate changes express each new $dw_i$ as a complex linear combination of the old $dz_j$, and each new $d\bar w_i$ as a complex linear combination of the old $d\bar z_j$. This is why the two spaces above are intrinsic. Once those two spaces are available, the next step is to build alternating covectors with a prescribed number of factors of each type. [definition: Covector of Type P Q] Let $M$ be a complex manifold of complex dimension $n$, and let $x\in M$. For integers $p,q$ with $0\le p,q\le n$, a $(p,q)$-covector at $x$ is an element of \begin{align*} \Lambda^p (T_x^*M)^{1,0}\otimes_{\mathbb C}\Lambda^q (T_x^*M)^{0,1}. \end{align*} The [vector space](/page/Vector%20Space) of all $(p,q)$-covectors at $x$ is denoted by $\Lambda_x^{p,q}M$. [/definition] A single covector at one point is not enough for calculus. Differential operators and integration require a smoothly varying covector at every point; that is why the primary definition used sections of the bundle $\Lambda^{p,q}T^*M$. ### Local Coordinate Formula If $p<0$, $q<0$, $p>n$, or $q>n$, the convention is $\Omega^{p,q}(M)=\{0\}$. The total degree of a $(p,q)$-form is $p+q$, but the bidegree carries additional information that is invisible on the underlying real manifold. To compute with these forms, the abstract section definition must be translated into coordinates. [definition: Local Expression of Form of Type P Q] Let $M$ be a complex manifold of complex dimension $n$, and let $(U,\varphi)$ be a holomorphic chart with coordinates $(z_1,\ldots,z_n)$. A smooth $(p,q)$-form $\alpha\in\Omega^{p,q}(M)$ has a local expression on $U$ of the form \begin{align*} \alpha|_U=\sum_{|I|=p,\,|J|=q}\alpha_{I J}\,dz_I\wedge d\bar z_J, \end{align*} where $I=(i_1<\cdots<i_p)$, $J=(j_1<\cdots<j_q)$, $dz_I=dz_{i_1}\wedge\cdots\wedge dz_{i_p}$, $d\bar z_J=d\bar z_{j_1}\wedge\cdots\wedge d\bar z_{j_q}$, and each coefficient $\alpha_{I J}:U\to\mathbb C$ is smooth. [/definition] The ordered index notation records increasing lists of coordinate labels used in wedge products. It is separate from derivative multi-index notation. The expression shows that a $(p,q)$-form is a sum of terms with exactly $p$ symbols $dz_i$ and exactly $q$ symbols $d\bar z_j$. ## Equivalent Characterisations ### Bidegree Projections The definition above is bundle-theoretic, while many arguments begin with an ordinary complex-valued form and ask for its pieces. A complex manifold provides a canonical sorting mechanism by bidegree. The existence of this sorting comes from the fibrewise exterior algebra. [quotetheorem:7975] This vanishing convention is not just a boundary case; it is what makes formulas involving bidegrees uniform. It records that the possible types form a finite bidegree square: $0\le p,q\le n$. Thus types such as $(n+1,q)$, $(p,-1)$, or $(3,1)$ on a complex surface are interpreted as zero spaces rather than as additional objects. Later, this lets expressions such as $\partial:\Omega^{p,q}(M)\to\Omega^{p+1,q}(M)$ remain meaningful even at the edge of the bidegree square: the target may simply be the zero space. A projection notation is reliable because the direct sum above is intrinsic. In computations, this matters because an ordinary complex-valued $k$-form may contain several types at once, and later arguments often need to keep only one of them. Naming the decomposition prevents phrases such as "take the $(p,q)$-part" from depending on a chosen chart. [definition: Bidegree Decomposition] Let $M$ be a complex manifold of complex dimension $n$, let $k$ be an integer with $0\le k\le 2n$, and let $\alpha\in\Omega^k(M;\mathbb C)$. The bidegree decomposition of $\alpha$ is the expression \begin{align*} \alpha=\sum_{\substack{0\le p,q\le n,\ p+q=k}}\alpha^{p,q}, \qquad \alpha^{p,q}\in\Omega^{p,q}(M). \end{align*} For integers $p,q$ with $0\le p,q\le n$ and $p+q=k$, the projection onto the $(p,q)$-summand is the map \begin{align*} \pi^{p,q}:\Omega^k(M;\mathbb C)&\to\Omega^{p,q}(M). \end{align*} The $(p,q)$-component of $\alpha$ is $\pi^{p,q}(\alpha)$. [/definition] ### Dolbeault Pieces of the Exterior Derivative Differentiating a form raises total degree by one, but complex geometry asks which part of the bidegree increases. The holomorphic variables and antiholomorphic variables produce two separate first-order pieces. Naming those pieces is necessary before forming complexes and cohomology groups. [definition: Dolbeault Operators] Let $M$ be a complex manifold of complex dimension $n$, with the convention that $\Omega^{a,b}(M)=\{0\}$ whenever $a<0$, $b<0$, $a>n$, or $b>n$. For integers $p,q$ with $0\le p,q\le n$, the Dolbeault operators $\partial:\Omega^{p,q}(M)\to\Omega^{p+1,q}(M)$ and $\bar\partial:\Omega^{p,q}(M)\to\Omega^{p,q+1}(M)$ are the components of the [exterior derivative](/theorems/1525) $d$ determined by \begin{align*} d\alpha=\partial\alpha+\bar\partial\alpha \end{align*} for every $\alpha\in\Omega^{p,q}(M)$. [/definition] The two Dolbeault operators separate variation in holomorphic directions from variation in antiholomorphic directions. This separation would collapse if applying one of the operators twice produced a new component in the same direction, or if the mixed pieces failed to cancel inside $d^2=0$. Before using $\bar\partial$ to define cohomology or to test holomorphicity, one must know that these pieces obey the same differential relations as the exterior derivative. The following structural result records exactly that compatibility with the bigrading. [quotetheorem:7976] The first nontrivial test for the theory is degree $(0,0)$, where forms are just smooth complex-valued functions. In that degree, $\bar\partial f$ measures the antiholomorphic part of the first derivative, so vanishing of $\bar\partial f$ is exactly the condition that no $\bar z$-variation remains. This connects the operator definition with the classical local criterion for holomorphicity. In the quoted several-variable criterion below, $\mathbb D^n(a,r)$ denotes the polydisc centered at $a$ with positive polyradius $r=(r_1,\ldots,r_n)$, and the multi-index notation means $(z-a)^\alpha=(z_1-a_1)^{\alpha_1}\cdots(z_n-a_n)^{\alpha_n}$ for $\alpha\in\mathbb N^n$. [quotetheorem:3399] This theorem anchors the notation in ordinary complex analysis: the operator $\bar\partial$ is not an extra structure added to holomorphic functions, but a coordinate-free way to detect them. On an [open set](/page/Open%20Set) in $\mathbb C$, it recovers the Cauchy-Riemann condition that the $d\bar z$ part of $df$ vanish; constant functions and ordinary holomorphic polynomials satisfy it, while a function such as $\bar z$ does not. This degree-zero test is the model for the later cohomological construction. At this stage, the important point is only the kernel condition: asking for $\bar\partial f=0$ selects the holomorphic functions among all smooth complex-valued functions. Higher bidegrees will add a second feature, namely identifying forms that differ by a $\bar\partial$-derivative, but that quotient language is introduced only after the examples have made the operator concrete. ## Standard Examples ### Coordinate Splittings The smallest nonzero complex dimension already shows the difference between total degree and bidegree. On $\mathbb C$, every complex-valued $1$-form splits into a $(1,0)$ part and a $(0,1)$ part. [example: One-Forms on the Complex Plane] Let $U\subset\mathbb C$ be open with coordinate $z=x+iy$. Taking differentials of $z=x+iy$ and $\bar z=x-iy$ gives \begin{align*} dz=dx+i\,dy. \end{align*} \begin{align*} d\bar z=dx-i\,dy. \end{align*} Adding these two identities gives \begin{align*} dz+d\bar z=(dx+i\,dy)+(dx-i\,dy)=2\,dx. \end{align*} Multiplying by $\frac12$ gives \begin{align*} dx=\frac12(dz+d\bar z). \end{align*} Subtracting the second identity from the first gives \begin{align*} dz-d\bar z=(dx+i\,dy)-(dx-i\,dy)=2i\,dy. \end{align*} Multiplying by $\frac{1}{2i}$ gives \begin{align*} dy=\frac{1}{2i}(dz-d\bar z). \end{align*} The term $\frac12 dz$ has type $(1,0)$ and the term $\frac12 d\bar z$ has type $(0,1)$, so \begin{align*} dx=\frac12 dz+\frac12 d\bar z \end{align*} is not of pure type. This example shows why the complexified cotangent space is needed: even a real coordinate $1$-form can split into several bidegrees. [/example] ### Wedge Products and Vanishing The next example shows how bidegree is counted in a product of coordinate differentials. The order of wedge factors matters for signs, but the type only counts holomorphic and antiholomorphic entries. This is the computational meaning of the wedge-product rule for pure types: wedging a $(p,q)$-form with an $(r,s)$-form produces type $(p+r,q+s)$ unless antisymmetry or the dimension range forces the result to vanish. Thus examples should be read in two stages: first count the formal bidegree of the wedge factors, and then check whether repeated coordinate covectors or an impossible bidegree make the form zero. [example: A Form of Type Two One on Complex Three-Space] On $\mathbb C^3$ with coordinates $(z_1,z_2,z_3)$, define \begin{align*} \alpha=z_1\bar z_2\,dz_1\wedge dz_3\wedge d\bar z_2. \end{align*} The coefficient $z_1\bar z_2$ is smooth, and the wedge factor $dz_1\wedge dz_3\wedge d\bar z_2$ contains exactly two holomorphic covectors and one antiholomorphic covector. Therefore $\alpha$ is a $(2,1)$-form. For the holomorphic part of the derivative, write $f=z_1\bar z_2$. Since $\frac{\partial f}{\partial z_1}=\bar z_2$, $\frac{\partial f}{\partial z_2}=0$, and $\frac{\partial f}{\partial z_3}=0$, we have \begin{align*} \partial f=\bar z_2\,dz_1. \end{align*} The coordinate forms $dz_1$, $dz_3$, and $d\bar z_2$ are constant, so differentiating $\alpha=f\,dz_1\wedge dz_3\wedge d\bar z_2$ gives \begin{align*} \partial\alpha=(\partial f)\wedge dz_1\wedge dz_3\wedge d\bar z_2. \end{align*} Substituting $\partial f=\bar z_2\,dz_1$ gives \begin{align*} \partial\alpha=\bar z_2\,dz_1\wedge dz_1\wedge dz_3\wedge d\bar z_2. \end{align*} Because $dz_1\wedge dz_1=0$, this becomes \begin{align*} \partial\alpha=0. \end{align*} For the antiholomorphic part, $\frac{\partial f}{\partial \bar z_1}=0$, $\frac{\partial f}{\partial \bar z_2}=z_1$, and $\frac{\partial f}{\partial \bar z_3}=0$, so \begin{align*} \bar\partial f=z_1\,d\bar z_2. \end{align*} Thus \begin{align*} \bar\partial\alpha=(\bar\partial f)\wedge dz_1\wedge dz_3\wedge d\bar z_2. \end{align*} Substituting $\bar\partial f=z_1\,d\bar z_2$ gives \begin{align*} \bar\partial\alpha=z_1\,d\bar z_2\wedge dz_1\wedge dz_3\wedge d\bar z_2. \end{align*} Moving the first $d\bar z_2$ past $dz_1$ and $dz_3$ introduces two sign changes, so the sign is unchanged: \begin{align*} d\bar z_2\wedge dz_1\wedge dz_3\wedge d\bar z_2=dz_1\wedge dz_3\wedge d\bar z_2\wedge d\bar z_2. \end{align*} Because $d\bar z_2\wedge d\bar z_2=0$, we get \begin{align*} \bar\partial\alpha=0. \end{align*} The example has the expected bidegrees before vanishing: $\partial\alpha$ would lie in type $(3,1)$ and $\bar\partial\alpha$ would lie in type $(2,2)$, but both are zero here because the only nonzero coefficient derivatives create repeated wedge factors. [/example] ### Top Degree and Real Forms Top-degree forms show how $(p,q)$-forms interact with integration. On a complex $n$-manifold, real dimension is $2n$, and the forms of type $(n,n)$ are the complex-valued top-degree forms. [example: Top Bidegree on Complex Euclidean Space] On $\mathbb C^n$ with coordinates $z_j=x_j+i y_j$, the form \begin{align*} \omega=f\,dz_1\wedge\cdots\wedge dz_n\wedge d\bar z_1\wedge\cdots\wedge d\bar z_n \end{align*} has $n$ holomorphic covector factors and $n$ antiholomorphic covector factors, so it has type $(n,n)$. For each $j$, taking differentials gives \begin{align*} dz_j=dx_j+i\,dy_j \end{align*} and \begin{align*} d\bar z_j=dx_j-i\,dy_j. \end{align*} Expanding the wedge product, \begin{align*} dz_j\wedge d\bar z_j=(dx_j+i\,dy_j)\wedge(dx_j-i\,dy_j). \end{align*} Using bilinearity and $dx_j\wedge dx_j=dy_j\wedge dy_j=0$, \begin{align*} dz_j\wedge d\bar z_j=-i\,dx_j\wedge dy_j+i\,dy_j\wedge dx_j. \end{align*} Since $dy_j\wedge dx_j=-dx_j\wedge dy_j$, \begin{align*} dz_j\wedge d\bar z_j=-2i\,dx_j\wedge dy_j. \end{align*} To group the factors in $\omega$ as $(dz_1\wedge d\bar z_1)\wedge\cdots\wedge(dz_n\wedge d\bar z_n)$, the factor $d\bar z_j$ must move past $dz_{j+1},\ldots,dz_n$, giving $n-j$ sign changes. Hence the total sign is \begin{align*} (-1)^{(n-1)+(n-2)+\cdots+1}=(-1)^{n(n-1)/2}. \end{align*} Therefore \begin{align*} \omega=f\,(-1)^{n(n-1)/2}\,(dz_1\wedge d\bar z_1)\wedge\cdots\wedge(dz_n\wedge d\bar z_n). \end{align*} Substituting $dz_j\wedge d\bar z_j=-2i\,dx_j\wedge dy_j$ for each $j$ gives \begin{align*} \omega=f\,(-1)^{n(n-1)/2}(-2i)^n\,dx_1\wedge dy_1\wedge\cdots\wedge dx_n\wedge dy_n. \end{align*} Thus a compactly supported $(n,n)$-form on $\mathbb C^n$ is exactly a complex-valued multiple of the usual real top-degree volume form, which is why $(n,n)$-forms are the natural complex forms to integrate over complex $n$-manifolds. [/example] A common mistake is to assume that every real form has a single type. The first example already shows the failure in degree $1$; the following example shows the same phenomenon in degree $2$, where it matters for Hermitian geometry. [example: A Real Two-Form with Mixed Type] On $\mathbb C^2$ with coordinates $z_1=x_1+iy_1$ and $z_2=x_2+iy_2$, consider the real $2$-form \begin{align*} \beta=dx_1\wedge dx_2. \end{align*} From $z_j=x_j+iy_j$ and $\bar z_j=x_j-iy_j$, taking differentials gives \begin{align*} dz_j=dx_j+i\,dy_j. \end{align*} \begin{align*} d\bar z_j=dx_j-i\,dy_j. \end{align*} Adding these identities gives \begin{align*} dz_j+d\bar z_j=(dx_j+i\,dy_j)+(dx_j-i\,dy_j)=2\,dx_j. \end{align*} Hence \begin{align*} dx_j=\frac12(dz_j+d\bar z_j). \end{align*} Substituting this formula for $j=1$ and $j=2$ into $\beta$ gives \begin{align*} \beta=\frac12(dz_1+d\bar z_1)\wedge \frac12(dz_2+d\bar z_2). \end{align*} Pulling out the scalar factor gives \begin{align*} \beta=\frac14(dz_1+d\bar z_1)\wedge(dz_2+d\bar z_2). \end{align*} By bilinearity of the wedge product, the expansion is \begin{align*} (dz_1+d\bar z_1)\wedge(dz_2+d\bar z_2)=dz_1\wedge dz_2+dz_1\wedge d\bar z_2+d\bar z_1\wedge dz_2+d\bar z_1\wedge d\bar z_2. \end{align*} Therefore \begin{align*} \beta=\frac14 dz_1\wedge dz_2+\frac14 dz_1\wedge d\bar z_2+\frac14 d\bar z_1\wedge dz_2+\frac14 d\bar z_1\wedge d\bar z_2. \end{align*} The first term has two holomorphic covectors, so it has type $(2,0)$. The middle two terms each have one holomorphic and one antiholomorphic covector, so together they form the $(1,1)$-part. The last term has two antiholomorphic covectors, so it has type $(0,2)$. Thus $\beta$ is a real $2$-form whose bidegree decomposition has $(2,0)$, $(1,1)$, and $(0,2)$ components, so it is not of pure type. [/example] ## Bidegree Algebra and Dolbeault Structure ### Dimension Bounds The exterior algebra has dimension limits before any differential operation is introduced. In complex dimension $n$, there are only $n$ independent holomorphic covectors and $n$ independent antiholomorphic covectors at each point. This gives the basic vanishing range for $(p,q)$-forms. [quotetheorem:7977] This is the sharp dimension bound, not a convention imposed for convenience. The statement says that the two indices are independently limited by the complex dimension, so the bidegree square stops at $(n,n)$. In applications, this keeps boundary cases from creating artificial extra components. The result is useful because it makes boundary cases automatic. On a complex curve, every $(2,0)$-, $(0,2)$-, or $(1,2)$-expression vanishes before any coefficient is considered. On a complex surface, $(2,2)$ is the top bidegree, while a formal target such as $\Omega^{3,1}(M)$ is already the zero space. Consequently formulas such as $\partial:\Omega^{n,q}(M)\to\Omega^{n+1,q}(M)$ and wedge products whose bidegrees exceed $(n,n)$ do not require exceptional clauses: the out-of-range component simply contributes zero. At the top bidegrees this is exactly what distinguishes potentially integrable $(n,n)$-forms from symbolic expressions with too many factors of one type. ### Wedge Product Bookkeeping A nonzero product of forms must also respect the two parts of the bidegree. The wedge product is the basic multiplication operation on forms, so the bigrading would be hard to use if multiplication mixed types unpredictably. The following theorem gives the bookkeeping rule used in almost every calculation with typed forms. [quotetheorem:7978] The theorem says that pure type is stable under the basic multiplication operation on differential forms. For example, a $(1,0)$-form wedged with a $(0,1)$-form has type $(1,1)$, and on a complex surface the wedge of two $(1,1)$-forms has type $(2,2)$. This is the bidegree analogue of the ordinary rule that a $k$-form wedged with an $\ell$-form has total degree $k+\ell$, but it keeps track of the holomorphic and antiholomorphic counts separately. The hypotheses also explain the limitation of the rule. If one factor is not of pure type, it must first be decomposed into its $(p,q)$-components and the wedge product is computed component by component. If the formal sum of bidegrees leaves the range allowed by the previous theorem, that component is zero rather than a new type of form. This is why computations with Hermitian forms, curvature forms, and Dolbeault complexes can multiply typed pieces without losing control of which summand of the bigraded algebra the answer belongs to. ### Conjugation and Cohomology Complex conjugation is another operation that interacts tightly with type. It sends $dz_i$ to $d\bar z_i$ and $d\bar z_i$ to $dz_i$, so a form of pure type usually cannot remain in the same bidegree after conjugation. To use real and complex forms together, one needs the precise rule for how conjugation exchanges the two indices of the bigrading. [quotetheorem:7979] The conjugation rule explains why real forms of pure type are concentrated along matching bidegrees unless conjugate components are paired. Cohomology requires a second layer of structure: a differential whose square is zero inside the bigraded system. The operator $\bar\partial$ provides that differential and leads to the following quotient. [definition: Dolbeault Cohomology Group] Let $M$ be a complex manifold of complex dimension $n$. For integers $p,q$ with $0\le p,q\le n$, the Dolbeault cohomology group of bidegree $(p,q)$ is \begin{align*} H^{p,q}_{\bar\partial}(M)=\frac{\ker\left(\bar\partial:\Omega^{p,q}(M)\to\Omega^{p,q+1}(M)\right)}{\operatorname{im}\left(\bar\partial:\Omega^{p,q-1}(M)\to\Omega^{p,q}(M)\right)}. \end{align*} [/definition] The definition is meaningful because $\bar\partial^2=0$. It measures the obstruction to solving $\bar\partial\gamma=\alpha$ for a given $\bar\partial$-closed $(p,q)$-form $\alpha$. In the lowest bidegree, it recovers holomorphic functions. [quotetheorem:7980] In bidegree $(0,0)$, the quotient in the definition of Dolbeault cohomology has no nontrivial image term: by the range convention, $\Omega^{0,-1}(M)=\{0\}$, so $\operatorname{im}(\bar\partial:\Omega^{0,-1}(M)\to\Omega^{0,0}(M))=\{0\}$. Therefore $H^{0,0}_{\bar\partial}(M)$ is just the kernel of $\bar\partial$ on smooth functions. The theorem identifies that kernel with holomorphic functions, so no additional [equivalence relation](/page/Equivalence%20Relation) is hiding in degree zero. This statement is deliberately limited to the first Dolbeault group. It does not say that higher groups are spaces of holomorphic forms in the same elementary sense, because for $q>0$ the quotient by $\bar\partial$-exact forms becomes essential. Its value is that it anchors the whole construction in the familiar equation $\bar\partial f=0$: Dolbeault cohomology extends the analytic notion of [holomorphic function](/page/Holomorphic%20Function) from degree $(0,0)$ to a bigraded theory where closed higher forms may represent genuinely new cohomology classes. ## Beyond and Connected Topics A $(p,q)$-form is first of all a section of a vector bundle, namely $\Lambda^{p,q}T^*M$. Its definition depends on the cotangent bundle, exterior powers, and the complex structure on $M$. The broader setting is developed in [Complex Geometry I: Complex Manifolds and Hermitian Geometry](/page/Complex%20Geometry%20I%3A%20Complex%20Manifolds%20and%20Hermitian%20Geometry), where complex manifolds and Hermitian forms provide the geometric background. Forgetting the complex structure collapses the bidegree $(p,q)$ to the ordinary form degree $p+q$. The operators $\partial$ and $\bar\partial$ refine the exterior derivative. On functions, $\bar\partial f=0$ is the Cauchy-Riemann condition; on higher forms, $\bar\partial$ builds a cochain complex whose cohomology is Dolbeault cohomology. The function-level test is closely related to [Cauchy-Riemann Equations](/page/Cauchy-Riemann%20Equations), while the several-variable context is developed in [Androma Several Complex Variables I: Domains and Holomorphy](/page/Androma%20Several%20Complex%20Variables%20I%3A%20Domains%20and%20Holomorphy). In Hermitian geometry, a Hermitian metric is often encoded by a real $(1,1)$-form. In Kähler geometry, the condition that this $(1,1)$-form is $d$-closed is the Kähler condition. Thus $(p,q)$-forms are the grading in which curvature, positivity, [harmonic representatives](/theorems/2747), and complex cohomological invariants naturally live. There is also an important contrast with real differential geometry. A real $k$-form on a complex manifold may decompose into several bidegrees. Asking whether a form has pure type is an additional condition, and many geometric structures are singled out precisely by this condition. ## References Griffiths and Harris, *Principles of Algebraic Geometry* (1978). Huybrechts, *Complex Geometry: An Introduction* (2005). Voisin, *Hodge Theory and Complex Algebraic Geometry I* (2002). Wells, *Differential Analysis on Complex Manifolds* (1980).