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)

14
votes
2answers
1k views

Why is Hodge more difficult than Tate?

There are strong connections between the Hodge and the Tate conjectures, mainly at the level of similarities and analogies. To quote from an answer of Matthew Emerton on MathOverflow: "[...] we ...
14
votes
2answers
672 views

Usefulness of completion in commutative algebra

After studying about the completion of a module $M$ over a ring $A$ (e.g. $I$-adic completion), I am left with the following questions: (i) What is the usefulness of the concept of completion in ...
14
votes
3answers
645 views

The algebraic de Rham complex

Let $A$ be a commutative $R$-algebra (or more generally a morphism of ringed spaces). Then there is an "algebraic de Rham complex" of $R$-linear maps $A=\Omega^0_{A/R} \xrightarrow{d^0} \Omega^1_{A/R} ...
14
votes
4answers
252 views

How to show in a clean way that $z^4 + (x^2 + y^2 - 1)(2x^2 + 3y^2-1) = 0$ is a torus?

How to show in a clean way that the zero-locus of $$z^4 + (x^2 + y^2 - 1)(2x^2 + 3y^2-1) = 0$$ is a torus?
14
votes
3answers
691 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 ...
14
votes
2answers
1k views

Where do Chern classes live? $c_1(L)\in \textrm{?}$

If $X$ is a complex manifold, one can define the first Chern class of $L\in \textrm{Pic}\,X$ to be its image in $H^2(X,\textbf Z)$, by using the exponential sequence. So one can write something like ...
14
votes
2answers
4k 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 ...
14
votes
3answers
871 views

Localization at a prime ideal is a reduced ring

Here is the question that I came up with, which I am having trouble proving or disproving: Let $A$ be a ring (commutative). Let $p \in Spec(A)$ such that $A_p$ is reduced. Then there exists an open ...
14
votes
2answers
584 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 ...
14
votes
5answers
1k views

Favourite applications of the Nakayama Lemma

Inspired by a recent question on the nilradical of an absolutely flat ring, what are some of your favourite applications of the Nakayama Lemma? It would be good if you outlined a proof for the result ...
14
votes
2answers
1k views

Motivation for stable curves

I was looking at Deligne-Mumford's paper on the irreducibility of the space of curves of a given genus, and it seems that they generalize the notion of a smooth curve to a "stable curve." I'm a little ...
14
votes
1answer
1k 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 ...
14
votes
2answers
402 views

Existence of divisors of degree one on a curve over a finite field

Let $C$ be a smooth, geometrically irreducible projective curve defined over a finite field $\mathbb{F}_q$. Given a (scheme-theoretic) point $x \in C$, define the degree of $x$ to be the degree of ...
14
votes
2answers
151 views

how much differential structure can we put on countable manifolds?

The motivation for this question is that I would like to formulate Lagrangian mechanics in a purely discrete setting (see also my older question at physics.se). Unfortunately several key pieces of ...
14
votes
3answers
1k views

Toy sheaf cohomology computation

I asked this question a while back on MO : One thing that really helped in learning the Serre SS was doing particular computations (like $H^*(CP^{\infty})$) I am curious, as a sort of followup if ...
14
votes
1answer
175 views

If $p$ is a positive multivariate polynomial, does $1/p$ have polynomial growth?

I wanted to ask a separate question to focus on an elementary issue from my question Does the inverse of a polynomial matrix have polynomial growth?. Let $p : \mathbb{R}^n \to \mathbb{R}$ be a ...
14
votes
1answer
398 views

Stacks are just sheaves up to Isomorphism

I have heard that one can think of stacks on a site as taking sheaves but instead of the restrictions being equal, we just loosen it to isomorphic, and treat the sheaf conditions with the "obvious" ...
14
votes
1answer
253 views

Real points of a complex curve

Since the "real points" of a complex curve can mean a couple of different things, bear with me while I'm annoyingly formal here. Consider first a cubic curve $y^2 = x^3 + a x + b$. Write $$S := \{ ...
14
votes
2answers
359 views

Are there applications of noncommutative geometry to number theory?

The marriage of algebraic geometry and number theory was celebrated in the twentieth century by the school of Grothendieck. As a consequence, number theory has been completely transformed. On the ...
14
votes
1answer
396 views

What is the homotopy type of the affine space in the Zariski topology..?

I'm asking this question out of curiosity, as I was unable to come to a conclusion. Consider the affine space over an algebraically closed field, for concreteness we can work with $\mathbb{C}^{n}$. ...
14
votes
1answer
528 views

Equivalent definitions of Noetherian topological space

It is well known that we have many different definitions of noetherianity for rings. Namely, given a ring $R$, the following are equivalent: 1) every ideal of $R$ is finitely generated. 2) $R$ ...
14
votes
2answers
522 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 ...
14
votes
1answer
628 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 ...
14
votes
1answer
180 views

