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)

11
votes
1answer
284 views

Is the composition of blowing-up a blowing-up?

Is the composition of blowing-up of algebraic varieties itself a blowing-up ? I think this is true but I am surprised not to have found any reference, though it seems to be an interesting property. ...
11
votes
0answers
237 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
3answers
395 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 ...
10
votes
3answers
276 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 ...
10
votes
3answers
250 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 ...
10
votes
2answers
324 views

Is a divisor in the hyperplane class necessarily a hyperplane divisor?

Let $V$ be a smooth irreducible projective curve over an algebraically closed field $k$, embedded in some projective space $\mathbb{P}^n$, and let $[H]$ be the induced hyperplane divisor class on $V$. ...
10
votes
3answers
911 views

A plane algebraic curve with all four kinds of double points

During my study of plane algebraic curves, I got curious if there is a nontrivial example of a plane algebraic curve that has a node, a cusp (for my purposes I do not care which of the two kinds of ...
10
votes
1answer
185 views

Does there exist a regular map $\mathbb{A}^1\to\mathbb{P}^1$ which is surjective?

Suppose $\mathbb{A}^1$ and $\mathbb{P}^1$ are affine space and projective space. I'm not sure if it matters, but I don't mind if we assume that we're working over algebraically closed fields. I'm ...
10
votes
3answers
940 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 ...
10
votes
2answers
668 views

Proof $\mathbb{A}^n$ is irreducible, without Nullstellensatz

As the title suggests, could anyone either provide me with or direct me to a proof that affine n-space $\mathbb{A}^n$ is irreducible, without using the Nullstellensatz? This is an exercise in a ...
10
votes
2answers
429 views

In what senses are archimedean places infinite?

According to Bjorn Poonen's notes here (§2.6), we should add the archimedean places of a number field $K$ to $\operatorname{Spec} \mathscr{O}_K$ in order to get a good analogy with smooth projective ...
10
votes
4answers
393 views

Spectrum of $R[x]$

The spectrum of $\Bbb Z[x]$ is well known : a prime ideal of $\Bbb Z[x]$ is or $(Q, p)$, with $Q \in \Bbb Z[x]$ zero or irreducible modulo $p$, and $p$ prime or zero. If I'm not mistaken, we have a ...
10
votes
2answers
475 views

Why are affine varieties except points not compact in the standard topology on $C^n$ ?

I am starting to learn algebraic geometry and in the notes I am reading there is the following remark: " Over the complex numbers and with the strong topology we see that $A^n$ and affine varieties ...
10
votes
2answers
456 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 ...
10
votes
1answer
271 views

Torsion Chern class?

Can somebody give an example of a complex manifold whose first Chern class is a torsion class? In general it seems that Chern classes may have torsion part as well as free part. However when using ...
10
votes
1answer
207 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 ...
10
votes
2answers
433 views

Variety of Nilpotent Matrices

Let $k$ be an algebraically closed field and view $M_n(k)$ as $\mathbb{A}^{n^2}$. $A\in M_n(k)$ is nilpotent if and only if $A^n=0$. Since the equation $A^n=0$ is given by $n^2$ polynomial ...
10
votes
3answers
313 views

Product of two algebraic varieties is affine… are the two varieties affine?

Let $X_1$ and $X_2$ two algebraic varieties such that their product $X_1\times X_2$ is affine. Are $X_1$ and $X_2$ affine then? If this is not true, could you give a counterexample?
10
votes
2answers
614 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}:= ...
10
votes
1answer
322 views

Advice: Algebra and category theory for geometry?

I'm interested in learning a bit of geometry. To start I'm (slowly) working my way towards differential geometry via Lee's Introduction to Smooth Manifolds. But, later on, I'd also like to study some ...
10
votes
1answer
171 views

Why does Mumford want to avoid “reduction to Jacobians”?

In the introduction to his Abelian Varieties book, David Mumford writes: I don't believe the word "Jacobian" is ever used in this book. Rather stubbornly I wanted to prove that the theory of ...
10
votes
2answers
273 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 ...
10
votes
1answer
818 views

Geometric meaning of primary decomposition

In the book "Commutative Algebra with a view toward Algebraic Geometry of David Eisenbud, he wrote about the Geometric interpretation of primary decomposition. I summary as follows : Let ...
10
votes
2answers
539 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 ...
10
votes
3answers
918 views

Toy sheaf cohomology computation

I asked this question a while back on MO : http://mathoverflow.net/questions/32689/how-should-a-homotopy-theorist-think-about-sheaf-cohomology One thing that really helped in learning the Serre SS ...
10
votes
3answers
206 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 ...
10
votes
1answer
424 views

On the definition of the structure sheaf attached to $Spec A$

Let $A$ be a ring (commutative with $1$),if $X=Spec A$ we want to attach a sheaf of rings to $X$. If $f\in A$, $D(f)=X\setminus V(f)$ is an element of the base and we define $$\mathcal ...
10
votes
2answers
98 views

How to write down a non-degenerate cubic surface in P^4

