Concrete Problems that can be solved by appealing to a Moduli Space
Clash Royale CLAN TAG#URR8PPP
up vote
13
down vote
favorite
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:
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.
Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.
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.
algebraic-geometry reference-request algebraic-topology soft-question moduli-space
 |Â
show 5 more comments
up vote
13
down vote
favorite
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:
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.
Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.
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.
algebraic-geometry reference-request algebraic-topology soft-question moduli-space
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
 |Â
show 5 more comments
up vote
13
down vote
favorite
up vote
13
down vote
favorite
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:
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.
Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.
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.
algebraic-geometry reference-request algebraic-topology soft-question moduli-space
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:
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.
Complex dynamics. In particular how you can figure out some properties of a quadratic polynomial by looking at the mandelbrot set.
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.
algebraic-geometry reference-request algebraic-topology soft-question moduli-space
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
 |Â
show 5 more comments
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
 |Â
show 5 more comments
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.
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
add a comment |Â
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.
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
add a comment |Â
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.
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
add a comment |Â
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.
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.
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
add a comment |Â
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
add a comment |Â
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
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
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
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
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
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