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.
    • CommentAuthorzskoda
    • CommentTimeJan 12th 2011
    • CommentRowNumber2.
    • CommentAuthorFinnLawler
    • CommentTimeJan 31st 2011

    Added Lawvere’s Frobenius condition for hyperdoctrines to Frobenius reciprocity.

    • CommentRowNumber3.
    • CommentAuthorMike Shulman
    • CommentTimeJan 31st 2011

    Thanks. I added the topos-theory usage. And I’m pretty sure that it’s about cartesian closedness of the inverse image functor, not the existential quantification, so I fixed that.

    • CommentRowNumber4.
    • CommentAuthorUrs
    • CommentTimeJan 31st 2011

    It would be nice to have a comment on how the section “In representation theory” relates to that “In category theory” if it does, or else a warning that it does not. Hm, does it?

    • CommentRowNumber5.
    • CommentAuthorFinnLawler
    • CommentTimeFeb 1st 2011

    Mike wrote

    I’m pretty sure that it’s about cartesian closedness of the inverse image functor, not the existential quantification, so I fixed that.

    Argh, yes, you’re quite right. I don’t know how I managed to write that.

    I don’t know any representation theory, but from scanning the Wikipedia page on induced representations it looks as though Frobenius reciprocity in that context means the adjunction i !i *i_! \dashv i^* coming from an inclusion i:HGi \colon H \hookrightarrow G of a subgroup, in the indexed category Gk-Vect GG \mapsto k \text{-} Vect^G. But I won’t add this until we hear from someone who knows what they’re talking about…

    • CommentRowNumber6.
    • CommentAuthorFinnLawler
    • CommentTimeFeb 22nd 2011

    Some minor edits to Frobenius reciprocity.

    What I meant by my previous comment (I don’t think it was clear) is that it seems that in representation theory the term ’Frobenius reciprocity’ refers to the existence of the induction-restriction adjunctions; but in category theory (especially with hyperdoctrines) it refers to a property of the analogous adjunctions. So I don’t know why Lawvere chose the term.

    • CommentRowNumber7.
    • CommentAuthorTim_Porter
    • CommentTimeFeb 22nd 2011

    Slightly tangentially, I have been playing around with pullback/pushforward and ’transfer’ as discussed by Turaev in his HQFT book. If one has a group homomorphism f:GHf: G\to H you can pullback crossed HH-algebras to crossed GG-algebras, and provided KerfKer f is finite, you can push them forward. If ff is a cofinite inclusion you can also do an induction or transfer process that is left adjoint to pullback. (This is the analogue of the restriction/induction adjoint pair of representation theory, but because it is not simply representations in Vect, the usual Frobenius reciprocity situation does not hold and the pushforward and induction processes do not coincide. Has anyone seen anything like this before?

    • CommentRowNumber8.
    • CommentAuthorMike Shulman
    • CommentTimeFeb 22nd 2011

    Is Lawvere’s the original usage of the term in category theory?

    I wonder if this would be a good question for the categories email list. I would really like to know why that condition is called “Frobenius”.

    • CommentRowNumber9.
    • CommentAuthorFinnLawler
    • CommentTimeFeb 23rd 2011

    I had assumed, though for no compelling reason, that the term was Lawvere’s. He introduced hyperdoctrines in Adjointness in foundations, I think, and in Equality in hyperdoctrines (here), not long afterwards, he uses the term ’Frobenius reciprocity’ without giving any source. Anything else I could say would be a guess, though. I too would like to know what the reasoning behind the name was.

    • CommentRowNumber10.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 11th 2011

    Mike Shulman has kindly uploaded a file I sent him, consisting of handwritten string diagram calculations for the proof of the second proposition (bottom of the page) of Frobenius reciprocity.

    I don’t know what the history is behind either use of ’Frobenius’ (either as in Frobenius algebra or Frobenius reciprocity). But I have removed some discussion that had appeared on that page:

    The relationship between the two usages is not clear. In fact, since the category-theoretic usage is a special case of being a Hopf adjunction, it seems as though it might have been misnamed, since Frobenius algebras and Hopf algebras are similar, but different. The word “Frobenius” is also sometimes used in category theory to denote a condition which is in some way analogous to the characteristic property of a Frobenius algebra.

    because the two propositions taken together indicate to me a reasonable relationship between the two usages. Whether such a relationship was in Lawvere’s mind when he wrote Adjointness in Foundations, I have no idea. I’d like to know what he was thinking.

    • CommentRowNumber11.
    • CommentAuthorMike Shulman
    • CommentTimeAug 12th 2011

    Thanks! If Lawvere did know of this relationship at some level (which seems conceivable), it might finally actually explain the use of “Frobenius” for f !(C×f *B)(f !C)×Bf_!(C\times f^*B)\cong (f_!C)\times B as originating from Frobenius algebras (and having nothing to do with the representation-theoretic “Frobenius reciprocity”).

    • CommentRowNumber12.
    • CommentAuthorhilbertthm90
    • CommentTimeAug 12th 2011

    When I see f !(C×f *B)(f !C)×Bf_{!}(C\times f^*B)\simeq (f_{!}C)\times B the first thing that jumps into my mind is something along the lines of the Grothendieck-Riemann-Roch theorem. This type of thing keeps appearing for me while thinking about Fourier-Mukai transforms on different cohomology theories.

    • CommentRowNumber13.
    • CommentAuthorDavid_Corfield
    • CommentTimeAug 12th 2011

    There’s a MathOverflow question about formulas of that type.

    • CommentRowNumber14.
    • CommentAuthorzskoda
    • CommentTimeAug 12th 2011

    As far as Frobenius terminology, may I add to the confusion by bringing up the question of relation of the notions of quasi-Frobenius and pseudo-Frobenius rings (both notions are e.g. in Carl Faith’s 2-volume Algebra, mainly vol. 2).

    • CommentRowNumber15.
    • CommentAuthorTodd_Trimble
    • CommentTimeAug 12th 2011

    Zoran, I don’t have that book and I’m nowhere near a university library. Can you tell us what those notions are exactly? Do they have much to do with Frobenius algebras?

    • CommentRowNumber16.
    • CommentAuthorUrs
    • CommentTimeDec 9th 2013
    • (edited Dec 9th 2013)

    Let me come back to the (old) question discussed above on what exactly the relation between the representation theoretic and the hyperdoctrinal use of “Frobenius reciprocity” is and how it is related to Fourier-Mukai transforms.

    So it is true that most texts on representation theory say that Frobenius reciprocity means just the existence of the adjunction (f !f *)=(IndRes)(f_! \dashv f^\ast) = (Ind \dashv Res). An exception is the PlanetMath page which claims without further ado that this is equivalent to the projection formula

    Ind(Res(W)V)WInd(V). Ind(Res(W) \otimes V) \simeq W \otimes Ind(V) \,.

    Indeed what is true is that with an adjunction (f !f *)(f_! \dashv f^\ast) between closed monoidal categories given, then this projection formula is equivalent to f *f^\ast being a strong closed functor. This is one of the basic statements highlighted in May’s Isomorphisms between left and right adjoints, some of which is extracted a bit at Wirthmüller context.

    And that then also clarifies the relation to Fourier-Mukai-type transforms mentioned in #12 above, via some discussion as in Abstract integral transforms

    I’ve added some brief cross-links to these entries now, accordingly, and in particular added some comments to Frobenius reciprocity. But I don’t have time today to do this justice.

  1. Just a small comment: the term itself was introduced by Lawvere in the “Equality in hyperdoctrines” paper, not yet in “Adjointness in foundations”. I’ve updated the reference accordingly.

    • CommentRowNumber18.
    • CommentAuthorJohn Baez
    • CommentTimeAug 27th 2020

    Eliminated “sometimes Frobenious” - this spelling is rare enough (isn’t it just a misspelling?) that I don’t think we need bother people with it in the first sentence (and perhaps propagate it).

    I’m doing some other small typo fixes on this page.

    diff, v40, current

    • CommentRowNumber19.
    • CommentAuthorJohn Baez
    • CommentTimeAug 27th 2020

    I improved the proof of Proposition 1.1. In the original proof π\pi was not explained. A commutative square was drawn without clarifying that one of the sides was, at least in the absence of some other definition of π\pi, being defined as the composite of the other three. Furthermore hom-tensor adjointness and f !f_!-f *f^* adjointness were being deployed in a rapid and inexplicit way. I think it’s worth having a proof that’s really easy to follow.

    diff, v40, current

    • CommentRowNumber20.
    • CommentAuthorJohn Baez
    • CommentTimeAug 28th 2020

    I added a second basic result relating strong closed functors to the projection formula. I moved these argument to a separate section from the discussion of Wirthmueller contexts, which is actually more technical.

    diff, v46, current

    • CommentRowNumber21.
    • CommentAuthorJohn Baez
    • CommentTimeAug 28th 2020

    I compressed the facts about closed monoidal functors and the projection formula into one super-general proposition, and added some context to help people understand it.

    diff, v47, current

    • CommentRowNumber22.
    • CommentAuthorUrs
    • CommentTimeJun 21st 2022
    • (edited Jun 21st 2022)

    checking whether I can point the reader to the section In cartesian categories for discussion of Frobenius reciprocity for base change between slices of finitely complete categories, I found I could not.

    Have now added brief mentioning of the relevant pasting law argument (here) but I am not claiming that there would not be a more thorough edit needed to do justice to this section.

    diff, v52, current

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2023

    added pointer to:

    • Robert A. G. Seely, p. 511 of: Hyperdoctrines, Natural Deduction and the Beck Condition, Zeitschr. f. math Logik und Grundlagen d. Math. 29 (1983) 505-542 [pdf]

    diff, v55, current

    • CommentRowNumber24.
    • CommentAuthorUrs
    • CommentTimeMay 19th 2023

    and this one:

    diff, v55, current

  2. Fix small typo

    Josselin Poiret

    diff, v56, current