Are there prominent examples of operads in schemes?
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
add a comment |
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
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
– Will Sawin
Dec 22 at 13:06
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}$.
– Patrick Elliott
Dec 22 at 13:54
3
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.
– Will Sawin
Dec 22 at 16:09
add a comment |
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
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 at 17:06
Pedro Tamaroff
453414
453414
asked Dec 21 at 12:50
Patrick Elliott
1634
1634
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
– Will Sawin
Dec 22 at 13:06
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}$.
– Patrick Elliott
Dec 22 at 13:54
3
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.
– Will Sawin
Dec 22 at 16:09
add a comment |
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
– Will Sawin
Dec 22 at 13:06
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}$.
– Patrick Elliott
Dec 22 at 13:54
3
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.
– Will Sawin
Dec 22 at 16:09
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
– Will Sawin
Dec 22 at 13:06
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
– Will Sawin
Dec 22 at 13:06
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}$.
– Patrick Elliott
Dec 22 at 13:54
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}$.
– Patrick Elliott
Dec 22 at 13:54
3
3
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.
– Will Sawin
Dec 22 at 16:09
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.
– Will Sawin
Dec 22 at 16:09
add a comment |
3 Answers
3
active
oldest
votes
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.
add a comment |
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.
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.
– Patrick Elliott
Dec 22 at 12:56
2
@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.
– Phil Tosteson
Dec 22 at 23:17
add a comment |
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.)
3
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.
– Dan Petersen
Dec 21 at 16:34
1
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 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
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.
add a comment |
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.
add a comment |
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.
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 at 16:31
Tom Leinster
19.2k475127
19.2k475127
add a comment |
add a comment |
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.
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.
– Patrick Elliott
Dec 22 at 12:56
2
@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.
– Phil Tosteson
Dec 22 at 23:17
add a comment |
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.
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.
– Patrick Elliott
Dec 22 at 12:56
2
@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.
– Phil Tosteson
Dec 22 at 23:17
add a comment |
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.
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.
edited Dec 21 at 15:19
answered Dec 21 at 13:44
Phil Tosteson
853158
853158
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.
– Patrick Elliott
Dec 22 at 12:56
2
@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.
– Phil Tosteson
Dec 22 at 23:17
add a comment |
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.
– Patrick Elliott
Dec 22 at 12:56
2
@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.
– Phil Tosteson
Dec 22 at 23:17
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.
– Patrick Elliott
Dec 22 at 12:56
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.
– Patrick Elliott
Dec 22 at 12:56
2
2
@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.
– Phil Tosteson
Dec 22 at 23:17
@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.
– Phil Tosteson
Dec 22 at 23:17
add a comment |
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.)
3
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.
– Dan Petersen
Dec 21 at 16:34
1
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 at 17:56
add a comment |
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.)
3
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.
– Dan Petersen
Dec 21 at 16:34
1
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 at 17:56
add a comment |
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.)
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.)
edited Dec 22 at 12:56
answered Dec 21 at 15:18
Najib Idrissi
1,6791027
1,6791027
3
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.
– Dan Petersen
Dec 21 at 16:34
1
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 at 17:56
add a comment |
3
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.
– Dan Petersen
Dec 21 at 16:34
1
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 at 17:56
3
3
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.
– Dan Petersen
Dec 21 at 16:34
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.
– Dan Petersen
Dec 21 at 16:34
1
1
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 at 17:56
@Dan Ah, you're probably right. I reread the paper a bit quickly.
– Najib Idrissi
Dec 21 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.
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%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
What's wrong with passing to the Deligne-Mumford compactification of the moduli space?
– Will Sawin
Dec 22 at 13:06
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}$.
– Patrick Elliott
Dec 22 at 13:54
3
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.
– Will Sawin
Dec 22 at 16:09