Fact-checked by Grok 2 weeks ago

Segre embedding

The Segre embedding is a canonical morphism in algebraic geometry that realizes the Cartesian product of two projective spaces as a projective subvariety of a higher-dimensional projective space via a bilinear map on homogeneous coordinates.^[1] Introduced by the Italian mathematician Corrado Segre in 1891, it provides an explicit embedding \sigma: \mathbb{P}^m \times \mathbb{P}^n \to \mathbb{P}^{mn + m + n} over an algebraically closed field, sending a pair of points ([x_0 : \cdots : x_m], [y_0 : \cdots : y_n]) to the point whose homogeneous coordinates are the products (x_i y_j)_{0 \leq i \leq m, 0 \leq j \leq n}.^[2] This construction identifies the image with the locus of rank-1 matrices in the space of (m+1) \times (n+1) matrices, defined set-theoretically by the vanishing of all $2 \times 2 minors.^[1] The embedding is closed and an isomorphism onto its image, thereby proving that the product of projective varieties is itself projective—a cornerstone result for constructing and studying products in algebraic geometry.^[1] For instance, the Segre embedding of \mathbb{P}^1 \times \mathbb{P}^1 into \mathbb{P}^3 yields a smooth quadric surface defined by the equation w x - y z = 0, which is irreducible and of degree 2.^[1] More generally, the degree of the Segre variety \sigma(\mathbb{P}^m \times \mathbb{P}^n) is \binom{m+n}{m}.^[3] Beyond algebraic geometry, the Segre embedding has profound applications in differential geometry, where it characterizes certain Kähler submanifolds with parallel second fundamental forms and provides bounds on their extrinsic geometry, such as the inequality \|h\|^2 \geq 8 m n for the squared norm of the second fundamental form, with equality precisely for Segre embeddings.^[2] It also appears in mathematical physics, such as in geometric quantum mechanics, and in coding theory for constructing error-correcting codes via algebraic varieties.^[2] These interdisciplinary connections underscore its role as a bridge between classical projective geometry and modern applications.^[2]

Definition and Formulation

The Segre Map

The Segre map, often denoted \sigma, is defined as a morphism \sigma: \mathbb{P}^m \times \mathbb{P}^n \to \mathbb{P}^{(m+1)(n+1)-1} between projective spaces over an algebraically closed field, such as \mathbb{C}. In homogeneous coordinates, it sends a pair of points ([x_0 : \cdots : x_m], [y_0 : \cdots : y_n]) to the point [z_{00} : z_{01} : \cdots : z_{0n} : \cdots : z_{m0} : \cdots : z_{mn}] in the target space, where each coordinate is given by the bilinear form z_{ij} = x_i y_j for $0 \leq i \leq m and $0 \leq j \leq n. The indexing of the z_{ij} follows a standard ordering, such as lexicographical, to identify the target projective space unambiguously.^[1] This map is well-defined on projective spaces because homogeneous coordinates are defined up to nonzero scalar multiplication. Specifically, if the first point is scaled by a factor \lambda \neq 0 and the second by \mu \neq 0, then each z_{ij} transforms as z_{ij} \mapsto \lambda \mu z_{ij}, resulting in the image point scaling by the single factor \lambda \mu. Thus, the equivalence class in the target projective space remains unchanged, preserving the projective structure.^[4] The construction of the Segre map is motivated by the tensor product of the underlying vector spaces. The projective space \mathbb{P}^m parametrizes 1-dimensional subspaces (lines through the origin) in \mathbb{C}^{m+1}, and similarly \mathbb{P}^n for \mathbb{C}^{n+1}. The tensor product \mathbb{C}^{m+1} \otimes \mathbb{C}^{n+1} is a vector space of dimension (m+1)(n+1), and \mathbb{P}^{(m+1)(n+1)-1} parametrizes its lines. The map identifies pairs of lines with rank-1 tensors of the form v \otimes w, where v \in \mathbb{C}^{m+1} and w \in \mathbb{C}^{n+1} are nonzero vectors spanning those lines, embedding the product into the space of all lines in the tensor product.^[1] To confirm that \sigma is a morphism of algebraic varieties, note that it extends bilinearly to the affine charts covering the domain. For instance, consider the standard affine open sets where x_0 = 1 and y_0 = 1; on this chart, the dehomogenized coordinates are affine \tilde{x}_i = x_i / x_0 and \tilde{y}_j = y_j / y_0 for i \geq 1, j \geq 1. The image coordinates dehomogenize to \tilde{z}_{ij} = \tilde{z}_{ij} / z_{00} = \tilde{x}_i \tilde{y}_j (with \tilde{z}_{00} = 1), which are polynomial functions in the affine coordinates. Since the projective spaces are covered by such affine charts and the map agrees on overlaps, it defines a regular morphism globally.^[4]

