An algebraic curve is an algebraic variety of dimension one. An affine algebraic curve can be described as the zero-locus of $n-1$ independent polynomials of $n$ variables in affine $n$-space over a field. Examples include conic sections, compact Riemann surfaces and elliptic curves. Singularities ...

learn more… | top users | synonyms

70
votes
0answers
1k views

Geometric interpretation of the Riemann-Roch for curves

Let $X$ be a smooth projective curve of genus $g\geq2$ over an algebraically closed field $k$ and denote by $K$ a canonical divisor. I have some clues about the geometrical interpretation of the ...
19
votes
0answers
366 views

Intersection of twisted cubics in $\mathbb{P}^3$

Suppose we have two twisted cubics $C_1$, $C_2$ in $\mathbb{P}^3$ such that both of them lie in some cubic surface, which means that $h^0(\mathbb{P}^3, I_{C_1\cup C_2}(3))>0$. I want to show that ...
12
votes
0answers
142 views

Intuitive/geometric way of thinking about effective divisors?

What is the motivation/intuition/geometric way of thinking about an effective divisor? I know that a divisor is effective if all its coefficients are non-negative. We write $D \ge 0$ for ...
12
votes
0answers
294 views

Maximum number of intersection points of two different Bernoulli lemniscates

What is the maximum number of intersection points of two different Bernoulli lemniscates in the real plane? (Of course two identical lemniscates share an infinite number of points.) Here are ...
9
votes
0answers
105 views

Relationship between twisting sheaves and divisor sheaves

I'm not really entirely sure how to think about Serre's twisting sheaves $\mathscr{O}(i)$ - on any $\text{Proj}$ construction, really, but let's stick to something like $\mathbb{P}_2$ for now for ...
9
votes
0answers
185 views

Tropical-like redefinitions of addition and multiplication?

I've been impressed at the rich structure of tropical mathematics, all consequences of the seemingly mundane starting point of replacing classical $a+b$ by $\min(a,b)$ (or max), and replacing ...
7
votes
0answers
207 views

Why do algebraic varieties contain curves passing through two given points

Let $X$ be an algebraic variety over the complex numbers. My definition of an algebraic variety is a finite type separated $\mathbf C$-scheme. Someone told me that such varieties have the following ...
7
votes
0answers
111 views

A Regular Map Has Finitely Many Ramification Points

Let $C,D$ be nonsingular projective curves, $f \colon C \to D$ nonconstant, $K = k(C), L = k(D)$, $d = \text{deg }f = [K:L]$, and of course $k$ algebraically closed. Furthermore let's suppose that ...
7
votes
0answers
249 views

Do Neron models of hyperbolic curves exist

Let $X$ be a smooth projective geometrically connected curve over a number field $K$. Assume that $g\geq 2$. Does there exist a Neron model $\mathcal X$ for $X$ over $O_K$? By a Neron model, I mean ...
7
votes
0answers
648 views

A problem about the twisted cubic

I have some difficulty with the following problem: Let $f : k → k^3$ be the map which associates $(t, t^2, t^3)$ to $t$ and let $C$ be the image of $f$ (the twisted cubic). Show that $C$ is an ...
6
votes
0answers
108 views

Siegel's Theorem for Genus 0 Curves over Function Fields

Let $V$ be a quasi-projective algebraic curve over a field $k$. Are there finitely many morphisms from $S$ to the triply-punctured sphere $\mathbb{P}^1 -\{0,1,\infty\}$? This is true if $k = ...
6
votes
0answers
69 views

Finding equations for projective curves, low genus, Riemann-Roch.

Let $C \subset \mathbb{CP}^n$ be a nonsingular projective curve, and let $L \subset \mathbb{CP}^n$ be a hyperplane. We have that $L \cdot C$ is a divisor $H$ on $C$ if $C \subset L$. Let $R = ...
6
votes
0answers
91 views

