Not signed in (Sign In)

# 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

• Sign in using OpenID

## Discussion Tag Cloud

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

• CommentRowNumber1.
• CommentAuthorUrs
• CommentTimeSep 2nd 2010
• (edited Sep 29th 2013)
• CommentRowNumber2.
• CommentAuthorUrs
• CommentTimeSep 29th 2013

have finally merged the very stubby geometric Langlands program with the still stubby geometric Langlands correspondence

• CommentRowNumber3.
• CommentAuthorDavid_Corfield
• CommentTimeSep 30th 2013

At the moment Kapustin-Witten TQFT and topologically twisted D=4 super Yang-Mills theory don’t talk to each other. The former is just the $N = 4$ case of the latter?

• CommentRowNumber4.
• CommentAuthorUrs
• CommentTimeSep 30th 2013

Thanks for noticing! I guess I had forgotten about the entry Kapustin-Witten TQFT. Yes, this is just the case for $N=4$ of the general mechanism discussed at topologically twisted D=4 super Yang-Mills theory (and in that entry really the discussion is more general than D=4 sYM, really). I have briefly interlinked the two entries now, thanks again for noticing. Of course, eventually much more could be said here.

• CommentRowNumber5.
• CommentAuthorUrs
• CommentTimeJul 6th 2014

Added pointers to the references here pointers to

• CommentRowNumber6.
• CommentAuthorUrs
• CommentTimeJul 17th 2014

I have polished and expanded a good bit the Idea section at geometric Langlands correspondence.

• CommentRowNumber7.
• CommentAuthorUrs
• CommentTimeJul 19th 2014
• (edited Aug 23rd 2014)

So here is an observation:

Consider that canonical covering of a complex curve by

• the formal disks around finitely many points

• together with the curve itself with these points removed

which leads to that double-coset description of the moduli stack of bundles on it.

If we are working in the synthetic differential complex analytic $\infty$-topos $\mathbf{H}$ ($\infty$-stacks over the site of formal complex manifolds), then we may take not just a finite number of points but all the points.

If we consider $\mathbf{H}$ as cohesive over $\infty$-stacks over formal points (essentially: “formal moduli problems”) then the object of “all formal disks around all points of $\Sigma$” is just $\flat \Sigma$.

On the other hand, the curve $\Sigma$ with all its points removed is what I used to write $\Omega \Pi_{dR}\Sigma$ and which more recently (such as at differential cohomology hexagon) I changed to writing just $\Pi_{dR}\Sigma$).

Considered in stable objects in the complex analytic $\infty$-topos, then that differential cohomology hexagon says that we have a Cartesian fracture square

$\array{ && \Pi_{dR} \Sigma \\ & \nearrow & & \searrow \\ \Pi_{dR} \flat \Sigma && && \Sigma \\ & \searrow & & \nearrow \\ && \flat \Sigma } \,.$

So in particular this means that the union of all the formal disks around all points $\flat \Sigma$ and the “complement of all points” $\Pi_{dR} \Sigma$ is a cover of $\Sigma$.

Moreover, under the function field analogy then $\flat\Sigma$ plays the role of the product of all the formal completions of the function algebra on $\Sigma$. And $\Pi_{dR}\Sigma$ is at least intuitively the “rationalization” of $\Sigma$. So the above looks like the correct kind of fracture theorem one would want to see.

Moreover, it’s just the kind of covering as it governs the Langlands story. Given any coefficient object $E$, then $E$-bundles modulated by

$\Sigma \longrightarrow E$

will be equivalently given by $E$-bundles on all formal disks around all points of $\Sigma$ together with one $E$-bundle on $\Sigma$ “without its points”, subject to a transition funciton on their intersection $\flat \Pi_{dR} \Sigma$, which is like all punctured formal disks around all points of $\Sigma$.

• CommentRowNumber8.
• CommentAuthorDavid_Corfield
• CommentTimeJul 19th 2014

This is the analogy of the diagram in your other comment?

• CommentRowNumber9.
• CommentAuthorUrs
• CommentTimeJul 19th 2014
• (edited Jul 19th 2014)