Image and Variety Structure

The image of the Segre embedding \sigma: \mathbb{P}^m \times \mathbb{P}^n \to \mathbb{P}^{(m+1)(n+1)-1} consists of homogeneous coordinates [z_{ij}], where $0 \leq i \leq m and $0 \leq j \leq n, such that the corresponding (m+1) \times (n+1) matrix (z_{ij}) has rank at most 1. This characterization arises because each point in the image is of the form [x_i y_j] for [x_0 : \cdots : x_m] \in \mathbb{P}^m and [y_0 : \cdots : y_n] \in \mathbb{P}^n, making the matrix a rank-1 outer product up to scalar.^[1] The homogeneous ideal defining this image as a projective subvariety of \mathbb{P}^{(m+1)(n+1)-1} is generated by all $2 \times 2 minors of the matrix (z_{ij}). These minors are the quadratic equations

\det \begin{pmatrix} z_{ij} & z_{ik} \\ z_{lj} & z_{lk} \end{pmatrix} = z_{ij} z_{lk} - z_{ik} z_{lj} = 0

for all $0 \leq i < l \leq m and $0 \leq j < k \leq n. The vanishing of these minors precisely enforces the rank-at-most-1 condition, as higher-rank matrices would have at least one nonzero $2 \times 2 minor.^[1] The dimension of this image variety is m + n, matching the dimension of the domain \mathbb{P}^m \times \mathbb{P}^n since the Segre map is a closed embedding. This follows from the parametric description, where the coordinates are determined by m+1 and n+1 projective parameters modulo the overall scalar in the target space.^[5] This image forms a projective variety because the set of rank-at-most-1 matrices is a determinantal variety, which is closed in the Zariski topology as the common zero locus of the continuous (polynomial) minor functions. Moreover, it is irreducible: the Segre map is birational onto its image, and the domain \mathbb{P}^m \times \mathbb{P}^n is irreducible as a product of irreducible spaces, so the image inherits irreducibility. The rank-\leq 1 determinantal variety is thus the irreducible closure of the rank-1 locus.^[1]^[5]

Properties

Algebraic Properties

The Segre embedding \sigma: \mathbb{P}^m \times \mathbb{P}^n \to \mathbb{P}^{(m+1)(n+1)-1} is a morphism of projective varieties defined by [x_0 : \cdots : x_m] \times [y_0 : \cdots : y_n] \mapsto [z_{ij} : i=0,\dots,m; j=0,\dots,n] where z_{ij} = x_i y_j. This map is injective on points. To see this, suppose \sigma(, ) = \sigma([x'], [y']). Without loss of generality, normalize so that x_0 = y_0 = x'_0 = y'_0 = 1. Then z_{i0} = x_i y_0 = x_i = x'_i = z'_{i0} and z_{0j} = x_0 y_j = y_j = y'_j = z'_{0j}, so = [x'] and = [y'].^[1] The map \sigma is in fact an embedding, i.e., an isomorphism onto its image. On the open set U \subset \mathbb{P}^{(m+1)(n+1)-1} where z_{00} \neq 0, the inverse is given by x_i = z_{i0}/z_{00} and y_j = z_{0j}/z_{00} for i=1,\dots,m and j=1,\dots,n, with x_0 = y_0 = 1. This defines a regular map from \sigma(\mathbb{P}^m \times \mathbb{P}^n) \cap U to \mathbb{P}^m \times \mathbb{P}^n, and similar expressions hold on other standard open sets covering the image, confirming that \sigma is an isomorphism onto its image.^[6] The hyperplane bundle \mathcal{O}_{\mathbb{P}^{(m+1)(n+1)-1}}(1) pulls back under \sigma to the line bundle \mathcal{O}_{\mathbb{P}^m}(1) \boxtimes \mathcal{O}_{\mathbb{P}^n}(1) = \mathcal{O}_{\mathbb{P}^m \times \mathbb{P}^n}(1,1). This bundle is ample on the product because its restrictions to \mathbb{P}^m \times \{\mathrm{pt}\} and \{\mathrm{pt}\} \times \mathbb{P}^n are ample, and more generally, \mathcal{O}(a,b) is ample for positive integers a,b. Thus, \sigma realizes the very ample divisor class corresponding to \mathcal{O}(1,1), and the map provides a birational equivalence between \mathbb{P}^m \times \mathbb{P}^n and its image via this isomorphism. The image of the Segre embedding is projectively normal, meaning its homogeneous coordinate ring is integrally closed in its fraction field. This follows from the fact that the Segre embedding of a product of projectively normal varieties is projectively normal, and projective spaces are projectively normal (their coordinate rings being polynomial rings). Equivalently, the homogeneous coordinate ring of the image is the Segre product of the polynomial rings k[x_0,\dots,x_m] and k[y_0,\dots,y_n], which inherits normality from the factors. The degree of the embedded image in the ambient projective space is \binom{m+n}{m}. This is the number of intersection points of the image with a general linear subspace of complementary dimension m+n, computed via the multidegree of the embedding or the Hilbert polynomial of the coordinate ring.^[7]

