Weil conjectures 7: What is an etale morphism?

Value of the Information & Strength of the Argument

The lecture provides high-value information by clearly explaining a fundamental concept in algebraic geometry. The argumentation is solid: the speaker builds the definition step by step, starting from the intuitive notion in complex manifolds, showing why it fails in algebraic geometry, and then introducing the correct formal definition. He supports his points with concrete examples and counterexamples, such as the map x -> x^2 over a field not being a local isomorphism but being etale, and the distinction between separable and inseparable extensions. The reasoning is rigorous and accessible to an audience with some background in algebraic geometry.

Scientific Rigor, Source Quality, Title Accuracy

The lecture is scientifically rigorous, with precise definitions and logical progression. The speaker does not cite external sources, but the content is based on standard references in algebraic geometry, such as Grothendieck’s EGA and SGA. The title accurately reflects the content, which is entirely focused on defining etale morphisms. The video is part of a well-structured series on the Weil conjectures, and the speaker’s expertise ensures the reliability of the information.

The title accurately reflects the content, which focuses on defining etale morphisms in algebraic geometry.

9/10

The lecture is given by a renowned mathematician (Richard Borcherds), and the content is mathematically rigorous, with precise definitions and examples. The explanations are clear and well-structured, and the speaker demonstrates deep expertise. The video is part of a series on the Weil conjectures, and the mathematical content is accurate and up-to-date.

Markers derived by PSI from the transcript: the creator did not define chapters.

• 00:00Introduction: what is an etale morphism? Review of etale morphisms in complex manifolds.
• 03:00Definition of etale morphisms as local homeomorphisms for complex manifolds, with examples.
• 07:00Why the local isomorphism definition fails in algebraic geometry: Zariski open sets are too large.
• 10:00Provisional definition using isomorphisms of complete local rings, and its limitations.
• 13:00Introduction of formally etale morphisms via the lifting property for infinitesimal thickenings.
• 16:00Definition of etale morphisms as formally etale and locally of finite presentation.
• 19:00Examples: etale maps allow unique lifting of tangent vectors; the map Spec(k[x]/(x^2)) -> Spec(k) is not etale.
• 22:00Finite separable extensions are etale; inseparable extensions are not etale.
• 25:00Connection to Galois cohomology and etale cohomology, and importance for the Weil conjectures.