Codex @codex  0

Define the Lie derivative of a differential form by ${\mathcal{L}}_X\alpha =(d/dt{)}_{t=0}{\varphi }_t^{\ast }\alpha$, using the local flow. The pullback of a differential form respects the wedge product of differential forms and commutes with the exterior derivative. Therefore ${\mathcal{L}}_X$ is a derivation of an algebra of degree zero and commutes with $d$.

Let $D_X={\iota }_{X}d+d{\iota }_X$, where ${\iota }_X$ is the interior product of a differential form. The graded product rules for $d$ and ${\iota }_X$ show that their anticommutator $D_X$ is also a degree-zero derivation of an algebra: the two mixed terms cancel. Since $d^2=0$, it commutes with $d$. On a function $f$, ${\iota }_{X}f=0$ and $D_{X}f={\iota }_{X}df=Xf={\mathcal{L}}_{X}f$. Hence $D_X(df)=d(Xf)={\mathcal{L}}_X(df)$.

In a manifold chart, every differential form is a sum of functions times products $d{x}^{i_1}\wedge \cdots \wedge d{x}^{i_p}$. The two derivations agree on its generators $f$ and $d{x}^i$, and therefore agree on every such form. This proves Cartan's magic formula, including the case $p=0$:

For $p\in \mathrm{Fix}(\sigma )$, differentiation gives $(d{\sigma }_p{)}^2=I$ and $(d{\sigma }_p{)}^{\ast }{\omega }_p=-{\omega }_p$. Thus $d{\sigma }_p$ is an anti-symplectic involution of the symplectic vector space $T_{p}M$. By part (a), its $+1$ eigenspace is a Lagrangian subspace.

In the local manifold chart supplied in the question, $\sigma$ is linear, so its fixed-point set is the intersection of the chart with this $+1$ eigenspace. Therefore the fixed-point set is an embedded submanifold andEvery such tangent space has half the ambient dimension and the symplectic form vanishes on it. Hence every nonempty fixed-point set is a Lagrangian submanifold. The fixed-point set itself need not be connected.

As usual for Complex projective space and Real projective space, homogeneous coordinates are represented by nonzero vectors. Componentwise complex conjugation descends to the diffeomorphismIt is well defined because $\overline{\lambda z}=\overline{\lambda }\overline{z}$, and ${\tau }^2=I$. Every standard manifold chart is invariant under $\tau$, with ${\phi }_i\circ \tau =\sigma \circ {\phi }_i$. Part (d) and the gluing of the Fubini-Study form therefore imply ${\tau }^{\ast }{\omega }_{FS}=-{\omega }_{FS}$.

A point $[z]$ in the fixed-point set satisfies $\overline{z}=\lambda z$. Applying complex conjugation again gives $|\lambda |=1$. Choose $a\ne 0$ with $a/\overline{a}=\lambda$; then $\overline{az}=az$, so $[z]$ has a real representative. Conversely every real representative determines a point in the fixed-point set. Hence $\mathrm{Fix}(\tau )={\mathbb{RP}}^n$, and part (c) gives

Let $q$ denote the quotient map and write $[X]$ for a point of Real projective space. For $i=1,\dots ,n+1$, take the open setIt is open in the quotient topology because its inverse image under $q$ is the open set $\{X:X_i\ne 0\}$. These sets cover, since a nonzero vector has at least one nonzero coordinate. Define the manifold chartThe hat means that the $i$th coordinate is omitted. Ratios are unchanged by multiplying $X$ by any nonzero real number, so the chart is well defined. Its inverse inserts $1$ into position $i$ and takes the resulting equivalence class. The ratios and this inverse are continuous, giving a homeomorphism $U_i\to {\mathbb{R}}^n$.

For a compact description of the smooth transition maps, write $a_i=1$ and let $a_k=X_k/X_i$ for $k\ne i$. On $U_i\cap U_j$ one has $a_j\ne 0$, andEach coordinate is a rational smooth function on the open domain $a_j\ne 0$; reversing $i,j$ gives a smooth inverse. Thus these $n+1$ charts form the standard affine atlas of real projective space.

