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)

12
votes
0answers
103 views

What is the importance of modules in algebraic geometry?

I have been trying to teach myself the basics of algebraic geometry. I understand the basic premise, how we define geometry spaces (algebraic sets and schemes) in terms of commutative rings. And I ...
12
votes
0answers
179 views

Maximum number of intersection points of two different Bernoulli lemniscates

What is the maximum number of intersection points of two different Bernoulli lemniscates in the real plane? (Of course two identical lemniscates share an infinite number of points.) Here are ...
12
votes
0answers
551 views

Class group of $k[x,y,z,w]/(xy-zw)$

I had a homework problem (II.6.5 in Hartshorne) to compute the (Weil divisor) class group of $X=\operatorname{Spec} k[x,y,z,w]/(xy-zw)$. I have accomplished this; however, I used some results I don't ...
12
votes
1answer
333 views

Krylov-like method for solving systems of polynomials?

To iteratively solve large linear systems, many current state-of-the-art methods work by finding approximate solutions in successively larger (Krylov) subspaces. Are there similar iterative methods ...
11
votes
3answers
435 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 ...
11
votes
3answers
395 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 ...
11
votes
4answers
307 views

Topics in Differential geometry $\cap$ Algebraic geometry

I find (both: differential and algebraic) geometry fascinating. I'm just beginning my graduate studies, but I'd like to know some topics/theorems in the intersection of these two (since I don't really ...
11
votes
3answers
475 views

Is a cover Galois if and only if it is geometrically Galois

Let $K$ be a number field and let $\pi:X\to \mathbf{P}^1_K$ be a finite morphism, where $X$ is a smooth projective geometrically connected curve. Is $\pi$ a Galois cover if and only if the base ...
11
votes
4answers
432 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 ...
11
votes
6answers
638 views

Visualizations of some of the abstractions of algebraic geometry

Where, or do there exist, good visualizations of sheaves, stalks, stacks, and/or schemes? I'm a better visual thinker than I am a symbolic thinker, and it would be easier for me to follow some of the ...
11
votes
1answer
338 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 ...
11
votes
2answers
547 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 ...
11
votes
2answers
713 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, ...
11
votes
1answer
389 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 ...
11
votes
2answers
702 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}:= ...
11
votes
1answer
160 views

In what sense is $p$-adic Hodge theory related to ordinary (complex) Hodge theory?

I started reading about $p$-adic Hodge theory in the notes of Brinon and Conrad. I quote (page 7): The goal of p-adic Hodge theory is to identify and study various “good” classes of $p$-adic ...
11
votes
1answer
294 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 ...
11
votes
2answers
131 views

For a (not necessarily affine) scheme $X = \bigcup_{i=1}^n X_{f_i}$, does $(f_1, \ldots, f_n) = (1)$ in $\mathcal{O}_X(X)$?

This is of course true in the affine case, so it seems like it should be true in general, because $\mathcal{O}_X(X)$ should be "smaller" for a non-affine scheme than for a similar affine scheme (e.g. ...
11
votes
1answer
384 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 ...
11
votes
2answers
1k 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$ ...
11
votes
2answers
200 views

What is a “subscheme”?

Every source I've looked at defines open subschemes and closed subschemes, but the definitions always look ad-hoc and not closely related to one another. Are there other kinds of subschemes? If not, ...
11
votes
3answers
1k 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 ...
11
votes
1answer
495 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 ...
11
votes
1answer
507 views

Gaining insight into the Inverse Image Sheaf

Let $f: X \rightarrow Y$ be a continuous map of topological spaces and let $G$ be a sheaf of sets on $Y$. I am trying to understand the definition of the inverse image sheaf $f^{-1}G$ on $X$. This is ...
11
votes
2answers
266 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
901 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} := ...
11
votes
1answer
207 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
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 ...
11
votes
1answer
446 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 ...
11
votes
1answer
562 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) ...
11
votes
2answers
815 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
192 views

Weil conjectures - motivation?

Can anyone explain (heuristically, intuitively is fine) what the importance of the Weil conjectures is? I realize they have motivated much of recent algebraic geometry. I don't really understand why ...
11
votes
1answer
375 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 ...
11
votes
1answer
157 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 ...
11
votes
1answer
275 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)$ ...
11
votes
1answer
990 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
1answer
149 views

Invariant point (flex) invariant under projective transformations.

Let $C$ be a projective curve in $\mathbb{P}_2$ defined by a homogeneous polynomial $P(x, y, z)$ and let $\alpha$ be a linear transformation of $\mathbb{C}^3$. Let $Q$ be the homogeneous polynomial $Q ...
11
votes
2answers
338 views

Why can't elliptic curves be parameterized with rational functions?

Background: For our abstract algebra class, we were asked to prove that $\mathbb{Q}(t, \sqrt{t^3 - t})$ is not purely transcendental. It clearly has transcendence degree $1$, so if it is purely ...
11
votes
1answer
308 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
254 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 ...
11
votes
0answers
435 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: ...
11
votes
0answers
604 views

Prerequisite of Projective Geometry for Algebraic Geometry

I studied Euclidean Geometry in high-school, and I have not studied anything relates to geometry since I started studying in university. I am now intending to study Algebraic Geometry, however, I ...
11
votes
2answers
231 views

Non-surjective but injective real polynomial functions $\mathbb{R}^n\to \mathbb{R}^n$

Over algebraically closed fields $K$, the Ax–Grothendieck theorem (see also this thread) states that injective polynomial functions $K^n \to K^n$ in $n$ variables are surjective. Is there a simple ...
10
votes
3answers
3k views

Zariski Open Sets are Dense?

Is it true than any nonempty open set is dense in the Zariski topology on $\mathbb{A}^n$? I'm pretty sure it is, but I can't think of a proof! Could someone possibly point me in the right direction? ...
10
votes
3answers
264 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
3answers
352 views

Geometrically, why do line bundles have inverses with respect to the tensor product?

Geometrically, why do line bundles have inverses with respect to the tensor product? Here my thoughts on the problem so far, please excuse their scatteredness. I know algebraically, it is just ...
10
votes
2answers
415 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
1k 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 ...
10
votes
3answers
1k 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
956 views

Why should faithfully flat descent preserve so many properties?

This question is based on the following proposition (EGA IV, 2.7.1) Let $f: X \rightarrow Y$ be a $S$-morphism of $S$-schemes, $g: S'\rightarrow S$ a faithfully flat and quasi-compact morphism. ...