2
votes
1answer
98 views

Help in this notation in Fulton's Algebraic Curves book

I'm reading Fulton's Algebraic Curves book, I'm stuck in the following proposition (page 105): In fact, what I didn't understand is the following notation in the proof of this proposition: Why ...
0
votes
1answer
75 views

How to prove this comment of Fulton

I'm trying to understand why this is true in Fulton's Algebraic Curves: Why we add this point $(0,\ldots, 0)$? Why this equality is true? I really need help. Thanks in advance.
3
votes
2answers
66 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: ...
4
votes
2answers
151 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 ...
6
votes
1answer
95 views

Local parameter of curves in affine n-space

I'm looking for a double answer to this question: a mathematical one (say, if the statement is correct or not) and a philosophical one (say, why we do expect this to be true, or not). Let $k$ be a ...
6
votes
1answer
148 views

Exercise 1.11 of Eisenbud

I'm doing the exercises from Eisenbud's Commutative Algebra with a view toward Algebraic Geometry, and I don't understand part of one of them, ex. 1.11 a): Exercise 1.11 a: Over $\mathbb{C}$, ...
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 ...
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 ...
2
votes
1answer
146 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
143 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
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 ...
5
votes
0answers
66 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 ...
3
votes
1answer
112 views

Map of smooth curves and its separability degree

I'm interested in a proof of the following fact from Silverman: Arithmetic of Elliptic Curves: Let $\Phi: C_1 \rightarrow C_2$ be a nonconstant map of smooth curves. Then for all but finitely many ...
4
votes
1answer
174 views

Minimal number of generators of an ideal in $\mathbb{C}[x,y,z]$

In the polynomial ring $\mathbb{C}[x,y,z]$, I should prove that the ideal $$I=(\underbrace{x^4-y^3}_{=:\,p_1},\underbrace{x^5-z^3}_{=:\,p_2},\underbrace{y^5-z^4}_{=:\,p_3})$$ can not be ...
0
votes
1answer
74 views

Algebraic study of a curve

Consider the parametric curve $C=\{(u^3,u^4,u^5)\,|\,u\in K\}$, where $K$ is an algebraic closed field with characteristic $0$. I'd like to prove that its ideal $$I(C)=\{f\in K[x,y,z]\,\mbox{such ...
3
votes
1answer
91 views

Computing a rational function at a point in terms of a uniformising parameter

I am not quite sure how to ask this precisely, but vaguely I would like to know how difficult it is to write a function on an algebraic curve at a point $P$ as a power series of a uniformising ...
11
votes
2answers
698 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 ...
6
votes
1answer
133 views

Integral Closures and Affine Curves

Let $C$ be an irreducible affine curve with singular points, and let $A$ be its ring of regular functions. Since $C$ has singular points, $A$ is not integrally closed in its field of fractions, $K$. ...
8
votes
2answers
148 views

Principal divisors

How can i calculate the principal divisor $(f)$ where $$f = \frac{(x^{3}-1)}{(x^{4}-1)}$$ with $f\in\mathbb{F}_2(x)$. I am recently reading about the subject, so i am looking for a simple solution ...
7
votes
0answers
433 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
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}, ...
2
votes
1answer
67 views

What is the length of the following local ring

Let $f:Y\to X$ be a finite etale cover of smooth projective connected varieties. (Or, just a finite degree connected topological cover of connected Riemann surfaces.) Let $y\in Y$ and let $x=f(y)$. ...
6
votes
1answer
163 views

Integral closure in the total ring of fractions

My question is linked with normalization of reduced algebraic curves that are not necessarily irreducible. Let $(A,\mathfrak{m})$ be a local reduced noetherian ring with Krull dimension $1$, let ...
3
votes
2answers
251 views

Chinese remainder type theorem in Fulton's Algebraic Curves

The book "Algebraic Curves" by Fulton is available free for download on his website. On page 27, Fulton constructs an isomorphism which is used several times throughout the book. His construction is ...
3
votes
0answers
225 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$ ...