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

3
votes
2answers
36 views

What's the relation between prime spectrum and affine space?

Let $A$ be a ring ,$X$ be the set of all prime ideal of $A$.For each subset $E$ of $A$,let $V(E)$ denoted the set of all prime ideals of $A$ which contain $E$. we have: ...
1
vote
1answer
13 views

Intersection Multiplicites

I have the following problem; Let $C = \{Q:=x_0x_2^2 -x_1(x_1-x_0)(x_1+x_0)=0\}$ and $L = \{ax_0 + bx_1 = 0\}$ be two projective curves with $(a,b) \ne (0,0)$. Let $p=[0,0,1]$, then I am asked to ...
0
votes
1answer
21 views

Bézier curve limits

Can be any curve of any shape (without sharp edges) described by Bézier curve with unlimited (but finite) number of control points? The answer to the question above would probably be no, because I ...
2
votes
1answer
49 views

$L(D)$ is Vector Space

Given a divisor $D$ on a curve $X$, define $L(D)=\{0\}\cup \{f \in k(X),f\ne 0 \, | (f)+D \ge 0\}$. where $(f)=\sum \nu_P(f)P$ and $ \upsilon_{P}(f)= |zeros| − |poles| $ of $f$ at $P$. I want to ...
2
votes
1answer
31 views

Calculating the projective closure with more than one generator

I am given a variety $X = Z(f_1,f_2)$ in affine 3-space (in $x,y,z$), and I would like to compute its projective closure $Y = Z(g_1,\dots,g_n)$ in projective 3-space (in $x,y,z,w$). I have seen this ...
2
votes
1answer
26 views

Proving that a map is a birational equivalence

I am trying to prove that the map $\phi:P^1\to X = Z(x^2y^3-z^5)$, given by $[r:s]\mapsto [u^5:v^5:u^2v^3]$ is a birational equivalence, i.e. that there exists some map $\psi:X\to P^1$ such that ...
4
votes
2answers
118 views

Coordinate ring of the unit circle is never a UFD?

I'm reading some notes about coordinate rings. On the third example on the second page, the author notes that the coordinate ring $K[\mathcal{C}]$ is not a UFD. If $f=X^2+Y^2-1$, then in ...
2
votes
1answer
52 views

Existence of finite morphism to projective line

As we all know, Belyi's theorem says: A complex curve $X$ is defined over a number field, if and only if there exists a finite morphism $t:X\to \mathbb{P}^1_\mathbb{C}$ of varieties over $\mathbb{C}$ ...
0
votes
0answers
13 views

Could a hyper elliptic curve of degree 5 admit only three ordinary double points?

The definition for hyper elliptic curves is those curves which admit a ramified double cover of $P^1$. The given degree five is for some homogeneous equations of degree five that defines the curve, ...
2
votes
1answer
51 views

Existence of $g_{d}^{r}$ implies existence of which $g_{d'}^{r'}$'s?

Suppose I have a Riemann surface with a $g_{d}^{r}$. I am wondering what $g_{d'}^{r'}$'s exist for sure. For instance, since $h^{0}\left(L\left(-p \right)\right)$ is either $h^{0}\left(L\right)$ in ...
0
votes
2answers
50 views

5th order Polynomial not accurate enough?

