# Tagged Questions

The algebraic-curves tag has no wiki summary.

**-4**

votes

**0**answers

59 views

### Algebraic Curves: Exercise 2.17 (William Fulton) [on hold]

Let $V=V(Y^2-X^2(X+1))\subset\mathbb{A}^2$, e $\overline{X}, \overline {Y}$ the residues of $X,Y$ in $A(V)$ its coordinate ring; let $z= \dfrac{\overline{Y}}{\overline{X}}\in K(V)$. Find the pole sets ...

**8**

votes

**1**answer

267 views

+500

### Does a semistable curve descend to a regular base?

Let $f\colon X \rightarrow S$ be a semistable curve of genus $g \ge 0$. Being a semistable curve means that $f$ is a morphism of schemes such that
$f$ is proper, flat, and of finite presentation;
...

**3**

votes

**1**answer

148 views

### When does a hyperelliptic Riemann surface admit a map of degree 3

Let $X$ be a hyperelliptic curve of genus $g>1$.
For which $g$ does $X$ admit a map $X\to \mathbb P^1$ of degree $3$?
I think a genus two curve $X$ admits a map of degree $3$.
Proof: Pick $P$ ...

**0**

votes

**1**answer

95 views

### Schematic image of a relative Cartier divisor of a fiberwise dense open

Let $S$ be a scheme and $A$ an abelian $S$-scheme, i.e., $A \rightarrow S$ is a proper smooth $S$-group scheme whose fibers are $g$-dimensional abelian varieties. Suppose that one has a fiberwise ...

**2**

votes

**2**answers

197 views

### Rigid curves, and the “richness” of their homology class

Let $X$ be a complex smooth projective variety, and $C\subset X$ a smooth curve. Then $C$ defines a cycle $$\beta=[C]\in H_2(X,\mathbb Z).$$
I have a very vague question about this situation:
Q. ...

**3**

votes

**0**answers

191 views

### Symmetric power of an etale map of curves

Let $k$ be an algebraically closed field and $f\colon X \rightarrow Y$ an etale morphism of smooth curves over $k$. Let $f^{[n]}\colon X^{[n]} \rightarrow Y^{[n]}$ be the induced morphism on $n$-th ...

**4**

votes

**1**answer

166 views

### Jacobian of a semistable curve

My question is about the proof of Example 8 in section 9.2 of the book "Neron models." There we have a semistable curve $X$ over an algebraically closed field $K$ and we let $\pi\colon \widetilde{X} ...

**0**

votes

**0**answers

47 views

### Analytic functions space on Riemann surface

I have some questions about the analytic function space on Riemann surface and distinguished varieties:
Let S be a compact Riemann surface and $\Omega\subset S$ be a domain with piecewise smooth ...

**-1**

votes

**0**answers

92 views

### Example of a fibration into singular curves?

Is there an example of a variety endowed with a fibration into curves which are generically singular ?

**25**

votes

**2**answers

1k views

### The work of E. Artin and F. K. Schmidt on (what are now called) the Weil conjectures.

I was reading Dieudonne's "On the history of the Weil conjectures" and found two things that surprised me. Dieudonne makes some assertions about the work of Artin and Schmidt which are no doubt ...

**1**

vote

**1**answer

168 views

### Moving a divisor on a (reducible, non-reduced) curve

I am trying to understand the first sentence of the proof of 9.1/5 in "Neron models." There we have a proper curve $X$ over a field $K$ and a line bundle $\mathscr{L}$ on $X$. Our ultimate goal is to ...

**3**

votes

**3**answers

283 views

### Reference for hyperelliptic curves

I was reading a paper the other day that said that all automorphisms of a hyperelliptic curve are liftings of automorphisms of $\mathbb{P}^1$ operating on the set of branch points.
Can someone point ...

**3**

votes

**0**answers

313 views

### A Step in the Proof of the Drinfeld-Simpson theorem

I hope that this is the appropriate place for asking about a step I don't understand in a proof which I think is due to a lack of knowledge. This is a step in Drinfeld-Simpson's paper: ``$B$ ...