Geometric Properties

The Segre variety, being the image of the embedding \sigma: \mathbb{P}^m \times \mathbb{P}^n \hookrightarrow \mathbb{P}^{(m+1)(n+1)-1}, possesses two distinct families of rulings by linear subspaces. One family is parametrized by points in \mathbb{P}^m and consists of the lines \sigma(\{p\} \times \mathbb{P}^n) for fixed p \in \mathbb{P}^m, while the other is parametrized by points in \mathbb{P}^n via \sigma(\mathbb{P}^m \times \{q\}) for fixed q \in \mathbb{P}^n. These rulings highlight the product structure preserved under the embedding. In low dimensions, such as m = n = 1, the Segre variety is a smooth quadric surface in \mathbb{P}^3, a classic example of a ruled surface with these two one-parameter families of lines.^[1] The embedding is smooth, as the differential d\sigma is injective at every point, ensuring that the map is an immersion. At a point \sigma(, ), the tangent space T_{\sigma(,)} \mathbb{P}^{(m+1)(n+1)-1} contains the image of d\sigma, which has dimension m + n and decomposes as the direct sum of the images from the two factors, reflecting the product geometry. This injectivity implies that the Segre variety is non-singular, with tangent spaces of the expected dimension matching that of \mathbb{P}^m \times \mathbb{P}^n.^[2] The canonical divisor of the Segre variety V = \mathbb{P}^m \times \mathbb{P}^n is K_V = \mathrm{pr}_1^* O_{\mathbb{P}^m}(-m-1) \otimes \mathrm{pr}_2^* O_{\mathbb{P}^n}(-n-1), reflecting the product of the canonical bundles of the factors. When embedded in \mathbb{P}^N with N = (m+1)(n+1) - 1, the adjunction formula for subvarieties relates K_V to the ambient space via K_V = (K_{\mathbb{P}^N} \otimes \det N_{V/\mathbb{P}^N})|_V, yielding \det N_{V/\mathbb{P}^N} = K_V \otimes O_V(N+1). This connection underscores the embedding's role in computing invariants like the normal bundle's determinant, which encodes extrinsic geometric data.^[8] Intersections of the Segre variety with general hyperplanes yield rational normal scrolls. Specifically, a general hyperplane section of \sigma(\mathbb{P}^1 \times \mathbb{P}^2) \subset \mathbb{P}^5 is the rational normal scroll surface S(1,2) \subset \mathbb{P}^4, illustrating how such sections preserve the ruled structure while reducing dimension. In higher dimensions, these sections generalize to scrolls ruled by rational normal curves of appropriate degrees.^[9]

Examples

Segre Quadric

The Segre embedding provides a classical realization for the product \mathbb{P}^1 \times \mathbb{P}^1 as a subvariety of \mathbb{P}^3. Specifically, the map \sigma: \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^3 sends a pair of points [x_0 : x_1] \in \mathbb{P}^1 and [y_0 : y_1] \in \mathbb{P}^1 to the point [x_0 y_0 : x_0 y_1 : x_1 y_0 : x_1 y_1] \in \mathbb{P}^3.^[10] This parametrization arises from viewing the coordinates as entries of a $2 \times 2 matrix of rank 1, where the rows are scalar multiples corresponding to the projective points.^[1] The image of \sigma is a hypersurface in \mathbb{P}^3 defined by the single quadric equation z_{00} z_{11} - z_{01} z_{10} = 0, where z_{00} = x_0 y_0, z_{01} = x_0 y_1, z_{10} = x_1 y_0, and z_{11} = x_1 y_1.^[10] This equation is the determinant of the associated $2 \times 2 matrix, ensuring the image lies in the locus of rank-1 matrices, and it is the sole relation due to the codimension being 1 in \mathbb{P}^3.^[11] As a degree-2 hypersurface, the Segre variety here is a quadric, and its defining polynomial is homogeneous of degree 2 in the projective coordinates.^[1] Geometrically, the image is a smooth quadric surface in \mathbb{P}^3, isomorphic to \mathbb{P}^1 \times \mathbb{P}^1 via \sigma, which is a closed embedding.^[10] This surface features two distinct rulings by lines: one family consists of lines parametrized by fixing the first \mathbb{P}^1-coordinate and varying the second, corresponding to lines in \mathbb{P}^3 where the points satisfy relations like b_0 z_{00} = a_0 z_{01} and b_0 z_{10} = a_0 z_{11} for fixed [a_0 : b_0]; the other family is obtained analogously by fixing the second coordinate.^[1] Each ruling is a \mathbb{P}^1-bundle over \mathbb{P}^1, reflecting the product structure.^[11]

