Search Results
Search type | Search syntax |
---|---|
Tags | [tag] |
Exact | "words here" |
Author |
user:1234 user:me (yours) |
Score |
score:3 (3+) score:0 (none) |
Answers |
answers:3 (3+) answers:0 (none) isaccepted:yes hasaccepted:no inquestion:1234 |
Views | views:250 |
Code | code:"if (foo != bar)" |
Sections |
title:apples body:"apples oranges" |
URL | url:"*.example.com" |
Saves | in:saves |
Status |
closed:yes duplicate:no migrated:no wiki:no |
Types |
is:question is:answer |
Exclude |
-[tag] -apples |
For more details on advanced search visit our help page |
Algebraic varieties, stacks, sheaves, schemes, moduli spaces, complex geometry, quantum cohomology.
18
votes
Preschemes and schemes
In the 1971 edition of EGA (this is a revised version of the original 1960 EGA) you can find the following remark in the foreword (avant-propos):
Signalons enfin, par rapport à la première édition, un …
45
votes
6
answers
6k
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 Zaris …
7
votes
2
answers
806
views
Is every homogeneous G-variety of the form G/H?
Let $G$ be an algebraic group over an algebraically closed field $k$. Then G/H is a quasi-projective homogeneous G-variety for any closed subgroup $H$. Now, several times I have seen something like "L …
5
votes
0
answers
1k
views
Dualizing sheaf on a Cohen-Macaulay variety
Let $k$ be an algebraically closed field and let $X$ be a Cohen-Macaulay variety over $k$, i.e. all local rings are Cohen-Macaulay (perhaps this can later be generalized). What is the dualizing sheaf …
4
votes
1
answer
5k
views
Confusing definitions in Liu's Algebraic geometry and arithmetic curves?
In Qing Liu's book Algebraic geometry and arithmetic curves I came across several confusing definitions. Several times he defines a notion only for a subclass of schemes/morphisms but later he is neve …
29
votes
10
answers
4k
views
How can I really motivate the Zariski topology on a scheme?
First of all, I am aware of the questions about the Zariski topology asked here and I am also aware of the discussion at the Secret Blogging Seminar. But I could not find an answer to a question that …
19
votes
Accepted
Closed vs Rational Points on Schemes
If $k$ is algebraically closed and $X$ is a $k$-scheme locally of finite type, then the $k$-rational points are precisely the closed points. (See EGA 1971, Ch. I, Corollaire 6.5.3).
More generally: i …
4
votes
1
answer
406
views
F_q-structures on schemes
Let $k|\mathbb{F}_q$ be a field extension. An $\mathbb{F}_q$-structure on a $k$-algebra $A$ is an $\mathbb{F}_q$-subalgebra $A _0$ of $A$ such that $A _0 \otimes _{\mathbb{F}_q} k \cong A$ via the can …
4
votes
1
answer
330
views
"Eigenvalue characters"
This question is an addition to my question on simultaneous diagonalization from yesterday and it is probably also obvious but I just don't know this: Let $G$ be a commutative affine algebraic group o …
38
votes
Why are flat morphisms "flat?"
I remember the following two quotes about flatness (I forgot who said/wrote this):
For every geometric description of flatness there is a counterexample.
Flatness is one of the few notions in algebr …
7
votes
How should one approach tropical mathematics?
For an overview of tropical geometry perhaps:
A. Gathmann, Tropical algebraic geometry, Jahresbericht der DMV 108
It's available here.
2
votes
Accepted
Does automatic decomposition of varieties into irreducibles exist?
This is just about primary decomposition! There are several CAS which can do that, for example Singular.
2
votes
Examples and intuition for arithmetic schemes
Perhaps this is too special but ramification of primes in number fields is a nice motivation, here you can also draw funny pictures of curves over Spec(Z). The step from here to Dedekind schemes is im …
7
votes
Sheaf cohomology and injective resolutions
In my opinion, all answers go a little too far.
In this (non-topological!) setting I think about this as follows: The aim is to analyze the lack of right-exactness of a left-exact functor $\Gamma:C \r …