The study of geometric objects defined by polynomial equations, as well as their generalizations: algebraic curves, such as elliptic curves, and more generally algebraic varieties, schemes, etc. Problems under this tag typically involve techniques of abstract algebra or complex-analytic methods. ...

learn more… | top users | synonyms (1)

4
votes
1answer
66 views

Algebraic surface with infinitely many exceptional curves

I am learning about the classification of Projective Algebraic Surfaces (in fact, Compact Complex Surfaces) and I am troubled with the following point. If I understood correctly every surface $X$ ...
4
votes
1answer
96 views

Automorphisms of $\mathbb{C}[x_1, \dots, x_n]$

Are the linear transformations, and the automorphisms of the form $\sigma(x_1, \dots, x_n) = (x_1 -f(x_2, \dots, x_n), x_2, \dots, x_n)$, where $f$ is a polynomial, generators of the group of ...
4
votes
1answer
212 views

Orbits of $SL(3, \mathbb{C})/B$

Let $B= \Bigg\{\begin{bmatrix} * & *&* \\ 0 & *&*\\ 0&0&* \end{bmatrix} \Bigg\}< SL(3,\mathbb C)$. What is $SL(3,\mathbb C)/B$? Do we use these facts: Borel fixed ...
4
votes
1answer
96 views

Formal expansion of differential form on elliptic curves

First of all everything i'm asking about comes from the beginning of Katz and Mazur's book : Arithmetic moduli of elliptic curves (which you can find here). I'm considering an elliptic curve $f : E \...
4
votes
1answer
90 views

Related to Hartshorne Exercise 2.4.3, nothing to do with separatedness or properness.

Let $U = \text{Spec}\,A$ and $V = \text{Spec}\,B$ be open affines in a scheme $X$ (not necessarily separated). How do I show that for each $P \in U \cap V$ there is an open affine $W$ such that $P \in ...
4
votes
1answer
71 views

Identifying two points on an algebraic curve

Given a smooth algebraic curve $C$, say projective over an algebraically closed field $k$, is it always possible to identify two distinct closed points $x, y$ on $C$ to produce a curve with a single ...
4
votes
2answers
218 views

Is the total space of a vector bundle over an irreducible scheme irreducible?

Let $X$ be an irreducible scheme over $\mathbb{C}$ and let $F$ be a locally free sheaf of rank $r$ on $X$. Is the total space $Y$ of the associated vector bundle to $F$, $Y=Spec(Sym(F^{\vee}))$, ...
4
votes
1answer
96 views

Maximal ideals of polynomial ring

