Grassmann bundle

Last updated February 17, 2022

In algebraic geometry, the Grassmann d-plane bundle of a vector bundle E on an algebraic scheme X is a scheme over X:

p:G_{d}(E)\to X

such that the fiber $p^{-1}(x)=G_{d}(E_{x})$ is the Grassmannian of the d-dimensional vector subspaces of $E_{x}$ . For example, $G_{1}(E)=\mathbb {P} (E)$ is the projective bundle of E. In the other direction, a Grassmann bundle is a special case of a (partial) flag bundle. Concretely, the Grassmann bundle can be constructed as a Quot scheme.

Like the usual Grassmannian, the Grassmann bundle comes with natural vector bundles on it; namely, there are universal or tautological subbundle S and universal quotient bundle Q that fit into

0\to S\to p^{*}E\to Q\to 0

.

Specifically, if V is in the fiber p⁻¹(x), then the fiber of S over V is V itself; thus, S has rank r = rk(E) and $\wedge ^{r}S$ is the determinant line bundle. Now, by the universal property of a projective bundle, the injection $\wedge ^{r}S\to p^{*}(\wedge ^{r}E)$ corresponds to the morphism over X:

G_{d}(E)\to \mathbb {P} (\wedge ^{r}E)

,

which is nothing but a family of Plücker embeddings.

The relative tangent bundle T_{G_d(E)/X} of G_d(E) is given by^[1]

T_{G_{d}(E)/X}=\operatorname {Hom} (S,Q)=S^{\vee }\otimes Q,