Segre Threefold

The Segre embedding of \mathbb{P}^1 \times \mathbb{P}^2 into \mathbb{P}^5 is defined by the map \sigma: \mathbb{P}^1 \times \mathbb{P}^2 \to \mathbb{P}^5 that sends a point ([x_0 : x_1], [y_0 : y_1 : y_2]) to the coordinates [z_{00} : z_{01} : z_{02} : z_{10} : z_{11} : z_{12}], where z_{ij} = x_i y_j for i = 0,1 and j = 0,1,2.^[12] This embedding realizes the product as a projective variety of dimension 3 inside \mathbb{P}^5. The image corresponds to the set of rank-1 matrices in the associated 2×3 matrix Z = (z_{ij}).^[13] The defining ideal of this Segre variety in the coordinate ring of \mathbb{P}^5 is generated by the 2×2 minors of the matrix Z, which are the three quadratic equations:

\begin{vmatrix} z_{00} & z_{01} \\ z_{10} & z_{11} \end{vmatrix} = 0, \quad \begin{vmatrix} z_{00} & z_{02} \\ z_{10} & z_{12} \end{vmatrix} = 0, \quad \begin{vmatrix} z_{01} & z_{02} \\ z_{11} & z_{12} \end{vmatrix} = 0.

This ideal is prime and has codimension 2, confirming that the embedding is a closed immersion.^[1]^[13] Geometrically, the Segre threefold features two families of rulings: the images of \{pt\} \times \mathbb{P}^2 are planes in \mathbb{P}^5, while the images of \mathbb{P}^1 \times \{pt\} are lines in \mathbb{P}^5. These rulings correspond to the fibers of the projections to each factor. The variety is rational, being birational to the product of rational varieties. It has degree 3 with respect to the hyperplane class in \mathbb{P}^5, meaning a general linear subspace of codimension 3 intersects it in 3 points.^[14] The Picard group is \mathbb{Z} \oplus \mathbb{Z}, generated by the classes of the two rulings (or equivalently, the pullbacks of \mathcal{O}(1) from each projective space).

Higher-Dimensional Cases

The Segre embedding of \mathbb{P}^m \times \mathbb{P}^n into \mathbb{P}^{(m+1)(n+1)-1} for m, n \geq 2 exhibits significantly increased complexity compared to lower-dimensional instances, with the image forming a variety of dimension m+n and codimension mn in the ambient space.^[5] A representative example is the embedding \sigma: \mathbb{P}^2 \times \mathbb{P}^2 \to \mathbb{P}^8, where the coordinates on the target space form a $3 \times 3 matrix whose entries are the products of homogeneous coordinates from each factor. The ideal of this variety is generated by the nine $2 \times 2 minors of this matrix, which are quadratic forms, but the minimal free resolution requires higher-degree syzygies beyond these generators due to the relations among the minors. Specifically, the syzygy modules for this embedding decompose into direct sums of Schur functors under the action of \mathrm{GL}(3) \times \mathrm{GL}(3), reflecting the non-trivial linear dependencies that prevent a complete intersection structure. In general, the codimension mn underscores the embedding's non-hypersurface nature for m, n > 1, as the variety cannot be defined by a single equation, leading to richer ideal-theoretic structure. The degree of the Segre variety \sigma(\mathbb{P}^m \times \mathbb{P}^n) is \binom{m+n}{m}, which grows combinatorially and measures the number of intersection points with a general linear subspace of complementary dimension.^[5] For the \mathbb{P}^2 \times \mathbb{P}^2 case, this yields degree 6. Geometrically, linear sections of these higher-dimensional Segre varieties produce curves of genus greater than 1, highlighting the variety's role in realizing higher-genus embeddings. The coordinate ring of the Segre variety \Sigma_{m,n} = \sigma(\mathbb{P}^m \times \mathbb{P}^n) is arithmetically Cohen-Macaulay, and its Hilbert polynomial P(t) has degree m+n with leading term \frac{1}{m! \, n!} t^{m+n}, consistent with the variety's degree and dimension. This polynomial arises from the multigraded structure of the Segre product and provides asymptotic information on the dimensions of graded pieces of the ring.^[15]

Relations to Other Embeddings

Comparison with Veronese Embedding