I have a data plot XY that goes from (X 0-127, Y -70.0 - 6.0 db) Im using the 5th order polynomial function from plotting this data on this site [http://www.zizhujy.com/en-us/Plotter][1] However, ...
2
votes
1answer
39 views

Intersection Multiplicity and Multiplicity of Zeros in Polynomial

I study coding theory and we use the textbook Fundamentals of Error-Correcting Codes . In the section related to Algebraic Geometry Code, we need to compute Intersection Multiplicity of two curve in ...
3
votes
1answer
55 views

Proof of the Belyi's theorem: where it is really used the hypothesis?

Consider the Belyi's theorem: If a smooth projective curve $X$ is defined over $\overline{\mathbb Q}$, then there exists a finite morphism $X\longrightarrow\mathbb P^1(\mathbb C)$ with at most $3$ ...
1
vote
1answer
10 views

Branch points lie in $\mathbb P^1\left(\overline{\mathbb Q}\right)$

Preamble: Probably my question will be highly downvoted and soon closed, because it is too simple. However I will make a tentative because I'm working on this for several days without finding any ...
1
vote
2answers
37 views

Strange property of parametrization of a class of plane curves

My studies lead me to the following parametrization of perhaps a new class of plane curves ( which are similar in shape to the classical sinusoidal spirals but not identical ). If the curves are not ...
10
votes
3answers
189 views

Is there a better way to find the polynomial equation for this curve?

Consider the curve in $\mathbb{R}^2$ defined by the equation $$ x^{1/3} + y^{1/3} + (xy)^{1/3} = 1, $$ where $x^{1/3}$ denotes the real cube root of $x$, etc. Since the equation above involves only ...
0
votes
0answers
10 views

Building a nonsingular curve

I have a quintic surface, defined by a homogeneous polynomial in the variables $x,y,w,z$ in $\mathbb{P}^3$. I know the polynomial to have the form $$ xP_1 + wP_2 + (y-z)^2(y^3 + z^3)=0 $$ where the ...
0
votes
1answer
25 views

Find all the intersection points of a vector parabola (in R3) and a sphere

Given that I have a vector in R3 (7t, 10t - 2t^2, 5t) | (These numbers are arbitrary for the sake of the process) A sphere centered at the point ( 15, 25, 10) with a radius of 20 There is a ...
1
vote
0answers
25 views

Divisors of Fermat Curves.

I've been studying Algebraic Geometry (in coding theory), and my book has been very ambiguous about what some of these ideas actually look like. So I was curious as to what some of the Divisors of ...
3
votes
1answer
91 views

Exactness of the pullback of the Euler sequence

Let $(L,V)$ be a base point free $g^r_d$ on a curve $C$. Then we have an exact sequence $0\rightarrow M_{L,V}\rightarrow\mathcal{O}_C^{r+1}\xrightarrow{\theta} L\rightarrow 0$, where we just let ...
2
votes
1answer
32 views

Line Meeting a Plane Curve at One Point

Given a curve (smooth, projective, irreducible) $X$ in $\mathbb{CP}^2$, this curve meets all other curves in the same space. Generically, it will meet a line (a copy of $\mathbb{CP}^1$ in ...
8
votes
4answers
104 views

What are some applications of the Weil conjectures for algebraic curves?

I have been interested in the Weil conjectures for some time, and the easiest place to start has been in studying them for elliptic curves. I've been able to see some of their applications and ...
4
votes
1answer
46 views

Degree of ramification divisor and number of fixed points under a group action.

Let $C$ be a projective plane nonsingular complex curve and a finite group $G$ acts on $C$. Consider the quotient $f: C\rightarrow C/G=:C'$. Then, by Riemann–Hurwitz $2g_C-2=|G|(2g_{C'}-2)+\deg R,$ ...
1
vote
0answers
35 views

Irreducible Linear Subspace

Let k be an infinite field. Prove that any linear subspace of $A_k^n$ is irreducible. My first question is, what would a linear subspace be? Is is a variety that is generated by linear equations? ...
4
votes
0answers
31 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 ...
3
votes
1answer
37 views

Elliptic points on modular curves and a uniformising parameter

I'm working with the modular curves $X_0(p)$ for $p=2,5$, with $$f_2=q\prod_{n\geq1}(1+q^n)^{24}$$ and $$f_5=q\prod_{n\geq1}(1+q^n+q^{2n}+q^{3n}+q^{4n})^6$$ being inverses of the Hauptmodul and ...
3
votes
1answer
48 views

$d$-branched coverings and finite morphisms of degree $d$

Consider a smooth projective curve $X$ over $\mathbb C$ (so $X$ is a projective $\mathbb C$-scheme, integral, of finite type....), and let $t: X\longrightarrow\mathbb P^1_{\mathbb ...
7
votes
2answers
185 views

Branch points lie in $\mathbb P^1\left(\overline{\mathbb Q}\right)$

Let $X$ be a complex smooth projective curve and suppose moreover that $X$ is defined over $\overline{\mathbb Q}$. Now consider a finite map $f:X\longrightarrow\mathbb P^1(\mathbb C)$ of degree $d$ ...
3
votes
1answer
87 views

Picard group and jacobian of a singular curve

I found somewhere written that the jacobian of a reducible curve is the product of the jacobians, which seems quite reasonable to me. Where can I find some proof of it and a description of the Picard ...
3
votes
1answer
31 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$). ...
2
votes
0answers
34 views

Zeta Function of a Curve

In general, is there a simple way of computing the zeta function of a curve (or variety) over $\mathbb{F}_q$? Here $q$ is an odd prime power. I've seen a nice computation for both affine and ...
6
votes
2answers
118 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 ...
2
votes
1answer
56 views

projective non-singular curve

