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

19
votes
3answers
1k views

When do equations represent the same curve?

Suppose we have two sets of parametric equations $\mathbf c_1(u) = (x_1(u), y_1(u))$ and $\mathbf c_2(v) = (x_2(v), y_2(v))$ representing two 2D planar curves. When I say "2D planar curves" I mean ...
6
votes
1answer
127 views

Nonsingular projective variety of degree $d$

For each $d>0$ and $p=0$ or $p$ prime find a nonsingular curve in $\mathbb{P}^{2}$ of degree $d$. I'm very close just stuck on one small case. If $p\nmid d$ then $x^{d}+y^{d}+z^{d}$ works. If ...
25
votes
4answers
2k views

Intuitive explantions for the concepts of divisor and genus

When trying to explain AG-codes to computer scientists, the major points of contention I am faced with are the concepts of divisors, Riemann-Roch space and the genus of a function field. Are there any ...
11
votes
3answers
541 views

Applications of Belyi's theorem

Belyi's theorem (1979) is stated as follows: A smooth projective curve over $\mathbb C$ is defined over a number field if and only if there exists a finite morphism (of varieties over $\mathbb ...
10
votes
3answers
260 views

When is a Morphism between Curves a Galois Extension of Function Fields

My apologies if this question has already been answered somewhere on this site: when I searched, I could only find specific examples rather than the general question. It is known that the category of ...
6
votes
5answers
420 views

For $(x+\sqrt{x^2+3})(y+\sqrt{y^2+3})=3$, compute $x+y$ .

If $(x+\sqrt{x^2+3})(y+\sqrt{y^2+3})=3$, compute $x+y$.
5
votes
1answer
141 views

Why is the extension $k(x,\sqrt{1-x^2})/k$ purely transcendental?

Consider the function field $k(x,\sqrt{1-x^2})$ of the circle over an algebraically closed field $k$. Is $k(x,\sqrt{1-x^2})$ a purely transcendental extension over $k$? I'm curious because I was ...
2
votes
1answer
81 views

the diagonal $\Delta (Y) =\{(y,y)\in Y \times Y\}$ is closed in $\Bbb P^m \times \Bbb P^m $

Asumme that $\Pi : \Bbb P^n \times \Bbb P^m \rightarrow \Bbb P^m $is a closed map. $X\subset \Bbb P^n$ And $Y\subset P^m$ $f: X\rightarrow Y$ be a morphism of projective varieties. ...
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
3answers
288 views

Compactness of Algebraic Curves over $\mathbb C^2$

I was reading through Kirwan's Complex Algebraic Curves and I've been stuck on the following exercise: Given a (non-constant) polynomial $P(x,y)$, show that the curve in $\mathbb C^2$ defined by ...
3
votes
1answer
248 views

What is a field of definition of a morphism?

An algebraic variety $X$ over a field $K$ is a $K$-scheme integral separated and of finite type over $K$. Definition: If $L$ is a subfield of $K$ we say that $X$ is defined over $L$ if there ...
3
votes
1answer
212 views

General surface no lines

I've been studying surfaces recently and I came across the following statement: A general surface $S \subset \mathbb{P}^{3}$ of degree $m \geq4$ contains no lines. Does anyone have any idea how to ...
6
votes
1answer
654 views

Set that is not algebraic

I'd like some hints for the problem: Show that the following set is not algebraic: $$ \{ (\cos(t),\sin(t),t) \in \mathbb{A}^3 : t \in \mathbb{R} \} $$ Thanks.
1
vote
2answers
298 views

Number of solutions of an arithmetic function's equation

Say, an equation is given below \begin{equation} 2\pi(x) - \pi(2x)=\omega(x) \end{equation} where $x$ is a positive integer, $\pi(x)$ is the prime-counting function, and $\omega(x)$ is the number of ...
12
votes
2answers
5k views

How does one calculate genus of an algebraic curve?

I've been reading about parametrization of algebraic curves recently and the idea of the "genus of a curve" appears quite often (my impression is that a curve is parametrizable exactly when it has ...
6
votes
2answers
708 views

Geometric interpretation and computation of the Normal bundle

My question concern the definition, geometric meaning, and usage of the normal bundle in algebraic geometry. Let $X$ be a nonsingular variety over an algebraically closed field $k$, and $Y\subseteq ...
21
votes
3answers
2k views

What is a local parameter in algebraic geometry?

Shafarevich offers the following theorem-definition: "At any nonsingular point $P$ of an irreducible algebraic curve, there exists a regular function $t$ that vanishes at $P$ and such that every ...
11
votes
2answers
337 views

Why is it so difficult to find beginner books in Algebraic Geometry?

