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 7th 2014

    I saw that even Wikipedia doesn’t know these links, so I noted them down at Weil conjecture on Tamagawa numbers:


    The announced proof by Jacob Lurie and Dennis Gaitsgory via nonabelian Poincaré duality of the Weil conjecture on Tamagawa numbers was announced in

    and details are at

    • Jacob Lurie, Tamagawa Numbers via Nonabelian Poincare Duality (282y), lecture notes, 2014 (web)
    • CommentRowNumber2.
    • CommentAuthoradeelkh
    • CommentTimeApr 9th 2014

    Perhaps it should be mentioned that the number field case was already proved by Langlands, Lai, Kottwitz, and Gaitsgory-Lurie proved the function field case.

    • CommentRowNumber3.
    • CommentAuthorUrs
    • CommentTimeApr 9th 2014

    True, I have added a a super-brief comment to that extent. Somebody should expand on it and provide some actual content here.

    • CommentRowNumber4.
    • CommentAuthorDavidRoberts
    • CommentTimeApr 10th 2014

    How big a deal is this conjecture? I’d not heard of it until I saw Lurie’s course. Someone mentioned this proof as potential Fields Medal fuel, and I’m in no position to even estimate the validity of that statement.

    • CommentRowNumber5.
    • CommentAuthorDavid_Corfield
    • CommentTimeApr 10th 2014

    From a Rosetta stone point of view (p. 4), what is the equivalent in Weil’s third column of Riemannian surfaces?

    • CommentRowNumber6.
    • CommentAuthoradeelkh
    • CommentTimeJul 7th 2014

    I added some statements to Weil conjecture on Tamagawa numbers.

    • CommentRowNumber7.
    • CommentAuthorUrs
    • CommentTimeJul 7th 2014

    Thanks! That’s excellent.

    I made some more hyperlinks come out.

    • CommentRowNumber8.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 8th 2014

    @adeel do you know what the consensus is regarding the work of Lurie-Gaitsgory on this?

    • CommentRowNumber9.
    • CommentAuthoradeelkh
    • CommentTimeJul 8th 2014

    @David, do you mean whether it’s been accepted as a complete proof, or whether it’s “potential Fields medal fuel”?

    • CommentRowNumber10.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 8th 2014

    I mean as a complete proof.

    • CommentRowNumber11.
    • CommentAuthoradeelkh
    • CommentTimeJul 9th 2014

    I’m not really qualified to answer, but I can at least say that I’ve never heard anyone expressing any doubts about the proof.

    • CommentRowNumber12.
    • CommentAuthoradeelkh
    • CommentTimeJul 9th 2014
    • (edited Jul 9th 2014)

    I wonder what their work has to do with

    • Aravind Asok, Brent Doran, Frances Kirwan, Yang-Mills theory and Tamagawa numbers, 2008, arXiv.

    The aim of this article is threefold: to announce results, produced in the setting of A1-homotopy theory, on the motivic cohomology (and hence its many realizations) of quotients in the sense of Mumford’s geometric invariant theory or GIT [ADK], generalizing what was known for singular cohomology of GIT quotients; to explain how methods used over the last three decades to study the singular cohomology of the moduli spaces M(n,d) can thence be adapted to study the motivic cohomology of moduli spaces of bundles on a smooth projec- tive curve C over an algebraically closed field k; and at the same time to extend our understanding of the link between Yang-Mills theory and Tamagawa numbers remarked on by Atiyah and Bott, by re-examining some of their essentially homotopy theoretic considerations in a more algebraic modern light.

    • CommentRowNumber13.
    • CommentAuthorTim_Porter
    • CommentTimeJul 9th 2014

    In Weil conjecture on Tamagawa numbers, there is reference to the genus of a quadratic form and a link to genus, however at that entry no mention seems to be made of quadratic forms. I was hoping to gain a little understanding of the Weil conjecture on Tamagawa numbers but hit a brickwall at this point. Am I being thick and this meaning of genus is essentially on that linked page but is hidden by terminological links that escape me?

    • CommentRowNumber14.
    • CommentAuthoradeelkh
    • CommentTimeJul 9th 2014
    • (edited Jul 10th 2014)

    In Weil conjecture on Tamagawa numbers, there is reference to the genus of a quadratic form and a link to genus, however at that entry no mention seems to be made of quadratic forms. I was hoping to gain a little understanding of the Weil conjecture on Tamagawa numbers but hit a brickwall at this point. Am I being thick and this meaning of genus is essentially on that linked page but is hidden by terminological links that escape me?

    Lurie defines (in lecture 1) two quadratic forms over Z\mathbf{Z} to be of the same genus if they are isomorphic after extension of scalars to Z/nZ\mathbf{Z}/n\mathbf{Z} for all n1n\ge 1.

    • CommentRowNumber15.
    • CommentAuthorTim_Porter
    • CommentTimeJul 10th 2014
    • (edited Jul 10th 2014)

    Ah, but my point was not that of looking for the definition (it is on Wikipedia in fact), but that the entry at genus does not say what the genus of a quadratic form is, and does not explain, for instance, if it is linked to the other well-known uses of the word ’genus’. Often by going in the direction of the nPOV, there is some clarification of concepts and their relationship. I was wondering if here something similar can be done. I was therefore asking if someone more knowledgable than me in the matter could check genus to see if the entry needs amending, or if a new entry on genus of a quadratic form is required. (Sometimes, in a hurry, one of us puts in a link to explain some word but the link does not lead to an entry that explains the word! I know, I’ve done that myself several times.)

    I have another thought. I think the definition is nearer to the other meaning of genus, i.e. of a surface. This then gave me a vague idea that there might be a connection with Grothendieck-Teichmuller theory / Dessins d’Enfants. I have not checked anywhere if such is known or not.

    • CommentRowNumber16.
    • CommentAuthoradeelkh
    • CommentTimeJul 10th 2014

    I see, that’s a valid point. I don’t know anything about quadratic forms myself, or the notions of genus covered at that page, so I can’t say anything.

    • CommentRowNumber17.
    • CommentAuthorTim_Porter
    • CommentTimeJul 10th 2014

    … that makes two of us. ;-)

    • CommentRowNumber18.
    • CommentAuthorUrs
    • CommentTimeJul 17th 2014
    • (edited Jul 17th 2014)

    I would like to add to the Idea section of Weil conjecture on Tamagawa numbers something that says more about the appearance of Bun G G(F) \backslash \prod'_{x \in X} G(\mathcal{F_Bun_G. Before adding anything there, I’ll experiment here, starting with a 0th order approximation. This is not to claim any insight but on the contrary to fish for comments that would eventually help materialize a good Idea-section.

    So here might be an attempt:


    The Weil conjecture on Tamagawa numebrs, concerns the “sizes” (cardinalities) of the arithmetic geometry of certain algebraic groups GG and their coset spaces, and in particular of certain double quotient spaces – or rather quotient stacks – which are naturally identified with the moduli stack of G-principal bundles over certain algebraic curves.

    Originally this was formulated for GG the automorphism group of some quadratic form, but the conjecture makes sense and its proof holds for more general GG.

    A key fact here, which also governs the relation between the number theoretic Langlands correspondence and the geometric Langlands correspondence, is that for Σ\Sigma some complex curve, then the double quotient stack

    G(F)\ xX G(F x)/ xXG(𝒪 x)G(F) \backslash \prod^{\prime}_{x \in X} G(F_x) / \prod_{x \in X} G(\mathcal{O}_x)

    has a special geometric meaning. Here

    • F(t x)F\coloneqq \mathbb{C}(t_x) is the ring of rational functions on XX,

    • F x((t x))F_x \coloneqq \mathbb{C}((t_x)) is the ring of formal Laurent series around xXx\in X

    • 𝒪 x[[t x]]\mathcal{O}_x \coloneqq \mathbb{C}[ [ t_x ] ] is the ring of formal power series around xXx \in X

    • \prod' denotes the “restricted product” meaning that only finitely many terms in the product are non-trivial.

    The secret meaning of this double quotient is revealed by noticing that every GG-principal bundle on XX trivializes on the complement of a finite number of points. This means that we get a “sufficiently good” cover of XX by choosing as one patch such a complenent, and as the other patches small disks, and in fact just formal disks, around the given points.

    This way then a Cech cocycle for a GG-principal bundle on XX is just a GG-valed function on the pointed disks obtained from the given disks by removing the center. The collection of such functions is just the term that appears in the middle of the above double quotient. Moreover, a gauge transformation between two such cocycles is then given by a GG(\mathcal{F_G-valued function on the disjoint union of all the patches. The collection of these is hence given by the elements in G(F)G(F), which are the functions on the “big patch”, and functions on all the small disks, which form xXG(𝒪 x)\prod_{x \in X} G(\mathcal{O}_x). Quotienting out gauge transformations from the Cech cocycles hence yields the above double quotient.

    In conclusion, this stacky double quotient is a Cech-presentation of the moduli stack of G-principal bundles on XX

    Now since the Tamagawa numbers give a measure of the size of the coset spaces appearing here, they give a measure of the size of the stack appearing on the right.

    This state of affairs becomes more pronounced as we pass (base change) from complex analytic geometry to arithmetic geometry, because in arithmetic geometry over a finite field, the moduli stack will take values in “finite groupoids” or at least in tame groupoids, which means that the “measures” here reduce to counting measures and in fact just to groupoid cardinality.

    Passing the above story to arithmetic geoemtry means to invoke the function field analogy.


    (Am being urgently interrupted. To be continued…)

    • CommentRowNumber19.
    • CommentAuthorUrs
    • CommentTimeJul 20th 2014

    Added a small part of the above as a remark here.

    • CommentRowNumber20.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 21st 2014

    Fixed one typo, properly I hope.

    Also, XX and Σ\Sigma are being mixed. Is one preferable?

    And, is that right in G(K X)\G(𝔸 X)//G(𝒪)G(K_X)\backslash G(\mathbb{A}_X)//G(\mathcal{O}) to have single and double slashes?

    • CommentRowNumber21.
    • CommentAuthorUrs
    • CommentTimeJul 21st 2014

    Thanks for cleaning up after me, I left a mess.

    Right, so I changed all the Σ\Sigmas to XXs (I like Σ\Sigmas for algebraic curves that play the role of Σ\Sigmas in Σ\Sigma-models, such as here, but here to fit with the rest of the entry it should be XX).

    Regarding the double slash: there must be a stacky quotient somewhere, for the last statement about the groupoid cardinality of Bun GBun_G at least. But let me check to make the notation consistent…

    • CommentRowNumber22.
    • CommentAuthorDavid_Corfield
    • CommentTimeJul 21st 2014

    Don’t we generally dislike single slashes as decategorifications?

    • CommentRowNumber23.
    • CommentAuthorUrs
    • CommentTimeJul 21st 2014

    Yes, and there is double slashing implicit in what Lurie writes, after all he talks about the actual stack Bung GBung_G, computing the groupoid cardinality of its value on Spec(𝔽 q)Spec(\mathbb{F}_q).

    I suppose both sides should really be double slashes, though it might be that the right action is faithful (?). I’d have to check. Unfortunately, right now I both urgently need to do something else and am actually ill-situated to do much work either way. I’ll leave further editing here for later.

    • CommentRowNumber24.
    • CommentAuthoradeelkh
    • CommentTimeJul 25th 2014

    I added the following reference:

    • CommentRowNumber25.
    • CommentAuthorUrs
    • CommentTimeJul 25th 2014

    Thanks! I was going to add this when Aaron mentioned it in the MO chat, but I didn’t get around to.

    • CommentRowNumber26.
    • CommentAuthorDavidRoberts
    • CommentTimeJul 26th 2014

    Wow, they are really good! And give an inkling as to the scope of the theorem, more so than trying to read the lecture notes of the course.

    • CommentRowNumber27.
    • CommentAuthoradeelkh
    • CommentTimeSep 15th 2014

    I added the following reference, which just appeared on Lurie’s web page:

    • CommentRowNumber28.
    • CommentAuthorUrs
    • CommentTimeSep 15th 2014

    Thanks, that’s excellent.

    • CommentRowNumber29.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 15th 2014
    • (edited Sep 16th 2014)

    (snip)

    • CommentRowNumber30.
    • CommentAuthorDavidRoberts
    • CommentTimeSep 16th 2014

    Finally :-) Spreading the proof over multiple pdf wasn’t great for readability…

    Edit: but only “half” the proof (350-odd pages…)

    • CommentRowNumber31.
    • CommentAuthorUrs
    • CommentTimeAug 7th 2022

    the bibitem (here)

    used to just point to

    I have now added pointer also to

    which, despite its file name, is advertized as “the first volume of an expanded account”.

    diff, v15, current