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)

11
votes
1answer
194 views

How are $Spec \mathbb{Q}, Spec \mathbb{R}, Spec \mathbb{C}$ etc different?

By definition $Spec k$ is a point for any field $k$. So $Spec \mathbb{Q}, Spec \mathbb{R}, Spec \mathbb{C}$ etc are all the same as topological spaces. But according to the natural inclusion map $$ ...
11
votes
1answer
844 views

Undergraduate roadmap for Langlands program and its geometric counterpart

What are the topics which an undergraduate with knowledge of algebra, galois theory and analysis learn to understand Langlands program and its goemetric counterpart? I would also like to know what are ...
11
votes
2answers
2k views

What are some applications outside of mathematics for algebraic geometry?

Are there any results from algebraic geometry that have led to an interesting "real world" application?
11
votes
2answers
291 views

Preimaging units to units

I'm interested in (unity-preserving) homomorphisms $f: S \to T$ between (commutative, with-unity) rings $S$ and $T$ so that if $f(x)$ is a unit, then $x$ was a unit to start with. For example, an ...
11
votes
2answers
242 views

Can there be a point on a Riemann surface such that every rational function is ramified at this point?

Let $X$ be a compact connected Riemann surface, and let $S\subset X$ be a finite subset. Does there exist a morphism $f:X\to \mathbf{P}^1(\mathbf{C})$ which is unramified at the points of $S$? I'm ...
11
votes
1answer
182 views

algebraic versus analytic line bundles

If one has a quasiprojective complex variety X, there is a natural map from the algebraic Picard group to the analytic Picard group. Is this map either injective or surjective? I assume the latter ...
11
votes
2answers
665 views

What are normal schemes intuitively?

A ring is called integrally closed if it is an integral domain and is equal to its integral closure in its field of fractions. A scheme is called normal if every stalk is integrally closed. Some ...
11
votes
1answer
413 views

Regular local ring and a prime ideal generated by a regular sequence up to radical

Let $R$ be a regular local ring of dimension $n$ and let $P$ be a height $i$ prime ideal of $R$, where $1< i\leq n-1$. Can we find elements $x_1,\dots,x_i$ such that $P$ is the only minimal prime ...
11
votes
2answers
733 views

Is there a more elementary proof of this special case of Riemann-Roch?

I'm looking for an elementary proof of the fact that $\ell(nP) = \dim L(nP) = n$, where $L(nP)$ is the linear (Riemann-Roch) space of certain rational functions associated to the divisor $nP$, where ...
11
votes
1answer
241 views

principal G-bundles in zariski vs etale topology

Let $G$ be an (affine) algebraic group over say $\mathbb{C}$. A principal $G$-bundle is a scheme $P$ with a $G$ action and a $G$-invariant morphism of schemes $\pi:P \to X$ that is etale locally on ...
11
votes
1answer
676 views

Folium of Descartes

