4
votes
0answers
136 views

What is the meaning of the cospecialization map?

This question comes from the same place as my other one. In reading SGA 4 1/2, but not SGA4 itself (at least, not the obvious sections xv + xvi), one can learn about the "cospecialization morphisms" ...
7
votes
4answers
750 views

Coboundaries and Gluing in Cech Cohomology - Intuition?

I'm trying to develop an intuition for Cech cohomology geometrically, but am currently failing. A lot of people seem to say that the groups $H^n$ measure obstructions to gluing local sections to get ...
13
votes
6answers
799 views

Understanding Adjointness of Sheaves in Algebraic Geometry

Pushforward and pullback are very basic operations in algebraic geometry, as is the adjointness between them. I worked out a very careful of adjointness of sheaves (below) when I was working out of ...
16
votes
3answers
1k views

Intuitive pictures in characteristic p

This is a tough one, but does anyone know of any images that recall characteristic p geometry (over algebraically closed fields) in some sense? It is not enough if it is some picture that can be also ...
5
votes
1answer
853 views

Self-intersection and the normal bundle

Let $X/k$ be a surface nonsingular and proper over an algebraically closed field $k$. Let $C \subset X$ be a nonsingular curve. Then it is clear that the self-intersection $(C \cdot C)_X$ is ...
3
votes
2answers
573 views

Tangent bundle and normal bundle in self-product

$\newcommand{\I}{\mathcal{I}}$ Let $X$ a variety smooth over the complex numbers. Then we know that $\Omega_{X/\mathbb{C}}$ is the (usual) pullback of the conormal sheaf $\I/\I^2$ where $\I$ the sheaf ...
7
votes
2answers
469 views

Interpreting $f^*f_*$

For a morphism of schemes $f: X\rightarrow Y$, one often considers the function $f^*f_*$ on sheaves. For example, this appears in adjunction for sheaves of $\mathcal{O}_X$-modules, the projection ...
2
votes
0answers
176 views

Schemes with isomorphic stalks

Fact: If $ X $ and $ Y $ are varieties and we have $ \mathcal{O}_{X,q} \cong \mathcal{O}_{Y,q} $ then there are neighborhoods $U$ of $p$ and $V$ of $q$ which are isomorphic. I understand ...
5
votes
1answer
265 views

What properties should a transform have to deserve the descriptor Fourier?

Two MO questions, "Heuristic behind the Fourier-Mukai transform" and "Explaining Mukai-Fourier transforms physically," compel me to ask these two related questions: 1) What properties do you feel are ...
2
votes
1answer
212 views

Clarification and intuition request for rationally equivalent algebraic cycles

I am having some difficulty lining up the definition and my intuition for rational equivalence of cycles. My intuition is based off of the idea that two cycles being rationally equivalent is analogous ...
159
votes
7answers
78k 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
4answers
1k views

What is the geometric object corresponding to a subalgebra in a polynomial ring

Many introductory texts on algebraic geometry set up some sort of algebra-geometry dictionary in which radical ideals correspond to varieties, and so on. I am wondering if there is a geometric way to ...
11
votes
0answers
337 views

What is the intuition for $\mathbb{Q}^{ab}$ having cohomological dimension $1$?

I frequently talk to people who think of finite fields as arithmetic analogs of punctured discs. This makes some sense: the absolute Galois group of a finite field is the profinite completion of ...
16
votes
1answer
616 views

Why does the Section Conjecture exclude curves of genus 1?

Let $X$ be an integral proper normal curve over a (perfect) field $F$, of genus $\geq 2$. One variant of Grothendieck's "section conjecture" states that the sections $G_F \rightarrow \pi_1(X)$ of the ...
22
votes
2answers
1k views

A geometric characterization for arithmetic genus

Let $X$ be a smooth projective variety over $\mathbb{C}$. The following information is all equivalent (any of these numbers can be computed by a linear equation from any of the others): the ...
16
votes
2answers
2k views

