Skip to main content
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
Results tagged with
Search options not deleted user 717

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 …
Elías Guisado Villalgordo's user avatar
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 …
user717's user avatar
  • 5,243
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 …
user717's user avatar
  • 5,243
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.
user717's user avatar
  • 5,243
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.
user717's user avatar
  • 5,243
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 …
user717's user avatar
  • 5,243
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 …
user717's user avatar
  • 5,243