Zulip Chat Archive
Stream: triage
Topic: issue #1142: Etale cohomology
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?
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.
Random Issue Bot (Jul 03 2022 at 14:19):
Today I chose issue 1142 for discussion!
Etale cohomology
Created by @Kevin Buzzard (@kbuzzard) on 2019-06-21
Labels: long term, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Jul 03 2022 at 17:27):
Yes still relevant, still a long term feature request
Adam Topaz (Jul 03 2022 at 23:48):
Have you seen this? https://arxiv.org/abs/2202.05875
This could give us a shortcut in formalizing the pro-etale site.
Kevin Buzzard (Jul 04 2022 at 07:15):
Invoking theorem 1 of a paper by Gabber is a bit scary. No I'd not seen this though! Ideally we'd get an expert in this area who knows about recent developments to give us a roadmap. Is that you Adam?
Random Issue Bot (Aug 13 2022 at 14:13):
Today I chose issue 1142 for discussion!
Etale cohomology
Created by @Kevin Buzzard (@kbuzzard) on 2019-06-21
Labels: long term, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Nov 06 2022 at 14:17):
Today I chose issue 1142 for discussion!
Etale cohomology
Created by @Kevin Buzzard (@kbuzzard) on 2019-06-21
Labels: long term, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Random Issue Bot (Jan 24 2023 at 14:08):
Today I chose issue 1142 for discussion!
Etale cohomology
Created by @Kevin Buzzard (@kbuzzard) on 2019-06-21
Labels: long term, feature-request
Is this issue still relevant? Any recent updates? Anyone making progress?
Kevin Buzzard (Jan 24 2023 at 16:14):
So far I have managed to get funding for an AIM workshop in 2024 on algebraic geometry, and I was planning on working on this then (in Lean 4 of course)
Last updated: Dec 20 2023 at 11:08 UTC