Intuition behind generic points in a scheme

In a scheme, each point is a generic point of its closure. In particular each closed point is a generic point of itself (the set containing it only), but that's perhaps of little interest. A point ...
5
votes
1answer
514 views

What is the intuition behind the proof of the algebraic version of Cartan's theorem A?

I am trying to understand the idea behind the proof of GAGA. A crucial step is the following: Theorem: Let $X=\mathbb{P}^r_{\mathbb{C}}$ (either as a variety or as an analytic space), and let ...
12
votes
2answers
2k views

Why should the anabelian geometry conjectures be true?

I had probed friends of mine about Grothendieck's motivation for making the anabelian geometry conjectures, and they gave me the following explanation: If $X$ is a hyperbolic curve over some field ...
44
votes
5answers
3k views

Is there an intuitive reason for Zariski's main theorem?

Zariski's main theorem has many guises, and so I will give you the freedom to pick the one that you find to be most intuitive. For the sake of completeness, I will put here one version: Zariski's ...
7
votes
2answers
490 views

Intuition behind the age grading in quantum cohomology of orbifolds

Let $\mathscr{X}$ be a smooth DM-stack with projective coarse moduli space. I am interested in the orbifold cohomology ring $H^\mathrm{orb}(\mathscr{X})$, as defined by Chen-Ruan (for orbifolds) and ...
22
votes
3answers
1k views

Help motivating log-structures

I'm currently reading a thesis that uses log-structures. I should mention that this is my first encounter with them, and the thesis (as well as my expertise) is scheme-theoretic (in fact ...
0
votes
0answers
200 views

Weight filtration of MHSs

This is probably a very stupid question, but could someone explain to me where the weight filtration of mixed Hodge structures come from and why we actually need it? If the Hodge-to-de Rham spectral ...
0
votes
2answers
102 views

Removing a hypersurface when applying the Representation theorem to prove Positivstellensatz with uniform denominators

Let $f$ and $g$ be positive definite forms in the polynomial ring ${\mathbb{R}}[x_0,\ldots, x_n]$ such that $\deg(g)$ divides $\deg(f)$. A generalization of a theorem by Reznick is that $g^N f$ is a ...
5
votes
3answers
714 views

Intuition for rational functions

I asked this on mathematics stack exchange and did not receive answer . I hope it is good manners to ask here. Thank you very much. Let $X$ be integral scheme and $\mathcal K$ sheaf of rationnal ...
8
votes
3answers
1k views

Singularities of pairs

In the next days I have to give a talk in which I need to explain some of the usual singularities of pairs that one meets when dealing with the minimal model program: KLT, DLT and LC pairs. In ...
8
votes
3answers
1k views

What is a twisted D-Module intuitively?

When I think about $\mathcal{D}$-Modules, I find it very often useful to envison them as vectorbundles endowed with a rule that decides whether a given section is flat. Or alternatively a notion of ...
13
votes
2answers
2k views

Why are normal crossing divisors nice?

