Are there prominent examples of operads in schemes?
$begingroup$
There is an abundance of examples of operads in topological spaces, chain complexes, and simplicial sets. However, there are very few (if any) examples of operads in algebraic geometric objects, even in $mathbb A^{1}$-homotopy theory.
My question is twofold:
Are there useful examples of operads in algebraic geometry?
Is there some intrinsic property of schemes which makes them incompatible with operatic structures? What about (higher) stacks?
For context, my main interest is in the $E_{n}$ operads. For instance, one would naïvely imagine that the moduli space $M_{0,n}$ of genus-zero marked curves could be an algebraic geometric counterpart of the space of little disks, but there seems to be no way to define the operadic composition without passing to the Deligne–Mumford compactification of the moduli space.
ag.algebraic-geometry homotopy-theory operads algebraic-stacks
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
$endgroup$
add a comment |
$begingroup$
There is an abundance of examples of operads in topological spaces, chain complexes, and simplicial sets. However, there are very few (if any) examples of operads in algebraic geometric objects, even in $mathbb A^{1}$-homotopy theory.
My question is twofold:
Are there useful examples of operads in algebraic geometry?
Is there some intrinsic property of schemes which makes them incompatible with operatic structures? What about (higher) stacks?
For context, my main interest is in the $E_{n}$ operads. For instance, one would naïvely imagine that the moduli space $M_{0,n}$ of genus-zero marked curves could be an algebraic geometric counterpart of the space of little disks, but there seems to be no way to define the operadic composition without passing to the Deligne–Mumford compactification of the moduli space.
ag.algebraic-geometry homotopy-theory operads algebraic-stacks
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
$endgroup$
$begingroup$
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
$endgroup$
– Will Sawin
Dec 22 '18 at 13:06
$begingroup$
The homotopy type of the (complex points) of the DM compactification is not equivalent to the space of little disks, so the operad structure is not a model of $E_{n}$.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 13:54
4
$begingroup$
Sure, but this seems to contradict your earlier claim that there are very few (if any) examples of operads in algebraic geometry. There's an example in your question, and more examples can be constructed from it.
$endgroup$
– Will Sawin
Dec 22 '18 at 16:09
add a comment |
$begingroup$
There is an abundance of examples of operads in topological spaces, chain complexes, and simplicial sets. However, there are very few (if any) examples of operads in algebraic geometric objects, even in $mathbb A^{1}$-homotopy theory.
My question is twofold:
Are there useful examples of operads in algebraic geometry?
Is there some intrinsic property of schemes which makes them incompatible with operatic structures? What about (higher) stacks?
For context, my main interest is in the $E_{n}$ operads. For instance, one would naïvely imagine that the moduli space $M_{0,n}$ of genus-zero marked curves could be an algebraic geometric counterpart of the space of little disks, but there seems to be no way to define the operadic composition without passing to the Deligne–Mumford compactification of the moduli space.
ag.algebraic-geometry homotopy-theory operads algebraic-stacks
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
$endgroup$
There is an abundance of examples of operads in topological spaces, chain complexes, and simplicial sets. However, there are very few (if any) examples of operads in algebraic geometric objects, even in $mathbb A^{1}$-homotopy theory.
My question is twofold:
Are there useful examples of operads in algebraic geometry?
Is there some intrinsic property of schemes which makes them incompatible with operatic structures? What about (higher) stacks?
For context, my main interest is in the $E_{n}$ operads. For instance, one would naïvely imagine that the moduli space $M_{0,n}$ of genus-zero marked curves could be an algebraic geometric counterpart of the space of little disks, but there seems to be no way to define the operadic composition without passing to the Deligne–Mumford compactification of the moduli space.
ag.algebraic-geometry homotopy-theory operads algebraic-stacks
ag.algebraic-geometry homotopy-theory operads algebraic-stacks
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
edited Dec 21 '18 at 17:06
Pedro Tamaroff
478415
478415
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
asked Dec 21 '18 at 12:50
Patrick ElliottPatrick Elliott
1634
1634
$begingroup$
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
$endgroup$
– Will Sawin
Dec 22 '18 at 13:06
$begingroup$
The homotopy type of the (complex points) of the DM compactification is not equivalent to the space of little disks, so the operad structure is not a model of $E_{n}$.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 13:54
4
$begingroup$
Sure, but this seems to contradict your earlier claim that there are very few (if any) examples of operads in algebraic geometry. There's an example in your question, and more examples can be constructed from it.
$endgroup$
– Will Sawin
Dec 22 '18 at 16:09
add a comment |
$begingroup$
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
$endgroup$
– Will Sawin
Dec 22 '18 at 13:06
$begingroup$
The homotopy type of the (complex points) of the DM compactification is not equivalent to the space of little disks, so the operad structure is not a model of $E_{n}$.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 13:54
4
$begingroup$
Sure, but this seems to contradict your earlier claim that there are very few (if any) examples of operads in algebraic geometry. There's an example in your question, and more examples can be constructed from it.
$endgroup$
– Will Sawin
Dec 22 '18 at 16:09
$begingroup$
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
$endgroup$
– Will Sawin
Dec 22 '18 at 13:06
$begingroup$
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
$endgroup$
– Will Sawin
Dec 22 '18 at 13:06
$begingroup$
The homotopy type of the (complex points) of the DM compactification is not equivalent to the space of little disks, so the operad structure is not a model of $E_{n}$.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 13:54
$begingroup$
The homotopy type of the (complex points) of the DM compactification is not equivalent to the space of little disks, so the operad structure is not a model of $E_{n}$.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 13:54
4
4
$begingroup$
Sure, but this seems to contradict your earlier claim that there are very few (if any) examples of operads in algebraic geometry. There's an example in your question, and more examples can be constructed from it.
$endgroup$
– Will Sawin
Dec 22 '18 at 16:09
$begingroup$
Sure, but this seems to contradict your earlier claim that there are very few (if any) examples of operads in algebraic geometry. There's an example in your question, and more examples can be constructed from it.
$endgroup$
– Will Sawin
Dec 22 '18 at 16:09
add a comment |
3 Answers
3
active
oldest
votes
$begingroup$
Mikhail Kapranov's invited lecture at the 1998 ICM was about exactly this:
Mikhail Kapranov, Operads and algebraic geometry. Documenta Mathematica Extra Volume ICM II (1998), 277-286. (PDF of the whole volume here.)
Abstract:
The study (motivated by mathematical physics) of algebraic varieties related to the moduli spaces of curves, helped to uncover important connections with the abstract algebraic theory of operads. This interaction led to new developments in both theories, and the purpose of the talk is to discuss some of them.
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
$endgroup$
add a comment |
$begingroup$
The homology of $M_{0,n}$ is an operad in a natural way that is compatible with AG structure (like weights). The construction uses the operad structure on the compactification plus Gysin maps-- it is general enough that one would expect it to work in the stable $mathbb A^1$ homotopy category. In fact, there you can likely define it as the Koszul dual operad to the homology of the compactification. I'm not well-informed enough to know whether/where this has been done, or whether the construction should work unstably as well.
The same goes for the Fulton Macpherson compactification of configuration space in affine space which is closer to the $E_d$ operad.
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
$endgroup$
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
2
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
add a comment |
$begingroup$
I recommend reading the paper Mixed Hodge structures and formality of symmetric monoidal functors by Cirici and Horel. They give several examples, and the paper is a great motivation for why one would be interested in getting operads in schemes (because under good circumstances, they are formal).
Among the examples they give, you have: the noncommutative associative operad; self maps of the projective line; (actually, a variant of the little disks operad given by parenthesized braids and the gravity operad aren't examples, thanks to Dan Petersen for the clarification).
(I am not sure that you will be able to view $E_n$ for $n > 2$ as an operad in schemes, but I would be happy if it were the case.)
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
$endgroup$
3
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
1
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
add a comment |
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: "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%2f319206%2fare-there-prominent-examples-of-operads-in-schemes%23new-answer', 'question_page');
}
);
Post as a guest
Required, but never shown
3 Answers
3
active
oldest
votes
3 Answers
3
active
oldest
votes
active
oldest
votes
active
oldest
votes
$begingroup$
Mikhail Kapranov's invited lecture at the 1998 ICM was about exactly this:
Mikhail Kapranov, Operads and algebraic geometry. Documenta Mathematica Extra Volume ICM II (1998), 277-286. (PDF of the whole volume here.)
Abstract:
The study (motivated by mathematical physics) of algebraic varieties related to the moduli spaces of curves, helped to uncover important connections with the abstract algebraic theory of operads. This interaction led to new developments in both theories, and the purpose of the talk is to discuss some of them.
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
$endgroup$
add a comment |
$begingroup$
Mikhail Kapranov's invited lecture at the 1998 ICM was about exactly this:
Mikhail Kapranov, Operads and algebraic geometry. Documenta Mathematica Extra Volume ICM II (1998), 277-286. (PDF of the whole volume here.)
Abstract:
The study (motivated by mathematical physics) of algebraic varieties related to the moduli spaces of curves, helped to uncover important connections with the abstract algebraic theory of operads. This interaction led to new developments in both theories, and the purpose of the talk is to discuss some of them.
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
$endgroup$
add a comment |
$begingroup$
Mikhail Kapranov's invited lecture at the 1998 ICM was about exactly this:
Mikhail Kapranov, Operads and algebraic geometry. Documenta Mathematica Extra Volume ICM II (1998), 277-286. (PDF of the whole volume here.)
Abstract:
The study (motivated by mathematical physics) of algebraic varieties related to the moduli spaces of curves, helped to uncover important connections with the abstract algebraic theory of operads. This interaction led to new developments in both theories, and the purpose of the talk is to discuss some of them.
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
$endgroup$
Mikhail Kapranov's invited lecture at the 1998 ICM was about exactly this:
Mikhail Kapranov, Operads and algebraic geometry. Documenta Mathematica Extra Volume ICM II (1998), 277-286. (PDF of the whole volume here.)
Abstract:
The study (motivated by mathematical physics) of algebraic varieties related to the moduli spaces of curves, helped to uncover important connections with the abstract algebraic theory of operads. This interaction led to new developments in both theories, and the purpose of the talk is to discuss some of them.
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
answered Dec 21 '18 at 16:31
Tom LeinsterTom Leinster
19.3k475127
19.3k475127
add a comment |
add a comment |
$begingroup$
The homology of $M_{0,n}$ is an operad in a natural way that is compatible with AG structure (like weights). The construction uses the operad structure on the compactification plus Gysin maps-- it is general enough that one would expect it to work in the stable $mathbb A^1$ homotopy category. In fact, there you can likely define it as the Koszul dual operad to the homology of the compactification. I'm not well-informed enough to know whether/where this has been done, or whether the construction should work unstably as well.
The same goes for the Fulton Macpherson compactification of configuration space in affine space which is closer to the $E_d$ operad.
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
$endgroup$
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
2
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
add a comment |
$begingroup$
The homology of $M_{0,n}$ is an operad in a natural way that is compatible with AG structure (like weights). The construction uses the operad structure on the compactification plus Gysin maps-- it is general enough that one would expect it to work in the stable $mathbb A^1$ homotopy category. In fact, there you can likely define it as the Koszul dual operad to the homology of the compactification. I'm not well-informed enough to know whether/where this has been done, or whether the construction should work unstably as well.
The same goes for the Fulton Macpherson compactification of configuration space in affine space which is closer to the $E_d$ operad.
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
$endgroup$
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
2
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
add a comment |
$begingroup$
The homology of $M_{0,n}$ is an operad in a natural way that is compatible with AG structure (like weights). The construction uses the operad structure on the compactification plus Gysin maps-- it is general enough that one would expect it to work in the stable $mathbb A^1$ homotopy category. In fact, there you can likely define it as the Koszul dual operad to the homology of the compactification. I'm not well-informed enough to know whether/where this has been done, or whether the construction should work unstably as well.
The same goes for the Fulton Macpherson compactification of configuration space in affine space which is closer to the $E_d$ operad.
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
$endgroup$
The homology of $M_{0,n}$ is an operad in a natural way that is compatible with AG structure (like weights). The construction uses the operad structure on the compactification plus Gysin maps-- it is general enough that one would expect it to work in the stable $mathbb A^1$ homotopy category. In fact, there you can likely define it as the Koszul dual operad to the homology of the compactification. I'm not well-informed enough to know whether/where this has been done, or whether the construction should work unstably as well.
The same goes for the Fulton Macpherson compactification of configuration space in affine space which is closer to the $E_d$ operad.
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
edited Dec 21 '18 at 15:19
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
answered Dec 21 '18 at 13:44
Phil TostesonPhil Tosteson
943168
943168
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
2
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
add a comment |
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
2
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
$begingroup$
In what sense is the Fulton Macpherson compactifticaion of configuration space on affine space related to the $E_{d}$ operad? Obviously the spaces are homotopy equivalent, but to my knowledge there is no operad structure (as schemes) on the FM-compactified configuration spaces.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 12:56
2
2
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
$begingroup$
@Patrick By the Fulton Macpherson compactification, I meant the complex version, not the real one. Unless I'm missing something, this is still an operad in schemes, even though it's not cyclic. However the relationship of the complex version to $E_d$ is not as clear, so it's good you asked.
$endgroup$
– Phil Tosteson
Dec 22 '18 at 23:17
add a comment |
$begingroup$
I recommend reading the paper Mixed Hodge structures and formality of symmetric monoidal functors by Cirici and Horel. They give several examples, and the paper is a great motivation for why one would be interested in getting operads in schemes (because under good circumstances, they are formal).
Among the examples they give, you have: the noncommutative associative operad; self maps of the projective line; (actually, a variant of the little disks operad given by parenthesized braids and the gravity operad aren't examples, thanks to Dan Petersen for the clarification).
(I am not sure that you will be able to view $E_n$ for $n > 2$ as an operad in schemes, but I would be happy if it were the case.)
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
$endgroup$
3
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
1
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
add a comment |
$begingroup$
I recommend reading the paper Mixed Hodge structures and formality of symmetric monoidal functors by Cirici and Horel. They give several examples, and the paper is a great motivation for why one would be interested in getting operads in schemes (because under good circumstances, they are formal).
Among the examples they give, you have: the noncommutative associative operad; self maps of the projective line; (actually, a variant of the little disks operad given by parenthesized braids and the gravity operad aren't examples, thanks to Dan Petersen for the clarification).
(I am not sure that you will be able to view $E_n$ for $n > 2$ as an operad in schemes, but I would be happy if it were the case.)
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
$endgroup$
3
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
1
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
add a comment |
$begingroup$
I recommend reading the paper Mixed Hodge structures and formality of symmetric monoidal functors by Cirici and Horel. They give several examples, and the paper is a great motivation for why one would be interested in getting operads in schemes (because under good circumstances, they are formal).
Among the examples they give, you have: the noncommutative associative operad; self maps of the projective line; (actually, a variant of the little disks operad given by parenthesized braids and the gravity operad aren't examples, thanks to Dan Petersen for the clarification).
(I am not sure that you will be able to view $E_n$ for $n > 2$ as an operad in schemes, but I would be happy if it were the case.)
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
$endgroup$
I recommend reading the paper Mixed Hodge structures and formality of symmetric monoidal functors by Cirici and Horel. They give several examples, and the paper is a great motivation for why one would be interested in getting operads in schemes (because under good circumstances, they are formal).
Among the examples they give, you have: the noncommutative associative operad; self maps of the projective line; (actually, a variant of the little disks operad given by parenthesized braids and the gravity operad aren't examples, thanks to Dan Petersen for the clarification).
(I am not sure that you will be able to view $E_n$ for $n > 2$ as an operad in schemes, but I would be happy if it were the case.)
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
edited Dec 22 '18 at 12:56
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
answered Dec 21 '18 at 15:18
Najib IdrissiNajib Idrissi
2,02911027
2,02911027
3
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
1
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
add a comment |
3
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
1
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
3
3
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
$begingroup$
Neither the gravity operad nor the paranthesized braid operad come from an operad in schemes. In both cases the operad structure exists only on the level of homology, as in Phil's answer.
$endgroup$
– Dan Petersen
Dec 21 '18 at 16:34
1
1
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
$begingroup$
@Dan Ah, you're probably right. I reread the paper a bit quickly.
$endgroup$
– Najib Idrissi
Dec 21 '18 at 17:56
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%2f319206%2fare-there-prominent-examples-of-operads-in-schemes%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$
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
$endgroup$
– Will Sawin
Dec 22 '18 at 13:06
$begingroup$
The homotopy type of the (complex points) of the DM compactification is not equivalent to the space of little disks, so the operad structure is not a model of $E_{n}$.
$endgroup$
– Patrick Elliott
Dec 22 '18 at 13:54
4
$begingroup$
Sure, but this seems to contradict your earlier claim that there are very few (if any) examples of operads in algebraic geometry. There's an example in your question, and more examples can be constructed from it.
$endgroup$
– Will Sawin
Dec 22 '18 at 16:09