The Veronese embedding, denoted \nu_d: \mathbb{P}^n \to \mathbb{P}^{\binom{n+d}{d}-1}, maps points in projective space via all monomials of total degree d in the homogeneous coordinates [x_0 : \cdots : x_n], producing coordinates [ \cdots : x_0^{\alpha_0} \cdots x_n^{\alpha_n} : \cdots ] where \sum \alpha_i = d.^[16] In contrast, the Segre embedding \sigma: \mathbb{P}^{n_1} \times \mathbb{P}^{n_2} \to \mathbb{P}^{(n_1+1)(n_2+1)-1} is multilinear, mapping ([x_0 : \cdots : x_{n_1}], [y_0 : \cdots : y_{n_2}]) to the products x_i y_j as coordinates, maintaining degree 1 in each factor's variables.^[17] This fundamental distinction arises because the Segre embedding handles direct products of spaces with separate homogeneous structures, yielding multihomogeneous polynomials, while the Veronese embedding applies to a single space and generates symmetric polynomials of fixed total degree.^[18] The images of these embeddings reflect their constructions: the Segre variety consists of rank-1 matrices when coordinates are viewed as a matrix with entries x_i y_j, parametrizing decomposable tensors in the tensor product of the corresponding vector spaces.^[1] Conversely, the Veronese variety is non-degenerate and projectively normal; for n=1, its image is a rational normal curve of degree d in \mathbb{P}^d, a smooth curve spanning the space without linear dependencies among its points.^[19] For higher n, such as the Veronese surface (n=2, d=2) in \mathbb{P}^5, the image is a surface of degree 4, distinct from the quadric hypersurface arising in low-dimensional Segre cases like \mathbb{P}^1 \times \mathbb{P}^1.^[16] A notable relation exists through the diagonal: the Veronese embedding \nu_d of \mathbb{P}^n coincides with the restriction of the d-fold Segre embedding \mathbb{P}^n \times \cdots \times \mathbb{P}^n \to \mathbb{P}^N (with N = ((n+1)^d - 1)) to the diagonal subvariety \Delta \subset (\mathbb{P}^n)^d, where coordinates are symmetrized by setting all factors equal.^[18] However, the embeddings do not commute in general; applying Segre to Veronese images or vice versa yields different varieties, as iterated Veroneses embed symmetric powers (like Veronese re-embeddings of rational normal curves), whereas Segre preserves the direct product structure without inherent symmetry.^[20] This connection underscores how Segre provides a multilinear framework for products, while Veronese offers a symmetric powering mechanism, with overlaps limited to diagonal restrictions.

Multiprojective Generalizations

The multiprojective generalization of the Segre embedding, also known as the iterated or multilinear Segre embedding, extends the binary construction to the Cartesian product of k \geq 3 projective spaces. The map \sigma_k: \mathbb{P}^{n_1} \times \cdots \times \mathbb{P}^{n_k} \to \mathbb{P}^{\left( \prod_{i=1}^k (n_i + 1) \right) - 1} is defined on homogeneous coordinates by associating to a tuple of points ([x^{(1)}_0 : \cdots : x^{(1)}_{n_1}], \dots, [x^{(k)}_0 : \cdots : x^{(k)}_{n_k}]) the point with multi-index coordinates z_{i_1 \dots i_k} = x^{(1)}_{i_1} \cdots x^{(k)}_{i_k} for $0 \leq i_j \leq n_j.^[21] The image of \sigma_k is the projectivization of the rank-1 tensors in the tensor product \mathbb{C}^{n_1+1} \otimes \cdots \otimes \mathbb{C}^{n_k+1}, realized as a closed subvariety of the target projective space. This image is defined by the vanishing of all $2 \times \cdots \times 2 minors of the unfolding tensors (or flattenings) to matrices along any bipartition of the factors, which enforce the rank-1 condition; for k=2, these reduce to the familiar Plücker quadrics (2×2 minors), but for k > 2, the relations form a more complex quadratic ideal generated by binomials of the form z_{i_1 \dots i_k} z_{j_1 \dots j_k} - z_{i_1' \dots i_k'} z_{j_1' \dots j_k'}, where the indices differ in exactly two positions.^[21]^[22] The map \sigma_k is a closed embedding, yielding a smooth projective variety of dimension \sum_{i=1}^k n_i. Although the image inherits normality from the Cohen–Macaulay property of the multiprojective space and the very ampleness of the line bundle \mathcal{O}(1, \dots, 1), verifying projective normality requires accounting for the multigraded structure of the coordinate ring. Cohomology computations, such as those for powers of the embedding line bundle or syzygy modules of the defining ideal, are more intricate for k > 2 due to the higher tensor rank, often involving the Künneth formula for the product and detailed Betti table analysis via minimal free resolutions.^[21]^[23] A concrete example is the Segre embedding \mathbb{P}^1 \times \mathbb{P}^1 \times \mathbb{P}^1 \to \mathbb{P}^7, whose image is a threefold of degree 6 with three rulings of lines, one from each factor.^[21]

