Intereting Posts

The limit of $f(x,y)= \dfrac {x^2 y}{x^2 + y^2}$ as $ (x,y) \to (0,0)$
$\sqrt{2}\notin\mathbb{Q}$ but …
Intuitive meaning of immersion and submersion
Finding the exact stationary distribution for a biased random walk on a bounded interval
D'alembert functional equation
What is the limit of $n \sin (2 \pi \cdot e \cdot n!)$ as $n$ goes to infinity?
Prove that $|a+b|^p \leq 2^p \{ |a|^p +|b|^p \}$
Prove that $T$ is a subgraph of $G$
Sum and product of two transcendental numbers can't be both algebraic
Hyperreal measure?
Proving that the existence of strongly inaccessible cardinals is independent from ZFC?
Suggestion on good probability theory book
expected length of broken stick
The difference between pointwise convergence and uniform convergence of functional sequences
Proving that $\left(\mathbb Q:\mathbb Q\right)=2^n$ for distinct primes $p_i$.

I am puzzled by the fact that the two differential forms

$$\begin{array}{cc}

dz=dx+i dy , & d\overline{z}=dx-i dy

\end{array}

$$

are $\mathbb{C}$-linearly independent, even if the underlying manifold $\mathbb{C}$ has complex dimension $1$. Of course there is nothing wrong: the second “differential form” is not $\mathbb{C}$-linear. Hence, it is not a true complex differential form. However it is not real valued, so it is not a real differential form either. So what it is?

Question. Can you clarify the nature of the objects $dz, d\overline{z}$ above? Which abstract notion, relative to complex manifolds, includes and generalizes them?

- real meaning of divergence and its mathematical intuition
- Line bundle over $S^2$
- Differential of flow related to gradient Ricci soliton on $S^2$
- Where do we need the axiom of choice in Riemannian geometry?
- Isoperimetric inequality, isodiametric inequality, hyperplane conjecture… what are the inequalities of this kind known or conjectured?
- Can $S^4$ be the cotangent bundle of a manifold?

- Basis for the set of all covariant $k$-tensors on V
- Using a helical vector field to foliate $\mathbb{R}^3$
- How does Maurer-Cartan form work
- Theorema egregium violated in dimension $n \ge 4$?
- What is a covector and what is it used for?
- Covariant derivative and surface gradient
- Is there an easy way to show which spheres can be Lie groups?
- Proof that the Gaussian Curvature is a Ratio of Areas

A **complex structure** $J$ on a real vector space $V$ is a endomorphism $J: V \longrightarrow V$ that squares to minus the identity: $J^2 = -\text{Id}_{V}$. Such a complex structure allows us to define scalar multiplication of elements $v \in V$ by complex numbers $a + bi$:

$$(a + bi)\cdot v = av + b Jv.$$

But since $V$ is a real vector space, in order to actually use this scalar multiplication by complex numbers and consider $V$ as a complex vector space, we need to extend our field of scalars from $\Bbb R$ to $\Bbb C$ via complexification and consider $V \otimes_{\Bbb R} \Bbb C$. This will be where the “extra” forms come from.

Note that a complex structure $J$ has eigenvalues $\pm i$. Then we have a direct sum decomposition

$$V \otimes_{\Bbb R} \Bbb C = V^{1,0} \oplus V^{0,1},$$

where $V^{1,0}$ is the $+i$-eigenspace of $J$ and $V^{0,1}$ is the $-i$-eigenspace of $J$. For $v \in V \otimes_{\Bbb R} \Bbb C$, $v – iJv \in V^{1,0}$ and $v + iJv \in V^{0,1}$.

The above relates to your question as follows. $\Bbb C$ is a *real* vector space of dimension $2$, with basis $\{1,i\}$ and complex structure $J = \begin{pmatrix} 0 & -1 \\ 1 & 0 \end{pmatrix}$. The dual space $\Bbb C^\ast$ is also real of dimension $2$ with a complex structure $J$ as above and basis $\{dx, dy\}$. By the above, we have a direct sum decomposition

$$\Bbb C^\ast \otimes_{\Bbb R} \Bbb C = (\Bbb C^\ast)^{1,0} \oplus (\Bbb C^\ast)^{0,1}.$$

We see that

$$dz = dx + i\, dy$$

is a generator for $(\Bbb C^\ast)^{1,0}$ and

$$d\bar{z} = dx – i\, dy$$

is a generator for $(\Bbb C^\ast)^{0,1}$.

The underlying real vector space is 2 dimensional, spanned by $dx, dy$. We can complexify the space by taking the tensor product with $\mathbb{C}$ but it remains 2 dimensional.

Then we are just choosing a different basis. Of course $d\overline{z}$ is not holomorphic but is real differentiable. That is one way of looking at it. All complex analysis can be reduced to real analysis using harmonic functions and Cauchy-Riemann.

- Estimate total song ('coupon') number by number of repeats
- What are some interesting sole exceptions or counterexamples?
- Relations between spectrum and quadratic forms in the unbounded case
- Iterated Limits
- Probability of equal no. of red/black cards from selection – simulation vs. answers discrepancy
- Evaluating this integral for different values of a constant
- Finding a limit with a cube
- How to compute $\int \frac{x}{(x^2-4x+8)^2} \mathrm dx$?
- Why is the decimal representation of $\frac17$ “cyclical”?
- The continuity of the expectation of a continuous stochastic procees
- Birational Equivalence of Diophantine Equations and Elliptic Curves
- Divisibility property proof: If $e\mid ab$, $e\mid cd$ and $e\mid ac+bd$ then $e\mid ac$ and $e\mid bd$.
- Can a field be isomorphic to its subfield but not to a subfield in between?
- Proof that the sum of two Gaussian variables is another Gaussian
- If $\gcd(a,b)=1$ , and $a$ is even and $b$ is odd then $\gcd(2^{a}+1,2^{b}+1)=1$?