For this morphism of integral schemes $X\to Y$, if $X$ is geometrically reduced (irreducible) then is $Y$ also geometrically reduced (irreducible)?

Let $k$ be an arbitrary field. Suppose that $C/k$ is an integral curve which is birationally equivalent to a projective line. Is it true that $C$ is geometrically reduced and irreducible? This is of ...
5
votes
0answers
152 views

Why is the morphism induced by this linear system birational?

I have seen (what seems to be) the following statement used in a few places, but I am not sure why it is true. Any explanation as to why it is (or is not) true would be appreciated. Let $P$ be a ...
5
votes
0answers
71 views

Is the union of two projective curves in the projective plane a projective curve?

As the title suggests, is the union of two projective curves in the projective plane a projective curve? Any help would be appreciated, thanks.
5
votes
0answers
176 views

Homogenous polynomial and partial derivatives

I'm struggling to understand this part in a book I'm reading: Let $F$ be a projective curve of degree $d$ with $P\in F$. Wlog, suppose $P=(a:b:1)$. Let's look the affine chart $(a,b)\mapsto ...
5
votes
0answers
128 views

Curves of fixed genus and degree lying on a cubic surface

I would like to prove the following statement: Let $C\subseteq \mathbb{P}^{3}$ be an irreducile nonsingular curve of arithmetic genus $g_{a}(C)=24$ and degree $d(C)=14$. Then there exists an ...
5
votes
0answers
134 views

Line bundles over a curve

I keep seeing statements like that and I don't know how they might be established: Let $k \subset \bar{k}$ be fields, $C \rightarrow Spec(\bar{k})$ be a curve and $\mathscr{L}$ a line bundle on $C$. ...
5
votes
0answers
83 views

Can we make topological covers of $\mathbf{P}^1$ minus three points into schemes

Let $k=\overline{\mathbf{Q}}$. Fix a finite closed subset $B\subset \mathbf{P}^1_k$. Let $X$ be a "nice" topological space and suppose that there is a continuous morphism $f:X\to \mathbf{P}^1_k-B$. ...
5
votes
0answers
456 views

An argument on page 62 of Griffith's book, “Introduction to Algebraic Curves”

I am a bit confused about some of the things that Griffiths says on page 62 of his book, Introduction to Algebraic Curves. I am not sure how I can reproduce the text here. I can see that GoogleBooks ...
5
votes
0answers
363 views

The Milnor Conjecture on the Unknotting Number of a Torus Knot

Let $f \colon (\mathbb{C}^{n},\mathbf{0}) \to (\mathbb{C},0)$ be a complex analytic function with isolated critical point at the origin. Define the singular hypersurface $V_{f, \kappa} = ...
4
votes
0answers
40 views

Which curves have reflexive structure sheaf?

Let $C$ be a curve, i.e. a purely one-dimensional scheme, embedded in a smooth projective threefold $X$. For a coherent sheaf $E$ of codimension $c$ on $X$, let $E^D=\mathscr Ext_X^c(E,\omega_X)$ be ...
4
votes
0answers
71 views

Is there some relationship between algebraic curves and partial differential equations that goes beyond classifying different PDE's

I ask primarily because despite not having taken that many math classes (up to two semesters of a PDE class in college), it would be very interesting if maybe we could gain intuition regarding ...
4
votes
0answers
52 views

Use of the Bezout's theorem in Abstract Algebra

The Bezout's theorem: Let $C$ and $D$ be two plane curves described by equations $f(X,Y) = 0$ and $g(X,Y) = 0$, where $f$ and $g$ are nonzero polynomials of degree $m$ and $n$, respectively. ...
4
votes
0answers
61 views

Do retractions exist only on rational curves?

I read the following in Eisenbud's Commutative Algebra with a view .... Let $k$ be an algebraically closed field. Recall that a retract is a morphism which is a retraction of the inclusion, and $X$ is ...
4
votes
0answers
79 views

