Today, we talk about the Segre Embedding. This will let us say a bit more about the products of varieties that were mentioned before.
We start out with the variety , which we can define as before with the universal property. We define a map
by
. We denote the image of this map by
.
We’ll use to denote the homogeneous coordinates on
. With these coordinates,
is given as the zero set of the polynomials
as
vary. In fact,
is an isomorphism of
with
.
The Segre embedding gives us a way of constructing products of varieties explicitly. Let and
be quasi-projective varieties (so they could be affine, projective, open subsets of either, whatever). Then, they are contained in some projective spaces
and
. So then we can restrict the Segre embedding to
, and we obtain a quasi-projective variety in
. This is isomorphic to
, and so we can take this to actually be
. This demonstrates that products of quasi-projective varieties always exist and are quasi-projective.
Let’s look more closely at the simplest Segre variety. That is, . This is an embedding
. The image is given by the equation
, where
were coordinates on the first factor and
were from the second.
This shows that the image actually contains two families of lines. If we fix a point in either space, we get a linear map from , and so we get two collections of lines. Different lines in each collection are disjoint, and lines in different families intersect at a single point.
Now we want to look at the degree of . If we take a homogeneous polynomial of degree
on
, it will restrict, on
, to a polynomial which is homogeneous in each collection of variables separately and of degree
in each. So the Hilbert Polynomial is the product
. This expands to
. The degree is the lead coefficient multiplied by the degree factorial, and so is
.
The Segre embedding also interacts nicely with the Veronese embedding. We can obtain all sorts of new varieties isomorphic to by combining the Veronese embedding and Segre embedding in various ways.
A nice fact about the two is that the diagonal has image under the Segre embedding in
that is equal to
if you choose the right subspace of
.
That’s it for now, but we’ll return to Segre varieties later, if for no other reason because they tend to form nice special cases of other constructions.
In paragraph 3 you should have a “\Sigma” rather than a “\sigma”.
That’s not a mistake, the statement is that the map
is an isomorphism
.
The ideal generated by z_{ab}z_{cd}-z_{cb}z_{ad} is prime, right? How should I prove that?
The easiest way (to me) is to prove that these polynomials cut out precisely the image of the Segre map, which is a bijection and algebraic, and then use the fact that
is irreducible, so its image must be, and thus, the ideal must be prime. (Well, strictly, this says that the map has prime radical by the Nullstellensatz, but then you use that the generators are quadratic to show that it’s already a radical ideal)
Thank for the reply. How does the fact that generators being quadratic lead to the ideal being radical?
Anyway, I found a paper which proves determinantal ideal over integral domain is prime, and the proof is far from trivial!
Ahh, actually, it’s those specific polynomials, I was just saying things that weren’t entirely accurate. I know it is prime (as that paper proves) but this case is easier. However, I’m blanking on it at the moment, and if it comes back to me, I’ll post something here. You might have some luck asking on Math Overflow (so long as you craft the question well enough that it is clearly not homework)
The paper’s proof was elementary enough (though not easy) for me to follow and digest, so I’m happy now. Thanks for your comment, though!
If we take the transversal intersection of
and
, we have the generators of the complex cobordism group, which are called Milnor’s manifolds. Do they bound some real manifold?
I actually know nothing about this…I think you need to check the Stiefel-Whitney classes to determine this. Also, are you certain that it’s manifolds? Because this would be a single connected manifold in projective space. Also, have you tried asking this on Math Overflow? Someone there might be able to help (of course, to write a good question there, include some background and motivational material)