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

Commutative rings, modules, ideals, homological algebra, computational aspects, invariant theory, connections to algebraic geometry and combinatorics.

78 votes
9 answers
26k views

Irreducibility of polynomials in two variables

Let $k$ be a field. I am interested in sufficient criteria for $f \in k[x,y]$ to be irreducible. An example is Theorem A of this paper (Brindza and Pintér, On the irreducibility of some polynomials in …
Hailong Dao's user avatar
  • 30.6k
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
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
32 votes
Accepted

Reference book for commutative algebra

For a reference on Cohen-Macaulay and Gorenstein rings, you can try "Cohen-Macaulay rings" by Bruns-Herzog. Also, Huneke's lecture note "Hyman Bass and Ubiquity: Gorenstein Rings" is a great introdu …
21 votes
4 answers
2k views

The first female algebraist in US/Britain?

Recently I dug up some biographical details of Lindsay Burch, of Hilbert-Burch Theorem fame, whose few papers have had quite an impact on commutative algebra. This made me curious about the first wome …
Hailong Dao's user avatar
  • 30.6k
21 votes

Serre's theorem about regularity and homological dimension

ADDED: There is an account written by Buchsbaum (see page 1 and 2 of number 23 here) which described in more details what they wrote in [1]. So the localization problem for regular rings was definitel …
Hailong Dao's user avatar
  • 30.6k
21 votes
Accepted

How to introduce notions of flat, projective and free modules?

Hi Pete, this sounds like a lot of fun! I wish I could be there (-: Here is a concrete and useful property of flatness, you can explain it without using Tor. Suppose $R\to S$ is a flat extension. T …
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

1
2 3 4 5
14
15 30 50 per page