Moduli interpretation of the integral anticanonical tower
$begingroup$
This question is related to my reading of On torsion in the cohomology of locally symmetric varieties by Scholze.
In chapter $3$, using the theory of canonical subgroup, he produces Frobenius maps defined over $text{Spf(}mathbb{Z}_p^{text{cycl}})$ between the integral models of strict neighborhoods of the ordinary locus for the modular curve. Then, he computes the projective limit along Frobenius of these maps, and he gets a formal scheme over $text{Spf}(mathbb{Z}_p^{text{cycl}})$, whose generic fiber is perfectoid and is called the anticanonical tower of modular curves. Later on in his exposition, he writes that the $(C,mathcal{O}_C)$-points of this perfectoid space (where $C$ is the completion of an algebraic closure of $mathbb{Q}_p$, and $mathcal{O}_C$ is its ring of integers) parametrize elliptic curves over $C$ with a trivialization of their Tate module.
First, I do not see why this construction provides a unique elliptic curve! First, I would like to say that the construction provides a projective system of elliptic curves over $C$, where every elliptic curve has $p^n$-torsion trivialized (for $n$ becoming bigger along the tower), where the maps defining the projective system are quotient by the canonical subgroup. But why is such a kind of system the same as a unique elliptic curve with Tate module trivialized?
Second question, does a similar description hold for the integral anticanonical tower? Is it true that an $R$ point of the anticanonical tower, where $R$ is a complete and flat (maybe normal) $mathbb{Z}_p^{text{cycl}}$-algebra, gives a family of elliptic curves over $R$ with a trivialization (at least a generic trivialization) of its Tate module seen as a sheaf? Thank you for any kind of suggestion!
number-theory algebraic-geometry arithmetic-geometry
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
$endgroup$
add a comment |
$begingroup$
This question is related to my reading of On torsion in the cohomology of locally symmetric varieties by Scholze.
In chapter $3$, using the theory of canonical subgroup, he produces Frobenius maps defined over $text{Spf(}mathbb{Z}_p^{text{cycl}})$ between the integral models of strict neighborhoods of the ordinary locus for the modular curve. Then, he computes the projective limit along Frobenius of these maps, and he gets a formal scheme over $text{Spf}(mathbb{Z}_p^{text{cycl}})$, whose generic fiber is perfectoid and is called the anticanonical tower of modular curves. Later on in his exposition, he writes that the $(C,mathcal{O}_C)$-points of this perfectoid space (where $C$ is the completion of an algebraic closure of $mathbb{Q}_p$, and $mathcal{O}_C$ is its ring of integers) parametrize elliptic curves over $C$ with a trivialization of their Tate module.
First, I do not see why this construction provides a unique elliptic curve! First, I would like to say that the construction provides a projective system of elliptic curves over $C$, where every elliptic curve has $p^n$-torsion trivialized (for $n$ becoming bigger along the tower), where the maps defining the projective system are quotient by the canonical subgroup. But why is such a kind of system the same as a unique elliptic curve with Tate module trivialized?
Second question, does a similar description hold for the integral anticanonical tower? Is it true that an $R$ point of the anticanonical tower, where $R$ is a complete and flat (maybe normal) $mathbb{Z}_p^{text{cycl}}$-algebra, gives a family of elliptic curves over $R$ with a trivialization (at least a generic trivialization) of its Tate module seen as a sheaf? Thank you for any kind of suggestion!
number-theory algebraic-geometry arithmetic-geometry
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
$endgroup$
$begingroup$
If nobody answers in the next day or two, you might consider cross-posting this to MathOverflow.
$endgroup$
– André 3000
Dec 26 '18 at 19:59
$begingroup$
Strange, I supposed to have posted it on Mathoverflow first! Let me do this, and thank you very much!
$endgroup$
– Zariski93
Dec 28 '18 at 16:43
add a comment |
$begingroup$
This question is related to my reading of On torsion in the cohomology of locally symmetric varieties by Scholze.
In chapter $3$, using the theory of canonical subgroup, he produces Frobenius maps defined over $text{Spf(}mathbb{Z}_p^{text{cycl}})$ between the integral models of strict neighborhoods of the ordinary locus for the modular curve. Then, he computes the projective limit along Frobenius of these maps, and he gets a formal scheme over $text{Spf}(mathbb{Z}_p^{text{cycl}})$, whose generic fiber is perfectoid and is called the anticanonical tower of modular curves. Later on in his exposition, he writes that the $(C,mathcal{O}_C)$-points of this perfectoid space (where $C$ is the completion of an algebraic closure of $mathbb{Q}_p$, and $mathcal{O}_C$ is its ring of integers) parametrize elliptic curves over $C$ with a trivialization of their Tate module.
First, I do not see why this construction provides a unique elliptic curve! First, I would like to say that the construction provides a projective system of elliptic curves over $C$, where every elliptic curve has $p^n$-torsion trivialized (for $n$ becoming bigger along the tower), where the maps defining the projective system are quotient by the canonical subgroup. But why is such a kind of system the same as a unique elliptic curve with Tate module trivialized?
Second question, does a similar description hold for the integral anticanonical tower? Is it true that an $R$ point of the anticanonical tower, where $R$ is a complete and flat (maybe normal) $mathbb{Z}_p^{text{cycl}}$-algebra, gives a family of elliptic curves over $R$ with a trivialization (at least a generic trivialization) of its Tate module seen as a sheaf? Thank you for any kind of suggestion!
number-theory algebraic-geometry arithmetic-geometry
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
$endgroup$
This question is related to my reading of On torsion in the cohomology of locally symmetric varieties by Scholze.
In chapter $3$, using the theory of canonical subgroup, he produces Frobenius maps defined over $text{Spf(}mathbb{Z}_p^{text{cycl}})$ between the integral models of strict neighborhoods of the ordinary locus for the modular curve. Then, he computes the projective limit along Frobenius of these maps, and he gets a formal scheme over $text{Spf}(mathbb{Z}_p^{text{cycl}})$, whose generic fiber is perfectoid and is called the anticanonical tower of modular curves. Later on in his exposition, he writes that the $(C,mathcal{O}_C)$-points of this perfectoid space (where $C$ is the completion of an algebraic closure of $mathbb{Q}_p$, and $mathcal{O}_C$ is its ring of integers) parametrize elliptic curves over $C$ with a trivialization of their Tate module.
First, I do not see why this construction provides a unique elliptic curve! First, I would like to say that the construction provides a projective system of elliptic curves over $C$, where every elliptic curve has $p^n$-torsion trivialized (for $n$ becoming bigger along the tower), where the maps defining the projective system are quotient by the canonical subgroup. But why is such a kind of system the same as a unique elliptic curve with Tate module trivialized?
Second question, does a similar description hold for the integral anticanonical tower? Is it true that an $R$ point of the anticanonical tower, where $R$ is a complete and flat (maybe normal) $mathbb{Z}_p^{text{cycl}}$-algebra, gives a family of elliptic curves over $R$ with a trivialization (at least a generic trivialization) of its Tate module seen as a sheaf? Thank you for any kind of suggestion!
number-theory algebraic-geometry arithmetic-geometry
number-theory algebraic-geometry arithmetic-geometry
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
edited Dec 24 '18 at 19:17
André 3000
12.6k22243
12.6k22243
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
asked Dec 24 '18 at 18:24
Zariski93Zariski93
876
876
$begingroup$
If nobody answers in the next day or two, you might consider cross-posting this to MathOverflow.
$endgroup$
– André 3000
Dec 26 '18 at 19:59
$begingroup$
Strange, I supposed to have posted it on Mathoverflow first! Let me do this, and thank you very much!
$endgroup$
– Zariski93
Dec 28 '18 at 16:43
add a comment |
$begingroup$
If nobody answers in the next day or two, you might consider cross-posting this to MathOverflow.
$endgroup$
– André 3000
Dec 26 '18 at 19:59
$begingroup$
Strange, I supposed to have posted it on Mathoverflow first! Let me do this, and thank you very much!
$endgroup$
– Zariski93
Dec 28 '18 at 16:43
$begingroup$
If nobody answers in the next day or two, you might consider cross-posting this to MathOverflow.
$endgroup$
– André 3000
Dec 26 '18 at 19:59
$begingroup$
If nobody answers in the next day or two, you might consider cross-posting this to MathOverflow.
$endgroup$
– André 3000
Dec 26 '18 at 19:59
$begingroup$
Strange, I supposed to have posted it on Mathoverflow first! Let me do this, and thank you very much!
$endgroup$
– Zariski93
Dec 28 '18 at 16:43
$begingroup$
Strange, I supposed to have posted it on Mathoverflow first! Let me do this, and thank you very much!
$endgroup$
– Zariski93
Dec 28 '18 at 16:43
add a comment |
0
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',
autoActivateHeartbeat: false,
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%2f3051523%2fmoduli-interpretation-of-the-integral-anticanonical-tower%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
0
active
oldest
votes
0
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.
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%2f3051523%2fmoduli-interpretation-of-the-integral-anticanonical-tower%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
$begingroup$
If nobody answers in the next day or two, you might consider cross-posting this to MathOverflow.
$endgroup$
– André 3000
Dec 26 '18 at 19:59
$begingroup$
Strange, I supposed to have posted it on Mathoverflow first! Let me do this, and thank you very much!
$endgroup$
– Zariski93
Dec 28 '18 at 16:43