Segre embedding

Segre embedding

In mathematics, the Segre embedding is used in projective geometry to consider the cartesian product of two or more projective spaces as a projective variety. It is named after Corrado Segre.

Contents

Definition

The Segre map may be defined as the map

\sigma: P^n \times P^m \to P^{(n+1)(m+1)-1}\

taking a pair of points ([X],[Y]) \in P^n \times P^m to their product

\sigma:([X_0:X_1:\cdots:X_n], [Y_0:Y_1:\cdots:Y_m]) \mapsto 
  [X_0Y_0: X_0Y_1: \cdots :X_iY_j: \cdots :X_nY_m]\

(the XiYj are taken in lexicographical order).

Here, Pn and Pm are projective vector spaces over some arbitrary field, and the notation

[X_0:X_1:\cdots:X_n]\

is that of homogeneous coordinates on the space. The image of the map is a variety, called a Segre variety. It is sometimes written as Σn,m.

Discussion

In the language of linear algebra, for given vector spaces U and V over the same field K, there is a natural way to map their cartesian product to their tensor product.

\varphi: U\times V \to U\otimes V.\

In general, this need not be injective because, for u in U, v in V and any nonzero c in K,

\varphi(u,v) = u\otimes v = cu\otimes c^{-1}v = \varphi(cu, c^{-1}v).\

Considering the underlying projective spaces P(U) and P(V), this mapping becomes a morphism of varieties

\sigma: P(U)\times P(V) \to P(U\otimes V).\

This is not only injective in the set-theoretic sense: it is a closed immersion in the sense of algebraic geometry. That is, one can give a set of equations for the image. Except for notational trouble, it is easy to say what such equations are: they express two ways of factoring products of coordinates from the tensor product, obtained in two different ways as something from U times something from V.

This mapping or morphism σ is the Segre embedding. Counting dimensions, it shows how the product of projective spaces of dimensions m and n embeds in dimension

(m + 1)(n + 1) - 1 = mn + m + n.\

Classical terminology calls the coordinates on the product multihomogeneous, and the product generalised to k factors k-way projective space.

Properties

The Segre variety is an example of a determinantal variety; it is the zero locus of the 2×2 minors of the matrix (Zi,j). That is, the Segre variety is the common zero locus of the quadratic polynomials

Z_{i,j} Z_{k,l} - Z_{i,l} Z_{k,j}.\

Here, Zi,j is understood to be the natural coordinate on the image of the Segre map.

The fibers of the product are linear subspaces. That is, let

\pi_X :P^{(n+1)(m+1)-1} \to  P^n\

be the projection to the first factor; and likewise πY for the second factor. Then the image of the map

\sigma (\pi_X (\cdot), \pi_Y (p)):P^{(n+1)(m+1)-1}  \to   P^{(n+1)(m+1)-1}\

for a fixed point p is a linear subspace of the codomain.

Examples

Quadric

For example with m = n = 1 we get an embedding of the product of the projective line with itself in P3. The image is a quadric, and is easily seen to contain two one-parameter families of lines. Over the complex numbers this is a quite general non-singular quadric. Letting

[Z_0:Z_1:Z_2:Z_3]\

be the homogeneous coordinates on P3, this quadric is given as the zero locus of the quadratic polynomial given by the determinant

\det \left(\begin{matrix}Z_0&Z_1\\Z_2&Z_3\end{matrix}\right) 
= Z_0Z_3 - Z_1Z_2.\

Segre threefold

The map

\sigma: P^2 \times P^1 \to P^5

is known as the Segre threefold. It is an example of a rational normal scroll. The intersection of the Segre threefold and a three-plane P3 is a twisted cubic curve.

Veronese variety

The image of the diagonal \Delta \subset P^n \times P^n under the Segre map is the Veronese variety of degree two

\nu_2:P^n \to P^{n^2+2n}.\

Applications

Because the Segre map is to the categorical product of projective spaces, it is a natural mapping for describing entangled states in quantum mechanics and quantum information theory. More precisely, the Segre map describes how to take products of projective Hilbert spaces.

In algebraic statistics, Segre varieties correspond to independence models.

References


Wikimedia Foundation. 2010.

Игры ⚽ Нужна курсовая?

Look at other dictionaries:

  • Segre — may be Beniamino Segre (1903 – 1977), Italian geometer Corrado Segre (1863 1924) , Italian geometer distantly related to Beniamino Emilio Segrè (1905 1989), Italian American physicist Segre River, a river in Catalonia See also Segre… …   Wikipedia

  • Separable states — In quantum mechanics, separable quantum states are states without quantum entanglement. Separable pure states For simplicity, the following assumes all relevant state spaces are finite dimensional. First, consider separability for pure states.… …   Wikipedia

  • List of mathematics articles (S) — NOTOC S S duality S matrix S plane S transform S unit S.O.S. Mathematics SA subgroup Saccheri quadrilateral Sacks spiral Sacred geometry Saddle node bifurcation Saddle point Saddle surface Sadleirian Professor of Pure Mathematics Safe prime Safe… …   Wikipedia

  • Abstract algebraic variety — In algebraic geometry, an abstract algebraic variety is an algebraic variety that is defined intrinsically, that is, without an embedding into another variety.In classical algebraic geometry, all varieties were by definition quasiprojective… …   Wikipedia

  • Product (category theory) — In category theory, the product of two (or more) objects in a category is a notion designed to capture the essence behind constructions in other areas of mathematics such as the cartesian product of sets, the direct product of groups, the direct… …   Wikipedia

  • List of algebraic geometry topics — This is a list of algebraic geometry topics, by Wikipedia page. Contents 1 Classical topics in projective geometry 2 Algebraic curves 3 Algebraic surfaces 4 …   Wikipedia

  • Glossary of tensor theory — This is a glossary of tensor theory. For expositions of tensor theory from different points of view, see:* Tensor * Classical treatment of tensors * Tensor (intrinsic definition) * Intermediate treatment of tensors * Application of tensor theory… …   Wikipedia

  • Fubini-Study metric — In mathematics, the Fubini Study metric is a Kähler metric on projective Hilbert space, that is, complex projective space CP n endowed with a Hermitian form. In the context of quantum mechanics, for n=1 this space is called the Bloch sphere; the… …   Wikipedia

  • Convex lattice polytope — A convex lattice polytope (also called Z polyhedron or Z polytope) is a geometric object playing an important role in discrete geometry and combinatorial commutative algebra. It is a polytope in a Euclidean space Rn which is a convex hull of… …   Wikipedia

  • Determinantal variety — In algebraic geometry, determinantal varieties are spaces of matrices with a given upper bound on their ranks. Their significance comes from the fact that many examples in algebraic geometry are of this form, such as the Segre embedding of a… …   Wikipedia

Share the article and excerpts

Direct link
Do a right-click on the link above
and select “Copy Link”