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

4
votes
2answers
61 views

Given $\omega_i \in \Omega_X(U_i)$ can I find $f\in {\cal O}_X(\cap U_i)$ so that $df = \omega_1 - \omega_2$

As per this question: Duality in algebraic de Rham cohomology I am trying to show that the map $H^1(X,\Omega_X) \rightarrow H^2_{\text dR}(X/k)$, where $X$ is a projective algebraic curve over an ...
3
votes
1answer
39 views

Help in this question in Fulton's algebraic curves

I'm trying to solve this question: In item (a) I used the fact $O_a(V)$ is a Noetherian local ring and the only maximal ideal is $(x-a)$. First note that the non-units of $O_a(V)$ are the elements ...
4
votes
1answer
56 views

What is this cycle on the Jacobian of a curve?

Let $C$ be a curve and $J$ it's Jacobian. There is the standard Abel-Jacobi map $a:C\rightarrow J$ which is given by $Q\rightarrow Q-P$ for some fixed point $P$ (here I am regarding $J$ as the degree ...
0
votes
1answer
19 views

which regression is better

suppose that we have two input vector and the variables in each vectors are independent and uncorrelated from each other,just only there is relationship between two vector,but not itself in ...
1
vote
1answer
65 views

Why is this is an equivalence relation?

Fulton makes the following definitions: After he defines an equivalence relation: The definitions he made seems very obscure to me and if anyone could show why this relation is an equivalence ...
5
votes
1answer
77 views

What is normal crossing?

I could not find any reference for normal crossings. The definition here is not so clear to me. In some texts, they sometimes said that two varieties have normal-crossing (non-normal crossing) with ...
3
votes
1answer
62 views

Why there is a minimal element of this set

I'm trying to understand this proof: I know intuitively, but Why formally there is such a minimal element? I need help Thanks
2
votes
1answer
64 views

Vanishing of $R^1f_*\mathcal O_X$

I am probably missing something obvious here, but none the less, here goes: Is the following statement (or perhaps some minor modification of it) true and if so, why: $R^1f_*\mathcal O_X = 0$ for a ...
4
votes
1answer
50 views

Smoothness of the Picard group of a smooth curve

Let $X$ be a smooth projective curve over $k=\bar{k}$ and denote its Picard group by $\operatorname{Pic}(X)$, with the usual scheme structure coming from the representability of the relative Picard ...
1
vote
1answer
84 views

Prove that a curve in P^n of degree n not contained in a hyperplane is rational

The set up is as stated above. We have a projective curve $X$ of degree n embedded in $\mathbb{P^n}$, which is not contained in any hyperplane. We claim that it is therefore rational. The way I have ...
0
votes
0answers
11 views

Easy question about coordinate rings

Let $C=V(x^2+y^2-1)$ be an affine algebraic curve. In an online course the professor said $\varphi=\frac{x-1}{y}\in A(C)$, but he didn't explain why. I would like to know how he gets this function ...
4
votes
1answer
63 views

inconsistency of the Plücker's formula

I'm a beginner in algebraic curves and as an exercise I'm playing with the Plücker's formula. I'm finding some inconsistency in these formulas and I would like to know where I'm wrong. We know the ...
2
votes
0answers
27 views

Bitangents corresponds to nodal points in the dual space

I'm beginning to study algebraic curves and I couldn't prove if we have $L$ a line bitangent to $F$, i.e, there are points $p_1, p_2\in F$, such that $L=T_{P_1}F=T_{P_2}F$, then $P_L\in F^\vee$ is a ...
4
votes
1answer
94 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 ...
0
votes
1answer
47 views

Why the inverse of the matrix in this definition

We have this definition: I didn't understand why in this definition we just define $F^A$ to be $$F^A(X_0:X_1:X_2)=F\bigg((X_0:X_1:X_2)A\bigg)$$ $F^A$ is not the composition $F\circ c$? Why ...
3
votes
0answers
97 views

$XY^4+YZ^4+XZ^4$ has no singular points

In the question 5.1 in the Fulton's algebraic curves book he asked to find the multiple points of $$F=XY^4+YZ^4+XZ^4$$ Calculating the partial derivatives, we have: $\frac{\partial F}{\partial ...
2
votes
2answers
27 views

Help in this very basic example in algebraic curves

