Commutative algebra | Algebraic geometry | Theorems in abstract algebra

Generic flatness

In algebraic geometry and commutative algebra, the theorems of generic flatness and generic freeness state that under certain hypotheses, a sheaf of modules on a scheme is flat or free. They are due to Alexander Grothendieck. Generic flatness states that if Y is an integral locally noetherian scheme, u : X → Y is a finite type morphism of schemes, and F is a coherent OX-module, then there is a non-empty open subset U of Y such that the restriction of F to u−1(U) is flat over U. Because Y is integral, U is a dense open subset of Y. This can be applied to deduce a variant of generic flatness which is true when the base is not integral. Suppose that S is a noetherian scheme, u : X → S is a finite type morphism, and F is a coherent OX module. Then there exists a partition of S into locally closed subsets S1, ..., Sn with the following property: Give each Si its reduced scheme structure, denote by Xi the fiber product X ×S Si, and denote by Fi the restriction F ⊗OS OSi; then each Fi is flat. (Wikipedia).

Video thumbnail

Math 101 Fall 2017 112917 Introduction to Compact Sets

Definition of an open cover. Definition of a compact set (in the real numbers). Examples and non-examples. Properties of compact sets: compact sets are bounded. Compact sets are closed. Closed subsets of compact sets are compact. Infinite subsets of compact sets have accumulation poi

From playlist Course 6: Introduction to Analysis (Fall 2017)

Video thumbnail

The Earth is Definitely Not Flat

Anti-science mentality is rampant in this day and age, and one of the more peculiar aspects of this trend is the current fad that is the Flat Earth model. There exists a group of people who believe that against everything we have come to learn throughout the scientific revolution, the worl

From playlist Astronomy/Astrophysics

Video thumbnail

Math 030 Calculus I 030415: Rigorous Definition of Derivative

Formal definition of differentiability at a point; definition of the derivative of a function; interpretation of differentiability at a point ("being line-like as one zooms in"); various notations for the derivative; differentiability implies continuity; examples of calculating the derivat

From playlist Course 2: Calculus I

Video thumbnail

Properties of Compactness

Compact sets enjoy some mysterious properties, which I'll discuss in this video. More precisely, compact sets are always bounded and closed. The beauty of this result lies in the proof, which is an elegant application of this subtle concept. Enjoy! Compactness Definition: https://youtu.be

From playlist Topology

Video thumbnail

Math 131 092816 Continuity; Continuity and Compactness

Review definition of limit. Definition of continuity at a point; remark about isolated points; connection with limits. Composition of continuous functions. Alternate characterization of continuous functions (topological definition). Continuity and compactness: continuous image of a com

