The tag has no usage guidance.

learn more… | top users | synonyms

2
votes
1answer
98 views

The line bundle of the divisor at infinity of the moduli stack of stable curves of genus $g \ge 2$

Let $\overline{\mathscr{M}}_g$ be the $\mathbb{Z}$-algebraic stack of stable curves of genus $g \ge 2$, as constructed in the paper of Deligne and Mumford. The degeneracy locus of the universal stable ...
0
votes
0answers
71 views

A property of the semi-local ring of the normalization of a singular curve

I have two following questions. 1) Let $R$ be a local ring in an algebraic function field of one variable over an algebraic closed field $k$. Let $\bar{R}$ and $m$ be its integral closure and maximal ...
2
votes
0answers
55 views

Families of trigonal curves with hyperelliptic limit

Suppose I have a family of trigonal curves $C\to D$ over a closed disk $D$ where the central fiber $C_0$ is hyperelliptic (this is of course possible since the hyperelliptic locus is in the closure of ...
4
votes
0answers
232 views

Motivic fundamental group of the moduli space of curves?

Suppose I have a smooth projective family of varieties of varieties over $\mathcal M_g$ - i.e. a universal functor, commuting with deformations, from curves to smooth projective varieties. Can I ...
1
vote
0answers
58 views

Ring of functions regular away from $\infty$ of an algebraic curve

Suppose $X$ is a smooth, geometrically irreducible projective algebraic curve over the finite field $\mathbb{F}_q$ and fix a closed point $\infty \in X$. Denote by $A = \Gamma(X - \{\infty\}, ...
2
votes
0answers
124 views

Intuition behind if neither $D$ nor $K-D$ are equivalent to an effective divisor, then $\deg(D) = g-1$?

Is there any intuition behind the following fact? If neither $D$ nor $K-D$ are equivalent to an effective divisor, then $\deg(D) = g-1$. Here, $K$ is the canonical divisor. It means the degrees ...
1
vote
0answers
92 views

Set of smooth curves on the Hilbert scheme is open. H

Let $H = Hilb_{d,g,r}$ be the Hilbert scheme of genus $g$ curves of degree $d$ in proyective space $\mathbb{P}^r$, over an algebraically closed field $k$. Is it true that the set of points of $H$ ...
0
votes
0answers
114 views

Existence of a map between curves

Given two algebraic curves defined over the rationals, is there a method for determining whether there exists a surjective map from one curve to the other? For instance, suppose X and Y are affine ...
4
votes
1answer
163 views

Bézout's theorem for arcs in the plane

Consider two polynomials $p,q \in {\mathbb R}[x,y]$, both of degree $d$. Let $\gamma_p$ and $\gamma_q$ be the two curves in ${\mathbb R}^2$ that are defined by these polynomials, and assume that these ...
4
votes
0answers
130 views

Is there a concrete description of $\Theta_{sing}$ for a generic curve of genus 6?

If C is generic of genus 6, then $\Theta_{sing}$ is a smooth surface. Can anyone give me a reference or a hint as to what that surface might be. What are the numerical characteristics of this surface? ...
2
votes
0answers
73 views

Non canonical singularities of moduli spaces of curves

Is it true that for any $g\geq 1$ and $n$ such that $\overline{M}_{g,n}$ has dimension at least two the locus in $\overline{M}_{g,n}$ parametrizing reducible curves which are union of an elliptic ...
1
vote
0answers
116 views

Riemann-Roch formula for nodal curves

Let $X$ be an irreducible, reduced, projective curve over an algebraically closed field, with at worst nodes as singularities. Let $\mathcal{F}$ be a trivial vector bundle on $X$ of rank $r$. Consider ...
0
votes
1answer
143 views

Model over DVR for smooth projective curves

Let $C$ be a smooth, projective, geometrically irreducible curve of genus at least $2$ over a complete discrete valued field $F$ of characteristic zero (not necessarily algebraically closed). Let $R$ ...
0
votes
0answers
156 views

Different proof's of Marten's theorem

I am referring to Marten's theorem on the dimension of $W_d^r $ as in ACGH p. 192 . It seems to me that an even shorter proof can be given using Hopf's Theorem that if $\nu : A \otimes B \to C $ is ...
2
votes
2answers
228 views

Theta characteristics of genus$\geq3$ curve

Let $C$ be a smooth curve of genus$\geq3$ over $\mathbb{C}$, so there are $2^{g-1}(2^g-1)$ odd theta characteristics and $2^{g-1}(2^g+1)$ even theta characteristics. Do we know how many of them has ...
1
vote
1answer
142 views

Morphisms contracting a family of curves

Let $f:X\rightarrow Y$ be a morphism of normal projective varieties. Let $S\subseteq X$ be a surface admitting a morphism $g:S\rightarrow C$ to a curve $C$ such that any fiber of $g$ is a curve. ...
2
votes
0answers
71 views

The significance of the Parvaresh-Vardy curve

Even though this seems like a computer science question, it is purely mathematical and concerns polynomials and curves over finite fields. Consider the Parvaresh-Vardy list decoder. As I understand ...
4
votes
1answer
169 views

Does this extension of Hodge structures split over $\mathbb{Q}$?

Let $X$ be a smooth projective curve of genus $\geq 1$ over $\mathbb{C}$, $H^\cdot=H^\cdot(X)$, and $K$ be the kernel of cup product $\cup: H^1\otimes H^1\rightarrow H^2$. Consider the extension of ...
4
votes
1answer
182 views

Can every genus $2$ curve be written as ramified cover of elliptic curve?

Suppose $C$ is a curve of genus $2$, does $C$ admit a surjective morphism onto some elliptic curve $E$?
3
votes
0answers
163 views

Kähler differentials, intuition behind $\text{div}(\omega)$, canonical divisor on algebraic curves?

See my two previous questions here: Intuition for thinking about R-module of Kähler differentials, universal receptacles, derivations? and Kähler differentials, define valuation? for background. If ...
5
votes
1answer
186 views

Intuition for thinking about $R$-module of Kähler differentials, universal receptacles, derivations?

Suppose $k$ is a field of characteristic zero, and $R$ is a $k$-algebra. The $R$-module of Kähler differentials $\Omega_{R/k}$ of $R$ over $k$ with generators $\{dr\}_{r \in R}$ is the module subject ...
2
votes
0answers
72 views

Rational curves through a fixed number of points

Let us fix two positive integers $d$, and $N$. Can we determine a third integer $n$ such that given $n$ general points $p_1,...,p_n\in\mathbb{P}^N$ there exists a unique rational curve of degree $d$ ...
2
votes
1answer
202 views

Rational curves in projective spaces

Let $X\subset(\mathbb{P}^{N})^n$ be the variety defined as follows: $(p_1,...,p_n)\in (\mathbb{P}^{N})^n$ such that there exists a rational curve $C$ of degree $d$ with $p_1,...,p_n\in C$. Is there a ...
1
vote
0answers
80 views

On the compactification of moduli space of vector bundles

Let $X$ be an irreducible, nodal curve over an algebraically closed field of genus at least $2$. Denote by $U(r,d)$ (resp. $U^0(r,d)$) the moduli space of torsion-free (resp. locally free) sheaves of ...
3
votes
0answers
113 views

Does there exist a continuous surjection? [closed]

Let $C$ be an irreducible projective cubic in $\mathbb{P}_2$ with a singular point $p$. So consider $f: \mathbb{P}_1 \to C$ defined as follows. Identify $\mathbb{P}_1$ with the set of lines in ...
7
votes
1answer
205 views

Is every proper regular relative algebraic space curve over a Dedekind domain projective?

This question is in some sense a follow up to a related question Is a normal proper relative curve over a DVR projective? Let $R$ be a Dedekind domain, let $S := \mathrm{Spec}(R)$, and let $X ...
3
votes
2answers
193 views

Do discrete valuation rings correspond to local rings of points in fibre?

Given projective curves $C$ and $C'$ and a surjective morphism $\varphi\colon C\to C'$, such that $Q\in C'$ is a smooth point and its fibre $\varphi^{-1}(Q)$ consists of smooth points. Then ...
0
votes
0answers
62 views

Embedding curves in hypersurfaces

Consider a curve $C$ in $\mathbb{F}_q^m$, say. I am interested in the existence of curves not contained in any small degree hypersurface. For instance, a helix is not contained (or non-embeddable) in ...
6
votes
2answers
225 views

Extending the Abel-Jacobi map over the DM-compactification $\overline{\mathcal{M}}_2$?

Let $\mathcal{M}_2$ be the moduli space of genus two curves and $\mathcal{A}_2$ the moduli space of principally polarized abelian surfaces. Then the Abel-Jacobi map gives an open embedding ...
3
votes
1answer
131 views

Graded ring of a genus 2 curve

Let $X$ be a smooth projective complex curve of genus 2 with canonical divisor $K$. $X$ of course is hyperelliptic and has an involution that I denote by $j$. There exists 3 possibilities for ...
1
vote
0answers
120 views

Are two line bundles with the same ramification type necessarily isomorphic?

I have no motivation for the following problem, I am just curious if it is true or not. Here it is: If $l_1$ and $l_2$ are two complete $g^r_d$'s on a smooth curve $C$ such that the vanishing ...
4
votes
0answers
194 views

Example of a genus-1 degree-7 plane curve

I am wondering if anyone knows how to construct an explicit example of an irreducible plane curve of degree 7 with 14 double points. Such a curve would have genus 1. One can show that for a general ...
2
votes
2answers
228 views

Could we extend any line bundle on the smooth part of a singular curve to a line bundle on the whole curve?

Let $X$ be a singular curve over an algebraic closed field $k$ with characteristic zero. Let $Z$ be the closed subset of singular points on $X$ and $U=X-Z$ be the smooth part, which is an open subset ...
-4
votes
1answer
113 views

Elliptic Curve Multiplication [closed]

What would happen if I performed Elliptic Curve multiplication on some random point within the FiniteField that wasn't actually on the curve? I assume that I would get a point in return but would that ...
1
vote
0answers
77 views

Is there any explicit result on the triangulated category of singularities of a curve?

This question is related to this MO question. Let $X$ be a projective curve over a field $\mathbb{C}$. We have the bounded derived category of coherent sheaves $D^b_{coh}(X)$ and the derived category ...
0
votes
0answers
87 views

What is the relation between the $K_0$ of a singular curve and its normalization?

Let $X$ be a singular curve over a field $k$. We define $K_0(X)$ to be the Grothendieck group of the category of coherent sheaves on $X$. For $X$ we have its normalization $\widetilde{X}$ and hence ...
7
votes
0answers
214 views

Are curves over imperfect fields defined over a smaller field?

Let $C$ be regular projective curve defined over a field $K$. Let $K/L$ be a totally inseparable finite extension. Does there exist a regular projective curve $C'$ over $L$ such that that the pullback ...
0
votes
0answers
34 views

the associated action on the transition functions

Let $X$ be a curve with an involution $\sigma$ generically unramified, given a $G-$bundle $E$ of rank $r$, than we ca take its pull-back, I want to describe the action of $\sigma$ on $G$. Fix a ...
1
vote
1answer
103 views

Construction of curves and morphisms

Given any triple of positive integers $(g',g,d)$ with $2g'-2\geq d(2g-2)$. Does there always exist curves $C_{g'},C_g$ of genus $g',g$ with a degree $d$ morphism $f\colon C_{g'}\to C_g$? If we fix ...
0
votes
1answer
131 views

Reflexive sheaves on stable curves

Let $C$ be a stable curve over an algebraically closed field of positive characteristic and $\mathcal{F}$ be a reflexive sheaf on $C$. Is $\mathcal{F}$ locally free? EDIT Is the projective dimension ...
2
votes
0answers
226 views

A question about Weil restriction

Let $\pi:\tilde{C}\rightarrow C$ be a ramified cover between two smooth curves. And consider a group scheme $\mathcal G$ over $\tilde{C}$, I have found two definitions for Weil restriction: ...
6
votes
2answers
306 views

Will (general points + small number of arbitrary points) impose independent condtions on plane curves?

It is well known that imposing vanishing at general points of $\mathbb P^2$ gives independent conditions on curves of degree $d$. Also, it is known that a small number ($\le d+1$) points always impose ...
4
votes
2answers
259 views

Universal curve of stacks of stable curve

Let $\overline{M}_{g,A}$ the moduli stack of pointed genus $g$ stable curves with weights $A = (a_1,...,a_n)$ introduced in Brendan Hassett, Moduli spaces of weighted pointed stable curves, Adv. ...
3
votes
2answers
393 views

Is a normal proper relative curve over a DVR projective?

Let $X$ be a connected normal scheme equipped with a proper flat morphism $f\colon X \rightarrow \mathrm{Spec }(R)$ with $R$ a discrete valuation ring and such that the fibers of $f$ are curves (i.e., ...
5
votes
1answer
197 views

Evaluation maps for moduli of stable maps

Let $\overline{M}_{0,n}(\mathbb{P}^N,d)$ be the moduli space of stable maps of degree $d$ from curves of genus zero with $n$-marked points to $\mathbb{P}^N$. Consider the product of the evaluation ...
5
votes
2answers
203 views

Disjoint curves in an algebraic surface

Let $X$ be an algebraic surface (over the complex) with $p_g=q=0$. Is it possible to have disjoint curves $C_1,\ldots, C_b$, of positive genus, spanning $H_2(X,{\mathbb Q})$, $b=b_2(X)$? (When $X$ is ...
3
votes
1answer
294 views

On equations defining space curves

I am reading a text by Prof. Szpiro Tata lectures on equations defining space curves. In the proof of Proposition $1.2$ on page $12$ he gives explicit description of the defining equations of a local ...
2
votes
1answer
141 views

Frey's Formula and utilisation of the Hasse Invariant in “Links between Stable elliptic curves and Diophantine equations.”

In the paper "Links between Stable elliptic curves and Diophantine equations" for an elliptic curve $E$ with normal Weierstrass form $$y^2 = x^3 -g_2x -g_3$$ with $g_i \in \mathbb{Z}$ w.l.o.g. Then ...
5
votes
2answers
358 views

Obstruction and rational points on curves

Is etale-Brauer the only obstruction to the existence of rational points on projective plane curves over number fields?
6
votes
0answers
213 views

Map of the Klein quartic from $CP^2$ to $R^3$

The Klein quartic $\mathcal{Q}$ is cut out of $\mathbb{CP}^2$ by the homogeneous equation $$x^3 y + y^3 z + z^3 x = 0.$$ It has 168 orientation preserving automorphisms and includes several copies of ...