1
vote
0answers
220 views

Categories of sheaves and Kan Extensions

This is quite a broad question regarding constructions of categories of sheaves in geometry. Let $\textbf{Sch}$ denote the category of schemes. Let $\textbf{SchAff}$ denote the full subcategory of ...
6
votes
1answer
304 views

Motives over the complex numbers versus mixed Hodge structures

Let $\mathsf{MM}(\mathbf C)$ be the hypothetical category of mixed motives over the complex numbers, and consider the realization functor $\Phi : \mathsf{MM}( \mathbf C) \to \mathsf{MHS}$ to integral ...
10
votes
1answer
790 views

Are overlaps among {algebraic geometry, arithmetic geometry, algebraic number theory} growing?

From a naive outsider's viewpoint, just watching the MO postings in those three fields scroll by, and hearing of breakthroughs in the news, it appears there might be increasing overlap among the ...
4
votes
1answer
575 views

Clean introduction to toric varieties for an undergraduate audience

I will be giving a talk to a (primarily) undergraduate audience on certain relatively concrete computations with toric varieties and their blowups. The talk is short, about 20 mins. As I result I need ...
7
votes
2answers
759 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 ...
25
votes
1answer
789 views

Coefficients of Weil Cohomology Theories

A Weil Cohomology theory is a functor from the category of smooth projective varieties (over some fixed field $k$) to graded $K$-algebras (for some fixed field $K$) satisfying various axioms. For ...
3
votes
0answers
202 views

ubiquitous modulicity?

On the one hand, as mentioned here, basically "everything" in algebraic geometry could be seen in the context of "moduli problems" - on the other hand, Grothendieck's few remarks on a possible "tame ...
18
votes
4answers
1k views

What information is contained in the Kazhdan-Lusztig polynomials?

The Kazhdan-Lusztig polynomials contain all kinds of representation theoretic (and other kinds of) informations. For example the character of a simple module over a Lie algebra with Weyl group $W$ ...
27
votes
3answers
2k views

On what kind of objects do the Galois groups act?

I am neither number theorist nor algebraic geometer. I am wondering whether Galois groups of number fields (say the absolute Galois group $Gal(\overline{\mathbb{Q}}/\mathbb{Q})$) act on objects which ...
16
votes
5answers
1k views

Why are finiteness conditions important (and how to recognize them)?

I think everybody here has met lots of finiteness conditions, like those requiring a vector space to be finite dimensional, an abelian group to be finitely generated, a ring to be Noetherian, a ...
14
votes
6answers
3k views

How should one think about sheafification and the difference between a sheaf and a presheaf

The first time I got in touch with the abstract notion of a sheaf on a topological space $X$, I thought of it as something which assigns to an open set $U$ of $X$ something like the ring of continuous ...
102
votes
3answers
4k 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 ...
9
votes
0answers
999 views

Idea of presheaf cohomology vs. sheaf cohomology

Let $X$ be a topological space and $U$ an open cover of $X$. In this thread Angelo explained beautifully how presheaf cohomology (Cech cohomology) relates to sheaf cohomology: The zeroth Cech ...
9
votes
1answer
864 views

A Sketch of “Esquisse d'un Programme”

I'm refering, of course, to Grothendieck's ambitious program available fully here: http://www.math.jussieu.fr/~leila/grothendieckcircle/EsquisseFr.pdf The text is, as described in its title, a ...
24
votes
2answers
2k views

How to unify various reconstruction theorems (Gabriel-Rosenberg, Tannaka,Balmers)

What I am talking about are reconstruction theorems for commutative scheme and group from category. Let me elaborate a bit. (I am not an expert, if I made mistake, feel free to correct me) ...
32
votes
6answers
4k views

The 'real' use of Quantum Algebra, Non-commutative Geometry, Representation Theory, and Algebraic Geometry to Physics

In this question, Orbicular made the following comment to Feb7 and my own answers; Please keep in mind that - even though it is stated very often - noncommutative geometry does not give "real" ...
13
votes
2answers
836 views

Why the similarity between Hodge theory for compact Riemannian and complex manifolds?

I'm aware to varying extents of the existence of certain decompositions of the space of $k$-forms on a compact complex or compact Riemannian manifold that split into closed, co-closed, and harmonic ...
15
votes
6answers
3k views

Heuristic behind the Fourier-Mukai transform

What is the heuristic idea behind the Fourier-Mukai transform? What is the connection to the classical Fourier transform? Moreover, could someone recommend a concise introduction to the subject?
16
votes
3answers
2k views

Why is the decomposition theorem awesome?

I saw the statement of the decomposition theorem for perverse sheaves sometime ago. I know that (modulo most of the details) it implies some big theorems in algebraic geometry and gives new proofs for ...
28
votes
7answers
4k views

Why is it useful to study vector bundles?

I have this question coming from an earlier Qiaochu's post. Some answers there, especially David Lehavi's one, were drawing the analogy bundles and varieties versus modules and rings. So I am just ...
9
votes
3answers
2k views

What is the relationship between algebraic geometry and quantum mechanics?

The basic relationship in algebraic geometry is between a variety and its ring of functions. Arguably a similarly basic relationship in quantum mechanics is between a state space and its algebra of ...
28
votes
6answers
2k views

Universal definition of tangent spaces (for schemes and manifolds)

Both schemes and manifolds are local ringed spaces which are locally isomorphic to spaces in some full subcategory of local ringed spaces (local models). Now, there is the inherent notion of the ...
3
votes
1answer
187 views

limits of algebraic varieties

I'm looking for a reference which deals with limits of families of algebraic varieties as the degree increases (or at least keywords from this subject). For the kind of example I have in mind, ...
7
votes
1answer
869 views

What is Drinfeld's manuscript “Best Dream” (in Russian!) about?

I would like to know what Drinfeld's scanned manuscript "Best Dream" is about: the title makes me curious. It's in Russian.
33
votes
8answers
5k views

Sheaf cohomology and injective resolutions

In defining sheaf cohomology (say in Hartshorne), a common approach seems to be defining the cohomology functors as derived functors. Is there any conceptual reason for injective resolution to come ...