Applications

In Algebraic Geometry

The Segre embedding provides a fundamental tool for studying products of projective varieties by embedding them as closed subvarieties of projective space. Specifically, for projective spaces \mathbb{P}^m and \mathbb{P}^n over an algebraically closed field, the map \sigma: \mathbb{P}^m \times \mathbb{P}^n \to \mathbb{P}^{(m+1)(n+1)-1} defined by [x_0 : \cdots : x_m] \times [y_0 : \cdots : y_n] \mapsto [x_i y_j]_{0 \leq i \leq m, 0 \leq j \leq n} is a closed immersion, with image a projective variety isomorphic to the product.^[1] This construction extends to arbitrary projective varieties: if X \subseteq \mathbb{P}^m and Y \subseteq \mathbb{P}^n are closed subvarieties, the product X \times Y embeds via the restriction of \sigma into \mathbb{P}^{(m+1)(n+1)-1}, confirming that products of projective varieties are projective. The explicit bilinear form of the embedding facilitates geometric computations on products, such as determining equations of hypersurfaces or analyzing tangent spaces. The homogeneous coordinate ring of the Segre variety \sigma(\mathbb{P}^m \times \mathbb{P}^n) is the Segre product of the coordinate rings of the factors, given by k[x_0, \dots, x_m] \# k[y_0, \dots, y_n], which consists of polynomials in the variables x_i y_j. This ring structure encodes the algebraic relations of the product, enabling the explicit study of ideals and syzygies for varieties on products; for instance, generators of the ideal of a subvariety in the product correspond to relations in the Segre product ring.^[24] Such algebraic insights support derivations of cohomology and Hodge structures on product varieties without direct computation on the non-projective product space. In the context of moduli spaces, the Segre embedding linearizes group actions on products for Geometric Invariant Theory (GIT) quotients. By embedding X \times Y into projective space via \sigma, one obtains an ample line bundle (the hyperplane bundle restricted to the image) that supports GIT stability conditions, allowing construction of moduli spaces of objects parametrized by products, such as pairs of points or bundles on factors.^[25] This approach is pivotal in applications like the moduli of stable maps to products or Hilbert schemes of points on surfaces realized as Segre images.^[26] Regarding intersection theory, Segre classes—characteristic classes measuring obstructions to embeddings and used in computations for blow-ups along subvarieties—are distinct from the Segre embedding itself, though both arise in the study of embedded schemes; the former, developed in modern treatments, quantify refined intersection products via the normal cone.^[27] Finally, in enumerative geometry, the Segre embedding reduces counting problems on products to intersections in projective space; for example, it enables enumeration of rational curves on Segre quadrics (isomorphic to \mathbb{P}^1 \times \mathbb{P}^1) by leveraging degree constraints in the ambient space, contributing to invariants like Gromov-Witten numbers for products.^[28]

In Multilinear Algebra and Beyond

In multilinear algebra, the Segre embedding provides a geometric interpretation of rank-1 tensors. Consider vector spaces V_1, \dots, V_k over an algebraically closed field; the Segre embedding maps the product \mathbb{P}(V_1) \times \cdots \times \mathbb{P}(V_k) into \mathbb{P}(V_1 \otimes \cdots \otimes V_k), and its image consists precisely of the rank-1 tensors, or pure tensors, up to scalar multiple.^[29] This variety, known as the Segre variety, parametrizes decomposable tensors and serves as a foundational object for studying tensor ranks via secant varieties.^[30] The properties of the Segre embedding are central to tensor decomposition problems, where a general tensor is expressed as a sum of rank-1 terms. Uniqueness of such decompositions, as in canonical polyadic decomposition, often depends on the dimension and identifiability conditions derived from the tangent spaces and secant varieties of the Segre embedding; for instance, in low-rank cases like 3-tensors of size (2, a, b), generic uniqueness holds when the rank does not exceed certain thresholds tied to the embedding's geometry.^[31] Seminal results, such as those linking decomposition loci to apolar ideals, highlight how the embedding's equations enforce minimal representations.^[32] In coding theory, Segre varieties underpin the construction of algebraic-geometric codes through evaluation on rational points of the embedded product space. For example, projective Segre codes over finite fields \mathbb{F}_q are defined by evaluating polynomials on the Segre variety \sigma(\mathbb{P}^m \times \mathbb{P}^n), yielding Reed-Muller-type codes with parameters determined by the variety's dimension and the field's size; these codes achieve good minimum distances via the embedding's uniformity.^[33] Similarly, evaluation codes on twisted Segre curves extend classical bounds, improving error-correcting capabilities for product varieties.^[34] Beyond these areas, the Segre embedding appears in differential geometry as a model for isometric immersions of products of spheres into Euclidean spaces, where characterizations of such maps rely on the embedding's second fundamental form properties.^[2] In mathematical physics, particularly quantum information theory, it describes separable multi-particle states: the image corresponds to unentangled pure states in the tensor product Hilbert space, with points outside indicating entanglement, as explored in analyses of multipartite systems of indistinguishable particles.^[35]

