The 'gros' functor from schemes into (strictly) locally ringed topoi Announcing the arrival of...
The 'gros' functor from schemes into (strictly) locally ringed topoi
Announcing the arrival of Valued Associate #679: Cesar Manara
Unicorn Meta Zoo #1: Why another podcast?Categorical construction of the category of schemes?Does the 2-category of toposes admit pseudo-colimits? 2 questions on the groupoid algebraTopos associated to a categoryHas the cotangent complex been used in context other than morphism of schemes?How much do universes matter in topos theory?Is the analytification functor part of a geometric morphism of topoi?Why is there a factor $p$ in the definition of $T_p$ via Hecke correspondences on modular curves?The philosophy behind local ringsWhat is a spectrum object in $infty$-topoi?
$begingroup$
Consider the category of finitely presented commutative rings, and equip its opposite category with either the Étale or Zariski topology. These give rise to topoi $operatorname{Sh}(mathbf{Et})$ and $operatorname{Sh}(mathbf{Zar})$ by taking sheaves. By the descent theorem for schemes, the functors of points of schemes are all sheaves in either of these topoi. In what follows, we will consider the Étale case:
Given a scheme $S$ viewed as an object of $operatorname{Sh}(mathbf{Et})$, we can form the slice topos $operatorname{Sh}(mathbf{Et})_{/S},$ and by the Yoneda lemma, we see that the functor taking a scheme to this slice topos is fully faithful into the category of categories over $operatorname{Sh}(mathbf{Et})$. However, given a map $f:Sto T$ of schemes, the induced functor $$f_!:operatorname{Sh}(mathbf{Et})_{/S}to operatorname{Sh}(mathbf{Et})_{/T},$$ is not a geometric morphism. It is however a morphism in $mathbf{Cat}_{/operatorname{Sh}(mathbf{Et})}$ with respect to the projection functors.
Since all of the functors in this triangle admit right adjoints that themselves admit right adjoints, the calculus of mates tells us that we have a triangle of essential (in fact Étale) geometric morphisms:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_*} & operatorname{Sh}(mathbf{Et})_{/T}\
S_* searrow&overset{alpha}{Leftarrow}&swarrow T_*\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
where the natural transformation $alpha$ is the mate of the mate of the commuting triangle arising from the Yoneda embedding:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_!} & operatorname{Sh}(mathbf{Et})_{/T}\
S_!searrow&=&swarrow T_!\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
In particular, since $operatorname{Sh}(mathbf{Et})$ is the classifying topos of strictly local rings (also called strictly henselian rings), the geometric morphism $f_*$ together with the 2-cell $alpha$ determines a map of strictly locally ringed topoi. Since everything is natural and functorial, this defines a functor from schemes (in fact from $operatorname{Sh}(mathbf{Et}$)) to the category of strictly locally ringed topoi.
Question: Is this assignment fully faithful in the category of strictly locally ringed topoi?
ag.algebraic-geometry topos-theory
$endgroup$
add a comment |
$begingroup$
Consider the category of finitely presented commutative rings, and equip its opposite category with either the Étale or Zariski topology. These give rise to topoi $operatorname{Sh}(mathbf{Et})$ and $operatorname{Sh}(mathbf{Zar})$ by taking sheaves. By the descent theorem for schemes, the functors of points of schemes are all sheaves in either of these topoi. In what follows, we will consider the Étale case:
Given a scheme $S$ viewed as an object of $operatorname{Sh}(mathbf{Et})$, we can form the slice topos $operatorname{Sh}(mathbf{Et})_{/S},$ and by the Yoneda lemma, we see that the functor taking a scheme to this slice topos is fully faithful into the category of categories over $operatorname{Sh}(mathbf{Et})$. However, given a map $f:Sto T$ of schemes, the induced functor $$f_!:operatorname{Sh}(mathbf{Et})_{/S}to operatorname{Sh}(mathbf{Et})_{/T},$$ is not a geometric morphism. It is however a morphism in $mathbf{Cat}_{/operatorname{Sh}(mathbf{Et})}$ with respect to the projection functors.
Since all of the functors in this triangle admit right adjoints that themselves admit right adjoints, the calculus of mates tells us that we have a triangle of essential (in fact Étale) geometric morphisms:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_*} & operatorname{Sh}(mathbf{Et})_{/T}\
S_* searrow&overset{alpha}{Leftarrow}&swarrow T_*\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
where the natural transformation $alpha$ is the mate of the mate of the commuting triangle arising from the Yoneda embedding:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_!} & operatorname{Sh}(mathbf{Et})_{/T}\
S_!searrow&=&swarrow T_!\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
In particular, since $operatorname{Sh}(mathbf{Et})$ is the classifying topos of strictly local rings (also called strictly henselian rings), the geometric morphism $f_*$ together with the 2-cell $alpha$ determines a map of strictly locally ringed topoi. Since everything is natural and functorial, this defines a functor from schemes (in fact from $operatorname{Sh}(mathbf{Et}$)) to the category of strictly locally ringed topoi.
Question: Is this assignment fully faithful in the category of strictly locally ringed topoi?
ag.algebraic-geometry topos-theory
$endgroup$
add a comment |
$begingroup$
Consider the category of finitely presented commutative rings, and equip its opposite category with either the Étale or Zariski topology. These give rise to topoi $operatorname{Sh}(mathbf{Et})$ and $operatorname{Sh}(mathbf{Zar})$ by taking sheaves. By the descent theorem for schemes, the functors of points of schemes are all sheaves in either of these topoi. In what follows, we will consider the Étale case:
Given a scheme $S$ viewed as an object of $operatorname{Sh}(mathbf{Et})$, we can form the slice topos $operatorname{Sh}(mathbf{Et})_{/S},$ and by the Yoneda lemma, we see that the functor taking a scheme to this slice topos is fully faithful into the category of categories over $operatorname{Sh}(mathbf{Et})$. However, given a map $f:Sto T$ of schemes, the induced functor $$f_!:operatorname{Sh}(mathbf{Et})_{/S}to operatorname{Sh}(mathbf{Et})_{/T},$$ is not a geometric morphism. It is however a morphism in $mathbf{Cat}_{/operatorname{Sh}(mathbf{Et})}$ with respect to the projection functors.
Since all of the functors in this triangle admit right adjoints that themselves admit right adjoints, the calculus of mates tells us that we have a triangle of essential (in fact Étale) geometric morphisms:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_*} & operatorname{Sh}(mathbf{Et})_{/T}\
S_* searrow&overset{alpha}{Leftarrow}&swarrow T_*\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
where the natural transformation $alpha$ is the mate of the mate of the commuting triangle arising from the Yoneda embedding:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_!} & operatorname{Sh}(mathbf{Et})_{/T}\
S_!searrow&=&swarrow T_!\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
In particular, since $operatorname{Sh}(mathbf{Et})$ is the classifying topos of strictly local rings (also called strictly henselian rings), the geometric morphism $f_*$ together with the 2-cell $alpha$ determines a map of strictly locally ringed topoi. Since everything is natural and functorial, this defines a functor from schemes (in fact from $operatorname{Sh}(mathbf{Et}$)) to the category of strictly locally ringed topoi.
Question: Is this assignment fully faithful in the category of strictly locally ringed topoi?
ag.algebraic-geometry topos-theory
$endgroup$
Consider the category of finitely presented commutative rings, and equip its opposite category with either the Étale or Zariski topology. These give rise to topoi $operatorname{Sh}(mathbf{Et})$ and $operatorname{Sh}(mathbf{Zar})$ by taking sheaves. By the descent theorem for schemes, the functors of points of schemes are all sheaves in either of these topoi. In what follows, we will consider the Étale case:
Given a scheme $S$ viewed as an object of $operatorname{Sh}(mathbf{Et})$, we can form the slice topos $operatorname{Sh}(mathbf{Et})_{/S},$ and by the Yoneda lemma, we see that the functor taking a scheme to this slice topos is fully faithful into the category of categories over $operatorname{Sh}(mathbf{Et})$. However, given a map $f:Sto T$ of schemes, the induced functor $$f_!:operatorname{Sh}(mathbf{Et})_{/S}to operatorname{Sh}(mathbf{Et})_{/T},$$ is not a geometric morphism. It is however a morphism in $mathbf{Cat}_{/operatorname{Sh}(mathbf{Et})}$ with respect to the projection functors.
Since all of the functors in this triangle admit right adjoints that themselves admit right adjoints, the calculus of mates tells us that we have a triangle of essential (in fact Étale) geometric morphisms:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_*} & operatorname{Sh}(mathbf{Et})_{/T}\
S_* searrow&overset{alpha}{Leftarrow}&swarrow T_*\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
where the natural transformation $alpha$ is the mate of the mate of the commuting triangle arising from the Yoneda embedding:
$$begin{matrix}
operatorname{Sh}(mathbf{Et})_{/S} & xrightarrow{f_!} & operatorname{Sh}(mathbf{Et})_{/T}\
S_!searrow&=&swarrow T_!\
&operatorname{Sh}(mathbf{Et})
end{matrix},$$
In particular, since $operatorname{Sh}(mathbf{Et})$ is the classifying topos of strictly local rings (also called strictly henselian rings), the geometric morphism $f_*$ together with the 2-cell $alpha$ determines a map of strictly locally ringed topoi. Since everything is natural and functorial, this defines a functor from schemes (in fact from $operatorname{Sh}(mathbf{Et}$)) to the category of strictly locally ringed topoi.
Question: Is this assignment fully faithful in the category of strictly locally ringed topoi?
ag.algebraic-geometry topos-theory
ag.algebraic-geometry topos-theory
edited 13 hours ago
Steve
asked 15 hours ago
SteveSteve
836
836
add a comment |
add a comment |
1 Answer
1
active
oldest
votes
$begingroup$
So the final answer, is 'no', but there is still something interesting to say:
Given any topos $mathcal{T}$, the construction you are describing produces an equivalence of category between $mathcal{T}$ and the full subcategory of $Top_{/mathcal{T}}$ (where $Top$ is the 2-category of toposes) of toposes $mathcal{E} rightarrow mathcal{T}$ that are "étale over $mathcal{T}$", i.e. of the form $mathcal{T}_{/X}$. (This is the topos theoretic version of the representations of sheaves by their etale spaces)
As the category of scheme indentifies in the way described in the question with a full subcategory $Sh(Et)$ this shows that morphisms of scheme $X rightarrow Y$ corresponds exactly to morphisms between their (gros) étale topos, "over the étale topos of Spec $mathbb{Z}$, i.e. geometric morphisms $f : Et_X rightarrow Et_Y$ endowed with an isomorphism $f^* mathcal{O}_Y simeq mathcal{O}_X$ between their structural sheaves (as described in the question) as sheaves of rings, so they corresponds to a special kind of morphisms of locally ringed toposes.
One might wonder whether all morphisms of locally ringed toposes between étale toposes of scheme are actually of this form, but unfortunately, the answer is no. I'm quite far from algebraic geometry so I could be completely off, but I believe the following gives a counter example:
Consider $X = Spec (mathbb{Z}/p mathbb{Z} )$ and $mathcal{T}$ its gros étale topos.
Its structural sheaf is a sheaf of strict local $mathbb{Z}/pmathbb{Z}$ algebra, in fact the universal one.
I claim the Frobenius endomorphism of this sheaf (which is always a local morphism) provides a non-trivial non-invertible endormorphism of this sheaf: if it were trivial or invertible, then by universality, it would mean that for any sheaf of strictly local $mathbb{Z}/pmathbb{Z}$-algebra on any topos the Forbenius endomorphism would be trivial/invertible.
Hence the identity of the topos together with the Frobenius endomorphism provides a morphism of locally ringed topos that is not of the form above and hence do not corresponds to a morphism of scheme.
$endgroup$
1
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
1
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
add a comment |
Your Answer
StackExchange.ready(function() {
var channelOptions = {
tags: "".split(" "),
id: "504"
};
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%2fmathoverflow.net%2fquestions%2f328753%2fthe-gros-functor-from-schemes-into-strictly-locally-ringed-topoi%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
1 Answer
1
active
oldest
votes
1 Answer
1
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
So the final answer, is 'no', but there is still something interesting to say:
Given any topos $mathcal{T}$, the construction you are describing produces an equivalence of category between $mathcal{T}$ and the full subcategory of $Top_{/mathcal{T}}$ (where $Top$ is the 2-category of toposes) of toposes $mathcal{E} rightarrow mathcal{T}$ that are "étale over $mathcal{T}$", i.e. of the form $mathcal{T}_{/X}$. (This is the topos theoretic version of the representations of sheaves by their etale spaces)
As the category of scheme indentifies in the way described in the question with a full subcategory $Sh(Et)$ this shows that morphisms of scheme $X rightarrow Y$ corresponds exactly to morphisms between their (gros) étale topos, "over the étale topos of Spec $mathbb{Z}$, i.e. geometric morphisms $f : Et_X rightarrow Et_Y$ endowed with an isomorphism $f^* mathcal{O}_Y simeq mathcal{O}_X$ between their structural sheaves (as described in the question) as sheaves of rings, so they corresponds to a special kind of morphisms of locally ringed toposes.
One might wonder whether all morphisms of locally ringed toposes between étale toposes of scheme are actually of this form, but unfortunately, the answer is no. I'm quite far from algebraic geometry so I could be completely off, but I believe the following gives a counter example:
Consider $X = Spec (mathbb{Z}/p mathbb{Z} )$ and $mathcal{T}$ its gros étale topos.
Its structural sheaf is a sheaf of strict local $mathbb{Z}/pmathbb{Z}$ algebra, in fact the universal one.
I claim the Frobenius endomorphism of this sheaf (which is always a local morphism) provides a non-trivial non-invertible endormorphism of this sheaf: if it were trivial or invertible, then by universality, it would mean that for any sheaf of strictly local $mathbb{Z}/pmathbb{Z}$-algebra on any topos the Forbenius endomorphism would be trivial/invertible.
Hence the identity of the topos together with the Frobenius endomorphism provides a morphism of locally ringed topos that is not of the form above and hence do not corresponds to a morphism of scheme.
$endgroup$
1
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
1
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
add a comment |
$begingroup$
So the final answer, is 'no', but there is still something interesting to say:
Given any topos $mathcal{T}$, the construction you are describing produces an equivalence of category between $mathcal{T}$ and the full subcategory of $Top_{/mathcal{T}}$ (where $Top$ is the 2-category of toposes) of toposes $mathcal{E} rightarrow mathcal{T}$ that are "étale over $mathcal{T}$", i.e. of the form $mathcal{T}_{/X}$. (This is the topos theoretic version of the representations of sheaves by their etale spaces)
As the category of scheme indentifies in the way described in the question with a full subcategory $Sh(Et)$ this shows that morphisms of scheme $X rightarrow Y$ corresponds exactly to morphisms between their (gros) étale topos, "over the étale topos of Spec $mathbb{Z}$, i.e. geometric morphisms $f : Et_X rightarrow Et_Y$ endowed with an isomorphism $f^* mathcal{O}_Y simeq mathcal{O}_X$ between their structural sheaves (as described in the question) as sheaves of rings, so they corresponds to a special kind of morphisms of locally ringed toposes.
One might wonder whether all morphisms of locally ringed toposes between étale toposes of scheme are actually of this form, but unfortunately, the answer is no. I'm quite far from algebraic geometry so I could be completely off, but I believe the following gives a counter example:
Consider $X = Spec (mathbb{Z}/p mathbb{Z} )$ and $mathcal{T}$ its gros étale topos.
Its structural sheaf is a sheaf of strict local $mathbb{Z}/pmathbb{Z}$ algebra, in fact the universal one.
I claim the Frobenius endomorphism of this sheaf (which is always a local morphism) provides a non-trivial non-invertible endormorphism of this sheaf: if it were trivial or invertible, then by universality, it would mean that for any sheaf of strictly local $mathbb{Z}/pmathbb{Z}$-algebra on any topos the Forbenius endomorphism would be trivial/invertible.
Hence the identity of the topos together with the Frobenius endomorphism provides a morphism of locally ringed topos that is not of the form above and hence do not corresponds to a morphism of scheme.
$endgroup$
1
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
1
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
add a comment |
$begingroup$
So the final answer, is 'no', but there is still something interesting to say:
Given any topos $mathcal{T}$, the construction you are describing produces an equivalence of category between $mathcal{T}$ and the full subcategory of $Top_{/mathcal{T}}$ (where $Top$ is the 2-category of toposes) of toposes $mathcal{E} rightarrow mathcal{T}$ that are "étale over $mathcal{T}$", i.e. of the form $mathcal{T}_{/X}$. (This is the topos theoretic version of the representations of sheaves by their etale spaces)
As the category of scheme indentifies in the way described in the question with a full subcategory $Sh(Et)$ this shows that morphisms of scheme $X rightarrow Y$ corresponds exactly to morphisms between their (gros) étale topos, "over the étale topos of Spec $mathbb{Z}$, i.e. geometric morphisms $f : Et_X rightarrow Et_Y$ endowed with an isomorphism $f^* mathcal{O}_Y simeq mathcal{O}_X$ between their structural sheaves (as described in the question) as sheaves of rings, so they corresponds to a special kind of morphisms of locally ringed toposes.
One might wonder whether all morphisms of locally ringed toposes between étale toposes of scheme are actually of this form, but unfortunately, the answer is no. I'm quite far from algebraic geometry so I could be completely off, but I believe the following gives a counter example:
Consider $X = Spec (mathbb{Z}/p mathbb{Z} )$ and $mathcal{T}$ its gros étale topos.
Its structural sheaf is a sheaf of strict local $mathbb{Z}/pmathbb{Z}$ algebra, in fact the universal one.
I claim the Frobenius endomorphism of this sheaf (which is always a local morphism) provides a non-trivial non-invertible endormorphism of this sheaf: if it were trivial or invertible, then by universality, it would mean that for any sheaf of strictly local $mathbb{Z}/pmathbb{Z}$-algebra on any topos the Forbenius endomorphism would be trivial/invertible.
Hence the identity of the topos together with the Frobenius endomorphism provides a morphism of locally ringed topos that is not of the form above and hence do not corresponds to a morphism of scheme.
$endgroup$
So the final answer, is 'no', but there is still something interesting to say:
Given any topos $mathcal{T}$, the construction you are describing produces an equivalence of category between $mathcal{T}$ and the full subcategory of $Top_{/mathcal{T}}$ (where $Top$ is the 2-category of toposes) of toposes $mathcal{E} rightarrow mathcal{T}$ that are "étale over $mathcal{T}$", i.e. of the form $mathcal{T}_{/X}$. (This is the topos theoretic version of the representations of sheaves by their etale spaces)
As the category of scheme indentifies in the way described in the question with a full subcategory $Sh(Et)$ this shows that morphisms of scheme $X rightarrow Y$ corresponds exactly to morphisms between their (gros) étale topos, "over the étale topos of Spec $mathbb{Z}$, i.e. geometric morphisms $f : Et_X rightarrow Et_Y$ endowed with an isomorphism $f^* mathcal{O}_Y simeq mathcal{O}_X$ between their structural sheaves (as described in the question) as sheaves of rings, so they corresponds to a special kind of morphisms of locally ringed toposes.
One might wonder whether all morphisms of locally ringed toposes between étale toposes of scheme are actually of this form, but unfortunately, the answer is no. I'm quite far from algebraic geometry so I could be completely off, but I believe the following gives a counter example:
Consider $X = Spec (mathbb{Z}/p mathbb{Z} )$ and $mathcal{T}$ its gros étale topos.
Its structural sheaf is a sheaf of strict local $mathbb{Z}/pmathbb{Z}$ algebra, in fact the universal one.
I claim the Frobenius endomorphism of this sheaf (which is always a local morphism) provides a non-trivial non-invertible endormorphism of this sheaf: if it were trivial or invertible, then by universality, it would mean that for any sheaf of strictly local $mathbb{Z}/pmathbb{Z}$-algebra on any topos the Forbenius endomorphism would be trivial/invertible.
Hence the identity of the topos together with the Frobenius endomorphism provides a morphism of locally ringed topos that is not of the form above and hence do not corresponds to a morphism of scheme.
edited 9 hours ago
answered 14 hours ago
Simon HenrySimon Henry
15.9k14992
15.9k14992
1
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
1
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
add a comment |
1
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
1
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
1
1
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
$begingroup$
The 2-category of strictly locally ringed topoi is the 'lax slice' $mathbf{Top}_{ell/ operatorname{Sh}(mathbf{Et})}$, not the ordinary slice, and the category of strictly locally ringed topoi is its underlying 1-category, so is this still clear? The arrows in this category are precisely triangles of geometric morphisms filled with a natural transformation as above.
$endgroup$
– Steve
14 hours ago
1
1
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Hum, sorry about that no I'm affraid, you need to consider the pseudo-slice, i.e. the category of locally ringed topos with arrows the morphisms of locally ringed topos that induces isomorphisms on the structure sheaf. I'll write some details
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
@Steve : I've added a tentative counter-example.
$endgroup$
– Simon Henry
13 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
$begingroup$
Great, thanks! Good example!
$endgroup$
– Steve
12 hours ago
add a comment |
Thanks for contributing an answer to MathOverflow!
- 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%2fmathoverflow.net%2fquestions%2f328753%2fthe-gros-functor-from-schemes-into-strictly-locally-ringed-topoi%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