About the Hasse-Weil zeta function of modular curves
up vote
3
down vote
favorite
It is an important philosophy in the Langlands program that (roughly) the zeta function of a Shimura variety can be written as a product of L-functions of automorphic representations. The first evidence, also the most simplest example I think, is the classical result of Eichler and Shimura that (roughly) the zeta function of a modular curve is a product of L-functions of certain cusp forms. In their proof a key ingredient is the Eichler-Shimura relation relating the Hecke operator and the Frobenius map through the reduction mod $p$ at good primes. Later on Langlands in the Antwerp proceedings did similar things by comparing the Lefschetz and Selberg trace formulas to count points on the reduction mod $p$, which is referred as the Langlands-Kottwitz method later, which has many related works (generalizations, etc).
Now my problem is, I am not majoring in arithmetic stuff, yet I am very interested in this topic, I just wondered is there any reference demonstrating the simplest examples by using modern language? I think I can get a flavor of this subject by learning the most simplest examples such as modular curves, but I found the language in the original paper (Langland’s Antwerp 1972) is somehow too old. So is there any new reference reformulating them with some more advanced language, for example in terms of schemes, etale cohomology, shimura varieties, etc? I am avoiding learning the general theory of shimura varieties directly because it is much too heavy, actually I would like to use modular curve case as an inspiring example for learning the general shimura varieties. So is that possible to do that? By the way, in the series of Peter Scholze’s first three papers, the first paper named “The Langlands-Kottwitz approach for modular curves”, of course this paper is too difficult for me, so is it possible for me to know what he did, what is the difference between his work and the classical results on modular curves mentioned above, and what advanced knowledge do I need to finally understand his work?
Thanks for help!
number-theory representation-theory automorphic-forms
edited Nov 23 at 18:25
reuns
19.4k21046
asked Nov 22 at 18:19
user618601
161
add a comment |
up vote
3
down vote
favorite
It is an important philosophy in the Langlands program that (roughly) the zeta function of a Shimura variety can be written as a product of L-functions of automorphic representations. The first evidence, also the most simplest example I think, is the classical result of Eichler and Shimura that (roughly) the zeta function of a modular curve is a product of L-functions of certain cusp forms. In their proof a key ingredient is the Eichler-Shimura relation relating the Hecke operator and the Frobenius map through the reduction mod $p$ at good primes. Later on Langlands in the Antwerp proceedings did similar things by comparing the Lefschetz and Selberg trace formulas to count points on the reduction mod $p$, which is referred as the Langlands-Kottwitz method later, which has many related works (generalizations, etc).
Now my problem is, I am not majoring in arithmetic stuff, yet I am very interested in this topic, I just wondered is there any reference demonstrating the simplest examples by using modern language? I think I can get a flavor of this subject by learning the most simplest examples such as modular curves, but I found the language in the original paper (Langland’s Antwerp 1972) is somehow too old. So is there any new reference reformulating them with some more advanced language, for example in terms of schemes, etale cohomology, shimura varieties, etc? I am avoiding learning the general theory of shimura varieties directly because it is much too heavy, actually I would like to use modular curve case as an inspiring example for learning the general shimura varieties. So is that possible to do that? By the way, in the series of Peter Scholze’s first three papers, the first paper named “The Langlands-Kottwitz approach for modular curves”, of course this paper is too difficult for me, so is it possible for me to know what he did, what is the difference between his work and the classical results on modular curves mentioned above, and what advanced knowledge do I need to finally understand his work?
Thanks for help!
number-theory representation-theory automorphic-forms
edited Nov 23 at 18:25
reuns
19.4k21046
asked Nov 22 at 18:19
user618601
161
The Hecke algebra $mathbb{T}$ is an algebra of endomorphisms of the Jacobian $J(X_0(N))$ and those are defined over $mathbb{Q}$, so they commute why the action of $sigma in Gal(overline{mathbb{Q}}/K)$ on $J(X_0(N))$, so the kernel of a representation $mathbb{T} to mathbb{C}$ defines a subvariety $V$ of $Jac(X_0(N))$ that is sent to itself by the $sigma$, and hence we have a Galois representation $Gal(overline{mathbb{Q}}/K)to End(V)$ ? Finally any newform $in S_2(Gamma_0(N))$ is a representation of the Hecke algebra.
– reuns
Nov 23 at 2:32
add a comment |
up vote
3
down vote
favorite
up vote
3
down vote
favorite
It is an important philosophy in the Langlands program that (roughly) the zeta function of a Shimura variety can be written as a product of L-functions of automorphic representations. The first evidence, also the most simplest example I think, is the classical result of Eichler and Shimura that (roughly) the zeta function of a modular curve is a product of L-functions of certain cusp forms. In their proof a key ingredient is the Eichler-Shimura relation relating the Hecke operator and the Frobenius map through the reduction mod $p$ at good primes. Later on Langlands in the Antwerp proceedings did similar things by comparing the Lefschetz and Selberg trace formulas to count points on the reduction mod $p$, which is referred as the Langlands-Kottwitz method later, which has many related works (generalizations, etc).
Now my problem is, I am not majoring in arithmetic stuff, yet I am very interested in this topic, I just wondered is there any reference demonstrating the simplest examples by using modern language? I think I can get a flavor of this subject by learning the most simplest examples such as modular curves, but I found the language in the original paper (Langland’s Antwerp 1972) is somehow too old. So is there any new reference reformulating them with some more advanced language, for example in terms of schemes, etale cohomology, shimura varieties, etc? I am avoiding learning the general theory of shimura varieties directly because it is much too heavy, actually I would like to use modular curve case as an inspiring example for learning the general shimura varieties. So is that possible to do that? By the way, in the series of Peter Scholze’s first three papers, the first paper named “The Langlands-Kottwitz approach for modular curves”, of course this paper is too difficult for me, so is it possible for me to know what he did, what is the difference between his work and the classical results on modular curves mentioned above, and what advanced knowledge do I need to finally understand his work?
Thanks for help!
number-theory representation-theory automorphic-forms
edited Nov 23 at 18:25
reuns
19.4k21046
asked Nov 22 at 18:19
user618601
161
It is an important philosophy in the Langlands program that (roughly) the zeta function of a Shimura variety can be written as a product of L-functions of automorphic representations. The first evidence, also the most simplest example I think, is the classical result of Eichler and Shimura that (roughly) the zeta function of a modular curve is a product of L-functions of certain cusp forms. In their proof a key ingredient is the Eichler-Shimura relation relating the Hecke operator and the Frobenius map through the reduction mod $p$ at good primes. Later on Langlands in the Antwerp proceedings did similar things by comparing the Lefschetz and Selberg trace formulas to count points on the reduction mod $p$, which is referred as the Langlands-Kottwitz method later, which has many related works (generalizations, etc).
Now my problem is, I am not majoring in arithmetic stuff, yet I am very interested in this topic, I just wondered is there any reference demonstrating the simplest examples by using modern language? I think I can get a flavor of this subject by learning the most simplest examples such as modular curves, but I found the language in the original paper (Langland’s Antwerp 1972) is somehow too old. So is there any new reference reformulating them with some more advanced language, for example in terms of schemes, etale cohomology, shimura varieties, etc? I am avoiding learning the general theory of shimura varieties directly because it is much too heavy, actually I would like to use modular curve case as an inspiring example for learning the general shimura varieties. So is that possible to do that? By the way, in the series of Peter Scholze’s first three papers, the first paper named “The Langlands-Kottwitz approach for modular curves”, of course this paper is too difficult for me, so is it possible for me to know what he did, what is the difference between his work and the classical results on modular curves mentioned above, and what advanced knowledge do I need to finally understand his work?
Thanks for help!
number-theory representation-theory automorphic-forms
number-theory representation-theory automorphic-forms
edited Nov 23 at 18:25
reuns
19.4k21046
asked Nov 22 at 18:19
user618601
161
edited Nov 23 at 18:25
reuns
19.4k21046
asked Nov 22 at 18:19
user618601
161
edited Nov 23 at 18:25
reuns
19.4k21046
edited Nov 23 at 18:25
reuns
19.4k21046
edited Nov 23 at 18:25
reuns
19.4k21046
19.4k21046
asked Nov 22 at 18:19
user618601
161
asked Nov 22 at 18:19
user618601
161
asked Nov 22 at 18:19
user618601
161
161
The Hecke algebra $mathbb{T}$ is an algebra of endomorphisms of the Jacobian $J(X_0(N))$ and those are defined over $mathbb{Q}$, so they commute why the action of $sigma in Gal(overline{mathbb{Q}}/K)$ on $J(X_0(N))$, so the kernel of a representation $mathbb{T} to mathbb{C}$ defines a subvariety $V$ of $Jac(X_0(N))$ that is sent to itself by the $sigma$, and hence we have a Galois representation $Gal(overline{mathbb{Q}}/K)to End(V)$ ? Finally any newform $in S_2(Gamma_0(N))$ is a representation of the Hecke algebra.
– reuns
Nov 23 at 2:32
add a comment |
The Hecke algebra $mathbb{T}$ is an algebra of endomorphisms of the Jacobian $J(X_0(N))$ and those are defined over $mathbb{Q}$, so they commute why the action of $sigma in Gal(overline{mathbb{Q}}/K)$ on $J(X_0(N))$, so the kernel of a representation $mathbb{T} to mathbb{C}$ defines a subvariety $V$ of $Jac(X_0(N))$ that is sent to itself by the $sigma$, and hence we have a Galois representation $Gal(overline{mathbb{Q}}/K)to End(V)$ ? Finally any newform $in S_2(Gamma_0(N))$ is a representation of the Hecke algebra.
– reuns
Nov 23 at 2:32
The Hecke algebra $mathbb{T}$ is an algebra of endomorphisms of the Jacobian $J(X_0(N))$ and those are defined over $mathbb{Q}$, so they commute why the action of $sigma in Gal(overline{mathbb{Q}}/K)$ on $J(X_0(N))$, so the kernel of a representation $mathbb{T} to mathbb{C}$ defines a subvariety $V$ of $Jac(X_0(N))$ that is sent to itself by the $sigma$, and hence we have a Galois representation $Gal(overline{mathbb{Q}}/K)to End(V)$ ? Finally any newform $in S_2(Gamma_0(N))$ is a representation of the Hecke algebra.
– reuns
Nov 23 at 2:32
The Hecke algebra $mathbb{T}$ is an algebra of endomorphisms of the Jacobian $J(X_0(N))$ and those are defined over $mathbb{Q}$, so they commute why the action of $sigma in Gal(overline{mathbb{Q}}/K)$ on $J(X_0(N))$, so the kernel of a representation $mathbb{T} to mathbb{C}$ defines a subvariety $V$ of $Jac(X_0(N))$ that is sent to itself by the $sigma$, and hence we have a Galois representation $Gal(overline{mathbb{Q}}/K)to End(V)$ ? Finally any newform $in S_2(Gamma_0(N))$ is a representation of the Hecke algebra.
– reuns
Nov 23 at 2:32
add a comment |
active
oldest
votes
Your Answer
StackExchange.ifUsing("editor", function () {
return StackExchange.using("mathjaxEditing", function () {
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix) {
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
});
});
}, "mathjax-editing");
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "69"
};
initTagRenderer("".split(" "), "".split(" "), channelOptions);
StackExchange.using("externalEditor", function() {
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled) {
StackExchange.using("snippets", function() {
createEditor();
});
}
else {
createEditor();
}
});
function createEditor() {
StackExchange.prepareEditor({
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: true,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
imageUploader: {
brandingHtml: "Powered by u003ca class="icon-imgur-white" href="https://imgur.com/"u003eu003c/au003e",
contentPolicyHtml: "User contributions licensed under u003ca href="https://creativecommons.org/licenses/by-sa/3.0/"u003ecc by-sa 3.0 with attribution requiredu003c/au003e u003ca href="https://stackoverflow.com/legal/content-policy"u003e(content policy)u003c/au003e",
allowUrls: true
},
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
});
}
});
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009469%2fabout-the-hasse-weil-zeta-function-of-modular-curves%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
active
oldest
votes
active
oldest
votes
active
oldest
votes
active
oldest
votes
Thanks for contributing an answer to Mathematics Stack Exchange!
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
Use MathJax to format equations. MathJax reference.
To learn more, see our tips on writing great answers.
Some of your past answers have not been well-received, and you're in danger of being blocked from answering.
Please pay close attention to the following guidance:
- Please be sure to answer the question. Provide details and share your research!
But avoid …
- Asking for help, clarification, or responding to other answers.
- Making statements based on opinion; back them up with references or personal experience.
To learn more, see our tips on writing great answers.
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
StackExchange.ready(
function () {
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f3009469%2fabout-the-hasse-weil-zeta-function-of-modular-curves%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Sign up or log in
StackExchange.ready(function () {
StackExchange.helpers.onClickDraftSave('#login-link');
});
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Sign up using Google
Sign up using Facebook
Sign up using Email and Password
Post as a guest
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
Required, but never shown
The Hecke algebra $mathbb{T}$ is an algebra of endomorphisms of the Jacobian $J(X_0(N))$ and those are defined over $mathbb{Q}$, so they commute why the action of $sigma in Gal(overline{mathbb{Q}}/K)$ on $J(X_0(N))$, so the kernel of a representation $mathbb{T} to mathbb{C}$ defines a subvariety $V$ of $Jac(X_0(N))$ that is sent to itself by the $sigma$, and hence we have a Galois representation $Gal(overline{mathbb{Q}}/K)to End(V)$ ? Finally any newform $in S_2(Gamma_0(N))$ is a representation of the Hecke algebra.
– reuns
Nov 23 at 2:32