I want to do something very concrete: write down a smooth scheme of given degree and dimension in projective n-space. A natural way to go about this is to try and write down a complete intersection, ...
10
votes
1answer
766 views

The Picard Group of the Affine line with double origin

Let $X$ be the affine line with double origin over a field $k$. It is the scheme obtained gluing two copies of the affine line $\mathbb{A}^1_k$ along the open sets $U_1 = U_2 =\mathbb{A}^1_k - (x)$, ...
10
votes
1answer
812 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? ...
10
votes
2answers
164 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 ...
10
votes
1answer
1k views

My first course in algebraic geometry: two simple questions

I'm attending my first course in algebraic geometry, and my professor has chosen an approach which is a middle-way between the basic algebraic geometry done in $\mathbb A^n_k$ and the approach with ...
10
votes
1answer
264 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!
10
votes
1answer
231 views

Theorems in algebraic geometry which have been proved only by using cohomology

There are many theorems in algebraic geometry which were proved using cohomology. I would like to know examples of such theorems which have been proved only by using cohomology. In other words, those ...
10
votes
2answers
267 views

Integral of wedge product of two one forms on a Riemann surface

I'm having trouble verifying an elementary assertion made in this answer on MathOverflow. It seems more like a math.stackexchange question, so I'm asking it here. Anyway, the assertion is as follows ...
10
votes
1answer
255 views

Intersection of powers of maximal ideals

Let $A=\mathbb K[X_1,\ldots,X_n]$ be a polynomial ring over some field $\mathbb K$. Let $\mathfrak p\subseteq A$ be a prime ideal. Let $Z(\mathfrak p)=\{ \mathfrak m\subset A\text{ maximal}\mid ...
10
votes
1answer
1k 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 ...
10
votes
2answers
150 views

Is the product of non-separated schemes non-separated?

My question is the title, but let me be more specific: for schemes $X$ and $Y$ over $S$, with at least one non-separated over $S$, is it true that the fibered product $X\times_S Y$ is also not ...
10
votes
1answer
676 views

How to think of the pullback operation of line bundles?

Recall that give a map $f : (X,\mathcal{O}_X) \to (Y,\mathcal{O}_Y)$ of ringed spaces and a sheaf $\mathcal{F}$ on $Y$ we can form the pullback $f^\ast \mathcal{F} := ...
10
votes
1answer
517 views

Atiyah-MacDonald help with exercise 5.10

This is an exercise from Atiyah-MacDonald, if someone can give an idea on how to prove that $a)\Rightarrow b)$: Let $f:A\rightarrow B$ a ring homomorphism. a) ...
10
votes
1answer
328 views

Concrete example of calculation of $\ell$-adic cohomology

Let $p$ and $\ell$ be distinct prime numbers. Consider in the affine plane $\mathbb{A}^2_{\mathbb{F}_p}$ with coordinates $(x,y)$ the union $L$ of the axes $x = 0$ and $y = 0$. How does one compute ...
10
votes
1answer
100 views

What's the intution behind defining the cotangent sheaf as $\Delta^\ast(\mathscr{I}/\mathscr{I}^2)$?

This definition seems to be given all over the place (e.g. Hartshorne II.8, Vakil 21.2.20, Wikipedia, McKernan's lecture notes from MIT), and never with any explanation as to why the map $\Delta : X ...
10
votes
1answer
278 views

Sard's theorem for algebraic varieties

(One version of) Sard's theorem states that: Theorem (Sard): Given $M$ and $N$ smooth manifolds of dimensions $m$ and $n$ respectively, and a smooth map $f:M\to N$, then the set of singular values ...
10
votes
1answer
773 views

Intuition behind Hilbert's Nullstellensatz

maybe that's a pointless question, however I'm having problems in "understanding" (accepting) the Hilbert's Nullstellensatz. I understand the proof, however I cannot understand the concept in a more ...
10
votes
1answer
234 views

Finite extensions of rational functions

I know that finite extensions of $\mathbb{C}(x)$ correspond to finite branched covers of $\mathbb{P}^1$, and this leads to an abstract characterization of the absolute Galois group of $\mathbb{C}(x)$ ...
10
votes
1answer
316 views

Problem about Complete Intersection in $\textbf P^n$ (from Hartshorne).

I am in trouble with Exercise 8.4 in Hartshorne's Chapter II; I am doing part (a). It is about (global) complete intersection in $\textbf P^n$. For those without Hartshorne' book at hand, I describe ...
10
votes
1answer
631 views

Cohomology of a tensor product of sheaves

Say I have two locally free sheaves $F,G$ on projective variety $X$. I know the cohomology groups $H^i(X,F)$ and $H^i(X,G)$. Is this enough to give me information about $H^i(X,F\otimes G)$? In ...
10
votes
1answer
179 views

What are the “correct” modules over locally ringed spaces?

$$\begin{array}{ccccc} \text{schemes} & \longrightarrow & \text{locally ringed spaces} & \longrightarrow & \text{ringed spaces} \\ | && | && | \\ \text{quasi-coherent ...
10
votes
1answer
133 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
343 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: ...