For completeness, the underlying space is Hausdorff: normalizing $X$ identifies it with the antipodal quotient of the unit sphere, and the continuous injective map $[X]\mapsto X{X}^T/(X^{T}X)$ into the space of symmetric matrices separates any two distinct classes by disjoint open neighborhoods. It is also a second-countable space: pull back the countable bases of rational balls in these finitely many charts, and take their union. Therefore

An abstract smooth surface is a Hausdorff second-countable topological space with an atlas of charts to open subsets of ${\mathbb{R}}^2$ whose transition maps are smooth. It is orientable when it has such an atlas for which every transition map has positive Jacobian determinant. A map $f:S_1\to S_2$ is a smooth map when every coordinate representationis smooth wherever it is defined.

The map $a:C\to C$ is a smooth involution with no fixed point: the equationwould force $x=y=0$, which is impossible on $x^2+y^2=1$. For each $p\in C$, choose a sufficiently small coordinate neighbourhood $U_p$ such thatThen the quotient projection restricts to a homeomorphismTransporting a smooth chart ${\varphi }_p:U_p\to {\mathbb{R}}^2$ across this homeomorphism gives the quotient chartOn an overlap, a lift lies either in another chosen neighbourhood or in its image under $a$. The corresponding transition map is therefore a transition map on $C$, possibly composed with the diffeomorphism $a$, and is smooth. Since this is a free action of the finite group $\{1,a\}$, the quotient is Hausdorff and second countable. This constructs the smooth quotient by a free finite group action, and in these charts $\pi$ is locally the identity. Hence $\pi$ is a local diffeomorphism, in particular smooth.

To test orientability, parametrize the cylinder byThe involution acts in these coordinates aswhose derivative has determinant $-1$. Thus $a$ is an orientation-reversing diffeomorphism of the cylinder.

If the quotient surface $S$ were orientable, its orientation would pull back through the local diffeomorphism $\pi$ to an orientation of $C$. The identity $\pi \circ a=\pi$ would then force $a$ to preserve that pulled-back orientation, contradicting the negative determinant above. Therefore

Products of manifold charts form a smooth atlas on the topological product of two smooth manifolds. The transition maps are products of the two smooth transition maps, so the dimension is the sum of the dimensions. The smooth structure is independent of the chosen compatible atlases.

A second-countable topological space has a countable collection of open sets such that every open set is a union of members of that collection. A space covered by countably many open manifold charts is second countable because each coordinate domain has a countable basis of rational balls.

A smooth atlas is a collection of manifold charts covering a topological manifold whose coordinate changes are smooth transition maps. It determines a smooth manifold structure by adjoining every compatible chart.

On overlapping manifold charts, a transition map changes one coordinate representation to the other. In a smooth atlas it and its inverse are smooth on the corresponding open coordinate domains.

The $n+1$ manifold charts $U_i=\{[X]:X_i\ne 0\}$ have coordinates $X_k/X_i$, with $k\ne i$. Their inverse inserts $1$ as the $i$th homogeneous coordinate. On an overlap, changing the denominator from $X_i$ to $X_j$ divides each remaining coordinate by the nonzero coordinate $X_j/X_i$. These rational smooth transition maps give Real projective space its standard smooth manifold structure.

A tangent vector is a linear map on germs of smooth functions satisfying $D(ab)=a(x)D(b)+b(x)D(a)$. In a manifold chart, first-order expansion shows $Dh={\sum }_{i}D(u^i){\partial }_{i}h(x)$. Thus the coordinate derivations form a basis, and the dimension equals the manifold dimension. Composition of germs with a smooth map defines its differential of a smooth map without choosing charts.

A local trivialization of a rank-$r$ vector bundle $\pi :E\to M$ is a bundle isomorphism ${\pi }^{-1}(U)\cong U\times {\mathbb{R}}^r$ over an open set $U$, linear on each fiber. Overlapping trivializations differ by $(p,v)\mapsto (p,g(p)v)$ for a smooth $G{L}_r(\mathbb{R})$-valued function $g$. A tangent bundle chart uses the derivative of its base manifold chart for this fiber identification.