I don't understand why it is so difficult to find a really beginner book in Algebraic Geometry. Let's take for example Fulton's algebraic curves: An introduction to Algebraic Geometry. I've already ...
6
votes
1answer
588 views

Computing the monodromy for a cover of the Riemann sphere (and Puiseux expansions)

Given an irreducible polynomial $P(X,Y) \in \mathbb{C}[X,Y]$, one obtains by analytic continuation a Riemann surface $M$ with a branched covering $f \colon M \to \mathbb{P}^1_{/\mathbb{C}}$, ...
13
votes
1answer
426 views

What is the best way to see that the dimension of the moduli space of curves of genus $g>1$ is $3g-3$?

This fact was apparently known to Riemann. How did Riemann think about this?
13
votes
1answer
2k views

Explicit Derivation of Weierstrass Normal Form for Cubic Curve

In page 22-23 of Rational Points on Elliptic Curves by Silverman and Tate, authors explain why is it possible to put every cubic curve into Weierstrass Normal Form. Here are relevant pages: (My ...
12
votes
2answers
293 views

Can there be a point on a Riemann surface such that every rational function is ramified at this point?

Let $X$ be a compact connected Riemann surface, and let $S\subset X$ be a finite subset. Does there exist a morphism $f:X\to \mathbf{P}^1(\mathbf{C})$ which is unramified at the points of $S$? I'm ...
11
votes
2answers
199 views

Families of curves over number fields

Is there known a number field $K$ and a curve $F(x, y) \in K(t)[x, y]$ such that $F(x, y)$ does not have points over the field of rational functions $K(t)$ but for all but finitely many positive ...
10
votes
2answers
559 views

Is a divisor in the hyperplane class necessarily a hyperplane divisor?

Let $V$ be a smooth irreducible projective curve over an algebraically closed field $k$, embedded in some projective space $\mathbb{P}^n$, and let $[H]$ be the induced hyperplane divisor class on $V$. ...
6
votes
2answers
275 views

Is the circle a rational curve and what is its function field?

It does seem like the circle ($S^1=\{X^2+Y^2=1\}\subseteq k^2$ for $k$ a field) is a rational curve: it has parameterization $X=2T/(T^2+1)$ and $Y=(T^2-1)/(T^2+1)$. On the other hand, we have a ...
3
votes
1answer
117 views

Divisor on curve of genus $2$

I suffer from lack of concrete examples in Algebraic Geometry, so I will appreciate it if somebody can help me in understanding a bit better this one: Let $\mathcal{C}$ be a genus $2$ curve ...
0
votes
2answers
2k views

equation of a curve given 3 points and additional (constant) requirements

Given 3 pairs of coordinates, $x_1, y_1, x_2, y_2, x_3, y_3$, I need a function $y(x)$ that will return the $y$ coordinate of any $x$ coordinate between $x_1$ and $x_3$ (it can be assumed that $x_1 ...
12
votes
2answers
2k views

Irreducible components of the variety $V(X^2+Y^2-1,X^2-Z^2-1)\subset \mathbb{C}^3.$

I want to find the irreducible components of the variety $V(X^2+Y^2-1, \ X^2-Z^2-1)\subset \mathbb{C}^3$ but I am completely stuck on how to do this. I have some useful results that can help me ...
7
votes
0answers
647 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
1answer
346 views

Are varieties of Kodaira dimension zero precisely the varieties with torsion canonical sheaf

Let $B$ a smooth projective connected variety over $\mathbf C$. Suppose that $K_B$ is torsion. Then, clearly, the Kodaira dimension of $B$ is zero. Does the converse hold? That is, suppose that $B$ ...
6
votes
1answer
853 views

Basis for the Riemann-Roch space $L(kP)$ on a curve

Let $C$ be a smooth algebraic plane complex curve of degree $d$ defined as the zero locus of a homogeneous polynomial $F$. Let $P\in C$. For a positive integer $k$ consider the divisor $$D=kP$$ ...
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
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
2answers
157 views

Duality in algebraic de Rham cohomology

I am trying to prove that the following is a short exact sequence $$ 0 \rightarrow H^0(X,\Omega_X) \rightarrow H^1_{\text {dR}}(X/k) \rightarrow H^1(X,\mathcal O_X) \rightarrow 0, $$ where $k$ is an ...
-4
votes
1answer
141 views

How can I get smooth curve at the sigmoid function?

I'm trying to implement the sigmoid curve by using the following function. A is 3.2505508013 B is 1.5223545069 and K is 0.56. ...
9
votes
1answer
213 views

Weil does not imply Cartier on variety $X$.

Show that the divisor $D$ defined by $a = b = 0$ in the variety $X \subset \mathbb{A}^4$ defined by $ad - bc = 0$ $($the cone on a smooth quadric surface$)$ is not locally principal. My attempt ...
8
votes
2answers
297 views

Equations for double etale covers of the hyperelliptic curve $y^2 = x^5+1$

Let $X$ be the (smooth projective model) of the hyperelliptic curve $y^2=x^5+1$ over $\mathbf C$. Can we "easily" write down equations for all double unramified covers of $X$? Topologically, these ...
8
votes
1answer
274 views

Tangent sheaf of a (specific) nodal curve

Given a nodal (= reduced, connected, projective, having only ordinary double points as singularities) curve $C$ consisting of 5 $\mathbb P^1$ labeled $C_0, D_1, D_2, D_3, D_4$ such that $D_i$ ...
6
votes
2answers
155 views

Normal bundle of twisted cubic.

Let $C$ be a twisted cubic in $\mathbb P^3$. I'd like to compute the splitting type of normal bundle $N_{C/\mathbb P^3}$? I understood that $T_{\mathbb P^3}|_C=\mathcal O(4)^{\oplus 3}.$ So we have an ...
6
votes
1answer
165 views

Conic by three points and two tangent lines

With the exception of degenerate situations, a conic is uniquely determined by five points lying on it. Likewise, five lines tangent to a conic uniquely define that conic. With four points and one ...
5
votes
2answers
131 views

Divisors of differentials.

Let $\mathbb{C}$ be the base field. Suppose $C \subset \mathbb{P}_2$ is a nonsingular projective curve of degree $d > 3$. Must it be the case that $D \in \text{Div}(C)$ is the divisor of a ...
5
votes
1answer
140 views

projective cubic

I have some difficulties to prove that the image of the function $f:\,\mathbb P^1\longrightarrow\mathbb P^3$ such that $$(u,v)\longmapsto (u^3,\,u^2v,\,uv^2,\,v^3)$$ is the algebraic projective set ...
4
votes
2answers
308 views

Definition of intersection multiplicity in Hartshorne VS Fulton for plane curves

In exercise I.5.2 in Harshorne there is the following definition of intersection multiplicity for two curves in $\mathbb{A}^2$: \begin{equation} \mathrm{length}_{\mathcal{O}_P}\mathcal{O}_P / (f,g) ...
3
votes
0answers
125 views

Question about cusp cubic example in Hartshorne

In Hartshorne's Algebraic Geometry, in Chapter II.6 on Divisors he computes the Cartier class group (denoted $\operatorname{CaCl}$) of the cuspidal cubic cut out by $y^2z=x^3$ in $\mathbb{P}^2$. He ...
3
votes
2answers
303 views

Pole set of rational function on $V(WZ-XY)$

Let $V = V(WZ - XY)\subset \mathbb{A}(k)^4$ (k is algebraically closed). This is an irreducible algebraic set so the coordinate ring is an integral domain which allows us to form a field of fractions, ...
3
votes
1answer
124 views

Formula for index of $\Gamma_1(n)$ in SL$_2(\mathbf Z)$

Is there a precise formula for the index of the congruence group $\Gamma_1(n)$ in SL$_2(\mathbf Z)$? I couldn't find it in Diamond and Shurman, and neither could I find an explicit formula with a ...
2
votes
1answer
75 views

All polynomial parametric curves in $k^2$ are contained in affine algebraic varieties

I have started working through the textbook Ideals, Varieties, and Algorithms by Cox, Little, and O'Shea and I am stuck on one part of an introductory question. The question begins by getting one to ...
2
votes
1answer
555 views

what is genus of complete intersection for: $F_1 = x_0 x_3 - x_1 x_2 , F_2 = x_0^2 + x_1^2 + x_2^2 + x_3^2$

In the below problem I want to answer second part: Show that the curve in $\mathbb{P}^3$ defined by the two equations $x_0 x_3 = x_1 x_2$ and $x_0^2 + x_1^2 + x_2^2 + x_3^2 = 0$ is a smooth complete ...
1
vote
0answers
30 views

Solving the curve equation for logarithmic decay using two anchor points.

I would like to have an adaptable logarithmic curve equation that I can then find y for any value of x. I have two points (x1,y1) and (x2,y2). My data requires constant decay (financial discounting ...
1
vote
2answers
77 views

$V=\mathcal{Z}(xy-z) \cong \mathbb{A}^2$.

This question is typically seen in the beginning of a commutative algebra course or algebraic geometry course. Let $V = \mathcal{Z}(xy-z) \subset \mathbb{A}^3$. Here $\mathcal{Z}$ is the zero locus. ...