which morally is given by the second fundamental form. In the case d = 1, it is given as follows: if V is a finite-dimensional vector space, then for each line $l$ in V passing through the origin (a point of $\mathbb {P} (V)$ ), there is the natural identification (see Chern class#Complex projective space for example):

\operatorname {Hom} (l,V/l)=T_{l}\mathbb {P} (V)

and the above is the family-version of this identification. (The general care is a generalization of this.)

In the case d = 1, the early exact sequence tensored with the dual of S = O(-1) gives:

0\to {\mathcal {O}}_{\mathbb {P} (E)}\to p^{*}E\otimes {\mathcal {O}}_{\mathbb {P} (E)}(1)\to T_{\mathbb {P} (E)/X}\to 0

,

which is the relative version of the Euler sequence.

Related Research Articles

In mathematics, K-theory is, roughly speaking, the study of a ring generated by vector bundles over a topological space or scheme. In algebraic topology, it is a cohomology theory known as topological K-theory. In algebra and algebraic geometry, it is referred to as algebraic K-theory. It is also a fundamental tool in the field of operator algebras. It can be seen as the study of certain kinds of invariants of large matrices.

In mathematics, in particular in algebraic topology, differential geometry and algebraic geometry, the Chern classes are characteristic classes associated with complex vector bundles. They have since found applications in physics, Calabi–Yau manifolds, string theory, Chern–Simons theory, knot theory, Gromov–Witten invariants, topological quantum field theory, the Chern theorem etc.

In algebraic geometry, a branch of mathematics, Serre duality is a duality for the coherent sheaf cohomology of algebraic varieties, proved by Jean-Pierre Serre. The basic version applies to vector bundles on a smooth projective variety, but Alexander Grothendieck found wide generalizations, for example to singular varieties. On an n-dimensional variety, the theorem says that a cohomology group $is the dual space of another one, . Serre duality is the analog for coherent sheaf cohomology of Poincaré duality in topology, with the canonical line bundle replacing the orientation sheaf.$

In mathematics, the Grassmannian $Gr (k, V)$ is a space that parameterizes all $k$ -dimensional linear subspaces of the $n$ -dimensional vector space $V$ . For example, the Grassmannian $Gr (1, V)$ is the space of lines through the origin in $V$ , so it is the same as the projective space of one dimension lower than $V$ .

In mathematics, and especially differential geometry and gauge theory, a connection on a fiber bundle is a device that defines a notion of parallel transport on the bundle; that is, a way to "connect" or identify fibers over nearby points. The most common case is that of a linear connection on a vector bundle, for which the notion of parallel transport must be linear. A linear connection is equivalently specified by a covariant derivative, an operator that differentiates sections of the bundle along tangent directions in the base manifold, in such a way that parallel sections have derivative zero. Linear connections generalize, to arbitrary vector bundles, the Levi-Civita connection on the tangent bundle of a pseudo-Riemannian manifold, which gives a standard way to differentiate vector fields. Nonlinear connections generalize this concept to bundles whose fibers are not necessarily linear.

In mathematics, especially in algebraic geometry and the theory of complex manifolds, coherent sheaves are a class of sheaves closely linked to the geometric properties of the underlying space. The definition of coherent sheaves is made with reference to a sheaf of rings that codifies this geometric information.

In mathematics, Kähler differentials provide an adaptation of differential forms to arbitrary commutative rings or schemes. The notion was introduced by Erich Kähler in the 1930s. It was adopted as standard in commutative algebra and algebraic geometry somewhat later, once the need was felt to adapt methods from calculus and geometry over the complex numbers to contexts where such methods are not available.

In physics and mathematics, supermanifolds are generalizations of the manifold concept based on ideas coming from supersymmetry. Several definitions are in use, some of which are described below.

In algebraic geometry, a linear system of divisors is an algebraic generalization of the geometric notion of a family of curves; the dimension of the linear system corresponds to the number of parameters of the family.

In mathematics, the tautological bundle is a vector bundle occurring over a Grassmannian in a natural tautological way: for a Grassmannian of $-dimensional subspaces of, given a point in the Grassmannian corresponding to a -dimensional vector subspace, the fiber over is the subspace itself. In the case of projective space the tautological bundle is known as the tautological line bundle.$

In mathematics, a super vector space is a -graded vector space, that is, a vector space over a field $with a given decomposition of subspaces of grade and grade . The study of super vector spaces and their generalizations is sometimes called super linear algebra . These objects find their principal application in theoretical physics where they are used to describe the various algebraic aspects of supersymmetry.$

In algebraic geometry, a morphism of schemes generalizes a morphism of algebraic varieties just as a scheme generalizes an algebraic variety. It is, by definition, a morphism in the category of schemes.

In mathematics, Hochschild homology is a homology theory for associative algebras over rings. There is also a theory for Hochschild homology of certain functors. Hochschild cohomology was introduced by Gerhard Hochschild (1945) for algebras over a field, and extended to algebras over more general rings by Henri Cartan and Samuel Eilenberg (1956).

In mathematics, a projective bundle is a fiber bundle whose fibers are projective spaces.

This is a glossary of algebraic geometry.

In algebraic geometry, the Quot scheme is a scheme parametrizing locally free sheaves on a projective scheme. More specifically, if X is a projective scheme over a Noetherian scheme S and if F is a coherent sheaf on X, then there is a scheme $whose set of T -points is the set of isomorphism classes of the quotients of that are flat over T . The notion was introduced by Alexander Grothendieck.$

In algebraic geometry and differential geometry, the nonabelian Hodge correspondence or Corlette–Simpson correspondence is a correspondence between Higgs bundles and representations of the fundamental group of a smooth, projective complex algebraic variety, or a compact Kähler manifold.

This is a glossary of properties and concepts in algebraic topology in mathematics.

In algebraic geometry, a cone is a generalization of a vector bundle. Specifically, given a scheme X, the relative Spec

In mathematics, derived noncommutative algebraic geometry, the derived version of noncommutative algebraic geometry, is the geometric study of derived categories and related constructions of triangulated categories using categorical tools. Some basic examples include the bounded derived category of coherent sheaves on a smooth variety, $, called its derived category, or the derived category of perfect complexes on an algebraic variety, denoted . For instance, the derived category of coherent sheaves on a smooth projective variety can be used as an invariant of the underlying variety for many cases. Unfortunately, studying derived categories as geometric objects of themselves does not have a standardized name.$

References

↑ Fulton 1998 , Appendix B.5.8

Eisenbud, David; Joe, Harris (2016), 3264 and All That: A Second Course in Algebraic Geometry, C. U.P., ISBN 978-1107602724
Fulton, William (1998), Intersection theory, Ergebnisse der Mathematik und ihrer Grenzgebiete. 3. Folge., vol. 2 (2nd ed.), Berlin, New York: Springer-Verlag, ISBN 978-3-540-62046-4, MR 1644323

This page is based on this Wikipedia article
Text is available under the CC BY-SA 4.0 license; additional terms may apply.
Images, videos and audio are available under their respective licenses.

[1] Fulton 1998 , Appendix B.5.8

[1]