We know that if $k$ is algebraically closed, then each maximal ideals of $k[x_1, x_2, \ldots , x_n]$ are of the form $(x_1 - a_1, x_2 - a_2, \ldots, x_n - a_n),$ where $a_1, a_2, \ldots , a_n \in k$ (...
4
votes
2answers
204 views

Hartshorne generically finite morphisms (II, 3.7)

I have a question concerning one of the exercises of Hartshorne, Ch. II. Namely: Exercise 3.7 about gerneically finite morphisms. A morphism $f: X \rightarrow Y$ with Y irreducible and $\eta$ ...
4
votes
1answer
93 views

Proof in Fulton's *Algebraic Curves*

I'm reading Fulton's algebraic curves book on page 106 and I didn't understand this proof: I didn't understand why can we assume $F_Y\neq 0$? (what $F$ irreducible has to do with this?). ...
4
votes
1answer
333 views

definition of singular locus of a variety

Given a variety $X$ over $k$, we can consider which points are regular, and we can define the singular locus $\operatorname{Sing}(X)$ as the complement of the regular points in $X$. My question is, ...
4
votes
2answers
109 views

Line subbundles of vector bundles on smooth curves

Let $V$ be a vector bundle of rank at least 2 on a smooth (integral, projective) curve $C$. We know that a global section of $V$ is the same as a morphism $\mathcal{O}_C \to \mathcal{V}$ (letting $\...
4
votes
1answer
67 views

Varieties and ideals

I'm doing the exercises from Fulton of Algebraic Geometry and I'm stuck in the problem 2.44 Let $V$ be a variety in $\mathbb{A}^{n}$, $I=I(V)\subset k[x_{1},\ldots,x_{n}]$, $P\in V$ and let $J$ be ...
4
votes
1answer
199 views

Closed points are dense in $\operatorname{Spec} A$

From 3.6.J in Vakil: Let $k$ be a field, and let $A$ be a finitely generated $k$-algebra. We want to show the closed points are dense in $\operatorname{Spec} A$. This is the set of prime ideals of $A$...
4
votes
1answer
182 views

pullback of rational normal curve under Segre map

Let $\nu:P^1 \rightarrow P^2$ be the veronese map of degree $2$, i.e. $[Y_0 : Y_1] \mapsto [Y_0^2 : Y_0 Y_1 : Y_1^2]$ and let $\sigma: P^1 \times P^2 \rightarrow P^5$ be the Segre map. Consider the ...
4
votes
1answer
88 views

Exercise 2.12 in Harris - Algebraic Geoemetry: a first course

Consider the three lines of $\mathbb{P}^3$ given by $L: \, z_0 = z_1 = 0 \\ M: \, z_2=z_3 = 0 \\ N: \, z_0 = z_2, \, z_1 = z_3.$ It is claimed in Exercise 2.12 of Harris (a first course) that the ...
4
votes
1answer
62 views

An isomorphism theorem for sheaves.

Let $\varphi: \cal{F} \longrightarrow \cal{G}$ a morphism of sheaves. My goal is to prove that $im\varphi \simeq \cal{F} / Ker \varphi$. My thoughts about this problem: 1) $im \varphi(U) \simeq \...
4
votes
1answer
79 views

affine scheme that is finite type over $\mathbb{Z}$

I have an affine scheme that is finite type over $\mathbb{Z}$, so by definition I can cover this Spec $A$ by Spec $B_i \ (1 \leq i \leq n)$ where each $B_i$ is a finitely generated $\mathbb{Z}$ ...
4
votes
1answer
131 views

True or False: $f$ is injective if and only if $f^*$ is surjective where $f^*$ is corresponding to the pullback to $f$.

Let $f: X\rightarrow Y$ be a morphism of affine varieties and $f^*: A(Y)\rightarrow A(X)$ the corresponding homomorphism of the coordinate rings. The question is whether this is true or false: $f$ is ...
4
votes
1answer
76 views

$L$-Zariski closure of subgroup $SL_n(F)$ as subset of $M_n(F)$ also a subgroup of $SL_n(F)$

Let $F$ be a field, and $SL_n(F)$ be the group of $n \times n$ matrices with determinant $1$. Let $\Gamma \subset SL_n(F)$ be a subgroup. We can consider $\Gamma$ to be a subset of $M_n(F) \cong F^{n^...
4
votes
2answers
179 views

A question on Mumford's drawing of $\text{Spec}\,\mathbb{Z}[x]$

This might seem like a really silly question, but what are those weird curves connecting $(x^2 + 1)$ and $(5, x+2)$ in Mumford's picture of $\text{Spec}\,\mathbb{Z}[x]$?
4
votes
1answer
87 views

Calculating of genus of a curve

Let $C$ be a curve over $\mathbb{F}_q$ in projective plane. So $C$ can be done as zeroes of some gomogeneous polynomial $\in \mathbb{F}_q[x,y,z]$ with degree $n$. Whether is there algorithm which is ...
4
votes
1answer
101 views

Divisor of meromorphic section of point bundle over a Riemann surface

Let $X$ be a compact connected Riemann surface (not $\mathbb{P}^1$), $p\in X$ be a point on it. Let $L$ be the holomorphic line bundle associated to the divisor $D=p$. By construction $L$ comes with a ...
4
votes
2answers
323 views

Hartshorne's Exercise II. 2.15 (fully faithful functor)

I'm struggling with the last part of the exercise. Namely, let $V,W$ be any two varieties over a field $k$. We build the functor $t$, which induces a natural map $$ \mbox{Hom}_{Var}(V,W)\xrightarrow{\...
4
votes
1answer
162 views

A particular example of a non-reduced scheme (with a reduced ring of global sections)?

I am searching for a scheme $X$ which can be obtained by gluing two affine schemes (along open subsets) such that: 1) X is non-reduced; 2) $\Gamma(X,\mathcal O_X)$ is a reduced ring. Any ideas? ...
4
votes
1answer
89 views

