Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [ag.algebraic-geometry]

for questions on algebraic geometry, including algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

267
votes
7answers
126k views

Philosophy behind Mochizuki's work on the ABC conjecture

Mochizuki has recently announced a proof of the ABC conjecture. It is far too early to judge its correctness, but it builds on many years of work by him. Can someone briefly explain the philosophy ...
190
votes
16answers
41k views

What elementary problems can you solve with schemes?

I'm a graduate student who's been learning about schemes this year from the usual sources (e.g. Hartshorne, Eisenbud-Harris, Ravi Vakil's notes). I'm looking for some examples of elementary self-...
174
votes
35answers
110k views

Best Algebraic Geometry text book? (other than Hartshorne)

I think (almost) everyone agrees that Hartshorne's Algebraic Geometry is still the best. Then what might be the 2nd best? It can be a book, preprint, online lecture note, webpage, etc. One suggestion ...
162
votes
33answers
23k views

What should be learned in a first serious schemes course?

I've just finished teaching a year-long "foundations of algebraic geometry" class. It was my third time teaching it, and my notes are gradually converging. I've enjoyed it for a number of reasons (...
152
votes
7answers
18k views

How to memorise (understand) Nakayama's lemma and its corollaries?

Nakayama's lemma is mentioned in the majority of books on algebraic geometry that treat varieties. So I think Ihave read the formulation of this lemma at least 20 times (and read the proof maybe ...
136
votes
4answers
8k views

Analytic tools in algebraic geometry

This is not a very precise question, but I hope it will get some good answers. As someone with a background in smooth manifold theory, I have experienced algebraic geometry as a beautiful but foreign ...
134
votes
0answers
8k views

Grothendieck -sad news [closed]

Sorry for that this is not a real question. But I thought people would like to know. Alexandre Grothendieck died today: http://www.liberation.fr/sciences/2014/11/13/alexandre-grothendieck-ou-la-mort-...
125
votes
1answer
14k views

What is a Frobenioid?

Since there will be a long digression in a moment, let me start by reassuring you that my intention really is to ask the question in the title. Recently, there has been a flurry of new discussion ...
119
votes
2answers
12k views

What are the shapes of rational functions?

I would like to understand and compute the shapes of rational functions, that is, holomorphic maps of the Riemann sphere to itself, or equivalently, ratios of two polynomials, up to Moebius ...
116
votes
6answers
13k views

what mistakes did the Italian algebraic geometers actually make?

It's "well-known" that the 19th century Italian school of algebraic geometry made great progress but also started to flounder due to lack of rigour, possibly in part due to the fact that foundations (...
113
votes
9answers
11k views

Why are flat morphisms “flat?”

Of course "flatness" is a word that evokes a very particular geometric picture, and it seems to me like there should be a reason why this word is used, but nothing I can find gives me a reason! Is ...
105
votes
0answers
8k views

Grothendieck-Teichmuller conjecture

(1) In "Esquisse d'un programme", Grothendieck conjectures Grothendieck-Teichmuller conjecture: the morphism $$ G_{\mathbb{Q}} \longrightarrow Aut(\widehat{T}) $$ is an isomorphism. Here $G_{\...
93
votes
15answers
33k views

A learning roadmap for algebraic geometry

Unfortunately this question is relatively general, and also has a lot of sub-questions and branches associated with it; however, I suspect that other students wonder about it and thus hope it may be ...
91
votes
2answers
21k views

Why is the Hodge Conjecture so important?

The Hodge Conjecture states that every Hodge class of a non singular projective variety over $\mathbf{C}$ is a rational linear combination of cohomology classes of algebraic cycles: Even though I'm ...
90
votes
8answers
12k views

What do heat kernels have to do with the Riemann-Roch theorem and the Gauss-Bonnet theorem?

I know the following facts. (Don't assume I know much more than the following facts.) The Atiyah-Singer index theorem generalizes both the Riemann-Roch theorem and the Gauss-Bonnet theorem. The ...
88
votes
7answers
13k views

What is the field with one element?

I've heard of this many times, but I don't know anything about it. What I do know is that it is supposed to solve the problem of the fact that the final object in the category of schemes is one-...
81
votes
2answers
8k views

Riemann hypothesis via absolute geometry

Several leading mathematicians (e.g. Yuri Manin) have written or said publicly that there is a known outline of a likely natural proof of the Riemann hypothesis using absolute algebraic geometry over ...
79
votes
10answers
8k views

equivalence of Grothendieck-style versus Cech-style sheaf cohomology

Given a topological space $X$, we can define the sheaf cohomology of $X$ in I. the Grothendieck style (as the right derived functor of the global sections functor $\Gamma(X,-)$) or II. the Čech ...
77
votes
2answers
5k views

Vladimir Voevodsky's works

Vladimir Voevodsky has made several contributions in abstract algebraic geometry, focused on the homotopy theory of schemes, algebraic K-theory, and interrelations between algebraic geometry, and ...
75
votes
6answers
7k views

Is there an analogue of curvature in algebraic geometry?

I am not an expert, but there seems to be an enormous technical difference between algebraic geometry and differential/metric geometry stemming from the fact that there is apparently no such thing as ...
73
votes
1answer
3k views

Is there a complex surface into which every Riemann surface embeds?

This question was previously asked on Math SE. Every Riemann surface can be embedded in some complex projective space. In fact, every Riemann surface $\Sigma$ admits an embedding $\varphi : \Sigma \...
72
votes
5answers
10k views

how does one understand GRR? (Grothendieck Riemann Roch)

I tried to answer an earlier question as to uses of GRR, just from my reading, although i do not understand GRR. Today i tried to understand the possible idea behind GRR. After editing my answer ...
71
votes
17answers
7k views

Facts from algebraic geometry that are useful to non-algebraic geometers

A professor of mine (a geometric topologist, I believe) once criticized the core graduate curriculum at my institution because it teaches all sorts of esoteric algebra, but does not include basic ...
71
votes
4answers
10k views

Etale cohomology — Why study it?

I know (at least I think I know) that some of the main motivating problems in the development of etale cohomology were the Weil conjectures. I'd like to know what other problems one can solve using ...
70
votes
0answers
10k views

Hironaka's proof of resolution of singularities in positive characteristics

Recent publication of Hironaka seems to provoke extended discussions, like Atiyah's proof of almost complex structure of $S^6$ earlier... Unlike Atiyah's paper, Hironaka's paper does not have a ...
69
votes
5answers
2k views

When the automorphism group of an object determines the object

Let me start with three examples to illustrate my question (probably vague; I apologize in advance). $\mathbf{Man}$, the category of closed (compact without boundary) topological manifold. For any $M,...
67
votes
2answers
5k views

Is it known that the ring of periods is not a field?

I have just learned here that we know numbers that are not periods; is it known meanwhile that the ring of periods is not a field? I know that it is conjectured that $1/\pi$ is not a period, but the ...
66
votes
15answers
9k views

Why torsion is important in (co)homology ?

I've once been told that "torsion in homology and cohomology is regarded by topologists as a very deep and important phenomenon". I presume an analogous statement could be said in the context of ...
66
votes
4answers
11k views

What's the “Yoga of Motives”?

There are some things about geometry that show why a motivic viewpoint is deep and important. A good indication is that Grothendieck and others had to invent some important and new algebraico-...
66
votes
5answers
4k views

Rigidity of the category of schemes

Call a category $C$ rigid if every equivalence $C \to C$ is isomorphic to the identity. I don't know if this is standard terminology. Many of the usual algebraic categories are rigid, for example sets,...
64
votes
15answers
22k views

The importance of EGA and SGA for “students of today”

That fact that EGA and SGA have played mayor roles is uncontroversial. But they contain many volumes/chapters and going through them would take a lot of time, especially if you do not speak French. ...
64
votes
20answers
13k views

Algebraic geometry examples

What are some surprising or memorable examples in algebraic geometry, suitable for a course I'll be teaching on chapters 1-2 of Hartshorne (varieties, introductory schemes)? I'd prefer examples that ...
64
votes
4answers
3k views

What are reasons to believe that e is not a period?

In their 2001 paper defining periods, Kontsevich and Zagier (pdf) without further comment state that $e$ is conjecturally not a period while many other numbers showing up naturally (conjecturally) are....
63
votes
1answer
3k views

Did Bourbaki write a text on algebraic geometry?

Certainly Bourbaki never wrote an introduction to algebraic geometry: we would have heard about it, right?
63
votes
1answer
5k views

Derived Functors Versus Spectral Sequences

Let $A{\buildrel F\over\rightarrow}B{\buildrel G\over\rightarrow}C$ be additive functors between abelian categories. Hartshorne, in Proposition 5.4 of Residues and Duality, constructs the obvious ...
63
votes
4answers
5k views

Did Gelfand's theory of commutative Banach algebras influence algebraic geometers?

Guillemin and Sternberg wrote the following in 1987 in a short article called "Some remarks on I.M. Gelfand's works" accompanying Gelfand's Collected Papers, Volume I: The theory of commutative ...
63
votes
0answers
2k views

Why do combinatorial abstractions of geometric objects behave so well?

This question is inspired by a talk of June Huh from the recent "Current Developments in Mathematics" conference: http://www.math.harvard.edu/cdm/. Here are two examples of the kind of combinatorial ...
62
votes
4answers
4k views

When is a singular point of a variety ($\mathcal{C}^\infty$-) smooth?

If $X$ is a nonsingular algebraic (or analytic) variety over $\mathbb C$ or $\mathbb R$ then it is certainly $C^\infty$ over the reals. The converse is false for a silly reason : in the real or ...
62
votes
2answers
6k views

Has the mathematical content of Grothendieck's “Récoltes et Semailles” been used?

This question is partly motivated by this one. Motivation Grothendieck's "Récoltes et Semailles" has been cited on various occasions on this forum. See for instance the answers to this question or ...
62
votes
1answer
5k views

Is there a “classical” proof of this $j$-value congruence?

Let $j: \mathbf{C} - \mathbf{R} \rightarrow \mathbf{C}$ denote the classical $j$-function from the theory of elliptic functions. That is, $j(\tau)$ is the $j$-invariant of the elliptic curve $\mathbf{...
62
votes
1answer
3k views

$R$ is isomorphic to $R[X,Y]$, but not to $R[X]$

Is there a commutative ring $R$ with $R \cong R[X,Y]$ and $R \not\cong R[X]$? This is a ring-theoretic analog of my previous question about abelian groups: In fact, in any algebraic category we may ...
61
votes
5answers
9k views

Why higher category theory?

This is a soft question. I am an undergrad and is currently seriously considering the field of math I am going into in grad school. (perhaps a little bit late, but it's better late then never.) I ...
60
votes
9answers
4k views

Taking “Zooming in on a point of a graph” seriously

In calculus classes it is sometimes said that the tangent line to a curve at a point is the line that we get by "zooming in" on that point with an infinitely powerful microscope. This explanation ...
60
votes
2answers
5k views

The inverse Galois problem and the Monster

I have a slight interest in both the inverse Galois problem and in the Monster group. I learned some time ago that all of the sporadic simple groups, with the exception of the Mathieu group $M_{23}$, ...
59
votes
1answer
5k views

Smooth proper scheme over Z

Does every smooth proper morphism $X \to \operatorname{Spec} \mathbf{Z}$ with $X$ nonempty have a section? EDIT [Bjorn gave additional information in a comment below, which I am recopying here. -- ...
59
votes
6answers
6k views

Origin of terms “flag”, “flag manifold”, “flag variety”?

These terms have become common in Lie theory and related algebraic geometry and combinatorics, as seen in many questions posted on MO, but it's unclear to me where they first came into use. Probably ...
58
votes
13answers
14k views

How has modern algebraic geometry affected other areas of math?

I have a friend who is very biased against algebraic geometry altogether. He says it's because it's about polynomials and he hates polynomials. I try to tell him about modern algebraic geometry, ...
57
votes
2answers
2k views

The topological analog of flatness?

Recall that a map $f:X\to Y$ of schemes is called flat iff for any $x\in X$ the ring $O_{X,x}$ is a flat $O_{Y,f(x)}$-module. Briefly the question is: what is the topological analog of this? Many ...
56
votes
28answers
5k views

Examples where it's useful to know that a mathematical object belongs to some family of objects

For an expository piece I'm writing, it would be useful to have good examples of the following phenomenon: (1) ${\cal X}$ is a parameterized family of somethings. (Varieties, schemes, manifolds, ...
56
votes
16answers
11k views

Good introductory references on algebraic stacks?

Are there any good introductory texts on algebraic stacks? I have found some readable half-finsished texts on the net, but the authors always seem to give up before they are finished. I have also ...