Commutative algebra | Algebraic geometry
In algebraic geometry and commutative algebra, a ring homomorphism is called formally smooth (from French: Formellement lisse) if it satisfies the following infinitesimal lifting property: Suppose B is given the structure of an A-algebra via the map f. Given a commutative A-algebra, C, and a nilpotent ideal , any A-algebra homomorphism may be lifted to an A-algebra map . If moreover any such lifting is unique, then f is said to be formally étale. Formally smooth maps were defined by Alexander Grothendieck in Éléments de géométrie algébrique IV. For finitely presented morphisms, formal smoothness is equivalent to usual notion of smoothness. (Wikipedia).
Manifolds 2.3 : Smooth Maps and Diffeomorphisms
In this video, I introduce examples and properties of smooth maps, and show the invariance theorems for diffeomorphisms. Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : None yet Playlist :
From playlist Manifolds
Manifolds 2.2 : Examples and the Smooth Manifold Chart Lemma
In this video, I introduce examples of smooth manifolds, such as spheres, graphs of smooth functions, real vectorspaces, linear map spaces, and the Grassmannian of real vectorspaces (G_k(V)). Email : fematikaqna@gmail.com Code : https://github.com/Fematika/Animations Notes : None yet Play
From playlist Manifolds
Smooth Transition Function in One Dimension | Smooth Transition Function Part 1
#SoME2 This video gives a detailed construction of transition function for various levels of smoothness. Sketch of proofs for 4 theorems regarding smoothness: https://kaba.hilvi.org/homepage/blog/differentiable.htm Faà di Bruno's formula: https://en.wikipedia.org/wiki/Fa%C3%A0_di_Bruno%2
From playlist Summer of Math Exposition 2 videos
A map T between vector spaces which satisfies: * the addition condition T(x+y) = T(x) + T(y) and * the scalar multiplication condition T(lambda x) = lambda T(x) is called a "linear map". In the first part of this video we see how to show a map is linear; in the second part we see how t
From playlist Mathematics 1B (Algebra)
Complex surfaces 4: Ruled surfaces
This talk gives an informal survey of ruled surfaces and their role in the Enriques classification. We give a few examples of ruled surfaces, summarize the basic invariants of surfaces, and sketch how one classifies the surfaces of Kodaira dimension minus infinity.
From playlist Algebraic geometry: extra topics
Hyperbola 3D Animation | Objective conic hyperbola | Digital Learning
Hyperbola 3D Animation In mathematics, a hyperbola is a type of smooth curve lying in a plane, defined by its geometric properties or by equations for which it is the solution set. A hyperbola has two pieces, called connected components or branches, that are mirror images of each other an
From playlist Maths Topics
Fractals are typically not self-similar
An explanation of fractal dimension. Help fund future projects: https://www.patreon.com/3blue1brown An equally valuable form of support is to simply share some of the videos. Special thanks to these supporters: https://3b1b.co/fractals-thanks And by Affirm: https://www.affirm.com/careers H
From playlist Explainers
Generalized Conway Game of Life - SmoothLife4
Oscillatory structures are also possible.
From playlist SmoothLife
Smooth base change, smooth and proper base change, lifting varieties, Kunneth
From playlist Étale cohomology and the Weil conjectures
Bertrand Toën - Deformation quantization and derived algebraic geometry
Bertrand TOËN (CNRS - Univ. de Montpellier 2, France)
From playlist Algèbre, Géométrie et Physique : une conférence en l'honneur
Herwig Hauser : Commutative algebra for Artin approximation - Part 2
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
Pierre Bieliavsky: Universal deformation twists from evolution equations
A universal twist (or "Drinfel'd Twist") based on a bi-algebra B consists in an element F of the second tensorial power of B that satisfies a certain cocycle condition. I will present a geometrical method to explicitly obtain such twists for a quite large class of examples where B underlie
From playlist HIM Lectures: Trimester Program "Non-commutative Geometry and its Applications"
Arithmetic D-modules and locally analytic representations
T. Schmidt (Université de Münster) Arithmetic D-modules and locally analytic representations Conférence de mi-parcours du programme ANR Théorie de Hodge p-adique et Développements (ThéHopaD) 25-27 septembre 2013 Centre de conférences Marilyn et James Simons IHÉS Bures / Yvette France
From playlist Conférence de mi-parcours du programme ANRThéorie de Hodge p-adique et Développements (ThéHopaD)25-27 septembre 2013
Arthur Ogus - Prisms, prismatic neighborhoods, and p-de Rham cohomology
Correction: The affiliation of Lei Fu is Tsinghua University. Prismatic cohomology, as proposed by B. Bhatt and P. Scholze, provides a uniform framework for many of the cohomoogy theories involved in p-adic Hodge theory. I will focus on the crystalline incarnation of prismatic cohomology
From playlist Conférence « Géométrie arithmétique en l’honneur de Luc Illusie » - 5 mai 2021
Heather Macbeth - Algorithm and abstraction in formal mathematics - IPAM at UCLA
Recorded 17 February 2023. Heather Macbeth of Fordham University at Lincoln Center presents "Algorithm and abstraction in formal mathematics" at IPAM's Machine Assisted Proofs Workshop. Abstract: Paradoxically, the formalized version of a proof is often both more abstract and more computat
From playlist 2023 Machine Assisted Proofs Workshop
Algebraic proofs of degenerations of Hodge-de Rham complexes - Andrei Căldăraru
Reading group on Degeneration of Hodge-de Rham spectral sequences Topic: Algebraic proofs of degenerations of Hodge-de Rham complexes Speaker: Andrei Căldăraru Affiliation: University of Wisconsin, Madison Date: April 12, 2017 For more info, please visit http://video.ias.edu
From playlist Mathematics
Weil conjectures 7: What is an etale morphism?
This talk explains what etale morphisms are in algebraic geometry. We first review etale morphisms in the usual topology of complex manifolds, where they are just local homeomorphism, and explain why this does not work in algebraic geometry. We give a provisional definition of etale morphi
From playlist Algebraic geometry: extra topics
Introduction to h-principle by Mahuya Datta
DATE & TIME: 25 December 2017 to 04 January 2018 VENUE: Madhava Lecture Hall, ICTS, Bangalore Holomorphic curves are a central object of study in complex algebraic geometry. Such curves are meaningful even when the target has an almost complex structure. The moduli space of these curves (
From playlist J-Holomorphic Curves and Gromov-Witten Invariants
Basic Methods: We define mappings (or functions) between sets and consider various examples. These include binary operations, projections, and quotient maps. We show how to construct the rational numbers from the integers and explain why division by zero is a forbidden operation.
From playlist Math Major Basics