I started studying the book of Daniel Huybrechts, Complex Geometry An Introduction. I tried studying backwards as much as possible, but I have been stuck on the concepts of almost complex structures and complexification. I have studied several books and articles on the matter including ones by Keith Conrad, Jordan Bell, Gregory W. Moore, Steven Roman, Suetin, Kostrikin and Mainin, Gauthier
I have several questions on the concepts of almost complex structures and complexification. Here are some:
Assumptions and notations: Let $V$ be a $\mathbb C$-vector space. Let $V_{\mathbb R}$ be the realification of $V$. For any almost complex structure $I$ on $V_{\mathbb R}$, denote by $(V_{\mathbb R},I)$ as the unique $\mathbb C$-vector space whose complex structure is given $(a+bi) \cdot v := av + bI(v)$. Let $i^{\sharp}$ be the unique almost complex structure on $V_{\mathbb R}$ such that $V=(V_{\mathbb R},i^{\sharp})$. Let $\hat i: V_{\mathbb R}^2 \to V_{\mathbb R}^2$, $\hat i := i^{\sharp} \oplus i^{\sharp}$.
-
Let $W$ be an $\mathbb R$-vector space. Let $W^{\mathbb C}$ denote the complexification of $W$ given by $W^{\mathbb C} := (W^2,J)$, where $J$ is the canonical almost complex structure on $W^2$ given by $J(v,w):=(-w,v)$. Let $\chi: W^2 \to W^2$, $\chi(v,w):=(v,-w)$
-
For any map $f: V_{\mathbb R} \to V_{\mathbb R}$ and for any almost complex structure $I$ on $V_{\mathbb R}$, denote by $f^I$ as the unique map $f^I: (V_{\mathbb R}, I) \to (V_{\mathbb R}, I)$ such that $(f^I)_{\mathbb R} = f$. With this notation, the conditions '$f$ is $\mathbb C$-linear with respect to $I$' and '$f$ is $\mathbb C$-anti-linear with respect to $I$' are shortened to, respectively, '$f^I$ is $\mathbb C$-linear' and '$f^I$ is $\mathbb C$-anti-linear'. (see notation and definitions here, in particular the bullet below 'Definition 4')
-
The complexification, under $J$, of any $g \in End_{\mathbb R}W$ is $g^{\mathbb C} := (g \oplus g)^J$, i.e. the unique $\mathbb C$-linear map on $W^{\mathbb C}$ such that $(g^{\mathbb C})_{\mathbb R} = g \oplus g$
-
Let $H$ be an almost complex structure on $V_{\mathbb R}^2$
Questions:
-
Are there $\mathbb R$-subspaces $U_1,U_2$ of $V_{\mathbb R}^2$ that satisfy the following conditions?
- Condition 1.1. $U_1 \cong U_2$
- Condition 1.2. Internally, $V_{\mathbb R}^2 = U_1 \bigoplus U_2$
- For Conditions 1.3 and 1.4 below: Let $j=1,2$. Denote restriction of $H$ to $U_j$ by $H|_{U_j}:U_j \to V_{\mathbb R}^2$.
- Condition 1.3. $image(H|_{U_j}) \subseteq U_j$, i.e. $H(U_j) \subseteq U_j$
- For Condition 1.4 below: By Condition 1.3, we can define $\tilde{H|_{U_j}}: U_j \to U_j$
- Condition 1.4. $\tilde{H|_{U_j}}$ is an almost complex structure on $U_j$.
-
Whenever subspaces $U_1$ and $U_2$ as above exist, are they necessarily eigenspaces of eigenvalues of some map that is $\mathbb C$-linear with respect to $H$?
-
(Additional question based on Observation 10.1 below) Actually, whenever subspaces $U_1$ and $U_2$ that satisfy Conditions 1.1-1.3 exist, do they satisfy Condition 1.4?
Observations for $W=V_{\mathbb R}$ that led to the questions above:
I refer to Suetin, Kostrikin and Mainin (12.13 of Part I) and Daniel Huybrechts, Complex Geometry An Introduction (Chapter 1.2)
-
$\hat i$ is an almost complex structure on $V_{\mathbb R}^2$.
-
$(\hat i)^J$ is $\mathbb C$-linear.
-
For $H=J$, we can have $U_1=V^{1,0}=\{(v,-iv)|v \in V_{\mathbb R}\}$ and $U_2=V^{0,1}=\{(v,iv)|v \in V_{\mathbb R}\}$, which are the eigenspaces both of the eigenvalues, respectively, $\pm i$ of the map $(\hat i)^J$ and of the eigenvalues, respectively, $\pm i$ of the map $I^{\mathbb C} = (I \oplus I)^J$ for any almost complex structure $I$ on $V_{\mathbb R}$.
-
By observation 1, we can consider $H=\hat i$.
-
For $H=\hat i$, we can have once again $U_1=V^{1,0}$ and $U_2=V^{0,1}$, which are the eigenspaces of the eigenvalues $\pm i$ of the map $J^{\hat i}$.
-
Even though $\chi^J$ is $\mathbb C$-anti-linear and $\chi$ is not an almost complex structure, we still have that $\chi^{\hat i}$ is $\mathbb C$-linear.
-
By observation 6, $\chi^{\hat i}$ has eigenvalues.
-
For $H=\hat i$, we can have once again $U_1=V_{\mathbb R} \times 0$ and $U_2=0 \times V_{\mathbb R}$, which are the eigenspaces of the eigenvalues, respectively, $\pm 1$ of the map $\chi^{\hat i}$.
-
$\hat i$ restricts to almost complex structures on $V^{1,0}$, $V^{0,1}$, $V_{\mathbb R} \times 0$ and $0 \times V_{\mathbb R}$.
-
$J$ restricts to almost complex structures on $V^{1,0}$ and $V^{0,1}$ but on neither $V_{\mathbb R} \times 0$ nor $0 \times V_{\mathbb R}$.
- 10.1. Actually, $J$ does not even restrict to maps on $V_{\mathbb R} \times 0$ or $0 \times V_{\mathbb R}$.
Best Answer
First, let me say that your choice of notation is quite non-standard and makes it almost impossible to understand what you are asking.
Let me try and rephrase your question(as far as I understand it). I'll assume that the vector spaces involved are finite dimensional. You start with a complex vector space $V$ with $\dim_{\mathbb{C}} V = n$ and choose an arbitrary complex structure $H$ on $W = ((V_{\mathbb{R}})^{\mathbb{C}})_{\mathbb{R}}$. The vector space $(V_{\mathbb{R}})^{\mathbb{C}}$ (together with the standard complex structure which you denote by $J$) is a complex vector space of dimension $$\dim_{\mathbb{C}} V_{\mathbb{R}}^{\mathbb{C}} = \dim_{\mathbb{R}} V_{\mathbb{R}} = 2 \dim_{\mathbb{C}} V = 2n$$ and so $W$ is a real vector space of dimension $4n$. The vector space $(W,H)$ is a complex vector space of dimension $2n$ and so clearly we can find two complex subspaces $U_1,U_2$ of $(W,H)$ of dimension $n$ such that $W = U_1 \oplus U_2$. The fact that they are complex (with respect to $H$) implies that $H(U_i) \subseteq U_i$ and the restriction of $H$ to $U_i$ is a complex structure. Since they have the same dimension, the subspaces $(U_1,H)$ and $(U_2,H)$ are $\mathbb{C}$-isomorphic and in particuar $\mathbb{R}$-isomorphic.
So the answer to your first question is yes. You can definitely describe them (in infinitely many ways) as the eigenvalues of an $\mathbb{C}$-linear map of $(W,H)$ (for example, take a projection onto one of the factors with respect to the other) so the answer to your second question is yes and also to the third one.
The point is that your question, after you manage to unravel all the details, has nothing to do with complexification. At least in the finite dimensional case, you ask whether a complex vector space of even (complex) dimension can be written as a direct sum of two isomorphic complex subspaces.