References

[1]
[PDF] the Segre map 1 1.1. P1 × P1 and the
This is called the Segre embedding. The image is in the locus of rank 1 matrices; in fact it is precisely the rank 1 matrices. Make clear that ...
[2]
Segre embedding and related maps and immersions in differential ...
Jul 1, 2013 · The Segre embedding plays an important roles in algebraic geometry as well as in differential geometry, mathematical physics, and coding theory.Missing: Beniamino original
[3]
[PDF] 1 Products and the Segre embedding - Algebraic geometry (Notes)
1.1 Definition of the product variety. wEEкб. If X and Y are algebraic varieties, then their product set X × Y is naturally an algebraic variety.
[4]
[PDF] The Segre Embedding - Daniel Murfet
May 16, 2006 · If S, T are graded. A-algebras then the tensor product S ⊗A T becomes a graded A-algebra in a canonical way with the grading given by (TES ...
[5]
[PDF] algebraic geometry - UChicago Math
Nov 24, 2010 · The image of the Segre embedding is a projective variety. Proof. Indeed, all the rows of the matrix {uivj} are scalar multiples of each ...
[6]
None
### Summary of Segre Embedding Proof and Related Details
[7]
3264 and All That - Cambridge University Press & Assessment
3264 and All That. A Second Course in Algebraic Geometry. Search within ...
[8]
[PDF] algebraic geometry, sheet iv: lent 2020 - DPMMS
... Segre embedding, first ... canonical divisor of any non- singular algebraic variety in this way. Adjunction relates the canonical class on Y to the canonical.
[9]
[PDF] arXiv:math/0611697v3 [math.AC] 13 Aug 2007
Aug 13, 2007 · For example rational normal scrolls, rational normal curves, and some Segre varieties ... general hyperplane section S ∩H ⊆ H. The following short ...
[10]
[PDF] Presence Sheet 7 | ETH Zurich, Algebraic Geometry, Spring 2024
ETH Zurich, Algebraic Geometry, Spring 2024. Lecturer: Johannes Schmitt ... On the other hand, we have seen that. Q3 = V (x0x3 − x1x2) ⊆ P3 is isomorphic to P1 × ...Missing: ℙ¹ × ℙ¹
[11]
Lemma 27.13.6 (01WD): Segre embedding—The Stacks project
In order to map into \mathbf{P}^{nm + n + m} we have to write down an invertible sheaf \mathcal{L} on the left hand side and (n + 1)(m + 1) sections s_ i ...
[12]
[PDF] arXiv:1108.3733v2 [math.AG] 13 Jun 2013
Jun 13, 2013 · In this paper we consider the Segre embedding of the product of two projective spaces. The representation of the group G = GL(U) × GL(V ) on ...
[13]
Degree of a Segre variety (without Hilbert polynomial) - MathOverflow
Aug 26, 2014 · What I see in many notes, when X is a Segre variety, is the intersection of X with a subspace that has codimension k, intersects transversally X ...
[14]
How to show $P^1\times P^1$ (as projective variety by Segre ...
Oct 21, 2014 · By his hint, it seems this can be argued that there are two curves in image of Segre embedding that do not intersect with each other while in P2 ...
[15]
[PDF] Canonical curves of genus eight - RIMS, Kyoto University
In order to show this we investigate the linear section [P2 ×P2 ⊂ P8]∩H1 ∩H2 of the Segre variety. (This is one of well-known descriptions of del Pezzo surfaces ...
[16]
[PDF] . HILBERT POLYNOMIALS - Universität Konstanz
( ) In Exercise . , we showed that the Hilbert polynomial of the Segre variety Σm,n = σ(Pm + Pn) is a polynomial of degree m + n with leading coefficient m! n!. ...
[17]
[PDF] What is the Veronese map? - OSU Math
Jul 26, 2016 · Theorem 1 (Veronese Map is an Embedding to the general Veronese Variety). X= Pn a projective variety and Y= νd(X) ⊂ PN , X and Y are isomorphic ...
[18]
[PDF] Math 6130 Notes. Fall 2002. 5. Basic Examples. Before we go ...
The Segre embedding also has a role in the theory, allowing us to construct products of arbitrary quasi-projective varieties (see §6). Example: (The Smooth ...
[19]
[PDF] computations in algebraic geometry - Michele Graffeo
In this lecture we recall the definition of classical maps in algebraic geometry such as Veronese/Segre embeddings, projections and the standard Cremona ...<|control11|><|separator|>
[20]
[PDF] Algebraic Geometry, Lecture 19
ρn,d is called the Veronese or d-uple. embedding of Pn. Example. In case of n = 1 the morphism ρ1,d embeds P1 ,→ Pd as. the rational normal curve of degree d ...<|separator|>
[21]
Veronese and Segre - ag.algebraic geometry - MathOverflow
Nov 2, 2016 · In Harris's book there is an exercise that the image of the diagonal Δ⊂Pn×Pn under Segre map is the Veronese variety ν2(Pn). I want to ...When are Segre- and Veronese embeddings Gorenstein?Is the Segre embedding of two real varieties a real variety?More results from mathoverflow.net
[22]
[PDF] On the (non-)vanishing of syzygies of Segre embeddings
example, consider the Segre embedding of P2 × P2 × P1 into P17, which occurs by taking n = 3 and (a1,a2,a3) = (2,2,1). The graded Betti table (as computed ...Missing: minors | Show results with:minors
[23]
[PDF] Uniqueness of the tensor decomposition for tensors with small ranks ...
Apr 9, 2022 · ... Segre embedding ... product of k projective spaces, each of them defined over K. For any multiprojective space Y let ν denote its Segre embedding.
[24]
Is the Segre embedding projectively normal? - MathOverflow
Apr 10, 2013 · The question is whether the Segre embedding is linearly normal, not projectively normal. Anyway, this follows from the Künneth formula for ...Segre embedding and intersections by hyperplanes - MathOverflowLinear sections of Segre varieties and rational normal scrollsMore results from mathoverflow.net
[25]
[PDF] On the arithmetic rank of certain Segre products
The Segre product E × P1 has an embedding in P5 with homogeneous coordinate ring. S = K[x0,x1,x2]. (f). # K[y0,y1],. i.e., S is the subring of K[x0,x1,x2,y0,y1]/( ...
[26]
[PDF] introduction to geometric invariant theory - Yale Math
The next result, due to Hilbert, justifies the importance of reductive groups in geometric invariant theory. ... By the very definition of the Segre embedding,.
[27]
[PDF] geometric invariant theory and symplectic quotients
GEOMETRIC INVARIANT THEORY AND SYMPLECTIC QUOTIENTS. 13. 3. Affine Geometric Invariant Theory ... The Segre embedding (P1)3 ,→ P7 allows us to realise X = (P1)3.
[28]
[2109.05061] Segre classes and invariants of singular varieties - arXiv
Sep 10, 2021 · Segre classes encode essential intersection-theoretic information concerning vector bundles and embeddings of schemes. In this paper we survey ...
[29]
https://arxiv.org/pdf/1307.0459
[30]
[PDF] arXiv:1307.0459v1 [math.AG] 1 Jul 2013
Jul 1, 2013 · The Segre embedding plays an important roles in algebraic geometry as well as in differential geometry, mathemat- ical physics, and coding ...
[31]
Ranks of tensors, secant varieties of Segre varieties and fat points
A classical unsolved problem of projective geometry is that of finding the dimensions of all the (higher) secant varieties of the Segre embeddings.Missing: book | Show results with:book
[32]
[PDF] Tutorial: A brief survey on tensor rank and tensor decomposition ...
The decomposition we have found is unique, up to reordering the summands. This is a strong difference with the case of matrices, where any decomposition with at ...
[33]
Decomposition loci of tensors - ScienceDirect.com
The decomposition locus of a tensor is the set of rank-one tensors appearing in a minimal tensor-rank decomposition of the tensor. ... The Segre embedding is the ...
[34]
(PDF) Projective Segre codes - ResearchGate
May 3, 2015 · Let K=Fq be a finite field. We introduce a family of projective Reed-Muller-type codes called projective Segre codes.
[35]
[PDF] Evaluation codes from smooth quadric surfaces and twisted Segre ...
Jun 12, 2012 · Abstract. We give the parameters of any evaluation code on a smooth quadric surface. For hyperbolic quadrics the approach uses elementary ...
[36]
[1111.4812] Segre maps and entanglement for multipartite systems ...
Nov 21, 2011 · We elaborate the concept of entanglement for multipartite system with bosonic and fermionic constituents and its generalization to systems with arbitrary ...