Representability of diagonal of $\mathscr{M}_g$

Let $\mathscr{M}_g$ be the moduli stack of genus $g$ curves ($g \geq 2$). That is, $\mathscr{M}_g$ is the category whose objects are proper smooth morphisms $f: C \to S$ whose geometric fibers are ...
14
votes
1answer
194 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 ...
14
votes
2answers
188 views

Is a linear combination of minors irreducible?

Let $X=(X_{ij})_{1\le i,j\le n}$ be a matrix of indeterminates over $\mathbb C$. For choices $I,J\subseteq\{1,\ldots,n\}$ with $|I|=|J|=k$ denote by $X_{I\times J}$ the matrix $(X_{ij})_{i\in I,j\in ...
14
votes
1answer
1k views

Geometric Explanation of Tamagawa Numbers

Sometimes in order to understand a concept thoroughly we need to have a algebraic view ( in terms of equations ) and corresponding geometric view. My interest always lies with understanding the ...
14
votes
2answers
331 views

Which continuous functions are polynomials?

Suppose $f \in C(\mathbb{R}^n)$, the space of continuous $\mathbb{R}$-valued functions on $\mathbb{R}^n$. Are there conditions on $f$ that guarantee it is the pullback of a polynomial under some ...
14
votes
2answers
468 views

What is the most influential work of Grothendieck in mathematics?

Recently Alexander Grothendieck has passed away but his mathematical wave is still alive and passes its growth ages. It is hard to describe the influence of such a great man in mathematics just in few ...
13
votes
5answers
859 views

An example of a scheme in the language of schemes

Somewhat related to this question, but almost infinitely more basic. A Confession I am, should classification prove essential, a differential geometer and a topologist by inclination and by ...
13
votes
3answers
656 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 ...
13
votes
3answers
2k views

Learning schemes

Could someone suggest me how to learn some basic theory of schemes? I have two books from algebraic geometry, namely "Diophantine Geometry" from Hindry and Silverman and "Algebraic geometry and ...
13
votes
5answers
995 views

Irreducibility of Polynomials in $k[x,y]$

I'm working through some Hartshorne problems and have noticed that in order to do certain problems properly one must prove a given polynomial $f\in k[x,y]$ is irreducible. For example, in problem ...
13
votes
1answer
2k views

What is the intuition behind the concept of Tate twists?

For any field $K$ we can define the cyclotomic character $\chi: \operatorname{Gal}(K)\rightarrow GL_1(\hat{\mathbb{Z}})$. For any representation $V$ (I will view this as a module over ...
13
votes
2answers
1k 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. ...
13
votes
2answers
642 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 ...
13
votes
2answers
842 views

How are the Tate-Shafarevich group and class group supposed to be cognates?

How can one consider the Tate-Shafarevich group and class group of a field to be analogues? I have heard many authors and even many expository papers saying so, class group as far as I know is ...
13
votes
1answer
1k views

Simple example of an ample line bundle that is not very ample

I am looking for a very concrete and simple example of a line bundle $L$ (on a curve or a surface) which is ample, but not very ample. I would also like that $L^{\otimes k}$ is very ample for a small ...
13
votes
2answers
927 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, ...
13
votes
2answers
1k views

tensor product of sheaves commutes with inverse image

Let $f : X \to Y$ be a morphism of ringed spaces and $\mathcal{M}$, $\mathcal{N}$ sheaves of $\mathcal{O}_Y$-modules. Then one has a canonical isomorphism $f^*(\mathcal{M} \otimes_{\mathcal{O}_Y} ...
13
votes
2answers
362 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 ...
13
votes
1answer
427 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?
13
votes
3answers
213 views

What is the opposite category of $\operatorname{Top}$?

My question is rather imprecise and open to modification. I am not entirely sure what I am looking for but the question seemed interesting enough to ask: The opposite category of rings is the ...
13
votes
6answers
2k views

How do I teach university level mathematics to myself? [closed]

So here I go, I have enrolled myself in maths major this year but due to less marks in SSC I couldn't secure admission in a good university so I have to take admission wherever I could get with my ...
13
votes
1answer
291 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 $$ ...
13
votes
2answers
956 views

What is the Albanese map good for?

I am reading a textbook on complex manifolds and come across the Albanese map. For a compact Kähler manifold $X$, $$ T=H^0(X,\Omega_{X}^1)^*/H_1(M,\mathbb{Z}) $$ is a complex torus, called the ...
13
votes
1answer
1k 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} := ...
13
votes
1answer
1k 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 ...
13
votes
1answer
399 views

2-Torsion Group Scheme

Consider the elliptic curve $zy^2 + z^2y = x^3.$ I would like to explictly compute the 2-torsion group scheme, $E[2],$ over $\mathbf{Spec}(\mathbb{Z}_2),$ but I'm having a tough time writing down the ...
13
votes
1answer
2k 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 ...