Yes, thanks, I should have pointed to that.

Well, the question there in itself still stands, whether we have a dual such fracture hexagon for spectra and Bousfield localization, but what I am suggesting here now is that the right geometic persepctive is as above.

Of course with any sufficiently well-behaved “function theory” functor that takes cohesive homotopy types to spectra of functions, it would take the above hexagon to a dual hexagon of spectra wich ought to involve some kind of algebraic completion. I should try to find a context in which this is exactly true…

• CommentRowNumber10.
• CommentAuthorUrs
• CommentTimeAug 23rd 2014
• (edited Aug 23rd 2014)

I have expanded the Idea-section at geometric Langlands correspondence with a bit of information all from page 4 of Arinkin-Gaitsgory 12:

• gave more citations to the proof of the conjectured equivalence in the abelian case:

• gave citation for the proof that the conjectured equivalence is in fact FALSE in general;

• slightly expanded the pointer to the proposal by Arinkin-Gaitsgory 12 for how to go about fixing this.

(this is prompted by discussion here)

• CommentRowNumber11.
• CommentAuthorUrs
• CommentTimeJan 20th 2019

added brief pointer to the recent back-and-forth:

Langlands’s doubts about or dissatifaction with the “geometric Langlands program” expressed in these talks (where he suggests that his name not be associated with the “geometric” part of the program) eventually led to

• Robert Langlands, Об аналитическом виде геометрической теории автоморфных форм, IAS 2018 (ias:2678, pdf)

This in turn led to the reaction

• CommentRowNumber12.
• CommentAuthorUrs
• CommentTimeJan 30th 2020

added pointer to

Add your comments
• Please log in or leave your comment as a "guest post". If commenting as a "guest", please include your name in the message as a courtesy. Note: only certain categories allow guest posts.
• To produce a hyperlink to an nLab entry, simply put double square brackets around its name, e.g. [[category]]. To use (La)TeX mathematics in your post, make sure Markdown+Itex is selected below and put your mathematics between dollar signs as usual. Only a subset of the usual TeX math commands are accepted: see here for a list.

• (Help)
{"ft_lang_label":"__label__en","ft_lang_prob":0.92352486,"math_prob":0.89842963,"size":4540,"snap":"2021-04-2021-17","text_gpt3_token_len":1003,"char_repetition_ratio":0.115079366,"word_repetition_ratio":0.017333332,"special_character_ratio":0.19845815,"punctuation_ratio":0.07506053,"nsfw_num_words":0,"has_unicode_error":false,"math_prob_llama3":0.9814607,"pos_list":[0],"im_url_duplicate_count":[null],"WARC_HEADER":"{\"WARC-Type\":\"response\",\"WARC-Date\":\"2021-04-16T17:56:28Z\",\"WARC-Record-ID\":\"<urn:uuid:2d1ef573-9244-42f6-a463-6c80a2db5418>\",\"Content-Length\":\"46837\",\"Content-Type\":\"application/http; msgtype=response\",\"WARC-Warcinfo-ID\":\"<urn:uuid:2bc6b6ee-bdd9-413f-ab28-b94caecbceb9>\",\"WARC-Concurrent-To\":\"<urn:uuid:f11283f3-ec50-41ca-bdb1-af253798b6fe>\",\"WARC-IP-Address\":\"172.67.137.123\",\"WARC-Target-URI\":\"https://nforum.ncatlab.org/discussion/1773/\",\"WARC-Payload-Digest\":\"sha1:KFJTZR7EBE4ID3WZQ3KAK6VIUXWVKCMP\",\"WARC-Block-Digest\":\"sha1:GBO6DTC3PGKIEEAYR64M66O7BTJKZAKG\",\"WARC-Identified-Payload-Type\":\"application/xhtml+xml\",\"warc_filename\":\"/cc_download/warc_2021/CC-MAIN-2021-17/CC-MAIN-2021-17_segments_1618038088245.37_warc_CC-MAIN-20210416161217-20210416191217-00069.warc.gz\"}"}