Skip to main content
MathOverflow

Return to Question

Became Hot Network Question
PDF -> abs; `\mathit`; deleted "thanks"
Source Link
LSpice
LSpice
  • 12.9k
  • 4
  • 45
  • 69

I am having some trouble trying to understand the proof of Theorem 7.2.5 in Bhatt and Scholze's paper on the pro-étale topology for schemes (https://arxiv.org/pdf/1309.1198.pdf)The pro-étale topology for schemes. Specifically, I don't quite understand why it was necessary to prove that $F: C \to Sets$$F: C \to \mathit{Sets}$ preserves connectedness of objects, and how viewing morphisms $f: X \to Y$ in $C$ as monomorphisms $\Gamma_f: X \to X \times Y$ can help us prove that $F: C \to \pi_1(C, F)-Sets$$F: C \to \pi_1(C, F)\text-\mathit{Sets}$ is fully faithful (I could only show that $F: C \to Sets$$F: C \to \mathit{Sets}$ is fully faithful).

Any help is very much appreciated! Thank you!

I am having some trouble trying to understand the proof of Theorem 7.2.5 in Bhatt and Scholze's paper on the pro-étale topology for schemes (https://arxiv.org/pdf/1309.1198.pdf). Specifically, I don't quite understand why it was necessary to prove that $F: C \to Sets$ preserves connectedness of objects, and how viewing morphisms $f: X \to Y$ in $C$ as monomorphisms $\Gamma_f: X \to X \times Y$ can help us prove that $F: C \to \pi_1(C, F)-Sets$ is fully faithful (I could only show that $F: C \to Sets$ is fully faithful).

Any help is very much appreciated! Thank you!

I am having some trouble trying to understand the proof of Theorem 7.2.5 in Bhatt and Scholze's paper The pro-étale topology for schemes. Specifically, I don't quite understand why it was necessary to prove that $F: C \to \mathit{Sets}$ preserves connectedness of objects, and how viewing morphisms $f: X \to Y$ in $C$ as monomorphisms $\Gamma_f: X \to X \times Y$ can help us prove that $F: C \to \pi_1(C, F)\text-\mathit{Sets}$ is fully faithful (I could only show that $F: C \to \mathit{Sets}$ is fully faithful).

Any help is very much appreciated!

Source Link
Dat Minh Ha
Dat Minh Ha
  • 1.5k
  • 1
  • 8
  • 21

Infinite Galois equivalence

I am having some trouble trying to understand the proof of Theorem 7.2.5 in Bhatt and Scholze's paper on the pro-étale topology for schemes (https://arxiv.org/pdf/1309.1198.pdf). Specifically, I don't quite understand why it was necessary to prove that $F: C \to Sets$ preserves connectedness of objects, and how viewing morphisms $f: X \to Y$ in $C$ as monomorphisms $\Gamma_f: X \to X \times Y$ can help us prove that $F: C \to \pi_1(C, F)-Sets$ is fully faithful (I could only show that $F: C \to Sets$ is fully faithful).

Any help is very much appreciated! Thank you!