# Start a new discussion

## Not signed in

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

## Site Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorMike Shulman
• CommentTimeJun 27th 2018

• CommentRowNumber2.
• CommentAuthorMike Shulman
• CommentTimeOct 13th 2019

• CommentRowNumber3.
• CommentAuthorMike Shulman
• CommentTimeOct 13th 2019

Added the universal property, generalized from Pavlovic to polycategories.

1. Fix minor typo in diagram

Anthony Hart

• CommentRowNumber5.
• CommentAuthorMike Shulman
• CommentTimeApr 18th 2020

The page Chu construction claims that

Pontryagin duality is fully embedded in the larger duality which obtains on $Chu(Top, S^1)$, where $Top$ is a nice category of spaces.

It’s not entirely clear to me how this happens: where does the abelian group structure come from? Is the claim that an abelian group structure on a sufficiently nice space $G$ is completely determined by the topology of $G$, the topology of its dual group $\widehat{G}$, and the evaluation map $\widehat{G}\times G\to S^1$? Should that be obvious?

The paper of Barr cited at Pontryagin dual instead embeds Pontryagin duality in a “separated” form of the Chu construction $Chu(Ab,S^1)$.

• CommentRowNumber6.
• CommentAuthorTodd_Trimble
• CommentTimeApr 18th 2020

I probably wrote that. I’m pretty sure I must have had Barr’s paper in mind. Since the sentence is so short, I think it can be regarded as essentially a typo, which should be fixed.

• CommentRowNumber7.
• CommentAuthorMike Shulman
• CommentTimeApr 18th 2020

That was my first thought too. But then I looked again at the preceding examples where, for instance, Stone duality embeds in $Chu(Set,2)$, so that for instance the algebraic structure of a Boolean algebra is captured by the “2-valued characters”, and wondered whether something similar might be going on here. However, if you can’t think of a way in which that would work, I’ll go ahead and change the page.

• CommentRowNumber8.
• CommentAuthorMike Shulman
• CommentTimeApr 18th 2020

…although I’m not sure exactly what it should say either. Barr’s paper doesn’t use the full Chu construction $Chu(Ab,S^1)$, only a subcategory of it where the pairing separates points on both sides, and that’s something that hasn’t been discussed on this page. Would Pontryagin duality also be embedded in something larger but easier to describe, like $Chu(TopAb,S^1)$?

• CommentRowNumber9.
• CommentAuthorTodd_Trimble
• CommentTimeApr 18th 2020

I’d have to think of it some more. Somewhere in some of Pratt’s notes (for his 1999 Summer Workshop at Comimbra) he mentions vector spaces over F_2 as embedding into Chu(Set, 2) [pages 16-17], and so a fleeting thought might be that something similar could work for Chu(Top, S^1), but that’s only a half-assed thought. It could be, as you say, that something along the lines of $Chu(TopAb, S^1)$ would work.

• CommentRowNumber10.
• CommentAuthorMike Shulman
• CommentTimeApr 18th 2020

Is $TopAb$ symmetric monoidal closed? And if so, is Pontryagin duality its actual internal-hom into $S^1$?

• CommentRowNumber11.
• CommentAuthorTodd_Trimble
• CommentTimeApr 18th 2020

I was thinking of a sm closed variant of Top to work with, like compactly generated, then passing to the algebras of a commutative monad on Top to get the answer ’yes’. Since locally compact Hausdorff spaces are compactly generated, I think we get the answer ’yes’ to your second question, using compact-open topologies as usual. But I just got out of a nap, and maybe I’m not fully alert yet.

• CommentRowNumber12.
• CommentAuthorMike Shulman
• CommentTimeApr 18th 2020

That does seem to me as though it should work. According to our page compact-open topology, the compact-open topology agrees with the internal-hom in compactly generated spaces when the domain is compactly generated Hausdorff. Maybe I’ll put that version on the page, along with a pointer to Barr’s paper and maybe a ponderment about $Chu(Top,S^1)$.

• CommentRowNumber13.
• CommentAuthorMike Shulman
• CommentTimeApr 19th 2020

Fixed up the discussion of Pontryagin duality.

• CommentRowNumber14.
• CommentAuthorTodd_Trimble
• CommentTimeApr 19th 2020

Cool; thanks Mike!