Not signed in (Sign In)

Not signed in

Want to take part in these discussions? Sign in if you have an account, or apply for one below

  • Sign in using OpenID

Discussion Tag Cloud

Vanilla 1.1.10 is a product of Lussumo. More Information: Documentation, Community Support.

Welcome to nForum
If you want to take part in these discussions either sign in now (if you have an account), apply for one now (if you don't).
    • CommentRowNumber1.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2017
    • (edited Apr 24th 2017)

    I am splitting off Zariski topology from Zariski site, in order to have a page for just the concept in topological spaces.

    So far I have spelled out the details of the old definition of the Zariski topology on 𝔸 k n\mathbb{A}^n_k (here).

    • CommentRowNumber2.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 24th 2017
    • (edited Apr 24th 2017)

    Hm, there’s a mismatch between section 1 and (edit: the beginning of) section 2.

    It looks like section 2 wants to be more about the maximal ideal spectrum, but that’s not quite right either since in order to have maximal ideals in k[x 1,,x n]k[x_1, \ldots, x_n] align with points of k nk^n, we need to assume kk is algebraically closed (cf. Nullstellensatz).

    Probably it would be a good idea to mention Galois connections and the like, since knowing we are dealing with adjunctions helps simplify some proofs for those who are categorically literate.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2017
    • (edited Apr 24th 2017)

    Todd,

    I am meaning to bring some classical material into place as used in standard undergraduate courses (and indeed for that usage). That’s why I do want to have the consideration of the naive points of k nk^n at the beginning, and that’s why I do want proofs for the categorically illiterate.

    But my arrangement of the sub-sections is meant to allow for this naive part to be just the subsection “2. On affine spaces”, to be followed up by the subsection “3. On affine varieties” which should then (and now does begin to) discuss prime spectra and maximal ideals in more generality. In its Examples-subsub-section it should turn back and look at the naive picture of section 2 from this more sophisticated perspective (not done yet).

    The perspective of Galois connections is discussed tersely at Nullstellensatz. We could just copy it over. Alternatively, it might be good to use the occasion to re-write this discussion in a more inviting pedagogical way, that would help make those readers categorically literate who are not already, hence help explain this perspective to people who are not already familiar with it.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeApr 24th 2017
    • (edited Apr 24th 2017)

    In order to clarify I have expanded the statement of the plan of the entry here. I have to leave it at that for the moment. Will come back to this entry later this month.

    • CommentRowNumber5.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 24th 2017

    For the definition of the Zariski topology on affine space (currently Def 2.1), I think you need to take a finite set of polynomials to get the closed sets. The basic open sets arise from a single polynomial, no?

    Wikipedia also says an arbitrary set of polynomials, but if that is true, any set X𝔸 1X\subset \mathbb{A}^1 can be closed, for instance, by taking the set {xaaX}\{x-a\mid a\in X\} of polynomials.

    • CommentRowNumber6.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 24th 2017
    • (edited Apr 24th 2017)

    Urs: that sounds like a very reasonable plan; thanks.

    David: it comes to the same thing because the polynomial ring is Noetherian, but on general grounds you’d want an arbitrary set of polynomials because the closed sets need to be closed under arbitrary intersections. Keep in mind that the correspondence between ideals and closed sets is contravariant, and takes a join of ideals to the intersection of closed sets. The set of polynomials you named generates the improper ideal (the entire ring); the corresponding closed set is empty.

    • CommentRowNumber7.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 25th 2017

    @Todd

    Aha, this is the kind of pedagogical point that might be worth amplifying. And the fact that one takes the ideal generated by the set, not the set itself.

    • CommentRowNumber8.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2017

    And the fact that one takes the ideal generated by the set, not the set itself.

    One may take either, but it comes down to the same.

    Presently this is mentioned in the proof here.

    I need to run now. Feel invited to edit entry.

    • CommentRowNumber9.
    • CommentAuthorUrs
    • CommentTimeApr 25th 2017
    • (edited Apr 25th 2017)

    Okay, I have expanded further:

    To the section Properties on affine varieties I added statement and proof that

    1. closed points correspond to maximal ideals

    2. irreducible closed subsets correspond to prime ideals

    3. corollary: Zariski topology on prime spectra is sober

    I tried to state accurately which classicality assumptions we need for the conclusions, but it wouldn’t hurt if the constructive experts among you checked. Thanks to Todd for weaking my AC assumption for point 1 above to ultrafilter principle, I have put that in.

    Then I also expanded the Idea section further, trying to provide some of the pedagogy that David R was requesting in #7. I added the non-Hausdorffness in an Example (here) and mentioned that in the Idea-section, too.

    Finally I did copy over from Nullstellensatz the paragraph on the abstract Galois connection perspective and gave it a stubby subsection here. I would like this paragraph to be expanded a bit more to make it more inviting to the reader.

    Did some further minor edits here and there. But there is much room left to further expand.

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 26th 2017
    • (edited Apr 26th 2017)

    One thing that could (probably should) be done is give Galois connection more examples, including the type of example we’re discussing now. It’s such a ubiquitous concept that undergraduates ought really to be familiar with the basic pattern and all the basic consequences. But for some reason, throughout undergraduate and beginning graduate education, that same basic rigmarole seems to get repeated on each and every separate occasion, starting from scratch and as if in ignorance of all other such occasions. At least, that was my experience.

    But here I guess we could really hammer it home, because we have at least three notions of Zariski topology going on here, so three examples of Galois connection (all closely related of course) can be given.

    This material strikes me as simple enough to teach undergraduates within the space of a lecture. Starting with any relation between sets X,YX, Y, say EX×YE \hookrightarrow X \times Y, we get a pair of maps (called a “Galois connection”) between power sets P(X),P(Y)P(X), P(Y), as follows. Let E(x,y)E(x, y) abbreviate the formula (x,y)E(x, y) \in E. Define V E:P(X)P(Y)V_E: P(X) \to P(Y) by V E(S)={yY: x:XxSE(x,y)}V_E(S) = \{y \in Y: \forall_{x: X} \; x \in S \Rightarrow E(x, y)\}, and similarly define I E:P(Y)P(X)I_E: P(Y) \to P(X) by I E(T)={xX: y:YyTE(x,y)}I_E(T) = \{x \in X: \forall_{y: Y} \; y \in T \Rightarrow E(x, y)\}. Two basic facts:

    • V EV_E and I EI_E are contravariant, i.e., if SSS \subseteq S', then V E(S)V E(S)V_E(S') \subseteq V_E(S). This is obvious: the larger SS is, the more conditions that are placed on yy in order to belong to V E(S)V_E(S), and so the smaller V E(S)V_E(S) will be.

    • We have the basic adjunction law: TV E(S)T \subseteq V_E(S) iff SI E(T)S \subseteq I_E(T). This is because both these conditions are equivalent to the condition S×TES \times T \subseteq E.

    Here’s an easy consequence: V EV_E takes unions to intersections, and similarly for I EI_E. In proving this, we’ll use a ubiquitous lemma (Yoneda): in a poset such as P(Y)P(Y), we have that A=BA = B iff for all CC, CAC \leq A iff CBC \leq B. (Proof left to reader!) So:

    TV E( iIS i) iff i:IS iI E(T) iff i:IS iI E(T) iff i:ITV E(S i) iff T i:IV E(S i)\array{ T \subseteq V_E(\bigcup_{i \in I} S_i) & iff & \bigcup_{i: I} S_i \subseteq I_E(T) \\ & iff & \forall_{i: I} S_i \subseteq I_E(T) \\ & iff & \forall_{i: I} T \subseteq V_E(S_i) \\ & iff & T \subseteq \bigcap_{i: I} V_E(S_i) }

    and we conclude V E( i:IS i)= i:IV E(S i)V_E(\bigcup_{i: I} S_i) = \bigcap_{i: I} V_E(S_i) “by Yoneda”.

    Some more easy consequences:

    1. SI EV E(S)S \subseteq I_E \circ V_E(S) for SP(X)S \in P(X) (immediate from the adjunction law and V E(S)V E(S)V_E(S) \subseteq V_E(S)), and similarly TV EI E(T)T \subseteq V_E \circ I_E(T) for TP(Y)T \in P(Y).

    2. Applied to sets SS of the form I E(T)I_E(T), we see I E(T)I EV EI E(T)I_E(T) \subseteq I_E \circ V_E \circ I_E(T). But applying the contravariant map I EI_E to the inclusion TV EI E(T)T \subseteq V_E \circ I_E(T), we also have I EV EI E(T)I E(T)I_E \circ V_E \circ I_E(T) \subseteq I_E(T). Thus I E(T)=I EV EI E(T)I_E(T) = I_E \circ V_E \circ I_E(T) for TP(Y)T \in P(Y). Similarly, V E(S)=V EI EV E(S)V_E(S) = V_E \circ I_E \circ V_E(S) for SP(S)S \in P(S).

    3. From 2. it follows further that the function I EV E:P(S)P(S)I_E \circ V_E: P(S) \to P(S). is idempotent. It is also covariant. These facts together with 1. means I EV EI_E \circ V_E is a closure operator on P(S)P(S). (More abstractly, this is an example of a monad.) Similarly V EI EV_E \circ I_E is a closure operator on P(Y)P(Y).

    4. If SP(X)S \in P(X) is in the image of I E:P(Y)P(X)I_E: P(Y) \to P(X), then from 2. it follows that SS is closed, i.e., equals its closure I EV E(S)I_E \circ V_E(S), and that in fact the closed elements of P(S)P(S) are exactly the elements of im(I E)im(I_E). Similarly, the closed elements in P(T)P(T) under the operator V EI EV_E \circ I_E are exactly the elements of im(V E)im(V_E).

    5. It now follows easily from 4. that the contravariant function V E:im(I E)im(V E)V_E: im(I_E) \to im(V_E) is inverse to the function I E:im(V E)im(I E)I_E: im(V_E) \to im(I_E), i.e., the closed elements on each side are in bijection with the closed elements on the other. Such a pair of mutually inverse contravariant maps between posets is called a Galois correspondence.

    6. Closed elements are closed under intersections. If {T iP(Y)} i:I\{T_i \in P(Y)\}_{i: I} is a collection of elements closed under the operator K=V EI EK = V_E \circ I_E, then by 1. it is automatic that i:IT iK( i:IT i)\bigcap_{i: I} T_i \subseteq K(\bigcap_{i: I} T_i), so it suffices to prove the reverse inclusion. But since i:IT iT i\bigcap_{i: I} T_i \subseteq T_i for all ii and KK is covariant and T iT_i is closed, we have K( i:IT i)K(T i)T iK(\bigcap_{i: I} T_i) \subseteq K(T_i) \subseteq T_i for all ii, and K( i:IT i) i:IT iK(\bigcap_{i: I} T_i) \subseteq \bigcap_{i: I} T_i follows.

    (I’m going to continue the discussion in the next comment, since comments have a space restriction.)

    • CommentRowNumber11.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 26th 2017

    Simon Willerton wrote a series of posts on Galois correspondences and similar concepts. The fourth is here and it links to the other three.

    Of course, you, Todd, told us about Galois connections earlier here.

    • CommentRowNumber12.
    • CommentAuthorzskoda
    • CommentTimeApr 26th 2017
    • (edited Apr 26th 2017)

    The entry Zariski topology mentions “fixed points of Galois connection” in a long related discussion. I can not find the definition of what is a fixed point of a Galois connection neither in fixed point nor in Galois connection nor am sure what it is. E.g. it is confusing to have to ask: There are two posets, in which one one defines the fixed points ?

    Todd: in point 2 some LaTeX parsed incorrectly.

    • CommentRowNumber13.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 26th 2017

    Here are the examples relevant to us.

    • Let kk be a field, and define a relation Ek[x 1,,x n]×k nE \hookrightarrow k[x_1, \ldots, x_n] \times k^n by E(f,x)E(f, x) iff f(x)=0f(x) = 0. We get a function V E:P(k[x 1,,x n])P(k n)V_E: P(k[x_1, \ldots, x_n]) \to P(k^n) which sends a set of polynomials SS to its corresponding variety, V E(S)={xk n: f:k[x 1,,x n]fSf(x)=0}V_E(S) = \{x \in k^n: \forall_{f: k[x_1, \ldots, x_n]} \; f \in S \Rightarrow f(x) = 0\}. In the other direction, I E:P(k n)P(k[x 1,,x n])P(k n)I_E: P(k^n) \to P(k[x_1, \ldots, x_n]) \to P(k^n) sends a set of points Tk nT \subseteq k^n to its corresponding ideal I E(T)={fk[x 1,,x n]: x:k nxTf(x)=0}I_E(T) = \{f \in k[x_1, \ldots, x_n]: \forall_{x: k^n} \; x \in T \Rightarrow f(x) = 0\}.

    Of course we already know a lot about varieties V=V E(S)V = V_E(S) just on the basis of the preceding generalities; for example, varieties are closed under arbitrary intersections. We get a little more in this specific case by exploiting the ring structure of k[x 1,,x n]k[x_1, \ldots, x_n]: we can prove that varieties are also closed under finite unions (making them the closed sets of a topology). Namely, the empty union \emptyset is V(1)V(1) (the variety associated with the constant polynomial 11), and for binary unions V E(S)V E(S)V_E(S) \cup V_E(S'), we can use 2. above to replace the sets SS and SS' by the ideals I=I EV E(S)I = I_E \circ V_E(S) and I=I EV E(S)I' = I_E \circ V_E(S'), and then we claim V E(I)V E(I)=V(II)V_E(I) \cup V_E(I') = V(I \cdot I') where III \cdot I' is the ideal consisting of finite sums of elements of the form fgf g with fIf \in I and gIg \in I'.

    +– {: .proof}

    Proof

    Applying the contravariant operator V EV_E to the inclusions IIII \cdot I' \subseteq I and IIsubseteqII \cdot I' subseteq I' (which are clear since I,II, I' are ideals), we derive V E(I)V E(II)V_E(I) \subseteq V_E(I \cdot I') and V E(I)V(II)V_E(I') \subseteq V(I \cdot I'), so the inclusion V E(I)V E(I)V(II)V_E(I) \cup V_E(I') \subseteq V(I \cdot I') is automatic.

    In the other direction, to prove V(II)V E(I)V(I)V(I \cdot I') \subseteq V_E(I) \cup V(I'), suppose xV(II)x \in V(I \cdot I') and that xx doesn’t belong to V(I)V(I). Then f(x)0f(x) \neq 0 for some fIf \in I. For every gIg \in I', we have f(x)g(x)=(fg)(x)=0f(x)g(x) = (f \cdot g)(x) = 0 since fgIIf \cdot g \in I \cdot I' and xV E(II)x \in V_E(I \cdot I'). Now divide by f(x)f(x) to get g(x)=0g(x) = 0 for every gIg \in I', so that xV E(I)x \in V_E(I'). =–

    Here is our second example:

    • Again let kk be a field, and define a relation Ek[x 1,,x n]×MaxIdeal(k[x 1,,x n])E \hookrightarrow k[x_1, \ldots, x_n] \times MaxIdeal(k[x_1, \ldots, x_n]) by E(f,M)E(f, M) iff fMf \in M. This is a slight generalization of the previous example since each point a=(a 1,,a n)a = (a_1, \ldots, a_n) induces a maximal ideal M=x 1a 1,,x na nM = \langle x_1 - a_1, \ldots, x_n - a_n \rangle, i.e. the kernel of the map k[x 1,,x n]k:ff(a)k[x_1, \ldots, x_n] \to k: f \mapsto f(a) which evaluates polynomials ff at the point aa, where we have f(a)=0f(a) = 0 iff fMf \in M.

    Of course it need not be the case that all maximal ideals MM are given by points in this way; for example, the ideal (x 2+1)(x^2 + 1) is maximal in [x]\mathbb{R}[x] but is not given by evaluation at a point because x 2+1x^2 + 1 doesn’t vanish at any real point. However, if the ground field kk is algebraically closed, then every maximal ideal of k[x 1,,x n]k[x_1, \ldots, x_n] is given by evaluation at a point a=(a 1,,a n)a = (a_1, \ldots, a_n). This result is not completely obvious; it is sometimes called the “weak Nullstellensatz”.

    Looking a little more closely at this example, for a subset TMaxIdeal(k[x 1,,x n])T \subseteq MaxIdeal(k[x_1, \ldots, x_n]) we calculate

    I E(T)={fk[x 1,ldots,x n]: MMaxIdealMSfM}= MSMI_E(T) = \{f \in k[x_1, ldots, x_n]: \forall_{M \in MaxIdeal} M \in S \Rightarrow f \in M\} = \bigcap_{M \in S} M

    which is an ideal, since the intersection of any collection of ideals is again an ideal. (However, not all ideals are given as intersections of maximal ideals, a point to which we will return in a moment.)

    As in the previous example, sets Sk nS \subseteq k^n that are closed under the operator V EI E:P(k n)P(k n)V_E \circ I_E: P(k^n) \to P(k^n) form a topology. The proof is virtually exactly the same as before: they are closed under arbitrary intersections by our earlier generalities, and they are closed under finite unions by the similar reasoning: V E(S)=V E(I)V_E(S) = V_E(I) where I=I EV E(S)I = I_E \circ V_E(S) is an ideal, so there is no loss of generality in considering V E(I)V_E(I) for ideals II, and V E(I)V E(I)=V E(II)V_E(I) \cup V_E(I') = V_E(I \cdot I'). If MV E(II)M \in V_E(I \cdot I') (meaning IIMI \cdot I' \subseteq M) but MM doesn’t belong to V E(I)V_E(I), i.e., fMf \notin M for some fIf \in I, then for every gIg \in I' we have fgMf g \in M. Taking the quotient map π:RR/M\pi: R \to R/M to the field R/MR/M, we have π(fg)=π(f)π(g)=0\pi(f g) = \pi(f)\pi(g) = 0, and since π(f)0\pi(f) \neq 0 we have π(g)=0\pi(g) = 0 for every gIg \in I', hence MV E(I)M \in V_E(I').

    Thus the fixed elements of V EI EV_E \circ I_E on one side of the Galois correspondence are the closed sets of a topology. The fixed elements of I EV EI_E \circ V_E on the other side are a matter of interest; in the case where kk is algebraically closed, they are the radical ideals of k[x 1,,x n]k[x_1, \ldots, x_n] according to the “strong Nullstellensatz.

    (To be continued.)

    • CommentRowNumber14.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 26th 2017

    Yes, I’m repeating stuff that has been said hundreds of thousands of times. But what I’m really trying to do is generate text for possible use in nLab articles.

    • CommentRowNumber15.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2017
    • (edited Apr 26th 2017)

    Thanks, Todd, for going through the trouble of producing such a text!

    Zoran, “Galois correspondence” is another name for “adjunction between posets”, and then there is the general concept of fixed point of an adjunction.

    • CommentRowNumber16.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 26th 2017

    Re #14, I was just wondering if anyone would like to save time by extracting some of that material. But maybe it wouldn’t save time.

    • CommentRowNumber17.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 26th 2017

    Actually, I say “Galois connection” for an adjunction between posets, and “Galois correspondence” for an adjoint equivalence between posets.

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeApr 26th 2017

    Okay, I have put this material into the entry Zariski topology in the section In terms of Galois connections.

    First I made a sub-sub-section Background on Galois connections with the material from Todd’s #10. I reformatted this, creating numbered environments, adding hyperlinks, and trying to decompose it into bite-sized bits, with cross-references between them.

    Then I ran out of steam and time.

    So for the moment I did a blind copy-and-paste of the remaining material from Todd’s #13 to two further sub-sub-sections:

    Thanks again to Todd!!

    • CommentRowNumber19.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 26th 2017

    That was awfully nice of you, Urs; thanks! I’m having more than a usual number of interruptions today which accounts for slowness of continuations.

    Getting back to David C.: Simon’s posts (I only looked at the 4th though) do look valuable as pedagogy and could be used somewhere in the nLab. Indeed, the best way to introduce categorical ideas to beginners is often just to do the 2\mathbf{2}-enriched case, where so many complications can be ignored. And often: don’t even bother telling them you’re doing category theory, until they get a little older. Once they begin to get good at this type of simple algebra, they will gain a certain power and facility, which even grown mathematicians often seem to lack in these matters.

    • CommentRowNumber20.
    • CommentAuthorzskoda
    • CommentTimeApr 27th 2017
    • (edited Apr 27th 2017)

    15: thanks, in the meantime somebody changed the link to fixed point into the link into the more appropriate link to fixed point of an adjunction. I knew well before what is a Galois connection (though, sorry, never liked them) but did not have an idea where to look for the definition of a fixed point in that case. Todd: thanks for a great work here.

    • CommentRowNumber21.
    • CommentAuthorMike Shulman
    • CommentTimeApr 27th 2017

    Another example of a Galois connection on the arxiv today: abstract stability.

    Todd #17: You say “I say”. Is that terminology standard?

    • CommentRowNumber22.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 27th 2017

    Mike: shouldn’t I say “We say” instead? (Yes, I believe “Galois connection for an adjunction is standard. Isn’t it?)

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeApr 27th 2017

    I have now merged the first example from Todd’s #13 into the entry, here.

    (So I copied it over, then added numbered environmens, adopted the notation a little to fit with the rest of the entry, added cross-pointers to previous definitions/propositions that the example refers to or which it re-proves.)

    Didn’t do it for the second example in #13 yet.

    • CommentRowNumber24.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 27th 2017
    • (edited Apr 27th 2017)

    Re #21, the paper there

    [GS17a] Moritz Groth and Michael Shulman. Abstract stabilization: the universal absolute.

    sounds like you’re picking up on the Hegelian vibe.

    • CommentRowNumber25.
    • CommentAuthorMike Shulman
    • CommentTimeApr 27th 2017

    Todd, I meant that I never learned to distinguish between a Galois connection meaning an adjunction and a Galois correspondence meaning an equivalence. As you can see, in the paper with Moritz we used the two words interchangeably to mean an adjunction. But it could be standard, in some circles at least, and just that neither of us had encountered that standardization before. Did you learn it as “standard”?

    • CommentRowNumber26.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 27th 2017

    Mike: okay, interesting. I had thought that was the standard, yes. And I can say it is a standard according to Wikipedia, and I thought this also was the convention used in for example Paul Taylor’s book, although I can’t find my copy at the moment to double-check that.

    That being said, the notion of Galois connection seems to be due to Oystein Ore (who spells it ’connexion’), and actually he’s like you: he uses ’connexion’ and ’correspondence’ pretty interchangeably for the adjunction concept in his article. He calls the correspondence or connexion ’perfect’ if it’s an equivalence. Encyclopedia of Mathematics doesn’t even use the term ’connection’; it’s just ’correspondence’.

    However, I do like the idea of using ’correspondence’ for the equivalence. First, why multiply terms needlessly for the same concept? (why indeed, Oystein?), and second, the word ’correspondence’ is used in the phrase “bijective correspondence” and so it should be easy to remember – a Galois correspondence would be a bijective correspondence between posets that is contravariant.

    • CommentRowNumber27.
    • CommentAuthorMike Shulman
    • CommentTimeApr 27th 2017

    why multiply terms needlessly for the same concept?

    Why indeed? We have perfectly good terms “adjunction” and “equivalence” already, why bother with this “Galois” stuff? (-: It doesn’t really make any sense to name “adjunctions of posets” after Galois just because Galois theory involves a particular adjunction between posets; if we were going to name it after anyone we ought to call it an “Ore connection” if he was the first to study them abstractly. My tongue is in my cheek, of course, but I always have wondered. Presumably the term “Galois connection” predates the term “adjunction”, but why continue to use it now?

    • CommentRowNumber28.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 27th 2017

    Well, to me the phrase “Galois connection” mainly connotes a contravariant adjunction between posets P,QP, Q. You could just say ’adjunction’, with the normal meaning of covariant functors, but I tend not to like this because of the symmetry-breaking: you have to choose which of P,QP, Q you’re going to attach the op^{op} to, and if it’s PP say, you have to remember which is the right adjoint: is it in the direction P opQP^{op} \to Q or the direction QP opQ \to P^{op} (or similarly, on which of these posets do we get a coclosure operator)?

    So for me “Galois connection” says just a tiny bit more than adjunction: it implies a certain array of choices of presentation based on symmetry and convenience. I’m so used to thinking about that that “Galois connection” just gets my neurons firing a certain way and saves me from having to think.

    On the other hand, I personally would never use the phrase “monotone Galois connection” – there I’d say “adjunction” instead, unhesitatingly. For me, “Galois connection” should imply antitonicity or contravariance of the maps involved.

    • CommentRowNumber29.
    • CommentAuthorMike Shulman
    • CommentTimeApr 28th 2017

    True. But we also have dual adjunctions.

    • CommentRowNumber30.
    • CommentAuthorzskoda
    • CommentTimeApr 28th 2017
    • (edited Apr 28th 2017)

    28, 29: Pareigis uses at some places the notion of adjunction between a covariant and a contravariant functor, calling it “adjoint on the right” in one of the two imaginable cases. For example in his paper with Morris on formal schemes, proposition 1.1 doi pdf. I did not check if he has this notion in his category textbook.

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeApr 28th 2017
    • (edited Apr 28th 2017)

    I have added to the Idea-section of Galois connection some of these remarks. But one of you should expand further. Also, maybe further discussion of Galois connections as such should be had in its own thread.

    • CommentRowNumber32.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 28th 2017

    I’ll just make one more comment on terminology.

    why multiply terms needlessly for the same concept?

    The context for my making that remark in the first place was wondering why Oystein Ore chose to give two names for the same concept within the same article. (At least, any subtle difference of meaning between them is undetectable to me.) That’s what I don’t understand.

    It is practically inevitable that in the course of history, various names will be given to concepts by different people under different circumstances. The term “Galois connection” has long been established and people do use it (including me, and it seems Mike as well), and it wouldn’t be right for the nLab not to mention it and any nPOV insights that may be brought to bear, including the connection with adjunctions. Another example would be closure operator and monad. The concept of monad is more general than closure operator, and the exact same remark about “multiplying terms needlessly” would seem to apply there too – but then so would the point I’m making now, which is that the nLab has an important descriptive function to fulfill in surveying the language of mathematics. (And BTW I still do use the term “closure operator”.)

    So I’m really not sure what the takeaway from Mike’s comments should be. We shouldn’t be saying “Galois connection” from now on?

    • CommentRowNumber33.
    • CommentAuthorMike Shulman
    • CommentTimeApr 28th 2017

    As I said, my tongue was in my cheek; sorry if I sounded too serious. (-: I agree with everything in #32.

    It did somewhat annoy me when I first learned that something with a grandiose name like “Galois connection” was really just a (contravariant) adjunction between posets. I usually prefer to just say “adjunction” or “equivalence” even in the posetal case. I do think there is something interesting in the specific origin of such adjunctions between powersets by way of a relation between sets as in #10, and I’m more tempted to use the phrase “Galois connection” in that case (as in my paper with Moritz). If I was making any real point at all — which I doubt — it might be that I’d rather not have to learn to remember to distinguish between “Galois connection” and “Galois correspondence”; in the case of an equivalence I’d rather just say “equivalence”.

    • CommentRowNumber34.
    • CommentAuthorUrs
    • CommentTimeApr 29th 2017

    something with a grandiose name like “Galois connection” was really just

    In this case what bothers me is not that it is a grandiose term for a simplistic concept (that’s a problem for, say, “hyperdoctrine”) but that its reference to Galois theory is quite uninformative as to the nature of the concept.

    • CommentRowNumber35.
    • CommentAuthorTodd_Trimble
    • CommentTimeApr 29th 2017

    Mike: I thought the “tongue-in-cheek” was about the suggestion to call it “Ore connection” instead. Sorry for misunderstanding.

    Urs: I do agree that ’Galois’ isn’t very helpful. All in all, Ore didn’t do such a hot job here on nomenclature. :-)