From playlist Course 7: (Rudin's) Principles of Mathematical Analysis

Video thumbnail

Math 101 Introduction to Analysis 112515: Introduction to Compact Sets

Introduction to Compact Sets: open covers; examples of finite and infinite open covers; definition of compactness; example of a non-compact set; compact implies closed; closed subset of compact set is compact; continuous image of a compact set is compact

From playlist Course 6: Introduction to Analysis

Video thumbnail

What is a metric space ?

Metric space definition and examples. Welcome to the beautiful world of topology and analysis! In this video, I present the important concept of a metric space, and give 10 examples. The idea of a metric space is to generalize the concept of absolute values and distances to sets more gener

From playlist Topology

Video thumbnail

Flat Earth "Science" -- Wrong, but not Stupid

In this video I explain what flat earthers believe, why they believe it, and why I think scientists should take flat earthers more seriously. The CNN article which I quote is here: https://edition.cnn.com/2019/11/16/us/flat-earth-conference-conspiracy-theories-scli-intl/index.html The G

From playlist Philosophy of Science

Video thumbnail

Commutative algebra 44 Flat modules

This lecture is part of an online course on commutative algebra, following the book "Commutative algebra with a view toward algebraic geometry" by David Eisenbud. We summarize some of the properties of flat modules. In particular we show that for finitely presented modules over local ring

From playlist Commutative algebra

Video thumbnail

Hierarchy Hyperbolic Spaces (Lecture - 3) by Jason Behrstock

Geometry, Groups and Dynamics (GGD) - 2017 DATE: 06 November 2017 to 24 November 2017 VENUE: Ramanujan Lecture Hall, ICTS, Bengaluru The program focuses on geometry, dynamical systems and group actions. Topics are chosen to cover the modern aspects of these areas in which research has b

From playlist Geometry, Groups and Dynamics (GGD) - 2017

Video thumbnail

How Dentures Are Made | The Making Of

Dentures are a removable set of teeth that are meant to create a new smile for a patient. In order to make a set, it requires several appointments with the patient and lengthy procedures in the lab to get the right fit and look. It can be a tedious process for all, but worth it in the end

From playlist Health Science

Video thumbnail

Herwig Hauser : Commutative algebra for Artin approximation - Part 3

Find this video and other talks given by worldwide mathematicians on CIRM's Audiovisual Mathematics Library: http://library.cirm-math.fr. And discover all its functionalities: - Chapter markers and keywords to watch the parts of your choice in the video - Videos enriched with abstracts, b

From playlist Jean-Morlet Chair - Hauser/Rond

Video thumbnail

Holomorphic Cartan geometries on simply connected manifolds by Sorin Dumitrescu

Discussion Meeting Complex Algebraic Geometry ORGANIZERS: Indranil Biswas, Mahan Mj and A. J. Parameswaran DATE:01 October 2018 to 06 October 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore The discussion meeting on Complex Algebraic Geometry will be centered around the "Infosys-ICT

From playlist Complex Algebraic Geometry 2018

Video thumbnail

Perfectoid spaces (Lecture 2) by Kiran Kedlaya

PERFECTOID SPACES ORGANIZERS: Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri, and Narasimha Kumar Cheraku DATE & TIME: 09 September 2019 to 20 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France) Eknath

From playlist Perfectoid Spaces 2019

Video thumbnail

How to make Very Flat Optical Surfaces on Glass

The video shows (hands on) how a nanometer level flat optical surface can be made. It first discusses the principle of the continuous pitch polisher, also known as the planetary polisher or optical lap master. 00:00 Intro of flat surface creation / polishing 00:37 Optical flatness specs

From playlist optics

Video thumbnail

Hao Xu (7/26/22): Frobenius algebra structure of statistical manifold

Abstract: In information geometry, a statistical manifold is a Riemannian manifold (M,g) equipped with a totally symmetric (0,3)-tensor. We show that the tangent bundle of a statistical manifold has a Frobenius algebra structure if and only if the sectional K-curvature vanishes. This gives

From playlist Applied Geometry for Data Sciences 2022

Video thumbnail

Purity for flat cohomology by Kestutis Cesnavicius

PERFECTOID SPACES ORGANIZERS: Debargha Banerjee, Denis Benois, Chitrabhanu Chaudhuri, and Narasimha Kumar Cheraku DATE & TIME: 09 September 2019 to 20 September 2019 VENUE: Madhava Lecture Hall, ICTS, Bangalore Scientific committee: Jacques Tilouine (University of Paris, France) Eknath

From playlist Perfectoid Spaces 2019

Video thumbnail

Triangle Congruence (quick review)

More resources available at www.misterwootube.com

From playlist Further Properties of Geometrical Figures

Video thumbnail

Lecture 3: Single-Vertex Crease Patterns

MIT 6.849 Geometric Folding Algorithms: Linkages, Origami, Polyhedra, Fall 2012 View the complete course: http://ocw.mit.edu/6-849F12 Instructor: Erik Demaine This lecture explores the local behavior of a crease pattern and characterizing flat-foldability of single-vertex crease patterns.

From playlist MIT 6.849 Geometric Folding Algorithms, Fall 2012

Related pages

Commutative algebra | Scheme (mathematics) | Integral domain | Flat morphism | Dévissage | Fiber product of schemes | Algebraic geometry | Noetherian ring | Sheaf (mathematics) | Alexander Grothendieck | Module (mathematics) | Free module