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 2083

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

61 votes
Accepted

What is the insight of Quillen's proof that all projective modules over a polynomial ring ar...

Here is a summary of what I learned from a nice expository account by Eisenbud (written in French), can be found as number 27 here.1 First, one studies a more general problem: Let $A$ be a Noetherian …
Hailong Dao's user avatar
  • 30.6k
50 votes

Serre's FAC in English

This is not an answer to your question, but I can't resist, especially with community wiki, pointing you to a (in my novice opinion) good translation of GAGA here by my former office mate Trevor. He p …
43 votes
Accepted

Regular, Gorenstein and Cohen-Macaulay

I will argue that the examples you gave are "simplest" in some strong sense, so although they look unnatural, if Martians study commutative algebra they will have to come up with them at some point. …
Hailong Dao's user avatar
  • 30.6k
42 votes
4 answers
8k views

Serre intersection formula and derived algebraic geometry?

Let $X$ be a regular scheme (all local rings are regular). Let $Y,Z$ be two closed subschemes defined by ideals sheaves $\mathcal I,\mathcal J$. Serre gave a beautiful formula to count the intersectio …
Hailong Dao's user avatar
  • 30.6k
39 votes
2 answers
6k views

What is Serre's condition (S_n) for sheaves?

The Serre's condition $(S_n)$, especially $(S_2)$, has been mentioned in a few MO answers: see here and here for example. I am pretty sure I have seen it in other questions as well, but could not rem …
Hailong Dao's user avatar
  • 30.6k
36 votes
Accepted

When is the product of two ideals equal to their intersection?

To add to David Speyer's answer, since this story continues with a rather interesting and illustrious history: When $A$ is regular, the Tor functor satisfies the following property: (1) $\text{Tor}_ …
Hailong Dao's user avatar
  • 30.6k
35 votes
3 answers
5k views

Matrix factorizations and physics

I have heard during some seminar talks that there are applications of the theory of matrix factorizations in string theory. A quick search shows mostly papers written by physicists. Are there any s …
Hailong Dao's user avatar
  • 30.6k
34 votes
Accepted

Local complete intersections which are not complete intersections

(To supplement Alberto's example) If $V$ is projective, then the gap between being locally c.i and c.i is quite big. In particular, any smooth $V$ would be locally c.i., but they are not c.i. typicall …
Hailong Dao's user avatar
  • 30.6k
31 votes

Open affine subscheme of affine scheme which is not principal

For a simple, really concrete example you can also look at: $A=k[x,y,u,v]/(xy+ux^2+vy^2)$, $X =Spec(A)$, $I=(x,y)$, $U = D(I)$. Then the functions $f=\frac{-v}{x}=\frac{y+ux}{y^2}$ and $g=\frac{-u}{ …
Hailong Dao's user avatar
  • 30.6k
30 votes
4 answers
2k views

When can we cancel vector bundles from tensor products?

Let $E,F,G$ be algebraic vector bundles over $\mathbb P_{\mathbb C}^n$. My general question is: Assume $E\otimes G \cong F\otimes G$, under what conditions can one conclude that $E\cong F$? Some ea …
Hailong Dao's user avatar
  • 30.6k
28 votes

Checking whether a variety is normal

Dear anonymous, Here is an expansion of what Georges said in the comment. I will assume, as you wrote, that you are a beginner in AG but not in math. And please do not feel too bad about diverietti's …
Hailong Dao's user avatar
  • 30.6k
21 votes
1 answer
2k views

Two conjectures by Gabber on Brauer and Picard groups

In a paper I need to make reference to two conjectures by Gabber, from Ofer Gabber, On purity for the Brauer group, in: Arithmetic Algebraic Geometry, MFO Report No. 37/2004, doi:10.14760/OWR-2004-37 …
Hailong Dao's user avatar
  • 30.6k
21 votes
Accepted

Minimal number of generators of a homogeneous ideal (exercise in Hartshorne)

Dear Andrea: Hartshorne was right, but we need to do some work. Let $\mu(I)$ be the minimal number of generators of $I$, and $\mu_h(I)$ be the minimal number of a homogenous system of generators of $I …
Hailong Dao's user avatar
  • 30.6k
21 votes
2 answers
1k views

What properties define open loci in excellent schemes?

Let $R$ be an excellent Noetherian ring. A property $P$ is said to be open if the set $\{q \in \operatorname{Spec}(R) \ | \ R_q \ \text{satisfies} \ (P)\}$ is Zariski open. Examples of open propertie …
Hailong Dao's user avatar
  • 30.6k
21 votes
6 answers
3k views

A ring such that all projectives are stably free but not all projectives are free?

This question is motivated by this recent question. Suppose $R$ is commutative, Noetherian ring and $M$ a finitely generated $R$-module. Let $FD(M)$ and $PD(M)$ be the shortest length of free and proj …
Hailong Dao's user avatar
  • 30.6k

1
2 3 4 5
11
15 30 50 per page