Algebraic geometry

Cotangent sheaf

In algebraic geometry, given a morphism f: X → S of schemes, the cotangent sheaf on X is the sheaf of -modules that represents (or classifies) S-derivations in the sense: for any -modules F, there is an isomorphism that depends naturally on F. In other words, the cotangent sheaf is characterized by the universal property: there is the differential such that any S-derivation factors as with some . In the case X and S are affine schemes, the above definition means that is the module of Kähler differentials. The standard way to construct a cotangent sheaf (e.g., Hartshorne, Ch II. § 8) is through a diagonal morphism (which amounts to gluing modules of Kähler differentials on affine charts to get the globally-defined cotangent sheaf.) The dual module of the cotangent sheaf on a scheme X is called the tangent sheaf on X and is sometimes denoted by . There are two important exact sequences: 1. * If S →T is a morphism of schemes, then 2. * If Z is a closed subscheme of X with ideal sheaf I, then The cotangent sheaf is closely related to smoothness of a variety or scheme. For example, an algebraic variety is smooth of dimension n if and only if ΩX is a locally free sheaf of rank n. (Wikipedia).

Video thumbnail

Graphing the Cotangent Function

Illustrations the graph of the cotangent function using the cotangent segment. Explains how to graph cotangent using reciprocal values of the tangent function http://mathispower4u.wordpress.com/

From playlist Graphing Trigonometric Functions

Video thumbnail

Trigonometry 8 The Tangent and Cotangent of the Sum and Difference of Two Angles.mov

Derive the tangent and cotangent trigonometric identities.

From playlist Trigonometry

Video thumbnail

Schemes 47: Cotangent bundle

This lecture is part of an online algebraic geometry course on schemes, based on chapter II of "Algebraic geometry" by Hartshorne. We define the cotangent sheaf of a scheme, and calculate it for the projective line and then for general projective space.

From playlist Algebraic geometry II: Schemes

Video thumbnail

Who Gives a Sheaf? Part 1: A First Example

We take a first look at (pre-)sheaves, as being inspired from first year calculus.

From playlist Who Gives a Sheaf?

Video thumbnail

Trigonometry X: the Law of Cotangents (and another lovely relation involving cotangents!)

Boy, oh boy this is a longish one. I prove the Law of Cotangents using the incenter of the triangle, after motivating the path with another way one might seek to prove the Law of Sines using the circumcenter of the triangle. After that, I demonstrate an equally lovely relationship betwee

From playlist Trigonometry

Video thumbnail

Integral of cot^5x, cot(x) and csc(x) approach

integral of cot^5(x), integral of (cot(x))^5, integral of cotangent, playlist: https://www.youtube.com/playlist?list=PLj7p5OoL6vGzK7feKUEtd_BUmTCCf5tlo blackpenredpen

From playlist Calculus: Sect 7.2 Trigonometric Integrals, Stewart Calculus Solution, 7th ET edition

Video thumbnail

Who Gives a Sheaf? Part 3: Mighty Morph'n Morphisms

In this video we discuss the definition of a morphism of sheaves.

From playlist Who Gives a Sheaf?

Video thumbnail

From Cohomology to Derived Functors by Suresh Nayak

PROGRAM DUALITIES IN TOPOLOGY AND ALGEBRA (ONLINE) ORGANIZERS: Samik Basu (ISI Kolkata, India), Anita Naolekar (ISI Bangalore, India) and Rekha Santhanam (IIT Mumbai, India) DATE & TIME: 01 February 2021 to 13 February 2021 VENUE: Online Duality phenomena are ubiquitous in mathematics

From playlist Dualities in Topology and Algebra (Online)

Video thumbnail

Monotone Lagrangians in cotangent bundles - Luis Diogo

Princeton/IAS Symplectic Geometry Seminar Speaker: Luis Diogo Affiliation: Columbia University Topic: Monotone Lagrangians in cotangent bundles Date: Oct 11, 2016 Description:* We show that there is a 1-parameter family of monotone Lagrangian tori in the cotangent bundle of the 3-sphere w

From playlist Mathematics

Video thumbnail

Will Sawin - Bounding the stalks of perverse sheaves in characteristic p via the (...)

The sheaf-function dictionary shows that many natural functions on the F_q-points of a variety over F_q can be obtained from l-adic sheaves on that variety. To obtain upper bounds on these functions, it is necessary to obtain upper bounds on the dimension of the stalks of these sheaves. In

From playlist Franco-Asian Summer School on Arithmetic Geometry (CIRM)

Video thumbnail

Fourier transform for Class D-modules - David Ben Zvi

Locally Symmetric Spaces Seminar Topic: Fourier transform for Class D-modules Speaker: David Ben Zvi Affiliation: University of Texas at Austin; Member, School of Mathematics Date: Febuary 13, 2018 For more videos, please visit http://video.ias.edu

From playlist Mathematics

Video thumbnail

Ex: Solve cot(x)=a Without a Calculator

This video explains how to solve the equation cot(x)=a on the interval [0, 2pi) using reference triangles and the unit circle. Site: http://mathispower4u.com

From playlist Solving Trigonometric Equations

Video thumbnail

Takeshi Saito - Micro support of a constructible sheaf in mixed characteristic

Correction: The affiliation of Lei Fu is Tsinghua University. One of the obstacles in the definition of the singular support of a constructible sheaf in mixed characteristic is the absence of the cotangent bundle. We define a ‘Frobenius pull-back’ of the cotangent bundle restricted on the

From playlist Conférence « Géométrie arithmétique en l’honneur de Luc Illusie » - 5 mai 2021

Video thumbnail

Hypotheses in Geometric Versions of Diophantine Problems

Here describe the notion of isotriviality and how it plays roles in the geometric versions of Mordell-Lang and Lang-Bombieri-Noguchi.

From playlist Mordell-Lang

Video thumbnail

Geometric Langlands correspondence via quantization in positive characteristic - Roman Travkin

Geometric Langlands correspondence via quantization in positive characteristic Speaker: Roman Travkin, Member, School of Mathematics Time/Room: 2:30pm - 2:45pm/S-101 More videos on http://video.ias.edu

From playlist Mathematics

Video thumbnail

Estimating Reeb chords using microlocal sheaf theory - Wenyuan Li

Joint IAS/Princeton/Montreal/Paris/Tel-Aviv Symplectic Geometry Zoominar Topic: Estimating Reeb chords using microlocal sheaf theory SpeakerL: Wenyuan Li Affiliation: Northwestern Date: December 17, 2021 We show that, for closed Legendrians in 1-jet bundles, when there is a sheaf with s

From playlist Mathematics

Video thumbnail

Rahul Pandharipande - Enumerative Geometry of Curves, Maps, and Sheaves 1/5

The main topics will be the intersection theory of tautological classes on moduli space of curves, the enumeration of stable maps via Gromov-Witten theory, and the enumeration of sheaves via Donaldson-Thomas theory. I will cover a mix of classical and modern results. My goal will be, by th

From playlist 2021 IHES Summer School - Enumerative Geometry, Physics and Representation Theory

Video thumbnail

Calculus 2: Hyperbolic Functions (9 of 57) Graphical Representation of coth(x)

Visit http://ilectureonline.com for more math and science lectures! In this video I will explain and draw the graphical representation of coth(x). Next video in the series can be seen at: https://youtu.be/Uc1JSnr9Vts

From playlist CALCULUS 2 CH 16 HYPERBOLIC FUNCTIONS

Related pages

Sheaf of modules | Chern class | Cotangent complex | Kähler differential | Representable functor | Derivation (differential algebra) | Dual module | Noetherian scheme