Irreducibility of holomorphic functions in a neighborhood of a point

Let $D \subset \mathbb C^n$ be a domain and let $f \in \mathscr O(D)$, $f \not\equiv 0$ be a holomorphic function. Define $$ V_f = \bigl\{ z \in D : f(z) = 0 \bigr\}. $$ Let $p \in V_f$. Suppose ...
4
votes
1answer
102 views

Adjunction counit for sheaves is isomorphism

Let $f\colon X \to S$ be a proper morphism of varieties over $\mathbb{C}$ with $f_* \mathcal{O}_X = \mathcal{O}_S$ and $\mathcal{G}$ be a coherent sheaf on $S$. Then we have a natural morphism $\...
4
votes
1answer
121 views

Coordinate ring of the product of projective variety

Let $X\subseteq \mathbb{P}^r,Y \subseteq \mathbb{P}^s$ be two projectve varieties,what is the coordinate ring of $X\times Y$(segre embedding)?Is it true that $$S(X\times Y)=S(X)\otimes_k S(Y)?$$ I ...
4
votes
1answer
125 views

Cohomology Calculation

A couple of days ago I asked this Question on calculating hypercohomology I tried a similar example for $(\mathbb{C}^*)^2$, and I have a couple of questions. Here is my calculation: We have a ...
4
votes
1answer
150 views

Question on calculating hypercohomology

I want to compute the algebraic de Rham cohomology of $ \mathbb{C}^* $, and I'm confused. I don't have much background in this, so I was hoping a very concrete example would clear up a lot of this ...
4
votes
1answer
121 views

Find a closed subset of an algebraic group, closed under products, which does not contain $e$.

The accepted answer for this question proves the following statement: If $S$ is a closed subset of an algebraic group $G$ which contains $e$ and is closed under taking products in $G$, then $S$ is ...
4
votes
1answer
113 views

Algebraic varieties that are isomorphic after a base change

Let $k$ be a field, $\overline{k}$ its algebraic closure. Suppose $X$ is an algebraic variety over $\overline{k}$. This means that $X$ is a scheme with a finite covering by open affine varieties over $...
4
votes
1answer
81 views

Problem I.3.18 in Hartshorne

Problem I.3.18b-c in Hartshorne is concerned with the surface $Y$ of $\mathbb{P}^3$ given parametrically by $(x,y,z,w) = (t^4,t^3u,tu^3,u^4)$. In particular, part c asks to prove that $Y$ is ...
4
votes
1answer
155 views

Group law for an elliptic curve using schemes

I was trying to understand better the definition of the group law for an elliptic curve given in Katz and Mazur's book (http://books.google.com.br/books/about/Arithmetic_Moduli_of_Elliptic_Curves.html?...
4
votes
1answer
226 views

Is the fiber product of the connected component of a group scheme connected?

Let $G$ be a group scheme over a field $k$. Let $G^0$ be the connected component containing the identity. Is it true that $G^0\times_k G^0$ is connected? I know that this is true if $G^0$ is ...
4
votes
1answer
104 views

Confusion with computing kernel of an isogeny between two elliptic curves

Consider the two elliptic curves $$E_3: y^2+y=x^3+x^2+x \enspace [Cremona:19A3]$$ and $$E_1: y^2+y=x^3+x^2−9x−15 \enspace [Cremona:19A1]$$ Let $\varphi$ be the $3$-isogeny from $E_3$ to $E_1$. I want ...
4
votes
1answer
194 views

Weierstrass Point of a Riemann surface

I have that $X$ is a compact Riemann surface defined by the curve $y^{2}=1-x^{6}$ and a point $P=(0,1) \in X$ in the usual coordinates $(x,y)$. Ultimately, I want to solve a Mittag-Leffler problem on ...
4
votes
1answer
147 views

