Skip to main content

All Questions

Filter by
Sorted by
Tagged with
35 votes
4 answers
8k views

What would a "moral" proof of the Weil Conjectures require?

At the very end of this 2006 interview (rm), Kontsevich says "...many great theorems are originally proven but I think the proofs are not, kind of, "morally right." There should be better proofs......
bhwang's user avatar
  • 1,764
29 votes
3 answers
2k views

$\zeta(n)$ as a mixed Tate motive

I am trying to understand why there exists, for each $n \geq 2$, a mixed Tate motive $M$ over $\mathbb{Q}$ such that $M \in Ext^1_{MT(\mathbb{Q})}(\mathbb{Q}(0), \mathbb{Q}(n))$ and $\zeta(n)$, ...
mtm93's user avatar
  • 291
10 votes
1 answer
2k views

How does the conjectural Langlands group fit into the Tannakian point of view?

I've read that one way to formulate the Langlands program is the following: Let $\mathcal{L}_ {\mathbb{Q}}$ be the conjectural Langlands group. Then the category of semi-simple (continuous) ...
141 votes
0 answers
13k views

Grothendieck-Teichmüller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures Grothendieck-Teichmüller conjecture: the morphism $$ G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T}) $$ is an isomorphism. Here $...
AFK's user avatar
  • 7,527
18 votes
1 answer
6k views

Deligne's proof of Ramanujan's conjecture

I am trying to understand Deligne's proof of the Ramanujan conjecture and more generally how one associates geometric objects (ultimately, motives) to modular forms. As the first step, which I ...
Evgeny Shinder's user avatar
13 votes
1 answer
973 views

Which degree does a motivic Galois representation show up in?

Consider a representation $\rho: \operatorname{Gal} (\overline{\mathbb Q} | \mathbb Q ) \to GL_n ( \overline{\mathbb Q}_\ell)$ that is a subrepresentation of $H^i(X, \overline{\mathbb Q}_\ell (j))$ ...
Will Sawin's user avatar
  • 148k