Qing Liu's definition of an algebraic variety, a non-separated line

First, a little reminder. In Qing Liu's Book on algebraic Curves, algebraic varieties are defined as Let $k$ be a field. An affine variety over $k$ is the ...
4
votes
0answers
81 views

What's an algebraic curve's polar line for?

I can take an algebraic curve, and I can draw its first polar. By this, I mean that I can take an arbitrary point not on the algebraic curve, and then I can identify all the points on that algebraic ...
4
votes
0answers
158 views

Newton's Investigation of Cubics: Generalization?

I recently read about Newton's investigation of cubic curves, and how, like for quadratic curves we can classify them into parabolas, ellipses and hyperbolas, Newton was able to classify cubic curves ...
4
votes
0answers
162 views

When do two integral superellipses have 'nice' intersections?

A recent question posed the nonlinear system \begin{cases} 3x^3+4y^3=7\\ 4x^4+3y^4=16 \end{cases} for real $(x,y)$ and asked for the sum $x+y$. As noted by commentary in the question, this regrettably ...
4
votes
0answers
92 views

On the bidegree of a curve in $\mathbb{P}^1 \times \mathbb{P}^1$

I was reading Beauville's Complex algebraic surfaces, at page 5 there is an example in which curves in $\mathbb{P}^1 \times \mathbb{P}^1$ are classified by the bidegree up to linear equivalence. I'm ...
4
votes
0answers
146 views

Computing Riemann surfaces of a given algebraic function

I've never seen written in a book a way or an algorithm for computing Riemann surfaces of a given algebraic function. I would like to know how to construct such Riemann surface using intuitive cutting ...
4
votes
0answers
139 views

no morphism between curves of different genus

Let $C_1,C_2$ be two smooth irreducible curves of genus 4,3 resp. Prove there is no morphism $\phi: C_1 \to C_2$. Well, the tool of treating genera is Hurwitz's theorem, which says here that ...
4
votes
0answers
58 views

Morphisms of affine line into a curve of higher genus

Let $X$ be a smooth curve of genus $\geq 1$ over a field $k$. How does one show that any $k$-morphism $f: \mathbb A^1_k \to X$ has to be constant? In general, is it true that any morphism $Y \times ...
4
votes
0answers
77 views

Algebraical Fujita cancellation

If there exists some birational equivalence between ruled surfaces $C\times\mathbb{P}^1$ and $C'\times\mathbb{P}^1$ over a sufficiently nice field, then one can cancel the projective line and conclude ...
4
votes
0answers
42 views

Lifting extensions of sheaves

Consider a curve $X_0$ over an algebraically closed field $k$. Let $A$ be a local Artinian ring over $k$ and $X$ a scheme over $A$ with $X \otimes_A k = X_0$. For a sheaf $F$ on $X$ we denote by $F_0$ ...
4
votes
0answers
64 views

Vanishing of sections and special divisors

Let $L$ be a line bundle on a smooth complex projective curve $X$. Suppose we have vector subspaces $$U\subset V\subset H^0(X,L),\,\,\,\textrm{and}\,\,\,\dim\, U\leq k,\,\,\dim\,V=k+1.$$ I wonder if ...
4
votes
0answers
436 views

Cardinality of the Fiber of a Finite Morphism Vs. Degree (via Vakil)

I would like to show the following (note: it is not an assigned problem, so it may be false) (EDIT: Indeed it is false, see end of post): Suppose $f:X \rightarrow Y$ is a finite, surjective morphism ...
4
votes
0answers
92 views

Group actions on Čech cohomology

Suppose we have a curve $X$ and a group $G$ acting on $X$. Then one has an induced action of $G$ on the sheaf cohomology of $\mathcal O_X$. I wondered what one can say about the group action on the ...
4
votes
0answers
142 views

When is an intersection of varieties finite

