added pointer to

- Meer Ashwinkumar, Meng-Chwan Tan,
*Unifying Lattice Models, Links and Quantum Geometric Langlands via Branes in String Theory*(arXiv:1910.01134)

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

- Edward Frenkel,
*Is there an analytic theory of automorphic functions for complex algebraic curves?*(arXiv:1812.08160)

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)

]]>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…

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

]]>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$.

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

Added pointers to the references here pointers to

Dennis Gaitsgory, Nick Rozenblyum,

*Notes on Geometric Langlans – A study in derived algebraic geometry*(web)Robert Langlands,

*The Search for a Mathematically Satisfying Geometric Theory of Automorphic Forms*, Notes for a lecture at Mostow-Fest, Yale 2013 (IAS page, video, pdf)

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.

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?

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

a beginning at geometric Langlands correspondence

]]>