Hom functor of quasi-coherent sheaf maybe not quasi-coherent

I notice that some books say that for arbitrary quasi-coherent sheaves $F$, $G$ over a scheme $X$, the $\mathcal O_X$-module $\mathrm{Hom}_{\mathcal O_X}(F,G)$ maybe not quasi-coherent, who can give ...
4
votes
1answer
43 views

Derivations are determined by their values on linear functions

How are derivations of the $\mathbb R$ algebra of germs of differentiable real functions on a manifold completely determined by their values in germs of linear functions? Are derivations of more ...
4
votes
1answer
265 views

Theorem 5.1. Chapter I in Hartshorne Book's

I find difficulty to understand the proof of this theorem : Theorem : Let $Y\subseteq\mathbb A^n$ be an affine variety. Let $Ρ\in Y$ be a point. Then $Y$ is nonsingular at $Ρ$ if and only if the ...
4
votes
2answers
134 views

$Z(I:J)$ is the Zariski closure of $Z(I)-Z(J)$

Let $(I:J)$ denote the colon ideal (or ideal quotient). It is pretty clear that the Zariski closure of $Z(I)-Z(J)$ is contained in $Z(I:J)$. How can we prove that the the Zariski closure of $Z(I)-Z(J)$...
4
votes
1answer
86 views

Question of the relation between very ampleness and irreducibility

Let $X$ be a projective surface and $D$ be a divsor. Then I know $D$ correspond to a curve of $X$. My qeustion is simple. If $D$ is very ample, then the corrsponding curve of $D$ is irreducible? More ...
4
votes
2answers
153 views

Hartshorne II Prop. 6.9

Prop. 6.9: Let $X \to Y$ be a finite morphism of non-singular curves, then for any divisor $D$ on $Y$ we have $\deg f^*D=\deg f\deg D$. I can not understand two points in the proof: (1) (Line 9) ...
4
votes
1answer
79 views

Ampleness, Nakai's criterion and pullback

In the book I'm reading ( Geometry of Algebraic Curves ), at some point (page $310$) they make the following claim: One can use Nakai's criterion to establish the general fact that if $f:X\to Y$ ...
4
votes
1answer
74 views

Examples that the morphism $X\times_k k' \rightarrow X$ is not closed

Let $k$ be a field. Let $k'$ be an extension field of $k$. Let $X$ be a $k$-scheme of finite type. If $k'$ is algebraic over $k$, the morphism $X\times_k k' \rightarrow X$ is integral. Hence it is ...
4
votes
2answers
388 views

General quadratic diophantine equation.

Here is my problem: I am given a general quadratic diophantine equation: $$ax^2 + bxy + cy^2 + dx + ey + f = 0$$ where $x$ and $y$ are variables with integers $a,b,c,d,e,f$. I have to show that if the ...
4
votes
1answer
453 views

Why does the degree of a line bundle equal the degree of the induced map times the degree of the image plus the degree of the base locus?

Let $L$ be a line bundle on a smooth curve $C$. If $L$ is rank $r+1$, define the induced map (as Arbarello, Cornalba, Griffiths, Harris): $$\begin{aligned}\phi :& C \rightarrow \mathbb P|L|^*\\&...
4
votes
1answer
115 views

Finding the Vanishing Set of an Algebraic Set

We've been given the set $X = \{(t^3,t^4,t^5) \in \mathbb{A}^3 \mid t \in \mathbb{A}^1\}$ (where the underlying field $\mathbb{K}$ is infinite), and have been asked to show that $X = \mathbb{V}(J)$ ...
4
votes
1answer
255 views

Motivation and Applications for Toric Varieties

I'm a graduate student of mathematics starting to study algebraic geometry with a focus on toric varieties (along Cox, Little, Schenk). From what I learned so far, I can grasp that toric varieties ...
4
votes
1answer
245 views

Limits and colimits in the category of schemes

What is the smallest category enlarging the category of schemes over a field $k$ which is: Complete? Cocomplete? Admits a cogenerator? generator? I admit there is some overlap with my previous ...