Consider the general Bezout's theorem: If $p_1 \ldots p_n$ are polynomials with degrees $d_1,\ldots, d_n$ in $\mathbb{R}[x_1,\ldots,x_n]$, with $V = \{a=(a_1,\ldots, a_n) | p_i(a) = 0, \forall i\}$ ...
4
votes
0answers
149 views

If $X\times C$ is isomorphic to $Y\times C$, does it follow that $X$ is isomorphic to $Y$

Let $k$ be a field. Let $X$, $Y$ and $C$ be varieties over $k$ such that $X\times_k C $ is isomorphic to $Y\times_k C$. Assume that $C$ is a curve. (The varieties $X$, $Y$ and $C$ are assumed to be ...
4
votes
0answers
67 views

Automorphism of $L|K$ mapping 3 distinct rational points of $S_{L|K}$ to other 3 distinct ones

Let $K$ be a field and consider $L = K(x)$ the field of rational functions. Let $v_{1}, v_{2}, v_{3}$ rational points in the abstract Riemann surface $S_{L|K}$, distinct from each other, and $w_{1}, ...
4
votes
0answers
264 views

intersection multiplicity and partial derivatives of algebraic curves

this will probably be an easy-to-answer and a not-well-posed question, since I'm a total beginner in the field, but here goes: Let $V(F)$ and $V(G)$ be two projective curves in $\mathbb{P}^2$ ...
3
votes
0answers
70 views

About birational map between curves of the form $y^{2}=g(x)$

I'm trying to solve the following exercise but I'm stuck after trying for a long time. Suppose that $g(x)=ax^{4}+bx^{3}+cx^{2}+dx+e\in{k[x]}$ and similarly ...
3
votes
0answers
70 views

Proof of Chapter 2 Proposition 2.6a in Silverman Arithmetic of Elliptic Curves

The following is Proposition 2.6(a) in Silverman's AEC: "Let $\phi: C_1 \rightarrow C_2$ be a nonconstant rational map of smooth (projective) curves over an algebraically closed field $K$. Then ...
3
votes
0answers
19 views

If ${L_1} \subseteq {L_2}$ and and $L_1$ is union of continuous curves and $L_2$be algebraic curve. Can we say that $L_1$ is piecewise $C^∞$ curve?

Let $L_2=\{(x,y):x,y\in R,f(x,y)=0\}$ be algebraic curve, and $f(x,y)$ is polynomial. If ${L_1} \subseteq {L_2}$ and $L_1$ is union of continuous curves. Can we say that $L_1$ is piecewise $C^∞$ ...
3
votes
0answers
87 views

Geometric interpretation of algebraic property

Let $X \subset \mathbb{C}^n$ be an irreducible affine algebraic curve with coordinate ring $$\mathbb{C}[X] = \mathbb{C}[z_1, \ldots, z_n] / (f_1, \ldots, f_m ) $$ with each $f_i \in \mathbb{Z}[z_1, ...
3
votes
0answers
46 views

Polar forms of algebraic curves & surfaces

A paper I'm reading says the following ... With homogeneous coordinates $\mathbf{x} = [x,y,z,w]$, let $F(\mathbf{x}) = 0$ be the equation of a surface of degree $n$. The first polar form of ...
3
votes
0answers
56 views

Automorphism of elliptic curve, Vakil 19.10.E

There are many other proofs of finding all the possible automorphism groups of elliptic curves, but I am interested in the $Hint$ and the corresponding proof in the following exercise from Vakil's ...
3
votes
0answers
71 views

Question on a “dual form” of $F$ that caprures the singularity of a plane section of $F$

In an article I was reading the notion of dual form came up, which I write down below. I was interested in learning more about this and I have two questions regarding it. This is how it came up: ...
3
votes
0answers
26 views

Reference to an atlas of curves and surfaces?

I remember at more than one university math department there being a set of glass cabinets with a number of physical models of surfaces. They were all algebraic varieties on the reals (of limited ...