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

17
votes
3answers
798 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
106 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 ...
20
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 ...
6
votes
5answers
406 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
114 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
76 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. ...
3
votes
1answer
179 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 ...
6
votes
1answer
490 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.
3
votes
1answer
143 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 ...
0
votes
2answers
239 views

Number of solutions of arithmetic funtion'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 ...
21
votes
3answers
1k 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 ...
9
votes
2answers
236 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
489 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}}$, ...
5
votes
2answers
316 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 ...
11
votes
3answers
397 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 ...
12
votes
1answer
301 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?
11
votes
1answer
1k 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 ...
11
votes
2answers
266 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 ...
10
votes
2answers
415 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
240 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
83 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
1k 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 ...
11
votes
2answers
195 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 ...
7
votes
0answers
559 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 ...
4
votes
0answers
153 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
116 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
1answer
128 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
100 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. ...
8
votes
2answers
257 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
247 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
1answer
656 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$$ ...
5
votes
2answers
98 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
110 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 ...
4
votes
0answers
325 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
214 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
2answers
226 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, ...
2
votes
1answer
409 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
2answers
233 views

Does the projective Fermat curve have singular points?

I want to check if the projective Fermat curve, $$X^n+Y^n+Z^n=0, n \geq 1$$ has singular points. Could you give me a hint how we could do this? Do we have to check maybe if the curve is ...
1
vote
1answer
148 views

through two points passes an unique line and generalizations

I would like to prove for each integer $d\ge 1$, there are $\frac{d(d+3)}{2}$ points in the plane for with passes exactly a curve of degree $d$. For $d=1$, according to the statement there are 2 ...
0
votes
0answers
61 views

How to find the tangent vector to a curve at a special point

The two points $A=(x_{0},y_{0},z_{0})$ and $B=(x_{1},y_{1},z_{1})$ are given. The line segments $AC$ and $BC$ make equal angle $\alpha$ with the horizontal plane through $C$. The angle ...
6
votes
1answer
154 views

explict form of the equation of elliptic curve

Let $E(\mathbb{F}_{q^2})$ is elliptic curve with #$E(\mathbb{F}_{q^2}) =q^2 + q + 1$. Can we write equation of this curve in the explicit form?
6
votes
1answer
287 views

Why is Klein's quartic curve not hyperelliptic

Let $X$ be Klein's quartic curve given by $x^3y + y^3z+z^3x=0$ in $\mathbf{P}^2$. It is isomorphic to $X(7)$. How do I easily show that $X$ is not hyperelliptic? I can see that $X$ is of genus $3$ ...
5
votes
0answers
137 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 ...
5
votes
1answer
100 views

Normal curve after base change (p > 0)

Suppose that $C$ is a normal projective curve over some base field $k$, possibly of positive characteristic. I am wondering to what extent one can modify the base field $k$ while not braking the ...
4
votes
4answers
129 views

Why $y=e^x$ is not an algebraic curve?

Why $y=e^x$ is not an algebraic curve over $\mathbb R$? I can say that is not a algebraic curve over $\mathbb C$ because $e^x$ is a periodic function, but what about $\mathbb R$? EDIT: I don't want ...
3
votes
2answers
172 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
1answer
53 views

Valuation rings and total order

Let $K$ be a field and $\mathcal{O}$ be a valuation ring of $K$ (So $\mathcal{O}\subset K$ is an integral domain with the property that either $x$ or $x^{-1}$ is in $\mathcal{O}$ for all $x\in K$). ...
3
votes
4answers
267 views

how to find the equation of one curve in XY plan which satisfies such functions?

I want to find the equation of one curve in $X-Y$ plan which satisfies the functions as follows: 1) $A(x_1,y_1)$, $B(x_2,y_2)$ are two known points and $f(x,y)$ (or $y(x)$) is the equation of the ...
3
votes
1answer
92 views

The intersection numbers in Fermat curve

I'm a beginner in this subject and I think this "easy" exercise could help me to have more practice in basic algebraic curves. Let $F=X^{p+1}+Y^{p+1}+Z^{p+1}$ be a Fermat curve in the field $k$, with ...