Untitled

edit

I would suggest to remove the link to Topological space from the "See also" section. In my opinion it has nothing to do with Étale fundamental group more than with any other topic in topology or geometry. —Preceding unsigned comment added by 134.58.253.57 (talk) 12:46, 12 January 2011 (UTC)Reply

Agreed. And from my understanding this topic actually has less to do with topological spaces than most topics in topology and geometry. Removing the link. Tony Beta Lambda (talk) 09:15, 24 March 2018 (UTC)Reply

Definition of F as Yoneda functor

edit

Is F  , depending on  , or   depending on  ? ᛭ LokiClock (talk) 18:32, 26 December 2012 (UTC)Reply

Definition of Galois covers and clarification needed

edit

The article has written:

The functor   is not representable, however, it is pro-representable, in fact by Galois covers of  . This means that we have a projective system   in  , indexed by a directed set   where the   are Galois covers of  , i.e., finite étale schemes over   such that  .

But this means

The functor   is not representable, however, it is pro-representable, in fact by Galois covers of  . This means that we have a projective system ... where the   are Galois covers of   such that  .

Keep in mind that Galois cover redirects here, so it's considered undefined outside of this article.

Should it instead say this?

i.e., finite étale schemes over   such that  

Because that would mean the article is actually saying

The functor   is not representable, however, it is pro-representable, in fact by Galois covers of  . A Galois cover is a finite étale scheme over   such that  .

If this was not the intention, and the agreement of the degree and number of automorphisms is not true solely because we have a projective system of Galois covers, but due to the details about what pro-representability means (no definition is linked to), then since what follows "this means" can be interpreted as giving the definition of pro-representability by Galois covers to begin with, not listing arbitrary implications of this particular Yoneda functor   being pro-representable, I would say it is potentially misleading to state the agreement between degree and number of automorphisms in this way, rather than in its own sentence with its derivation made explicit. At the same time it would be better to say outright that pro-representability by Galois covers is being defined, rather than let readers mistake that definition for a statement of arbitrary properties of   and become confused about what statements the article is really making. ᛭ LokiClock (talk) 06:09, 14 September 2015 (UTC)Reply

I agree with you. Go ahead and improve it, ideally with precise references, so that interested readers can check with the literature themselves! I am busy right now, but Milne's "Etale cohomology" §I.5 has a concise statement of the results, but no proofs. Jakob.scholbach (talk) 09:09, 14 September 2015 (UTC)Reply
I don't have access to that, but "Lectures on Étale Cohomology" covers this as well. To rework the language I would want to examine it carefully, but I don't have pen and paper right now. ᛭ LokiClock (talk) 01:35, 15 September 2015 (UTC)Reply

Assessment comment

edit

The comment(s) below were originally left at Talk:Étale fundamental group/Comments, and are posted here for posterity. Following several discussions in past years, these subpages are now deprecated. The comments may be irrelevant or outdated; if so, please feel free to remove this section.

should mention
  • tame fundamental group (SGA 1 XIII, Grothendieck-Murre, Schmidt)
  • true fundamental group (Nori)
  • examples, more properties
Jakob.scholbach (talk) 23:25, 17 March 2011 (UTC)Reply

Last edited at 23:25, 17 March 2011 (UTC). Substituted at 02:42, 5 May 2016 (UTC)

The notation is never introduced

edit

The notation   is never introduced. No connection is made to the category  . Olivierbbb (talk) 11:48, 15 October 2023 (UTC)Reply