Questions tagged [ag.algebraic-geometry]

Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.

Filter by
Sorted by
Tagged with
36
votes
1answer
4k views

Why is there a connection between enumerative geometry and nonlinear waves?

Recently I encountered in a class the fact that there is a generating function of Gromov–Witten invariants that satisfies the Korteweg–de Vries hierarchy. Let me state the fact more precisely. ...
46
votes
2answers
5k views

What interesting/nontrivial results in Algebraic geometry require the existence of universes?

Brian Conrad indicated a while ago that many of the results proven in AG using universes can be proven without them by being very careful (link). I'm wondering if there are any results in AG that ...
66
votes
6answers
8k views

Kahler differentials and Ordinary Differentials

What's the relationship between Kahler differentials and ordinary differential forms?
30
votes
6answers
3k views

Is there any holomorphic version of the tubular neighborhood theorem?

This question arised when I was studying Beauville's book 'Complex Algebraic Surfaces'. Castelnuovo's theorem says that a smooth rational curve $E$ on an algebraic surface $S$ is an exceptional ...
37
votes
3answers
8k views

The error in Petrovski and Landis' proof of the 16th Hilbert problem

What was the main error in the proof of the second part of the 16th Hilbert problem by Petrovski and Landis? Please see this related post and also the following post.. For Mathematical ...
16
votes
3answers
1k views

Guises of the Stasheff polytopes, associahedra for the Coxeter $A_n$ root system?

Richard Stanley keeps a famous running compilation of different guises of the celebrated Catalan numbers. The number of vertices of the associahedron is one instantiation among the multitude, and the ...
223
votes
37answers
141k views

Best algebraic geometry textbook? (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 ...
10
votes
1answer
3k views

Bijection implies isomorphism for algebraic varieties

Let $f:X\to Y$ be a morphism of algebraic varieties over $\mathbb C$. Assume that a) $f$ is bijective on $\mathbb C$-points b) $X$ is connected c) $Y$ is normal. Does it imply that $f$ is an ...
13
votes
2answers
2k views

Explaining Mukai-Fourier transforms physically

A core concept in mathematics, engineering, and physics is the Fourier Transform (FT) and its many variants (Generalized Fourier Series, Green's Function, Pontryagin duality). The basic algorithm is ...
67
votes
5answers
10k views

Is there a "geometric" intuition underlying the notion of normal varieties?

I first got concious of the notion of normal varieties around 3 years ago and despite the fact that by now I can manipulate with it a bit, this notion still puzzles me a lot. One thing that strikes me ...
288
votes
8answers
135k 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 ...
16
votes
2answers
6k views

The canonical line bundle of a normal variety

I have heard that the canonical divisor can be defined on a normal variety X since the smooth locus has codimension 2. Then, I have heard as well that for ANY algebraic variety such that the canonical ...
46
votes
8answers
6k views

When are there enough projective sheaves on a space X?

This question is being asked on behalf of a colleague of mine. Let $X$ be a topological space. It is well known that the abelian category of sheaves on $X$ has enough injectives: that is, every ...
9
votes
2answers
3k views

Conditions under which a bijective morphism of quasi-projective varieties is an isomorphism

I'm currently reading a paper by Nakajima (Quiver Varieties and Tensor Products), and I'm having a hard time understanding a very specific step in his proof of Lemma 3.2. Essentially, we have two (...
37
votes
1answer
2k views

Is an affine fibration over an affine space necessarily trivial?

Let $X$ be an algebraic variety over an alg. closed field with zero char. and let $f:X\to \mathbb{A}^n$ be a smooth surjective morphism, such that all fibers (at closed points) are isomorphic to $\...
14
votes
1answer
604 views

Is there a lift of the q-Vandermonde identity to some geometric (motivic) identity for Grassmannians over $F_q$?

The q-Vandermonde identity reads: $$ \binom{m + n}{k}_{\!\!q} =\sum_{j} \binom{m}{k - j}_{\!\!q} \binom{n}{j}_{\!\!q} q^{j(m-k+j)} $$ The q-binomial coefficients: $$ \binom{ a }{ b}_{\!\!q} $$ ...
7
votes
1answer
962 views

When do two non-degenerate quadratic forms give rise to isomorphic Lie algebras?

Let $V$ be a vector space over some number field $k$. (I'm fine with $\mathbb{Q}$.) Let $\phi \colon V \to k$ be a non-degenerate quadratic form. Associated with $\phi$ is the orthogonal group $\...
46
votes
8answers
20k views

Roadmap for studying arithmetic geometry

I have read Hartshorne's Algebraic Geometry from chapter 1 to chapter 4, so I'd like to find some suggestions about the next step to study arithmetic geometry. I want to know how to use scheme ...
91
votes
10answers
11k 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 ...
70
votes
16answers
7k views

Geometric / physical / probabilistic interpretations of Riemann zeta($n>1$)?

What are some physical, geometric, or probabilistic interpretations of the values of the Riemann zeta function at the positive integers greater than one? I've found some examples: 1) In MO-Q111339 ...
71
votes
4answers
5k 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 ...
28
votes
2answers
7k views

When is fiber dimension upper semi-continuous?

Suppose $f\colon X \to Y $ is a morphism of schemes. We can define a function on the topological space $Y$ by sending $y\in Y$ to the dimension of the fiber of $f$ over $y$. When is this function ...
49
votes
6answers
7k views

Colimits of schemes

This is related to another question. I've found many remarks that the category of schemes is not cocomplete. The category of locally ringed spaces is cocomplete, and in some special cases this turns ...
20
votes
4answers
4k views

Extending vector bundles on a given open subscheme, reprise

In this question, Ariyan asks about the question of uniqueness of extensions of vector bundles when they exist. Sasha's answer suggests that extensions of vector bundles don't always exist. More ...
18
votes
4answers
6k views

Isomorphism between varieties of char 0

Hi, the following statement appeared implicitly in a text I read and maybe you could just give me a hint how to see this resp. give a reference: If you have two k-varieties $X$ and $Y$ (sufficiently ...
36
votes
8answers
4k views

Why do we need model categories?

I cannot give a good answer to this question. And 2) Why this definition of model category is the right way to give a philosophy of homotopy theory? Why didn't we use any other definition? 3) Has ...
16
votes
2answers
1k views

Good introductory references on moduli (stacks), for arithmetic objects

I've studied some fundation of algebraic geometry, such as Hartshorne's "Algebraic Geometry", Liu's "Algebraic Geometry and Arithmetic Curves", Silverman's "The Arithmetic of Elliptic Curves", and ...
11
votes
2answers
2k views

Global sections of flat scheme also flat?

In the most naive form my question would be as follows: If $f:X\to \mathrm{Spec}\;A$ is a flat morphism of schemes is it true that $H^0(X,\mathcal{O}_X)$ is a flat $A$-module? In general the answer ...
13
votes
2answers
2k views

How to prove that a projective variety is a finite CW complex?

Let $X$ be a (singular) projective variety, in other words something given by a collection of polynomial equations in $\mathbb CP^n$ or $\mathbb RP^n$. How can one prove it is a finite $CW$ complex? ...
9
votes
1answer
1k views

Obtaining non-normal varieties by pushout

In his answer to this MO question, Karl Schwede claimed that every non-normal variety can be obtained by an appropriate pushout diagram, as sketched in that answer. This would give substance to the ...
21
votes
1answer
2k views

naive de Rham cohomology fails for singular varieties

Let $X$ be a variety over a field $k$ of characteristic zero. If $X$ is smooth, algebraic de Rham cohomology defined as $$ H^n_{dR}(X / k)=\mathbb{H}^n(X, \Omega^\bullet_{X/k})\qquad (\star) $$ is a ...
9
votes
2answers
1k views

Reference request on birational invariance of Chow group of zero cycles of degree zero

Let $CH_0(X)^0$ denote the group of zero cycles of degree zero modulo rational equivalence. I am looking for a reference for the following fact: If $X$ and $Y$ are smooth and projective varieties ...
9
votes
0answers
499 views

Inversion, Koszul duality, combinatorics and geometry

According to this MO answer Koszul duality is related to operations on generating series; 1) multiplicative inversion for quadratic algebras, 2) compositional inversion for quadratic operads, 3) ...
18
votes
2answers
1k views

