The study of geometric objects defined by polynomial equations. Algebraic curves, such as elliptic curves, and more generally algebraic varieties, schemes, etc.

learn more… | top users | synonyms (1)

10
votes
1answer
131 views

Which number fields allow higher genus curves with everywhere good reduction

The field of rational numbers is not such a number field. That is, there does not exist a smooth projective morphism $X\to\text{Spec } \mathbf{Z}$ such that the generic fibre is a curve of genus ...
10
votes
0answers
168 views

Important topics for arithmetic geometry (esp Arakelov geometry)?

Seeing other past successful 'roadmap' questions, I hope this question is acceptable and not too vague. I know I'd like to eventually study arithmetic algebraic geometry - but I also know that it's a ...
10
votes
0answers
196 views

Prop. 3.2.15 in Liu: Geometrically reduced algebraic variety

I have a problem with proposition 3.2.15 of Algebraic geometry and arithmetic curves of Qing Liu: Let $X$ be an integral algebraic variety over $k$. If $X$ is geometrically reduced then $K(X)$ is a ...
10
votes
0answers
215 views

Visualizing a Calabi Yau

I would like to understand how I can visualize the quintic threefold $$ z_1^5 + z_2^5 + z_3^5 + z_4^5 +z_5^5 - 5\psi z_1z_2z_3z_4z_5 = 0$$ For a similar problem, Hanson proposes the following: ...
10
votes
0answers
233 views

Self-Intersection Number $-2$

I am new here, but hopefully you can help me with a concrete problem I have. I try to compute a Self-Intersection Number of a constructed curve in an analytic surface. I know the answer by some ...
10
votes
0answers
178 views

Curves and Sums-of-Powers Representations

