All Questions
10 questions
11
votes
2
answers
2k
views
Idea behind Grothendieck's proof that formally smooth implies flat?
From this answer I learned that Grothendieck proved the following result.
Theorem. Every formally smooth morphism between locally noetherian schemes is flat.
The book Smoothness, Regularity, and ...
- 10.5k
11
votes
1
answer
579
views
Homotopical interpretation of flatness?
I have read a discussion (in a less common language) which discussed a homotopical interpretation of flatness, which went something like:
A map of commutative algebras is flat if pushing it out ...
- 10.5k
6
votes
0
answers
360
views
Flat base change in the complex analytic setting
On page 255 of Hartshorne's Algebraic Geometry, it is shown that "cohomology commutes with flat base extension":
Proposition III.9.3: Let $f : X \to Y$ be a separated morphism of finite type of ...
- 61
4
votes
1
answer
512
views
Being Cohen-Macaulay open in Hilbert scheme?
Let $H$ be the Hilbert scheme of closed subschemes of $\mathbb{P}^n$ with a given Hilbert polynomial. I would like to have a reference (preferably from a published paper or book, not stacks project) ...
- 3,031
3
votes
1
answer
969
views
When is the pullback of an injective sheaf injective?
Let $X$ be a Gorenstein (not necessarily smooth) projective $\mathbb{C}$-scheme and $S$ another $k$-scheme. Let $I$ be an injective sheaf on $X$. Denote by $p:X \times_k S \to X$ the natural ...
- 1,981
3
votes
0
answers
214
views
Representability of Flattening stratification functor
Let $f:X \to Y$ be a projective morphism between noetherian scheme. Is there any know condition under which there exists a functorial stratification of $Y$ i.e., there exists a filtration by locally ...
- 1,981
2
votes
1
answer
561
views
Flatness over non-reduced schemes : no geometric characterisation
I know someone already asked about flatness over non-reduced schemes, but I think my question is different.
I'm reading Bosch, Lütkebohmert and Raynaud's "Néron models", and in the second chapter, ...
- 2,054
1
vote
0
answers
191
views
Deformation of projective bundles
Let $\pi:\mathcal{X} \to \mathbb{P}^1$ be a flat, projective family of noetherian schemes with generic fiber a smooth, projective variety. Let $p:\mathcal{Y} \to \mathcal{X}$ be another flat, ...
- 2,126
0
votes
0
answers
191
views
Fiberwise injective resolution of coherent sheaf
Let $k$ be an algebraically closed field (of characteristic zero) and $X, Y$ be projective $k$-varieties. Let $F$ be a coherent sheaf on $X \times_k Y$, flat over $Y$. Does there exists a coherent $\...
- 2,323
0
votes
0
answers
182
views
Is the $B$-tensor power of flat $A$-modules, $A$-flat?
Let $k$ be an algebraically closed field and $A, B$ be two finitely generated $k$-algebras. Suppose $B$ is flat over $A$. Let $M$ be a finitely generated $B$-module which is flat over $A$. Is it true ...
- 1,981