Skip to main content
added 1 characters in body
Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Ideally, the functor will actually land in the category of groups, and be generically of some order at least 3$M\ge 3$, though I might not need thisand always be of order $\le M$.

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Ideally, the functor will actually land in the category of groups, and be generically of order at least 3, though I might not need this.

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Ideally, the functor will actually land in the category of groups, be generically of some order $M\ge 3$, and always be of order $\le M$.

added 110 characters in body; added 30 characters in body; edited tags; edited tags
Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Ideally, the functor will actually land in the category of groups, and be generically of order at least 3, though I might not need this.

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Ideally, the functor will actually land in the category of groups, and be generically of order at least 3, though I might not need this.

added 52 characters in body; added 14 characters in body
Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor from $\textbf{Ell}\rightarrow\textbf{FiniteSets}$$F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a functor from $\textbf{Ell}\rightarrow\textbf{FiniteSets}$ that doesn't have to do with torsion data?

Let $\textbf{Ell}$ be the category of elliptic curves over various base schemes, and where a morphism between $E\rightarrow S$ and $E'\rightarrow S'$ is a cartesian diagram with those two maps as columns.

A moduli problem for elliptic curves is then just a contravariant functor $\textbf{Ell}\rightarrow\textbf{Sets}$.

For example, we usual level $N$ moduli problem is the functor sending $E/S$ to the set of isomorphisms $E[N]\stackrel{\sim}{\longrightarrow}(\mathbb{Z}/N\mathbb{Z})_S^2$.

There are a ton of these functors, mostly coming from various cohomology theories, but the only such functors I can think of that land in the category of finite sets all have to do with torsion points on the elliptic curve.

Does anyone have any examples of a contravariant functor $F:\textbf{Ell}\rightarrow\textbf{Sets}$ such that for $E/S$ with $S$ connected, $F(E/S)$ is finite, and doesn't have to do with torsion data?

Source Link
Will Chen
  • 10.7k
  • 2
  • 32
  • 74
Loading