Localic Galois Theory

Mathematics – Category Theory

Scientific paper

Rate now

  [ 0.00 ] – not rated yet Voters 0   Comments 0

Details

These results were presented at Como CT2000

Scientific paper

In Proposition I of "Memoire sur les conditions de resolubilite des equations par radicaux", Galois established that any intermediate extension of the splitting field of a polynomial with rational coefficients is the fixed field of its galois group. We first state and prove the (dual) categorical interpretation of of this statement, which is a theorem about atomic sites with a representable point. In the general case, the point determines a proobject and it becomes (tautologically) prorepresentable. We state and prove the, mutatus mutatis, prorepresentable version of Galois theorem. In this case the classical group of automorphisms has to be replaced by the localic group of automorphisms. These developments form the content of a theory that we call "Localic Galois Theory". An straightforward corollary of this theory is the theorem: "A topos with a point is connected atomic if and only if it is the classifying topos of a localic group, and this group can be taken to be the locale of automorphisms of the point". This theorem was first proved in print in Joyal A, Tierney M. "An extension of the Galois Theory of Grothendieck", Mem. AMS 151, Theorem 1, Section 3, Chapter VIII. Our proof is completely independent of descent theory and of any other result in that paper.

No associations

LandOfFree

Say what you really think

Search LandOfFree.com for scientists and scientific papers. Rate them and share your experience with other people.

Rating

Localic Galois Theory does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.

If you have personal experience with Localic Galois Theory, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Localic Galois Theory will most certainly appreciate the feedback.

Rate now

     

Profile ID: LFWR-SCP-O-256482

  Search
All data on this website is collected from public sources. Our data reflects the most accurate information available at the time of publication.