I'm trying to understand this example: I didn't understand why the second factor describes a point of intersection $q$, since the second factor doesn't vanish at $q$. Anyone can clarifies this for ...
3
votes
1answer
73 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 ...
1
vote
0answers
36 views

Vector bundle on a transversal intersection

Consider a curve $X$ (over a field $k$), which is an union of two smooth and connected curves $C$ and $D$ meeting at exactly one point $P \in X$ transversally. Let $E$ be a vector bundle on $X$ such ...
2
votes
1answer
64 views

existence of a line on a cubic surface

I'm trying to understand the proof in Miles Reid's book: Undergraduate Algebraic Geometry, that: "there exists at least one line l on S", where S is a non-singular cubic surface. In the book the proof ...
3
votes
1answer
66 views

Degree of the dual curve to $XY^2 - Z^3$

I have a question about the dual curve to the curve $C$ cut out by the equation $F(X,Y,Z) = XY^2 - Z^3 = 0$ in $\mathbb{P}^2$. (Assume that everything is over an algebraically closed field of ...
2
votes
1answer
30 views

Singular varieties

Let $y^2=x^3+ax+b$ and V be its affine variety. V is singular iff $y^2-x^3-ax-b$, 2y, and $3x^2+a$ have a common zero iff $x^3+ax+b$ and $3x^2+a$ have a common zero iff $x^3+ax+b$ has a multiple root. ...
0
votes
1answer
32 views

Bijection between the projective plane and its dual

I didn't understand why we can't identify the projective plane with its dual. Let's take for example a line $L=aX+bY+cZ$ with $(a,b,c)\neq (0,0,0)$ in the projective plane $\mathbb P^2$. The dual ...
2
votes
1answer
38 views

Intersection number of the tangent at the Inflexion point of $y=x^3$

We know that the intersection number of this curve $f=y-x^3$ and its tangent at the origin is $3$. I'm trying to use this method described in the Fulton's book: Following this definition we have ...
1
vote
1answer
64 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 ...
4
votes
0answers
81 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 ...
2
votes
2answers
124 views

Selecting a book for a reading course in Algebraic Geometry

I'm not sure if this is an appropriate question in this forum, but here is the situation. I must begin by saying that I know basically nothing about Algebraic Geometry, but this semester I will be ...
5
votes
1answer
57 views

Finding all morphism from a variety to itself

Let $$C:=X^2+Y^2-Z^2$$ be a projective variety in $\Bbb P^2$. What are all the morphisms $C\to C$ ? More generally, how does one find all morphisms from a given variety to itself? ...
3
votes
2answers
104 views

$Im(\phi)$ is closed subset of $\mathbb{A}^2$

let $\alpha(t)$ and $\beta(t)$ $\in$ $K[t]$ , $\phi(t)=(\alpha(t),\beta(t))$ is a morphism from $\mathbb{A}^1$ to $\mathbb{A}^2$ show that $Im(\phi)$ is closed subset of $\mathbb{A}^2$. it seems ...
4
votes
0answers
120 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 ...
2
votes
0answers
80 views

Parametrization of the cuspidal cubic

I didn't understand why the method works fine to find the parametrization of the cuspidal curve: I didn't understand why finding these intersections points will give me the whole curve. thanks
3
votes
2answers
93 views

Parametrization of the line in the projective space

Let $L=aX+bY+cZ$ be a line in the projective space, the book I'm using states that every such line has the following parametrization: $$\varphi:\mathbb P^1\to L, \ (t:s)\mapsto ...
0
votes
0answers
49 views

Construction of rational function on projective curve

Let $k(X)$ be the rational function field of $X,$ where $k$ is an algebraically closed field and $X$ is a nonsingular projective curve. Let $U \subseteq X$ be open and let { $U_{i}$ }, $i\in I,$ a ...
8
votes
1answer
87 views

Inhomogeneous polynomial and points at infinity

Let $f=X^2-Y$ be a polynomial in $k[X,Y]$, so $V(Z)$ is a parabola: $V(f)$: According to Bézout theorem the $y$-axis has to intersect the parabola two times. We know the y-axis meets the ...
3
votes
1answer
79 views

Example of a curve of genus $4$

I'd like to put my hands on some polynomial defining a curve of genus $4$, living in the plane or in the 3D space. Do you know about any? Is there any procedure to build one? The best would be one ...
0
votes
1answer
34 views

Rational locus of a function defined on $x^2+x^3=y^2$

We have a curve $X$ on $\mathbb{A}^2$ given by $y^2=x^2+x^3$. Consider the rational function $f$ on $X$ which maps $(x,y)\in X$ to $\frac{y}{x}$. There is a nice geometric interpretation of $f$: if we ...
0
votes
0answers
47 views

When is $\mathcal{H}om$ functor exact in the category of presheaves

Let $C$ be a projective $\mathbb{C}$-scheme of pure dimension $1$. Suppose that $C$ is local complete intersection in $\mathbb{P}^3$. Let $C_1$ be an irreducible component of $C$, also of pure ...
3
votes
1answer
53 views

Alternative models of a hyperelliptic curve

I am studying some particular examples of hyperelliptic curves and their automorphism groups (from this paper, if it is of interest). It is mentioned in the paper to understand the automorphism of ...
0
votes
0answers
30 views

Smooth conics in linear subspaces of $S^2U^*$

Let $U$ be some $3$-dimensional vector space over some field $\mathbb{k}$. It is possible to consider the projective space $\mathbb{P}(S^2U^*)$ as a space of conics on the projective plane ...
2
votes
1answer
144 views

Projective equivalence

Definition Two projective plane curves $F$ and $G$ are projectively equivalent if there is a $\varphi_A\in PGL_2(k)$ such that $F(x,y,z)=G(a_{00}x+a_{01}y+a_{02}z,a_{10}x+a_{11}y+a_{12}z, ...
2
votes
0answers
142 views

Normalization of a curve

This is a point in an exercise given during my Commutative Algebra course. Let $k$ be an algebraically closed field with characteristic different from $2$. Let $R=\frac{k[x,y]}{(y^{2}-f(x))}$, where ...
0
votes
0answers
29 views

Questions on linear subspace of a projective space

I am a bit confused by the definition of the linear subspace of a projective space. It says in a book "Algebraic Geometry: A first course" by Joe Harris on page 5 that An inclusion of subspace ...
1
vote
0answers
134 views

What is the parametric and cartesian equation of a hyperbolic paraboloid formed by the intersection of two cylinders of radius “A” & “B”?

What is the parametric and cartesian equation of a hyperbolic paraboloid formed by the intersection of two cylinders of radius "A" & "B", which intersect at a distance of "H" from its Axis at an ...
8
votes
1answer
161 views

Threefold category equivalence: algebraic curves, Riemann surfaces and fields of transcendence degree 1

According to this article, The category of curves over the complex numbers is equivalent to two other categories: Riemann surfaces and fields of transcendence degree 1 over $\mathbb{C}$. But I ...
4
votes
2answers
79 views

Two conics have exactly one intersection point

We have two conics $Q_1,Q_2$ on $\mathbb{P}_2$ over some algebraically closed field. Also $Q_1$ and $Q_2$ are supposed to be smooth. I've just discovered Bezout's theorem, which states that two ...
1
vote
5answers
119 views

Determine cubic function from 2 roots and a maximum.

If I am trying to find a cubic function with 3 real roots, and I know two of them, and one local maximum, is it possible? Assuming my roots are $0.05$, $0.95$ and $u$, and my local maximum is $(i, ...
1
vote
0answers
38 views

computing the divisor of a differential

I have some trouble to computer the divisor of a differential in the subject of algebraic curve. Any feedback is greatly appreciated.Thank you.
0
votes
0answers
63 views

$V(f)$ is irreducible iff $f=g^k$, $g$ irreducible

I'm trying to prove this theorem $V(f)$ is irreducible iff $f=g^k$, $g$ irreducible. To prove the converse, we have $V(f)=V(g^k)=V(g)$, since $g$ is irreducible $V(g)$ is irreducible, then ...
4
votes
1answer
83 views

$H^1$ of a constant sheaf

Let $X$ be an irreducible smooth curve, and $\underline{k(X)}$ the constant sheaf on $X$ with the function field $k(X)$ as fibers. Reading from Serre's Algebraic groups and class fields I met the ...
2
votes
1answer
96 views

Linear Equivalence of Divisors on Projective Plane Cubic

I'm self-studying Miranda's Algebraic Curves and Riemann Surfaces and am uncertain of how I'm supposed to solve problem V.2c on linearly equivalent divisors: Let $X$ be the projective plane cubic ...