This question is going to be extremely vague. It seems that wherever I go (especially about Grothendieck's circle of ideas) the higher-dimensional analogue of a curve minus a finite number of points ...
7
votes
2answers
538 views

A split short exact sequence of algebraic fundamental groups

If we have a variety, $X$, over a field, $k$, and $x$ is a geometric point of $X$, and let $\bar x$ be a geometric point of $X_{k^s} := X \times_k k^s$ above $x$ then we have the following short exact ...
3
votes
1answer
944 views

why isn't the mobius band an algebraic line bundle?

When I hear the phrase "line bundle" the first thing that pops into my head is a mobius band. But this is a bad picture from an algebraic point of view since any line bundle on an affine variety is ...
8
votes
4answers
688 views

Intuition behind existence of moduli space of stable curves

I'm not entirely sure that the title is what I'm looking for. What I'm really asking is for intuition as to why $\bar{\mathcal{M}_g}$ is the compactification of $\mathcal{M}_g$. I'm sure this is ...
18
votes
3answers
2k views

Surprising Analogue of Q

I was describing Manish Kumar's work a few weeks ago to a fellow graduate student, and she stumped me with a big-picture question I couldn't answer. Manish Kumar proved that the commutator subgroup ...
1
vote
4answers
352 views

Intuition/Heuristic behind I/I^2 definition of Kähler differentials

Hello, this one has always been mysterious to me. The Kähler differentials $\Omega_{A/k}$ are definined, by the universal property $$Der_k(A,M)=A-Mod(\Omega_{A/k},M)$$ so for $M=A$ we get that ...
13
votes
3answers
2k views

Intuition for Primitive Cohomology

In complex projective geometry, we have a specified Kähler class $\omega$ and we have a Lefschetz operator $L:H^i(X,\mathbb{C})\to H^{i+2}(X,\mathbb{C})$ given by $L(\eta)=\omega\wedge \eta$. We then ...
6
votes
1answer
698 views

Geometric Intuition for Big Monodromy

In various contexts, I have come across results referred to as "big monodromy." A standard arithmetic example is the open image theorem for the image of Galois action on non-CM elliptic curves. A ...
29
votes
6answers
2k views

Why do Littlewood-Richardson coefficients describe the cohomology of the Grassmannian?

I'm looking for a "conceptual" explanation to the question in the title. The standard proofs that I've seen go as follows: use the Schubert cell decomposition to get a basis for cohomology and show ...
16
votes
3answers
2k views

Stacks and sheaves

I'm a bit confused by the double role which sheaves play in the theory of stacks. On the one hand, sheaves on a site are the obvious generalization of a sheaf on a topological space. On the other ...
18
votes
5answers
1k views

Why does the group law commute with morphisms of elliptic curves?

I know this should be pretty simple, but right now the only way I can see how to prove it is to sit down and write out explicit formulae for the group law, and see that everything works out. What's ...
7
votes
3answers
1k views

Intuition about schemes over a fixed scheme

I am taking a first course on Algebraic Geometry, and I am a little confused at the intuition behind looking at schemes over a fixed scheme. Categorically, I have all the motivation in the world for ...
20
votes
4answers
1k views

Heuristic explanation of why we lose projectives in sheaves.

We know that presheaves of any category have enough projectives and that sheaves do not, why is this, and how does it effect our thinking? This question was asked(and I found it very helpful) but I ...
15
votes
2answers
1k views

What does primary decomposition of (sub) modules mean geometrically?

I want to know how I should visualize modules in algebraic geometry. The way we visualize rings, via their spectra, automatically (or by the beauty of its design) depicts primary decomposition of ...
66
votes
8answers
4k 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 ...
18
votes
5answers
2k views

Flips in the Minimal Model Program

In order get a minimal model for a given a variety $X$, we can carry out a sequence of contractions $X\rightarrow X_1\ldots \rightarrow X_n$ in such a way that that every map contracts some curves on ...
28
votes
3answers
2k views

What do higher Chow groups mean?

Let $z^i(X, m)$ be the free abelian group generated by all codimension $i$ subvarieties on $X \times \Delta^m$ which intersect all faces $X \times \Delta^j$ properly for all j < m. Then, for each ...
31
votes
5answers
3k views

Intuition about the cotangent complex?

Does anyone have an answer to the question "What does the cotangent complex measure?" Algebraic intuitions (like "homology measures how far a sequence is from being exact") are as welcome as ...
28
votes
4answers
3k views

Is there a good way to think of vanishing cycles and nearby cycles?

Once in a while I run into literature that invokes vanishing cycle machinery with a cryptic sentence like, "this follows from a standard vanishing cycle argument." Is there a good way to look at ...
10
votes
5answers
3k views

Examples and intuition for arithmetic schemes

How should a beginner learn about arithmetic schemes (interpret this as you wish, or as a regular scheme, proper and flat over Spec(Z))? What are the most important examples of such schemes? Good ...