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

61
votes
0answers
1k views
+500

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 ...
17
votes
0answers
342 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
131 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
268 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 ...
10
votes
0answers
127 views

Multiplicity of point as a zero of polynomial.

Let $C \subset \mathbb{P}_2$ be a projective curve defined by a homogeneous polynomial $P(x, y, z)$, and let $L \subset \mathbb{P}_2$ be the line $\{z = 0\}$. Assume $L$ is not a component of $C$. If ...
9
votes
0answers
99 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 ...
8
votes
0answers
182 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
193 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
106 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
246 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
616 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
106 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
66 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
87 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
146 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
70 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
173 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
117 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
444 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
358 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
38 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
69 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
50 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
72 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
76 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
154 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
160 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
82 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
136 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
131 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
56 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
75 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
399 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
91 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
137 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
145 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
260 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
24 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 ...
3
votes
0answers
48 views

The Picard group of an Elliptic Curve

Let $(E,O)$ be an elliptic curve. Let $\operatorname{Pic}^0(E)$ stand for the divisors that have degree $0$ where : $$D = \sum_{p\in E}n_p(P) \text{ and } \deg D = \sum_{p\in E}n_p.$$ I understand ...
3
votes
0answers
67 views

Does roots of L-polynomial of curve being roots of unity imply the curve is supersingular?

If $C$ is a supersingular curve over $\mathbb F_q$, then $\frac1{\sqrt q}$ of roots of $L$ function are roots of unity. What about converse? If $\frac{1}{\sqrt q}$ of roots of $L$ polynomial are ...
3
votes
0answers
49 views

Tricks to find $\dim H^0(O(D)(n))$

Let $X$ be a curve of genus $g\neq 0$ and $D$ a divisor on $X$. If $n \in \mathbb{Z}$ and $O(D)(n)=O(D)\otimes O(n)$ is the twist of $O(D)$ by $n$, there is a manageable proceedings to find the ...
3
votes
0answers
64 views

Explicit computation of Serre duality

Given a projective non-singular curve $X$, the a Serre duality asserts an isomorphism between $H^0(X,\Omega^1_X)$ and dual of $H^1(X,\mathcal{O}_X)$. My question is how to compute the dual elements in ...
3
votes
0answers
35 views

Is the given set an open subset of the $\mathcal{G}^r_d(|L|)$

Let $X$ be a smooth projective surface over $\mathbb{C}$. Let $L$ be a very ample line bundle on $X$. We have a variety $\mathcal{G}^r_d(|L|_s)$ associated to the linear system of curves $|L|$. The ...
3
votes
0answers
38 views

Arakelov Theory and Arakelov curves

There exists a definition of Arakelov Curve in Arakelov theory? My question is because Neukirch (Algebraic Number Theory, Chapter III) defined Arakelov divisors in the set $X=Spec(\mathcal ...