Zulip Chat Archive

Stream: triage

Topic: issue #1142: Etale cohomology

view this post on Zulip Random Issue Bot (Apr 22 2021 at 14:24):

Today I chose issue 1142 for discussion!

Etale cohomology
Created by @Kevin Buzzard (@kbuzzard) on 2019-06-21
Labels: feature-request, long term

Is this issue still relevant? Any recent updates? Anyone making progress?

view this post on Zulip Kevin Buzzard (Apr 22 2021 at 14:40):

This will happen, in time. Right now I've realised that there are actually two distinct things going on here: first we need some commutative algebra, plus its application to scheme theory, and then essentially independent of that we need some homological algebra, which is being actively worked on right now by Scott and Markus.

Last updated: Jun 20 2021 at 00:35 UTC