**3**

votes

**1**answer

302 views

### Question about a family of semistable curves

Let $B$ be a curve (integral but not necessarily smooth) and let $\pi: C --> B$ be a family of curves such that each fiber is a rational curve with $g$ many elliptic tails attached.
Let $\omega$ ...

**6**

votes

**1**answer

205 views

### The cohomology of an $S_{3}$ cover of an elliptic curve ramified in one point

Let $E/\mathbb{C}$ be an elliptic curve. Let $C \to E$ be a Galois cover with group $G = S_{3}$ (symmetric group on $3$ elements), ramified in one point. (To clarify: there is a unique point in $E$ ...

**-1**

votes

**1**answer

54 views

### How to prove embedded copies of a curve using different base points in its Jacobian are algebraically equivalent

Let $X$ be a smooth projective curve over $k\subset\mathbb{C}$, and $p,q\in X(k)$. Let $X_p$ (resp. $X_q$) be the embedded copy of $X$ in the Jacobian $Jac(X)$ using the base point $p$ (resp. $q$). Is ...

**0**

votes

**0**answers

38 views

### Chow group of a product

Let $X$ and $Y$ be smooth varieties over $k$. I was wondering if there is a decomposition of the Chow group $CH(X\times Y)$ in terms of $CH(X)$ and $CH(Y)$ similar to the Kunneth decomposition of ...

**0**

votes

**3**answers

285 views

### Why there are two point at infinity on certain elliptic curve [closed]

In article Adams, W. W., & Razar, M. J. (1980). Multiples of points on elliptic curves and continued fractions. Proc. London Math. Soc, 41, 481-498. is said on ...

**7**

votes

**1**answer

225 views

### Rationality of moduli spaces of rational curves

Let $\overline{M}_{0,n}$ be the moduli space of Deligne-Mumford stable pointed rational curves, and let us consider the quotient $\widetilde{M}_{0,n} = \overline{M}_{0,n}/S_n$.
Clearly, there is a ...

**1**

vote

**1**answer

156 views

### About Prop 1.1 of “…Petri's Analysis…” by Stöhr & Viana

I'm reading this paper and the authors Karl-Otto Stöhr and Paulo Viana define $\Omega^n$ to be the set of the sum of the monomios $\omega_1\cdots\omega_n$, where $\omega_i\in \Omega$ and $\Omega^n(D)$ ...

**2**

votes

**1**answer

209 views

### discriminant of smooth quartic del Pezzo surface in $\mathbb{P}^4$

I can't understand the proof of Lemma3.3 in Stability of genus 5 canonical curves.
Let $C$ be a complete intersection of three quadrics in $\mathbb{P}^4$ and let $\Lambda$ be the net of quadrics ...

**2**

votes

**0**answers

67 views

### Locus of line bundles with given base points on a curve

Let $C$ be a smooth projective curve over an algebraically closed field. If $D$ is an effective divisor on $C$ (let's say reduced to make things easier) of degree $m$ and $d>m$, is the dimension of ...

**2**

votes

**0**answers

62 views

### Abel-Prym map for Prym-Tyurin varieties

Let $(J,\Theta)$ be the Jacobian of a smooth projective curve $C$, and let $i:P\hookrightarrow J$ be an abelian subvariety of $J$ such that $i^*\Theta\equiv e\Xi$ for some principal polarization $\Xi$ ...

**8**

votes

**4**answers

353 views

### Is there a non-abelian version of the Torelli map?

Let $C$ be a connected compact oriented real surface of genus $g$, let $G$ be a connected compact Lie group and let $G_\mathbb{C}$ be the complexification of $G$. One considers the moduli space $M ...

**6**

votes

**0**answers

227 views

### Global sections for a locally free sheaf over curves

Let $B$ be a complete algbraic curve of genus $g$, and $\mathcal{E}$ be a semi-stable locally free sheaf of rank $r$ over $B$. Assume that the slope of $\mathcal{E}$ is $\mu(\mathcal E):=\frac{\deg ...

**2**

votes

**2**answers

293 views

### What is the difference between the moduli space of curves and the moduli space of orbi-curves?

Edit: In my original framing of this question it was not so clear what I was looking for, so this is basically a re-write.
I feel that I should already know the answer to this, but it never sits ...

**2**

votes

**1**answer

268 views

### On a property of the Grothendieck group of a smooth projective curve

Let $K$ be a complete DVR of characteristic $0$, $X$ a smooth projective curve over $K$. Denote by $K^0(X)$ the Grothendieck group of locally free sheaves on $X$ and by $\mbox{det}$ the natural group ...

**3**

votes

**1**answer

142 views

### Is the fundamental group of an open arithmetic Riemann surface contained in $\Gamma(2)$

Let $X$ be a non-compact Riemann surface with universal covering $\mathbb H$ and suppose that the fundamental group of $X$ is an arithmetic subgroup of $\mathrm{Aut}(\mathbb H) = ...

**2**

votes

**0**answers

56 views

### Finite extension of K(x) with extra structure: definable over field of invariants?

Let $K$ be an algebraically closed field, and let $\sigma$ be an automorphism on $K$. Set $k=K^\sigma$. Consider the rational function field $K(x)$ and extend $\sigma$ to $K(x)$ by $\sigma(x)=x$, ...

**4**

votes

**2**answers

167 views

### Map between stacks and automorphism groups

I know that the Torelli morphism $t_g:\mathcal{M}_g\rightarrow \mathcal{A}_g$ between the stacks of smooth curves of genus $g$ and principally polarized abelian varieties of dimension $g$ is of order ...

**5**

votes

**0**answers

104 views

### Can the hyperbolic core of a curve over $\mathbb Q$ be defined over $\mathbb Q$ as an algebraic stack

Here is a question I've been wondering about for a while. Currently it is mere curiosity and I do not have any direct applications in mind.
Let $X$ be a smooth quasi-projective geometrically ...

**2**

votes

**0**answers

68 views

### Criterion for the existence of finite locally free resolution

Let $X$ be a projective variety over an algebraically closed field $k$, $S$ be a $k$-scheme, $E$ be a coherent sheaf on $X \times_k S$, flat over $S$. We know that if $X$ is smooth then $E$ has a ...

**4**

votes

**2**answers

232 views

### Non trivial family of hyperelliptic curves

Let $X$ ba a smooth hyperelliptic curve of genus $g$, and let $f:X\rightarrow X$ be the hyperelliptic involution. Consider a $K3$ surface $S$ with an involution $g$ without fixed points. The quotient ...

**5**

votes

**1**answer

136 views

### p-adic L-function of curves

Given a smooth projective curve $C$ over $\mathbb{Q}$ one has the $L$-function $L(C, s)$ and the Beilinson conjectures predict its values at integers $s=n$ in terms of regulators.
Is there a p-adic ...

**1**

vote

**0**answers

78 views

### plane curves with two points of high multiplicity

Let $\mathcal{C}$ be an irreducible plane curve in $\mathbb{P}^2_\mathbb{C}$ of degree $d$. Let $D$ be a quartic with three irreducible components with normal crossing singularities, i.e. a conic and ...

**0**

votes

**1**answer

95 views

### Is the support of two odd theta characteristics on a generic curve disjoint?

Concise version of the question
On a generic curve of genus $g$, the odd theta characteristics will have exactly one global section. Therefore each odd theta characteristic will correspond to a ...

**7**

votes

**1**answer

458 views

### What are the exact holomorphic Lagrangians in complex 2-space?

In an exact symplectic manifold, i.e. where the symplectic form can be written $\omega = d \lambda$, it's natural to look for exact Lagrangians, i.e. $L$ on which $\lambda_L = df$. One reason is ...

**2**

votes

**1**answer

159 views

### curve through a point avoiding an hypersurface, II

Inspired by this question:
Suppose given an algebraic curve $C \subset \mathbb{A}^2$, and a point $x \in C$. Can you find another (closed) curve $D \subset \mathbb{A}^2$ such that $C \cap D = x$?
...

**1**

vote

**2**answers

131 views

### Jacobian of a curve and field extension

Let $K$ be a field of characteristic zero and $X_K$ a smooth projective curve on $K$. Denote by $\bar{K}$ the algebraic closure of $K$ and $X_{\bar{K}}$ the base change of $X_K$ to $\bar{K}$. Under ...

**3**

votes

**2**answers

157 views

### Injectivity under flat base change of the Picard group on smooth projective curves

Let $K$ be a field of characteristic $0$, $X_K$ a smooth projective curve over $K$. Denote by $\bar{K}$ the algebraic closure of $K$. The base change morphism $X_{\bar{K}} \to X_K$, induces via the ...

**5**

votes

**1**answer

228 views

### Realizing algebraic curves as complete intersections

I have two related questions about smooth complete algebraic curves (over $\mathbb{C}$).
Does there exist a smooth complete algebraic curve $X$ that cannot be embedded as a complete intersection in ...

**9**

votes

**1**answer

575 views

### Why is the section conjecture important?

As in the title, I want to know the reason for importance of the section conjecture. Of course, the statement of conjecture is important as itself, even I cannot fully grasp the soul of it. However, ...

**0**

votes

**1**answer

86 views

### Global sections in negative degree line bundles over singular curves

Let $C$ be a local complete intersection projective curve in $\mathbb{P}^3$. Assume that $C$ is integral. Let $\mathcal{L}$ be a line bundle on $C$ of negative degree. We know that if $C$ is smooth ...

**4**

votes

**0**answers

191 views

### Non-hyperelliptic families of curves with trivial Ceresa class (or Gross-Schoen class)

Suppose X/K is a curve over a field K, which we want to think of as non-algebraically closed, and let x be a point of X(K). The Ceresa cycle is defined as follows; you can embed X in Jac(X) by sending ...

**0**

votes

**1**answer

196 views

### First chern class of fibers of compact Kaehler algebraic variety

Let $M$ be an compact Kähler algebraic variety and suppose $K_M$ is semi-ample. Consider the holomorphic map $\pi:X\to \Sigma \subset \mathbb CP^N$ with $Kod(M)=dim_\mathbb C\Sigma$ (here $Kod$ means ...

**1**

vote

**0**answers

94 views

### Families of curves with “almost-general” moduli

The Brill-Noether theorem says that, if $\rho(d, g, r) := (r + 1)d - rg - r(r + 1) \geq 0$, then there exists a unique component of the Hilbert scheme of curves of degree $d$ and genus $g$ in ...

**0**

votes

**1**answer

96 views

### rational sections of logarithmic differentials on a curve

Let $C$ be a smooth projective curve over a field $k$ of characteristic zero and $S$ a reduced divisor on $C$ (so just a collection of points). Consider the sheaf of logarithmic differentials ...

**1**

vote

**0**answers

76 views

### The minimum genus of a family of degree $12$ algebraic curves which comes from the resultant of two quartic polynomials

Let $f(t)$ be a rational normal cubic curve in $\mathbb{P}^3$ (it is not contained in any plane) and also we assume that this cubic curve passes through two points $(0,0,0)$ and $(1,0,0)$. By an easy ...

**17**

votes

**2**answers

776 views

### History of the connection between Riemann surfaces and complex algebraic curves

As noted in the question "Links between Riemann surfaces and algebraic geometry", there are strong connections between Riemann surfaces and algebraic geometry - for example, compact Riemann surfaces ...

**1**

vote

**0**answers

77 views

### Obstruction to Gorenstein Liaisons of space curves

Let $P_1,P$ be Hilbert polynomials of curves in $\mathbb{P}^3$. Denote by $H_{P_1,P}$ the flag Hilbert scheme parametrizing pairs $(C_1 \subset C)$ where $C_1, C$ are of Hilbert polynomials $P_1$ and ...