Tautological bundle

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. The tautological bundle is also called the universal bundle since any vector bundle (over a compact space) is a pullback of the tautological bundle; this is to say a Grassmannian is a classifying space for vector bundles. Because of this, the tautological bundle is important in the study of characteristic classes. Tautological bundles are constructed both in algebraic topology and in algebraic geometry. In algebraic geometry, the tautological line bundle (as invertible sheaf) is the dual of the hyperplane bundle or Serre's twisting sheaf . The hyperplane bundle is the line bundle corresponding to the hyperplane (divisor) in . The tautological line bundle and the hyperplane bundle are exactly the two generators of the Picard group of the projective space. In Michael Atiyah's "K-theory", the tautological line bundle over a complex projective space is called the standard line bundle. The sphere bundle of the standard bundle is usually called the Hopf bundle. (cf. Bott generator.) More generally, there are also tautological bundles on a projective bundle of a vector bundle as well as a Grassmann bundle. The older term canonical bundle has dropped out of favour, on the grounds that canonical is heavily overloaded as it is, in mathematical terminology, and (worse) confusion with the canonical class in algebraic geometry could scarcely be avoided. Grassmannians by definition are the parameter spaces for linear subspaces, of a given dimension, in a given vector space . If is a Grassmannian, and is the subspace of corresponding to in , this is already almost the data required for a vector bundle: namely a vector space for each point , varying continuously.

À propos de ce résultat

Cette page est générée automatiquement et peut contenir des informations qui ne sont pas correctes, complètes, à jour ou pertinentes par rapport à votre recherche. Il en va de même pour toutes les autres pages de ce site. Veillez à vérifier les informations auprès des sources officielles de l'EPFL.

Publications associées (34)

Personnes associées (7)

Unités associées (8)

Concepts associés (18)

Cours associés (8)

Séances de cours associées (32)

MATH-657: Deformation Theory

We will study classical and modern deformation theory of schemes and coherent sheaves. Participants should have a solid background in scheme-theory, for example being familiar with the first 3 chapter

MATH-473: Complex manifolds

The goal of this course is to help students learn the basic theory of complex manifolds and Hodge theory.

MATH-535: Algebraic geometry III - selected topics

This course is aimed to give students an introduction to the theory of algebraic curves, with an emphasis on the interplay between the arithmetic and the geometry of global fields. One of the principl

Variété de Stiefel

En mathématiques, les différentes variétés de Stiefel sont les espaces obtenus en considérant comme des points l'ensemble des familles orthonormales de k vecteurs de l'espace euclidien de dimension n. Ils possèdent une structure naturelle de variété ce qui permet de donner leurs propriétés au plan de la topologie globale, de la géométrie ou des aspects algébriques. Ce sont des exemples d'espace homogène sous l'action des groupes classiques de la géométrie.

Euler sequence

In mathematics, the Euler sequence is a particular exact sequence of sheaves on n-dimensional projective space over a ring. It shows that the sheaf of relative differentials is stably isomorphic to an -fold sum of the dual of the Serre twisting sheaf. The Euler sequence generalizes to that of a projective bundle as well as a Grassmann bundle (see the latter article for this generalization.) Let be the n-dimensional projective space over a commutative ring A. Let be the sheaf of 1-differentials on this space, and so on.

Proj construction

In algebraic geometry, Proj is a construction analogous to the spectrum-of-a-ring construction of affine schemes, which produces objects with the typical properties of projective spaces and projective varieties. The construction, while not functorial, is a fundamental tool in scheme theory. In this article, all rings will be assumed to be commutative and with identity. Let be a graded ring, whereis the direct sum decomposition associated with the gradation.

Sans titre ENV-471: Environmental economics

Développement de logiciels: Refactoring de code et débogage

Couvre le processus de refacturation et de débogage du code dans le développement de logiciels.

Dualité de Serre: Affaire générale MATH-510: Algebraic geometry II - schemes and sheaves

Couvre l'application de la dualité de Serre dans le cas général, en mettant l'accent sur les faisceaux de lignes et les concepts de base.

Persistence and the Sheaf-Function Correspondence

Nicolas Michel Berkouk

The sheaf-function correspondence identifies the group of constructible functions on a real analytic manifold M with the Grothendieck group of constructible sheaves on M. When M is a finite dimensional real vector space, Kashiwara-Schapira have recently in ...

Cambridge2023

Singularities of general fibers and the LMMP

Zsolt Patakfalvi, Joseph Allen Waldron

We use the theory of foliations to study the relative canonical divisor of a normalized inseparable base-change. Our main technical theorem states that it is linearly equivalent to a divisor with positive integer coefficients divisible by p - 1. We deduce ...

JOHNS HOPKINS UNIV PRESS2022

Ordinary varieties with trivial canonical bundle are not uniruled

Zsolt Patakfalvi, Maciej Emilian Zdanowicz

We prove that smooth, projective, K-trivial, weakly ordinary varieties over a perfect field of characteristic p>0 are not geometrically uniruled. We also show a singular version of our theorem, which is sharp in multiple aspects. Our work, together with La ...

2021