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 6950

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

9 votes
Accepted

Varieties with everywhere good reduction that are isomorphic over every completion have isom...

Here's an explicit example. Let $R=\mathbb{Z}[\sqrt{2}]$, let $X=\mathbb{P}^1_R$, and let $Y$ be the smooth projective conic defined by the equation $$(2-\sqrt{2})x^2+y^2+(2-\sqrt{2})z^2+xy+yz+(3-2\sq …
Daniel Litt's user avatar
12 votes

A naive algebraic geometry question

Suppose the structure morphism $g: X\to \operatorname{Spec}(A)$ is separated and of finite type, and $f: \operatorname{Spec}(B)\to \operatorname{Spec}(A)$ is faithfully flat; furthermore, assume $A, B …
Daniel Litt's user avatar
1 vote
Accepted

A Question About Free Resolutions

No. Consider $\mathfrak{m}:=(x,y,z)\subset k[x,y,z]_{(x,y,z)}=:R$. Then the kernel of the map $$R^3\to \mathfrak{m}$$ defined by the minimal generating set $x,y,z$ is minimally generated by $$k_1:=( …
Daniel Litt's user avatar
19 votes

A finitely generated $\mathbb{Z}$-algebra that is a field has to be finite

Let $R$ be a finitely generated $\mathbb{Z}$-algebra, and $\mathfrak{m}\subset R$ a maximal ideal. We wish to show $R/\mathfrak{m}$ is a finite field. Let $i: \mathbb{Z}\to R$ be the unique ring map; …
Daniel Litt's user avatar
5 votes

Is Krull dimension non-increasing along ring epimorphisms?

Let's make several reductions. First, the condition implies $f$ is injective, so letting $K=\operatorname{Frac}(R)$, we have that $f: K\to S'$ is an epimorphism, letting $S'$ be the localization of $ …
Daniel Litt's user avatar
0 votes

term for a "faithful" module

I've heard the term "conservative" used to describe functors which take nonzero modules to nonzero modules; see e.g. problem 4 from this problem set from a course on schemes, which is the converse of …
Daniel Litt's user avatar
9 votes

Flatness and local freeness

This is to expand on Akhil's answer. Locally free implies flat easily, so let's look at the other direction. It suffices to assume $A$ is local with maximal ideal $\mathfrak{m}$. Pick a basis of $M …
Daniel Litt's user avatar
20 votes
Accepted

Is there a non-projective flat module over a local ring?

$\mathbb{Q}$ is flat over $\mathbb{Z}_p$, but not projective.
Daniel Litt's user avatar
9 votes

Modern algebraic geometry vs. classical algebraic geometry

Should one learn point-set topology before real analysis or before studying metric spaces a bit? There are some advantages to doing so -- a more unified approach to real analysis or the study of metr …