Explicit invariant of tensors nonvanishing on the diagonal

The group $SL_n \times SL_n \times SL_n$ acts naturally on the vector space $\mathbb C^n \otimes \mathbb C^n \otimes \mathbb C^n$ and has a rather large ring of polynomial invariants. The element $$\...
12
votes
1answer
805 views

Schemes with no nonconstant maps to lower dimensional schemes

Fix an algebraically closed field $k$ (arbitrary characteristic), all schemes will be of finite type over $k$. (Property *): I'm interested in (classes of) examples of schemes $X$ (irreducible, of ...
9
votes
1answer
1k views

Are there workable algebraic geometry approaches for the pentagon equation?

A pentagon equation is a system of polynomial equations of degree $3$ with several variables and integer coefficients, given by a fusion ring. A fusion ring is given by a finite set of integer ...
6
votes
1answer
1k views

Regular monomorphisms of schemes

In the category of schemes, the equalizer of two morphisms $f,g : X \to Y$ is always a locally closed immersion into $X$ (since this is just $X \times_{Y \times Y} Y$ and $\Delta : Y \to Y \times Y$ ...
5
votes
1answer
522 views

Compositional inversion and generating functions in algebraic geometry

The exponential generating function of the graded dimension of the cohomology ring of the moduli space of n-pointed curves of genus zero satisfying the associativity equations of physics (the WDVV ...
8
votes
1answer
732 views

When is the kernel of the etale fundamental group in a fibration abelian?

Let $X \to Y$ be a smooth proper morphism. Let $y$ be a geometric point of $Y$. Is the kernel of the natural map of etale fundamental groups $\pi_1^{et}(X_y) \to \pi_1^{et} (X)$ abelian? This is true ...
3
votes
1answer
412 views

Bounding the number of critical points in a Lefschetz pencil

Let $k$ be an algebraically closed field. Let $X/k$ be a smooth projective variety. For a suitable embedding in $\mathbb{P}^{n}$ we can form a Lefschetz pencil $\widetilde{X} \to D = \mathbb{P}^{1}$. ...
121
votes
15answers
42k 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 ...
218
votes
16answers
52k 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-...
78
votes
15answers
30k 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. ...
96
votes
6answers
9k 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 ...
128
votes
6answers
18k 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 (...
98
votes
7answers
16k 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-...
64
votes
17answers
14k 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 ...
44
votes
6answers
11k views

Why are local systems and representations of the fundamental group equivalent

My question: Let X be a sufficiently 'nice' topological space. Then there is an equivalence between representations of the fundamental group of X and local systems on X, i.e. sheaves on X locally ...
93
votes
2answers
9k 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 ...
62
votes
1answer
5k views

What is the relationship between motivic cohomology and the theory of motives?

I will begin by giving a rough sketch of my understanding of motives. In many expositions about motives (for example, http://www.jmilne.org/math/xnotes/MOT102.pdf), the category of motives is defined ...

1
2 3 4 5
33