I am working on algebraic curves at the moment and I can not find a proper definition of the projective non-singular curves. My goal is understand that the category of non-singular projective curves ...
3
votes
1answer
39 views

Max Noether's fundamental theorem aplication

Let $C$ be a irreducible cubic in the projective plane and let $F,F^\prime$ be two algebraic curves of degree $m$ satisfying $(C,F)=\Sigma_{i=1}^{3m}p_i$ and $(C,F^\prime)=\Sigma_{i=1}^{3m-1}p_i+q$, ...
2
votes
1answer
67 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 ...
4
votes
2answers
78 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 ...
5
votes
1answer
63 views

How are Jacobians of genus $3$ curves different from one another?

There are two types of smooth projective (complex) curves of genus $3$: plane quartics, and hyperelliptic curves. The Torelli morphism $M_3\to A_3$, assigning a curve to its (principally polarized) ...
4
votes
2answers
56 views

Degree 2 Fermat curve

I'm trying to solve the following exercise: Prove that the variety $V\subset \mathbb{CP}^2$ defined by $x^2+y^2+z^2=0$ is isomorphic to $\mathbb{CP}^1$. What I've done: I tried to define an explicit ...
2
votes
1answer
62 views

Is $y^2 =$ quartic in $x$ smooth at infinity?

Let $q(x)\in K(x)$ be a quartic polynomial in x with distinct roots over the algebraically closed field $K$. Consider the curve $C\subset \Bbb P^2$ given by $y^2-q(x)$. Is $C$ smooth? Well, at least ...
0
votes
0answers
16 views

Generate Angle for Projectile to Follow So It's Ends Facing Downward [migrated]

I am building a game within a game engine. The game is a 2D platform, where the player can move left, right, and jump/fall down. Part of the game is the presence of physical projectiles falling from ...
4
votes
1answer
89 views

Prym variety associated to an étale cover of degree 2 of an hyperelliptic curve.

In view of this question, I have an additional question. The situation is as follows. Let $C$ be the hyperelliptic curve over $\mathbb{C}$, which is given on an affine by the equation $y^2 = x^5 +1 ...
1
vote
0answers
56 views

Elliptic curves in $\Bbb P^3$

How can I check that a curve inside of $\Bbb P^3$ is an elliptic curve? Specifically, let $C$ be the plane cubic $$C:aX^3+bY^3+cZ^3=0$$ and $\phi:\Bbb P^2\to \Bbb P^3$ given by ...
2
votes
1answer
44 views

Endomorphisms of the projective line

Let $f:\mathbb{P}^1 \to \mathbb{P}^1$ be a degree 1 endomorphism of the the projective line over $\mathbb{C}$. It is well known that $f$ is an automorphism, and moreover it is determined by its value ...
4
votes
1answer
58 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 ...
5
votes
1answer
104 views

How to compute this Riemann surface?

This question is related to other more general question that I asked Computing Riemann surfaces of a given algebraic function. By the way, I've found an approaching in Markushevich's book that ...
1
vote
0answers
27 views

Example of a Regular Map

I am working with Shafarevich's "Basic Algebraic Geometry 1". Example 1.15: The map $f(t)=(t^2,t^3)$ is a regular map on the line $\mathbb{A}^1$ to the curve given by $y^2=x^3$. I am not ...
6
votes
2answers
69 views

References for elliptic curves over schemes

As in the title, I want some references about theories for elliptic curves over rings(not fields) or over schemes. I heard that behaviours(?) of such elliptic curves are not as simple as elliptic ...
2
votes
1answer
50 views

Does $\,f_* \mathcal{O}_{X_T} \cong \mathcal{O}_{T}$ hold in this situation?

Let $X$ be a scheme over $S$ and consider the following hypothesis : \begin{cases} \; (1) \quad f:X\to S \text{ is quasi-compact and quasi-separated } \\\\ \; (2) \quad f:X\to S \text{ admits a ...
1
vote
0answers
24 views

Pushforward of differentials (?) and Abel Jacobi map on principal divisors

Let $X$ be a complete one-dimensional curve over $\Bbb C$ (please add any hypotheses in case I forgot them). Then we have the Abel-Jacobi map $$\mathcal{AJ}: \text{Div}_0 \to \Bbb C^g/ \Lambda$$ ...
0
votes
0answers
17 views

Generalisation of circumscribed circle for polygones instead of triangles.

Given a triangle, there exists a unique circle passing through its $3$ vertices. I wonder if more generally for any $n\geq3$ we can define a family $\mathcal{C}_n$ of convex closed curves in the ...