A colleague came to me with an interesting observation: Consider the folium of Descartes, $$x^3+y^3=3axy$$ which upon implicit differentiation of the latter yields $$\frac{\mathrm dy}{\mathrm ...
11
votes
2answers
341 views

The bijection between homogeneous prime ideals of $S_f$ and prime ideals of $(S_f)_0$

It is well-known that if $S$ is a graded ring, and $f$ is a homogeneous element of positive degree, then there is a bijection between the homogeneous prime ideals of the localization $S_f$ and the ...
11
votes
1answer
441 views

vector bundles on affine schemes

Serre's theorem (one of them) states that for a quasi-coherent sheaf $\mathscr F$ on an affine noetherian scheme $H^i(X,\mathscr{F})$ vanish for $i >0$. I used to think that this would imply that ...
11
votes
2answers
409 views

When do equations represent the same curve?

Suppose we have two sets of parametric equations $\mathbf c_1(u) = (x_1(u), y_1(u))$ and $\mathbf c_2(v) = (x_2(v), y_2(v))$ representing two 2D planar curves. When I say "2D planar curves" I mean ...
11
votes
1answer
409 views

Inverse Limit of Sheaves

It is well-known that if you have an inverse system of abelian groups $(A_n)$ (this works in several other nice categories) in which all the maps are surjective (or at least satisfy the Mittag-Leffler ...
11
votes
1answer
145 views

Is a scheme with a single closed point affine?

Let $X$ be a quasi-compact, separated scheme with a single closed point. Is $X$ necessarily affine, and thus isomorphic to the spectrum of a local ring? I could not think of a counter-example; is ...
11
votes
1answer
246 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
1answer
63 views

Is there a geometric meaning of a prime power not being primary?

I guess that the standard example of a prime power that is not a primary ideal is $$\mathfrak p^2 :=(x,z)^2\subset k[x,y,z]/(xy-z^2):=A.$$ Because $\mathfrak p^2 = (x^2,xz,xy)$, we see that $x\not ...
11
votes
0answers
149 views

What geometrical obstructions to $M$ being flat do elements which map to 0 in $M \otimes I$ represent?

I'm trying to get geometric intuition for the notion of a flat module over a ring, and am running into some problems with my intuition. I am comfortable with flat modules and tensor products from the ...
10
votes
3answers
2k views

$\mathbb{A}^{2}$ not isomorphic to affine space minus the origin

Why is the affine space $\mathbb{A}^{2}$ not isomorphic to $\mathbb{A}^{2}$ minus the origin?
10
votes
3answers
800 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
2answers
238 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
2answers
486 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
4answers
335 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
678 views

Good problems in Algebraic Geometry

I am now using Fulton's book Algebraic Curves to learn algebraic geometry from and have just finished chapter 2. However I feel that the problems are not very inspiring (at the moment at least) and ...
10
votes
2answers
752 views

Software for solving geometry questions

When I used to compete in Olympiad Competitions back in high school, a decent number of the easier geometry questions were solvable by what we called a geometry bash. Basically, you'd label every ...
10
votes
3answers
264 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
1answer
154 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
287 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
1answer
622 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
410 views

Does Hom commute with stalks for locally free sheaves?

This is somewhat related to the question Why doesn't Hom commute with taking stalks?. My question is this: If $F$ and $G$ are locally free sheaves of $\mathcal{O}_X$ -modules on an arbitrary ...
10
votes
3answers
190 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
248 views

What is the line bundle $\mathcal{O}_{X}(k)$ intuitively?

I am always confused about how to understand the line bundle $\mathcal{O}_{X}(k)$ on a projective scheme $X=\mathrm{Proj}(\oplus_{n=0}^\infty A_{n})$. Of course this is by definition the ...
10
votes
2answers
953 views

Luroth's Theorem

I have just begun to read Shafarevich's Basic Algebraic Geometry. In the first section of the first chapter, he quotes Luroth's theorem, which states that any subfield of $k(x)$ that is not just $k$ ...
10
votes
1answer
624 views

How to compute localizations of quotients of polynomial rings

At the moment I'm trying to understand the concept of localizations of rings / modules. I have done some exercises (using the book of Atiyah / MacDonald) and I will do some more, but a more practical ...
10
votes
3answers
775 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
2answers
321 views

Motivating (iso)morphism of varieties

I am reading course notes on algebraic geometry, where a morphism of varieties is defined as follows ($k$ is an algebraically closed field): Let $X$ be a quasi-affine or quasi-projective ...
10
votes
1answer
330 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
1answer
686 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
2answers
171 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
197 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
2answers
135 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
2answers
184 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
3answers
448 views

What is a good book to study classical projective geometry for the reader familiar with algebraic geometry?

The more I study algebraic geometry, the more I realize how I should have studied projective geometry in depth before. Not that I don't understand projective space (on the contrary, I am well versed ...
10
votes
1answer
380 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
375 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
296 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
435 views

Monic (epi) natural transformations

Let $C$ and $D$ be categories and let $F : C \rightarrow D$, $G : C \rightarrow D$ be two functors such that they are either both covariant or both contravariant. Under what most general hypotheses is ...
10
votes
1answer
198 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
160 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 ...