# Tagged Questions

An algebraic curve or plane algebraic curve is the set of points on the Euclidean plane whose coordinates are zeros of some polynomial in two variables.

124 views

### Degeneracy divisor of the “trace” morphism

Let $f\colon X\to Y$ be a finite morphism of smooth curves over an alg. closed field of characteristic zero. I recently asked how methods reminiscent of basic algebraic number theory can be used to ...
344 views

### Showing that $2c_1(f_*\mathscr O_X)=-f_*R_f$ on curves, maybe by local fields

I originally asked this question on Mathematic StackExchange, but it did not seem to be attracting any attention, so now I am trying mathoverflow. I hope it is not too simple or unappropriate a ...
259 views

### general position lemma for tangent lines of an algebraic curve

Let $X$ be a smooth irreducible algebraic curve in $\mathbb{P} V$. The general position lemma states that the points given by general hyperplane section of $X$ are "in general position". I'm ...
102 views

### Embed the normalization of a curve in a larger space

I'd like to believe that this problem has a positive answer, but I don't know a nice reference. Actually I've never worked with embedded curves, so I apologize in advance if the question is too silly. ...
55 views

### Function field Towers of larger depth of recursion

A function field tower is a sequence of function fields $$\mathcal{F}_0 \subset \mathcal{F}_1 \subset \mathcal{F}_2 \dots \subset \mathcal{F}_{n} \subset \mathcal{F}_{n+1} \subset \dots$$ over a base ...
217 views

487 views

### Global sections of the structure sheaf of a non-reduced projective scheme

Let $C$ be a curve in $\mathbb{P}^3$ which is of local complete intersection is some smooth surface in $\mathbb{P}^3$. Assume $C$ is non-reduced. What can we say about $h^0(\mathcal{O}_C)$? When can ...
220 views

### A question on the existence of the quotient of the Hilbert scheme of tricanonical curves

In order to construct the coarse moduli scheme of smooth projective curves of genus $g$, the classical results of Mumford (using the numerical criterion of stability) say that for large enough $m$, ...
419 views

### Connections on the Hodge bundle?

Let $\mathcal{M}_g$ be the moduli space of curves of genus $g$. Consider the holomorphic bundle $\mathcal{H}^k\rightarrow\mathcal{M}_g$ whose fiber over a curve $C\in\mathcal{M}_g$ is the space of ...
300 views

### spin bundle vs. hodge bundle

Let $\overline{\mathcal{M}}^r_{g,n}$ the space of $n$ pointed $r$-stable curves of genus $g$, endowed with a root of the canonical sheaf, and let $\mathcal{C} \to \overline{\mathcal{M}}^r_{g,n}$ be ...
115 views

### Automorphisms of function fields under constant reduction

Let $K=\mathbb{Q}(x,y)$ be a function field of genus at least 2, with defining equation $f(x,y)=0$ (say, absolutely irreducible and with coefficients not divisible by $p$), and let $k$ be the mod-$p$ ...
985 views

### Permuting collinear points on a curve

Let $C \subset {\bf CP}^2$ be an irreducible algebraic smooth (projectively) planar curve over the complex numbers of degree $d$ (we allow finitely many points to be deleted from $C$ to make it smooth)...
188 views

### Etale covers of products of curves

Is a finite etale cover of a product of curves again a product of curves? The answer is no in general. Here's one way to construct an example. Take the product $A$ of two elliptic curves and an ...
333 views

### Rationality of curve does not depend on base change

By a curve I mean an integral one-dimensional scheme of finite type over a spectrum of a field. Let $C$ be a curve over an arbitrary field $k$. It's probably a very well known fact, that $C$ is ...
156 views

### Hopf lemma for line bundles on curves in algebraic geometry

In the paper http://arxiv.org/pdf/math/0110256v1.pdf Claire Voisin proves that all linear subspaces which lie inside of a (not too big) secant variety of a smooth projective curve must lie inside one ...
214 views

### curves in varieties

Let $V$ be an affine algebraic variety defined over $\mathbb R$. We assume that $V\subset \mathbb A_n$(affine $n$ space). Suppose that for any algebraic curve $C$ in $V$ defined over $\mathbb R$, ...
190 views

### branch locus of the discriminant map $\overline{\mathcal{H}}_{g',r} \to \overline{\mathcal{M}}_{g,n}$

Let $\overline{\mathcal{M}}_{g,n}$ be the moduli space of pointed, stable, genus $g$ curves. Let $\overline{\mathcal{H}}_{g',r}$ be the hurwitz space of cyclic covers of degree $r$ of genus $g$ curves ...
283 views

### Finite number of points as intersection of two plane curves

How to prove that any finite set in the affine plane is realizable as intersection of TWO plane curves? Thanks.
194 views

### Complete Linear system on Del Pezzo surfaces

Is there always a reducible curve (EDIT: with exactly two irreducible components intersecting in at least 2 points) in a complete linear system (EDIT: of dimension at least 2 with curves of genus at ...
144 views

### Hodge bundle on F-curves

Let $\mathbb{E}\rightarrow\overline{M}_{g,n}$ be the Hodge bundle. Let us cosider an $F$-curve of type $\overline{M}_{1,1}\subseteq\overline{M}_{g,n}$. Is the degree of the restriction of $\mathbb{E}$ ...
450 views