ag.algebraic geometry - Measure on real Grassmannians

First of all, a general fact. Any transitive homogeneous space $X$ of a
compact group $K$ has a unique $K$-invariant probability measure. Existence:
take the image $nu$ of the normalized Haar measure $m$ on $K$ under the map
$gmapsto gx_0$ (that's the construction you refer to). The measure $nu$ is
well-defined, since the mass of $m$ is finite, it does not depend on $x_0in
X$ by right invariance of $m$, and is $K$-invariant by left invariance of $m$.
Uniqueness: take an arbitrary $K$-invariant measure $nu'$ on $X$, and
consider its convolution $mastnu'$ with the measure $m$ (i.e., the image of
the product of $m$ and $nu'$ under the map $(g,x)mapsto gx$). Then, on one
hand $mastnu'=nu'$ by $K$-invariance of $nu'$, on the other hand
$mastnu'=nu$ by the above construction.

Thus, since the Grassmannian in question has a transitive compact group of
automorphisms, it carries a "natural" invariant measure. So that
"platonically" it is always there - like, for instance, the Riemannian volume
on a Riemannian manifold (by the way, as mentioned before, any invariant
Riemannian metric on the Grassmannian produces the measure in question in this
way).

However, there is one subtlety here which has so far remained unnoticed. In
order to define the Grassmannian one needs a linear structure, whereas the
orthogonal group $O(n)$ is defined in terms of the Euclidean structure.
Therefore, the "canonical" measure we are talking about is only canonical with
respect to the given Euclidean structure on the linear space $V=R^n$. So, if
we look at the problem from this point of view, we obtain a map which assigns
to any Euclidean structure on $V$ a probability measure on the Grassmannian
$Gr_k(V)$. In fact, this measure depends only on the projective class of the
Euclidean structure (i.e., on the corresponding similarity structure), which
are parameterized by the Riemannian symmetric space $S=SL(n,R)/SO(n)$
(equivalently, one can say that we consider only the Euclidean structures on
$V$ with the same volume form, whence $SL$ instead of $GL$).

Thus, we have a map $xmapstonu_x$ from $S$ to the space $P(Gr_k)$ of
probability measures on $Gr_k$. One can show that this map is an injection, so
that it can be used in order to compactify the symmetric space $S$ by taking
its closure in the weak$^*$ topology of $P(Gr_k)$. This is an example of a
so-called Satake-Furstenberg compactification, which can be defined for an
arbitrary non-compact Riemannian symmetric space. In the case of the space
$S=SL(n,R)/SO(n)$ all such compactifications are obtained by considering
rotation invariant measures on the flag space of $V$ and its equivariant
quotients (in particular, Grassmannians). In the general case the role of the
flag space is played by the so-called Furstenberg boundary, which is the
quotient of the semi-simple Lie group by its minimal parabolic subgroup. The
most recent reference for all this is the book by Borel and Ji.

The simplest non-compact symmetric space is the hyperbolic plane. In this case
the Furstenberg boundary (the associated "flag space") is just the boundary
circle in the disk model. Each point of the hyperbolic plane determines a
unique probability measure on the boundary circle invariant with respect to
the rotations around this point. These measures appear in the classical
Poisson formula for bounded harmonic functions in the unit disk (usually it is
written in terms of just a single measure corresponding to the Euclidean
center of the disk; the other measures appear in the guise of their
Radon-Nikodym derivatives with respect to this one, which is precisely the
Poisson kernel).