Jacobi first noticed the connection between the functions that bear his name and counting the representations of sums-of-squares, \begin{eqnarray} \theta_{3}^{n}(q) = \left( \sum_{k \in \mathbb{Z}} ...
9
votes
3answers
1k views

Are “$n$ by $n$ matrices with rank $k$” an affine algebraic variety?

Identify the set of all complex $n$ by $n$ matrices with $\mathbb{C}^{n^2}$. We say a subset $S \subset \mathbb{C}^{n^2}$ is an affine algebraic variety if $S$ is the common zero set of a collection ...
9
votes
3answers
348 views

Do the pictures in Hartshorne Ex. 1.5.1 make sense?

I have done exercise 1 of section 1.5 of Hartshorne and am able to determine that the curves (a),(b),(c) and (d) are respectively those with a tacnode, node, cusp and triple point. Now when I did this ...
9
votes
3answers
231 views

Is every algebraic curve birational to a planar curve

Let $X$ be an algebraic curve over an algebraically closed field $k$. Does there exist a polynomial $f\in k[x,y]$ such that $X$ is birational to the curve $\{f(x,y)=0\}$? I think I can prove this ...
9
votes
2answers
743 views

What does the Hodge conjecture mean?

I read from the Internet that according to the Hodge conjecture, a certain harmonic differential form in a projective, non-singular algebraic variety is a rational linear combination of the cohomology ...
9
votes
4answers
274 views

Complex analysis book for Algebraic Geometers

I know that there exist many questions on this site on complex analysis books but my question is more specific than that. I am looking for recommendations for a concise complex analysis book but with ...
9
votes
4answers
856 views

geometric motivation for negative self-intersection

consider the blow-up of the plane in one point. Let $E$ the exceptional divisor. We know that $(E,E)=-1$. Which is the geometrical reason for which the auto-intersection of $E$ is $-1$? In general ...
9
votes
2answers
193 views

Introduction to sheaves using categorical approach

When I first started to learn about sheaves, it was a very geometric approach. This is nice, but it seems like knowing more abstract categorical approach is very useful. For example, sheafification ...
9
votes
3answers
699 views

Krull dimension of $\mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 x_4-x_3^2,x_1x_4-x_2 x_3\right>$

Krull dimension of a ring $R$ is the supremum of the number of strict inclusions in a chain of prime ideals. Question 1. Considering $R = \mathbb{C}[x_1, x_2, x_3, x_4]/\left< x_1x_3-x_2^2,x_2 ...
9
votes
2answers
421 views

Variety vs. Manifold

In the ambit of differential geometry the aim is to study smooth manifolds. Why the objects studied in algebraic geometry are called algebraic varieties and not for example algebraic manifolds? I am ...
9
votes
3answers
542 views

rational points of an algebraic variety

In http://en.wikipedia.org/wiki/Rational_point we read : a $K$-rational point is a point on an algebraic variety where each coordinate of the point >belongs to the field $K$. This means that, if ...
9
votes
3answers
528 views

Question on sheafification of a presheaf

In chapter 2 of GTM 52 by Robin Hartshone there are definition of presheaf and the associated sheaf of a given presheaf. I found that the definition of the sheafification is rather less natural and ...
9
votes
2answers
169 views

Can an algebraic variety be described as a category, in the same way as a group?

Can an algebraic variety be described as a category, in the same way as a group? A group can be considered a category with one object, with elements of the group the morphisms on the object.
9
votes
3answers
232 views

Zariski topology in the complex plane: an example

I want to find the closure under the zariski topology, of this set $ \left\{ {\left( {x,y} \right) \in {\Bbb C}^2 ;\left| x \right| + \left| y \right| = 1} \right\} $ I have no idea what I can do
9
votes
2answers
349 views

Good books/expository papers in moduli theory

I have been studying mathematics for 4 years and I know schemes (I studied chapters II, III and IV of Hartshorne). I would like to learn some moduli theory, especially moduli of curves. I began ...
9
votes
2answers
561 views

Is the universal cover of an algebraic group an algebraic group?

Here algebraic group means affine algebraic group in both instances. Also I'm mainly interested in groups over $\mathbb{C}$. In fact I'm taking $\pi_1(G)$ to mean the fundamental group of $G_{an}$, ...
9
votes
1answer
194 views

Is $\operatorname{Gal}(\mathbb{Q}_p^{un})\cong \hat{\mathbb{Z}}$?

Is the absolute Galois group of $\mathbb{Q}_p^{un}$ the profinite completion of $\mathbb{Z}$? I was never quite sure... In similar cases, it is true. Namely, $\mathbb{C}((t))$ does have absolute ...
9
votes
3answers
326 views

Direct way to show: $\operatorname{Spec}(A)$ is $T_1$ $\Rightarrow$ $\operatorname{Spec}(A)$ is Hausdorff

In the book of Atiyah and MacDonald, I was doing exercise 3.11. One has to show that for a ring $A$, the following are equivalent: $A/\mathfrak{N}$ is absolute flat, where $\mathfrak{N}$ is the ...
9
votes
2answers
1k views

One-to-one correspondence of ideals in the quotient also extends to prime ideals?

I'm beginning to learn some grothendieck's algebraic geometry and I have a doubt about a property of commutative algebra. For a comm. ring $A$ and an ideal $I$ of $A$, does the one-to-one ...
9
votes
2answers
451 views

About the definition of Cech Cohomology

Let $X$ be a topological space with and open cover $\{U_i\}$ and let $\mathcal F$ be a sheaf of abelian groups on $X$. A $n$-cochain is a section $f_{i_0,\ldots,i_n}\in U_{i_0,\ldots,i_n}:= ...
9
votes
1answer
179 views

Tate's Thesis: in what sense is Tate's Theorem 4.2.1 the Riemann-Roch theorem for curves?

I am reading Tate's Thesis. Tate derives a theorem which he calls "the number-theoretic analogue of the Riemann-Roch theorem" from an abstract Poisson summation formula. I am accustomed to thinking of ...
9
votes
1answer
159 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?
9
votes
2answers
364 views

Conditions such that taking global sections of line bundles commutes with tensor product?

Let us work with projective algebraic varieties over $k= \mathbb{C}$. If necessary we can also assume smoothness of the varieties. Of course it is not in general true that given two line bundles $L, ...
9
votes
2answers
223 views

Hartshorne exercise III.6.2 (b) - $\mathfrak{Qco}(X)$ need not have enough projectives

Let $X=\mathbb P^1_k$, with $k$ an infinite field. Show that there does not exist a projective object $\mathcal P$ either in $\mathfrak{Qco}(X)$ or $\mathfrak{Coh}(X)$ together with a surjection ...
9
votes
2answers
394 views

Stalk of a pushforward sheaf in algebraic geometry

Excuse me if this is a naive question. Let $f : X \to Y$ be a morphism of varieties over a field $k$ and $\mathcal{F}$ a quasi-coherent sheaf on $X$. I know that for general sheaves on spaces not much ...
9
votes
2answers
392 views

Varieties as schemes

Some questions about schemes and varieties, one really basic. I follow the definitions as given in Hartshorne. Firstly, my main question. I understood that Grothendiecks introduction of schemes ...
9
votes
1answer
200 views

Geometrical interpretation of $I(X_1\cap X_2)\neq I(X_1)+I(X_2)$, $X_i$ algebraic sets in $\mathbb{A}^n$

Edit: I should point out that I'm working over an algebraically closed field $k$. Let $X_1,X_2\subset\mathbb{A}^n$ be affine algebraic sets. Show that $I(X_1\cap X_2)=\sqrt{I(X_1)+I(X_2)}$. Show ...
9
votes
2answers
392 views

Riemann surfaces are algebraic

Via a very ample divisor one can embed a Riemann surface holomorphically into some $\mathbb{P}^n$. Now, we can then project the Riemann surface to $\mathbb{P}^3$, and we can even go until ...
9
votes
2answers
233 views

Fibres in algebraic geometry: multiplicity

Currently I am studying varieties over $\mathbb{C}$ and I know some scheme theory. My professor mentioned the other day that given a morphism of varieties over an alg. closed field $k$: $f: X ...
9
votes
1answer
392 views

intrinsic proof that the grassmannian is a manifold

I was trying to prove that the grassmannian is a manifold without picking bases, is that possible? Here's what I've got, let's start from projective space. Take $V$ a vector space of dimension n, and ...
9
votes
1answer
367 views

Weil and Cartier divisors on a curve

I'm trying to understand the relationship between Weil divisors and Cartier divisors, and I would like to see why these are the same in the simple case where $X$ is a nonsingular projective curve over ...
9
votes
1answer
679 views

(Ir)reducibility criteria for homogeneous polynomials

Suppose I have a homogeneous polynomial in at least 3 variables over some algebraically closed field (of characteristic 0, if need be). Question: How may I test — by hand — whether it is irreducible? ...
9
votes
2answers
87 views

'$R$-rational points,' where $R$ is an arbitrary ring

On page 49 of Liu's Algebraic Geometry and Arithmetic Curves, we find Example 3.32. In it, he shows that if $k$ is a field and $X=k[T_1,\dots,T_n]/I$ is an affine scheme over $k$, the sections $X(k)$ ...
9
votes
2answers
187 views

Intuitively, what is the height of a point on an abelian variety?

I have been reading through Silverman's classic text on elliptic curves and I just can't seem to wrap my head around the height functions. It just kind of shows up. What exactly does the height ...
9
votes
2answers
352 views

Elementary proof of the Hurwitz formula

I am aware of two forms of the Hurwitz formula. The first is more common, and deals only with the degrees. So if $f:X \rightarrow Y$ is a non-constant map of degree $n$ between two projective ...
9
votes
1answer
243 views

Why study schemes?

Why study schemes instead of only affine/projective varieties, given by zeros of polynomials in the affine/projective space? I mean, what is gained by introducing the concept of schemes? Thank you!
9
votes
1answer
253 views

Tangent space in a point and First Ext group

Let $X$ be an abelian variety over an algebraically closed field $k$. I have read that one has for an arbitrary closed point $x$ on $X$ a canonical identification $$T_x(X)\simeq ...
9
votes
2answers
183 views

Elliptic curves over Spec Z

I want to show that there are only finitely many elliptic curves over Spec $\mathbf Z$ without appealing to Siegel's theorem or Shafarevich' theorem. Firstly, I think (but I am not sure) that such an ...
9
votes
2answers
146 views

What does $Tor_{R}^n(M,N)$ represent?

Let $R$ be a commutative ring and $M$ and $N$ be $R$-modules (I am not sure if one really needs commutativity in the following). It is well-known that $Ext_{R}^n(M,N)$ for $n>1$ parametrizes ...
9
votes
2answers
132 views

Rational points and dimension of a variety

Notice that $|GL_n(\mathbb{F}_p)|$ is a polynomial of degree $n^2$ in $p$, and that $GL_n(k)$ is a variety of dimension $n^2$. Similarly, $|SL_n(\mathbb{F}_p)|$ is a polynomial of degree $n^2-1$ in ...
9
votes
1answer
635 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 ...
9
votes
1answer
104 views

$f_L:X\to\mathbb P^r$ if finite $\Longleftrightarrow L$ is…?

Suppose we have a line bundle $L$ on an algebraic variety $X$. Let us assume $L$ is globally generated, and let $f_L:X\to \mathbb P^r$ denote the corresponding morphism. Question. Under which ...
9
votes
1answer
112 views

Curious about Hilbert-Zariski theorem involving homogeneous variety and set of zeroes.

I got myself in a confusing situation the other week while trying to read a bit of algebraic geometry. I'm hoping someone can pull me out. Suppose $k$ is a field, and $V$ a homogeneous variety with ...
9
votes
1answer
222 views

what is a “dévissage” argument?

In Serre's "Local Fields" (Chapter 2, section 2, proposition 3) he proves something about field extensions which he breaks into parts: first he dealt with the separable case, and then with the ...
9
votes
1answer
143 views

Ext between two coherent sheaves

Let $X$ be a smooth projective variety over a field $k = \overline k$. From Hartshorne we know, that $\textrm{dim} \, H^i (X,F)<\infty$ for any coherent sheaf $F$. How to show, that all $Ext^i ...