Hi! My background is in (complex) algebraic geometry. For the first time I'm considering varieties defined over $\mathbb{R}$ and I have some very basic questions about these.
In particular I'm trying to understand MMP for real surfaces.


Let $X$ be a smooth projective surface over $\mathbb{R}$.
We can consider its complexification $X\_{\mathbb{C}}$, smooth complex projective surface.


Then Cartier divisors on $X$ correspond to Cartier divisors on $X\_{\mathbb{C}}$ that are
fixed by conjugation.
Is intersection theory on $X$ just inherited from intersection theory on $X\_{\mathbb{C}}$ via this identification? Is this the right way to look at intersection theory on $X$?


What is the relation between the canonical divisors $K\_X$ and $K\_{X\_{\mathbb{C}}}$?
Is it true that $K\_{X\_{\mathbb{C}}}=\overline{K\_{X\_{\mathbb{C}}}}$, the divisor defined by conjugated equations and it thus corresponds to the divisor $K\_X$ on $X$?


Also, how to define blow-ups of points on $X$? The definition in Hartshorne cap II.7 works but I imagine one can find an easier definition. 


Whatever reference about these and related basic facts would be appraciated.



Real vs complex surfaces
I think a lot of your questions apply to arbitrary Galois field extensions, not just the field extension $\mathbb{R} \subset \mathbb{C}$. This might help clarify the problems you are having by putting them into a general context. 


Let $E \subset F$ be a finite Galois extension of fields and let $X$ be a smooth variety over $E$. Then, the canonical divisor $K\_X$ is always defined over the base field $E$. Moreover, it is well-behaved with respect to smooth base change, so that yes indeed the base change of $K\_X$ to $X\_F$ is the canonical divisor $K\_{X\_F}$ of $X\_F$.


With regards to divisors, we have natural homomorphisms $\mathrm{Div}(X) \to \mathrm{Div}(X\_F)$ and $\mathrm{Pic}(X) \to \mathrm{Pic}(X\_F)$ given by base change. Moreover, in the case of surfaces this morphism respects the intersection pairing as your desire, as the intersection number of two divisors is defined geometrically. Also in the first case, it is true that the image consists of those divisors which are invariant under the action of $\mathrm{Gal}(F/E)$.


However, in general this does not hold for Picard groups. By which I mean, there may exist divisor *classes* which are Galois invariant, but nonetheless there does not exists a divisor in that class defined over $E$.


As an example, consider a conic $X$ defined over $E$ which has no rational points, such that $X\_F$ has rational points. Then the natural map $\mathrm{Pic}(X) \to \mathrm{Pic}(X\_F)$ corresponds to the inclusion $2\mathbb{Z} \to \mathbb{Z}$, as lowest degree of any divisor is $2$ (given by the anticanonical divisor). However, the action of $\mathrm{Gal}(F/E)$ on $\mathrm{Pic}(X\_F)$ is trivial as it preserves the degree of a divisor.


As for blow-ups, one can define blow-ups of closed points in a similar manner to how one defines the blow-up of a rational point. Closed points correspond to Galois invariant collections of rational points on $X\_F$, therefore the map given by blowing up each of these rational points is Galois invariant and so descends to a morphism defined over $E$.


A lot of these ideas can be found in Manin's book on cubic forms. 


