Concrete Problems that can be solved by appealing to a Moduli Space

The name of the pictureThe name of the pictureThe name of the pictureClash Royale CLAN TAG#URR8PPP











up vote
13
down vote

favorite
4












I have always enjoyed the idea of creating "parameter spaces" or "moduli spaces," but it is only recently that I have seen very concrete applications of studying the moduli space. Because of how pervasive this theory is, I was hoping that



Notable examples I have come across:



  1. enumerative geometry in the sense of trying to solve a geometric problem by replacing it with intersections of submanifolds (varieties) of the moduli space. This is pretty similar to an idea I had here although I don't know if this approach is fruitful at all.


  2. Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.


  3. Vector Bundles Defining the Euler class via the interpretation of $mathbb RP^1$ as the moduli space of lines in the plane.


Are there other applications of moduli space that solved a concrete problem? I included (3) mostly to exhaust my knowledge of the subject, but I view that as quasi-concrete in the sense that understanding the topology of the moduli space can be used in a serious way to classify line bundles.







share|cite|improve this question

















  • 1




    Donaldson invariants are topological invariants of 4-manifolds defined by studying the moduli space of instantons. They have interesting applications, like the h-cobordism theorem in dim=4.
    – Jake
    Aug 6 at 21:13






  • 1




    The study of the moduli spaces related to solutions of the Floer equation allows it to establish Floer homology, which among other things proves Arnold's conjecture (all of those under suitable assumptions).
    – Aloizio Macedo♦
    Aug 6 at 21:38






  • 1




    I spend most of my writing days thinking the word "moduli space of instantons", so I can write something about the topological applications of "spaces of soluions to PDEs" in dimensions 3 and 4. In dimension 4, the Donaldson invariants analagous to the definition of the Euler characteristic by point-counts of zeroes of a tangent vector field with sign; in dimension 3 the Floer homology is analagous to the definition of Morse homology, counting gradient flowlines between those zeroes. However, I am not sure if this counts as "concrete", since the theory takes some heavy lifting to set up.
    – Mike Miller
    Aug 6 at 22:09







  • 2




    Heegner points are special points in moduli spaces of (roughly said) pairs of elliptic curves with an $N$-isogeny, $(Eoversetphilongrightarrow E')$, an old reference that i like would be projecteuclid.org/download/pdf_1/euclid.jmsj/1230130446 (Benedict H. Gross, Heegner points and the modular curve of prime level). The history and the literature, the proven theorems and the opened directions, make them good actors among all modular spacial movies.
    – dan_fulea
    Aug 7 at 0:09






  • 1




    For a complex polynomial $p$, it turns out that if you take any tree in $BbbC$ subject to a few conditions related to the critical values of $p$ and lift this tree iteratively, after finitely many steps you’ll have the Hubbard tree of $p$. This amounts to proving that this action of $p$ on the space of metric trees in $BbbC$ is contracting, with a fixed point at the Hubbard tree. This isn’t strictly true — there are some subtleties where there can be cycles — but it is an interesting application of moduli spaces.
    – Santana Afton
    Aug 7 at 2:29














up vote
13
down vote

favorite
4












I have always enjoyed the idea of creating "parameter spaces" or "moduli spaces," but it is only recently that I have seen very concrete applications of studying the moduli space. Because of how pervasive this theory is, I was hoping that



Notable examples I have come across:



  1. enumerative geometry in the sense of trying to solve a geometric problem by replacing it with intersections of submanifolds (varieties) of the moduli space. This is pretty similar to an idea I had here although I don't know if this approach is fruitful at all.


  2. Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.


  3. Vector Bundles Defining the Euler class via the interpretation of $mathbb RP^1$ as the moduli space of lines in the plane.


Are there other applications of moduli space that solved a concrete problem? I included (3) mostly to exhaust my knowledge of the subject, but I view that as quasi-concrete in the sense that understanding the topology of the moduli space can be used in a serious way to classify line bundles.







share|cite|improve this question

















  • 1




    Donaldson invariants are topological invariants of 4-manifolds defined by studying the moduli space of instantons. They have interesting applications, like the h-cobordism theorem in dim=4.
    – Jake
    Aug 6 at 21:13






  • 1




    The study of the moduli spaces related to solutions of the Floer equation allows it to establish Floer homology, which among other things proves Arnold's conjecture (all of those under suitable assumptions).
    – Aloizio Macedo♦
    Aug 6 at 21:38






  • 1




    I spend most of my writing days thinking the word "moduli space of instantons", so I can write something about the topological applications of "spaces of soluions to PDEs" in dimensions 3 and 4. In dimension 4, the Donaldson invariants analagous to the definition of the Euler characteristic by point-counts of zeroes of a tangent vector field with sign; in dimension 3 the Floer homology is analagous to the definition of Morse homology, counting gradient flowlines between those zeroes. However, I am not sure if this counts as "concrete", since the theory takes some heavy lifting to set up.
    – Mike Miller
    Aug 6 at 22:09







  • 2




    Heegner points are special points in moduli spaces of (roughly said) pairs of elliptic curves with an $N$-isogeny, $(Eoversetphilongrightarrow E')$, an old reference that i like would be projecteuclid.org/download/pdf_1/euclid.jmsj/1230130446 (Benedict H. Gross, Heegner points and the modular curve of prime level). The history and the literature, the proven theorems and the opened directions, make them good actors among all modular spacial movies.
    – dan_fulea
    Aug 7 at 0:09






  • 1




    For a complex polynomial $p$, it turns out that if you take any tree in $BbbC$ subject to a few conditions related to the critical values of $p$ and lift this tree iteratively, after finitely many steps you’ll have the Hubbard tree of $p$. This amounts to proving that this action of $p$ on the space of metric trees in $BbbC$ is contracting, with a fixed point at the Hubbard tree. This isn’t strictly true — there are some subtleties where there can be cycles — but it is an interesting application of moduli spaces.
    – Santana Afton
    Aug 7 at 2:29












up vote
13
down vote

favorite
4









up vote
13
down vote

favorite
4






4





I have always enjoyed the idea of creating "parameter spaces" or "moduli spaces," but it is only recently that I have seen very concrete applications of studying the moduli space. Because of how pervasive this theory is, I was hoping that



Notable examples I have come across:



  1. enumerative geometry in the sense of trying to solve a geometric problem by replacing it with intersections of submanifolds (varieties) of the moduli space. This is pretty similar to an idea I had here although I don't know if this approach is fruitful at all.


  2. Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.


  3. Vector Bundles Defining the Euler class via the interpretation of $mathbb RP^1$ as the moduli space of lines in the plane.


Are there other applications of moduli space that solved a concrete problem? I included (3) mostly to exhaust my knowledge of the subject, but I view that as quasi-concrete in the sense that understanding the topology of the moduli space can be used in a serious way to classify line bundles.







share|cite|improve this question













I have always enjoyed the idea of creating "parameter spaces" or "moduli spaces," but it is only recently that I have seen very concrete applications of studying the moduli space. Because of how pervasive this theory is, I was hoping that



Notable examples I have come across:



  1. enumerative geometry in the sense of trying to solve a geometric problem by replacing it with intersections of submanifolds (varieties) of the moduli space. This is pretty similar to an idea I had here although I don't know if this approach is fruitful at all.


  2. Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.


  3. Vector Bundles Defining the Euler class via the interpretation of $mathbb RP^1$ as the moduli space of lines in the plane.


Are there other applications of moduli space that solved a concrete problem? I included (3) mostly to exhaust my knowledge of the subject, but I view that as quasi-concrete in the sense that understanding the topology of the moduli space can be used in a serious way to classify line bundles.









share|cite|improve this question












share|cite|improve this question




share|cite|improve this question








edited Aug 6 at 20:45
























asked Aug 6 at 19:43









Andres Mejia

15.2k11444




15.2k11444







  • 1




    Donaldson invariants are topological invariants of 4-manifolds defined by studying the moduli space of instantons. They have interesting applications, like the h-cobordism theorem in dim=4.
    – Jake
    Aug 6 at 21:13






  • 1




    The study of the moduli spaces related to solutions of the Floer equation allows it to establish Floer homology, which among other things proves Arnold's conjecture (all of those under suitable assumptions).
    – Aloizio Macedo♦
    Aug 6 at 21:38






  • 1




    I spend most of my writing days thinking the word "moduli space of instantons", so I can write something about the topological applications of "spaces of soluions to PDEs" in dimensions 3 and 4. In dimension 4, the Donaldson invariants analagous to the definition of the Euler characteristic by point-counts of zeroes of a tangent vector field with sign; in dimension 3 the Floer homology is analagous to the definition of Morse homology, counting gradient flowlines between those zeroes. However, I am not sure if this counts as "concrete", since the theory takes some heavy lifting to set up.
    – Mike Miller
    Aug 6 at 22:09







  • 2




    Heegner points are special points in moduli spaces of (roughly said) pairs of elliptic curves with an $N$-isogeny, $(Eoversetphilongrightarrow E')$, an old reference that i like would be projecteuclid.org/download/pdf_1/euclid.jmsj/1230130446 (Benedict H. Gross, Heegner points and the modular curve of prime level). The history and the literature, the proven theorems and the opened directions, make them good actors among all modular spacial movies.
    – dan_fulea
    Aug 7 at 0:09






  • 1




    For a complex polynomial $p$, it turns out that if you take any tree in $BbbC$ subject to a few conditions related to the critical values of $p$ and lift this tree iteratively, after finitely many steps you’ll have the Hubbard tree of $p$. This amounts to proving that this action of $p$ on the space of metric trees in $BbbC$ is contracting, with a fixed point at the Hubbard tree. This isn’t strictly true — there are some subtleties where there can be cycles — but it is an interesting application of moduli spaces.
    – Santana Afton
    Aug 7 at 2:29












  • 1




    Donaldson invariants are topological invariants of 4-manifolds defined by studying the moduli space of instantons. They have interesting applications, like the h-cobordism theorem in dim=4.
    – Jake
    Aug 6 at 21:13






  • 1




    The study of the moduli spaces related to solutions of the Floer equation allows it to establish Floer homology, which among other things proves Arnold's conjecture (all of those under suitable assumptions).
    – Aloizio Macedo♦
    Aug 6 at 21:38






  • 1




    I spend most of my writing days thinking the word "moduli space of instantons", so I can write something about the topological applications of "spaces of soluions to PDEs" in dimensions 3 and 4. In dimension 4, the Donaldson invariants analagous to the definition of the Euler characteristic by point-counts of zeroes of a tangent vector field with sign; in dimension 3 the Floer homology is analagous to the definition of Morse homology, counting gradient flowlines between those zeroes. However, I am not sure if this counts as "concrete", since the theory takes some heavy lifting to set up.
    – Mike Miller
    Aug 6 at 22:09







  • 2




    Heegner points are special points in moduli spaces of (roughly said) pairs of elliptic curves with an $N$-isogeny, $(Eoversetphilongrightarrow E')$, an old reference that i like would be projecteuclid.org/download/pdf_1/euclid.jmsj/1230130446 (Benedict H. Gross, Heegner points and the modular curve of prime level). The history and the literature, the proven theorems and the opened directions, make them good actors among all modular spacial movies.
    – dan_fulea
    Aug 7 at 0:09






  • 1




    For a complex polynomial $p$, it turns out that if you take any tree in $BbbC$ subject to a few conditions related to the critical values of $p$ and lift this tree iteratively, after finitely many steps you’ll have the Hubbard tree of $p$. This amounts to proving that this action of $p$ on the space of metric trees in $BbbC$ is contracting, with a fixed point at the Hubbard tree. This isn’t strictly true — there are some subtleties where there can be cycles — but it is an interesting application of moduli spaces.
    – Santana Afton
    Aug 7 at 2:29







1




1




Donaldson invariants are topological invariants of 4-manifolds defined by studying the moduli space of instantons. They have interesting applications, like the h-cobordism theorem in dim=4.
– Jake
Aug 6 at 21:13




Donaldson invariants are topological invariants of 4-manifolds defined by studying the moduli space of instantons. They have interesting applications, like the h-cobordism theorem in dim=4.
– Jake
Aug 6 at 21:13




1




1




The study of the moduli spaces related to solutions of the Floer equation allows it to establish Floer homology, which among other things proves Arnold's conjecture (all of those under suitable assumptions).
– Aloizio Macedo♦
Aug 6 at 21:38




The study of the moduli spaces related to solutions of the Floer equation allows it to establish Floer homology, which among other things proves Arnold's conjecture (all of those under suitable assumptions).
– Aloizio Macedo♦
Aug 6 at 21:38




1




1




I spend most of my writing days thinking the word "moduli space of instantons", so I can write something about the topological applications of "spaces of soluions to PDEs" in dimensions 3 and 4. In dimension 4, the Donaldson invariants analagous to the definition of the Euler characteristic by point-counts of zeroes of a tangent vector field with sign; in dimension 3 the Floer homology is analagous to the definition of Morse homology, counting gradient flowlines between those zeroes. However, I am not sure if this counts as "concrete", since the theory takes some heavy lifting to set up.
– Mike Miller
Aug 6 at 22:09





I spend most of my writing days thinking the word "moduli space of instantons", so I can write something about the topological applications of "spaces of soluions to PDEs" in dimensions 3 and 4. In dimension 4, the Donaldson invariants analagous to the definition of the Euler characteristic by point-counts of zeroes of a tangent vector field with sign; in dimension 3 the Floer homology is analagous to the definition of Morse homology, counting gradient flowlines between those zeroes. However, I am not sure if this counts as "concrete", since the theory takes some heavy lifting to set up.
– Mike Miller
Aug 6 at 22:09





2




2




Heegner points are special points in moduli spaces of (roughly said) pairs of elliptic curves with an $N$-isogeny, $(Eoversetphilongrightarrow E')$, an old reference that i like would be projecteuclid.org/download/pdf_1/euclid.jmsj/1230130446 (Benedict H. Gross, Heegner points and the modular curve of prime level). The history and the literature, the proven theorems and the opened directions, make them good actors among all modular spacial movies.
– dan_fulea
Aug 7 at 0:09




Heegner points are special points in moduli spaces of (roughly said) pairs of elliptic curves with an $N$-isogeny, $(Eoversetphilongrightarrow E')$, an old reference that i like would be projecteuclid.org/download/pdf_1/euclid.jmsj/1230130446 (Benedict H. Gross, Heegner points and the modular curve of prime level). The history and the literature, the proven theorems and the opened directions, make them good actors among all modular spacial movies.
– dan_fulea
Aug 7 at 0:09




1




1




For a complex polynomial $p$, it turns out that if you take any tree in $BbbC$ subject to a few conditions related to the critical values of $p$ and lift this tree iteratively, after finitely many steps you’ll have the Hubbard tree of $p$. This amounts to proving that this action of $p$ on the space of metric trees in $BbbC$ is contracting, with a fixed point at the Hubbard tree. This isn’t strictly true — there are some subtleties where there can be cycles — but it is an interesting application of moduli spaces.
– Santana Afton
Aug 7 at 2:29




For a complex polynomial $p$, it turns out that if you take any tree in $BbbC$ subject to a few conditions related to the critical values of $p$ and lift this tree iteratively, after finitely many steps you’ll have the Hubbard tree of $p$. This amounts to proving that this action of $p$ on the space of metric trees in $BbbC$ is contracting, with a fixed point at the Hubbard tree. This isn’t strictly true — there are some subtleties where there can be cycles — but it is an interesting application of moduli spaces.
– Santana Afton
Aug 7 at 2:29










1 Answer
1






active

oldest

votes

















up vote
3
down vote



accepted










Let's define a K3 surface over $mathbbC$ to be a minimal algebraic surface $X$ of Kodaira dimension $0$ with $H^0(X,K_X)=1$ and $H^1(X,mathcalO_X)=0$. A concrete question to ask about these things is if they are simply connected. We expect this is possible because one can compute that the Betti numbers $b_1=b_3=0$. Now I know how to show that one K3 surface I know is simply connected. Namely, a quartic hypersurface $S$ in $mathbbP^3$. Just apply the Lefschetz hyperplane theorem. In fact this shows any hypersurface in $mathbbP^3$ is simply connected. Anyways, now we know that there is a $K3$ surface that is simply connected. We also know that there is a fine moduli space of $K3$ surfaces that is connected. Now we employ a theorem of Ehresmann to get that all K3 surfaces are diffeomorphic by looking at the fibers of the universal family over the moduli space. Thus by knowing that one is simply connected, we know they all are simply connected.






share|cite|improve this answer

















  • 1




    Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
    – Ariyan Javanpeykar
    Aug 7 at 7:59










  • What exactly is a "moduli space of K3 surfaces", fine or otherwise?
    – Tyrone
    Aug 7 at 10:07






  • 2




    Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
    – Samir Canning
    Aug 7 at 14:55







  • 2




    @tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
    – Samir Canning
    Aug 7 at 16:10










Your Answer




StackExchange.ifUsing("editor", function ()
return StackExchange.using("mathjaxEditing", function ()
StackExchange.MarkdownEditor.creationCallbacks.add(function (editor, postfix)
StackExchange.mathjaxEditing.prepareWmdForMathJax(editor, postfix, [["$", "$"], ["\\(","\\)"]]);
);
);
, "mathjax-editing");

StackExchange.ready(function()
var channelOptions =
tags: "".split(" "),
id: "69"
;
initTagRenderer("".split(" "), "".split(" "), channelOptions);

StackExchange.using("externalEditor", function()
// Have to fire editor after snippets, if snippets enabled
if (StackExchange.settings.snippets.snippetsEnabled)
StackExchange.using("snippets", function()
createEditor();
);

else
createEditor();

);

function createEditor()
StackExchange.prepareEditor(
heartbeatType: 'answer',
convertImagesToLinks: true,
noModals: false,
showLowRepImageUploadWarning: true,
reputationToPostImages: 10,
bindNavPrevention: true,
postfix: "",
noCode: true, onDemand: true,
discardSelector: ".discard-answer"
,immediatelyShowMarkdownHelp:true
);



);








 

draft saved


draft discarded


















StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2874252%2fconcrete-problems-that-can-be-solved-by-appealing-to-a-moduli-space%23new-answer', 'question_page');

);

Post as a guest






























1 Answer
1






active

oldest

votes








1 Answer
1






active

oldest

votes









active

oldest

votes






active

oldest

votes








up vote
3
down vote



accepted










Let's define a K3 surface over $mathbbC$ to be a minimal algebraic surface $X$ of Kodaira dimension $0$ with $H^0(X,K_X)=1$ and $H^1(X,mathcalO_X)=0$. A concrete question to ask about these things is if they are simply connected. We expect this is possible because one can compute that the Betti numbers $b_1=b_3=0$. Now I know how to show that one K3 surface I know is simply connected. Namely, a quartic hypersurface $S$ in $mathbbP^3$. Just apply the Lefschetz hyperplane theorem. In fact this shows any hypersurface in $mathbbP^3$ is simply connected. Anyways, now we know that there is a $K3$ surface that is simply connected. We also know that there is a fine moduli space of $K3$ surfaces that is connected. Now we employ a theorem of Ehresmann to get that all K3 surfaces are diffeomorphic by looking at the fibers of the universal family over the moduli space. Thus by knowing that one is simply connected, we know they all are simply connected.






share|cite|improve this answer

















  • 1




    Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
    – Ariyan Javanpeykar
    Aug 7 at 7:59










  • What exactly is a "moduli space of K3 surfaces", fine or otherwise?
    – Tyrone
    Aug 7 at 10:07






  • 2




    Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
    – Samir Canning
    Aug 7 at 14:55







  • 2




    @tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
    – Samir Canning
    Aug 7 at 16:10














up vote
3
down vote



accepted










Let's define a K3 surface over $mathbbC$ to be a minimal algebraic surface $X$ of Kodaira dimension $0$ with $H^0(X,K_X)=1$ and $H^1(X,mathcalO_X)=0$. A concrete question to ask about these things is if they are simply connected. We expect this is possible because one can compute that the Betti numbers $b_1=b_3=0$. Now I know how to show that one K3 surface I know is simply connected. Namely, a quartic hypersurface $S$ in $mathbbP^3$. Just apply the Lefschetz hyperplane theorem. In fact this shows any hypersurface in $mathbbP^3$ is simply connected. Anyways, now we know that there is a $K3$ surface that is simply connected. We also know that there is a fine moduli space of $K3$ surfaces that is connected. Now we employ a theorem of Ehresmann to get that all K3 surfaces are diffeomorphic by looking at the fibers of the universal family over the moduli space. Thus by knowing that one is simply connected, we know they all are simply connected.






share|cite|improve this answer

















  • 1




    Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
    – Ariyan Javanpeykar
    Aug 7 at 7:59










  • What exactly is a "moduli space of K3 surfaces", fine or otherwise?
    – Tyrone
    Aug 7 at 10:07






  • 2




    Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
    – Samir Canning
    Aug 7 at 14:55







  • 2




    @tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
    – Samir Canning
    Aug 7 at 16:10












up vote
3
down vote



accepted







up vote
3
down vote



accepted






Let's define a K3 surface over $mathbbC$ to be a minimal algebraic surface $X$ of Kodaira dimension $0$ with $H^0(X,K_X)=1$ and $H^1(X,mathcalO_X)=0$. A concrete question to ask about these things is if they are simply connected. We expect this is possible because one can compute that the Betti numbers $b_1=b_3=0$. Now I know how to show that one K3 surface I know is simply connected. Namely, a quartic hypersurface $S$ in $mathbbP^3$. Just apply the Lefschetz hyperplane theorem. In fact this shows any hypersurface in $mathbbP^3$ is simply connected. Anyways, now we know that there is a $K3$ surface that is simply connected. We also know that there is a fine moduli space of $K3$ surfaces that is connected. Now we employ a theorem of Ehresmann to get that all K3 surfaces are diffeomorphic by looking at the fibers of the universal family over the moduli space. Thus by knowing that one is simply connected, we know they all are simply connected.






share|cite|improve this answer













Let's define a K3 surface over $mathbbC$ to be a minimal algebraic surface $X$ of Kodaira dimension $0$ with $H^0(X,K_X)=1$ and $H^1(X,mathcalO_X)=0$. A concrete question to ask about these things is if they are simply connected. We expect this is possible because one can compute that the Betti numbers $b_1=b_3=0$. Now I know how to show that one K3 surface I know is simply connected. Namely, a quartic hypersurface $S$ in $mathbbP^3$. Just apply the Lefschetz hyperplane theorem. In fact this shows any hypersurface in $mathbbP^3$ is simply connected. Anyways, now we know that there is a $K3$ surface that is simply connected. We also know that there is a fine moduli space of $K3$ surfaces that is connected. Now we employ a theorem of Ehresmann to get that all K3 surfaces are diffeomorphic by looking at the fibers of the universal family over the moduli space. Thus by knowing that one is simply connected, we know they all are simply connected.







share|cite|improve this answer













share|cite|improve this answer



share|cite|improve this answer











answered Aug 7 at 1:20









Samir Canning

40139




40139







  • 1




    Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
    – Ariyan Javanpeykar
    Aug 7 at 7:59










  • What exactly is a "moduli space of K3 surfaces", fine or otherwise?
    – Tyrone
    Aug 7 at 10:07






  • 2




    Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
    – Samir Canning
    Aug 7 at 14:55







  • 2




    @tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
    – Samir Canning
    Aug 7 at 16:10












  • 1




    Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
    – Ariyan Javanpeykar
    Aug 7 at 7:59










  • What exactly is a "moduli space of K3 surfaces", fine or otherwise?
    – Tyrone
    Aug 7 at 10:07






  • 2




    Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
    – Samir Canning
    Aug 7 at 14:55







  • 2




    @tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
    – Samir Canning
    Aug 7 at 16:10







1




1




Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
– Ariyan Javanpeykar
Aug 7 at 7:59




Minor nitpick: there is no "fine moduli space" of K3 surfaces. However, there are universal families of K3 surfaces with additional structure. That's good enough for the purposes of showing all K3 surfaces are simply connected.
– Ariyan Javanpeykar
Aug 7 at 7:59












What exactly is a "moduli space of K3 surfaces", fine or otherwise?
– Tyrone
Aug 7 at 10:07




What exactly is a "moduli space of K3 surfaces", fine or otherwise?
– Tyrone
Aug 7 at 10:07




2




2




Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
– Samir Canning
Aug 7 at 14:55





Yes you are correct. I am being loose. For example one can construct the moduli space of marked K3s.
– Samir Canning
Aug 7 at 14:55





2




2




@tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
– Samir Canning
Aug 7 at 16:10




@tyrone Roughly a complex analytic space or scheme whose points correspond to isomorphism classes of (marked) K3 surfaces.
– Samir Canning
Aug 7 at 16:10












 

draft saved


draft discarded


























 


draft saved


draft discarded














StackExchange.ready(
function ()
StackExchange.openid.initPostLogin('.new-post-login', 'https%3a%2f%2fmath.stackexchange.com%2fquestions%2f2874252%2fconcrete-problems-that-can-be-solved-by-appealing-to-a-moduli-space%23new-answer', 'question_page');

);

Post as a guest













































































Comments

Popular posts from this blog

What is the equation of a 3D cone with generalised tilt?

Relationship between determinant of matrix and determinant of adjoint?

Color the edges and diagonals of a regular polygon