2
votes
1answer
266 views
Morphism with non-reduced special fibre
Let $X, Y$ be irreducible projective varieties and $Y$ be smooth. Let $f:X \to Y$ be a flat projective morphism. Assume that a special fiber of $f$ is non-reduced i.e., there exist …
0
votes
0answers
143 views
on flat morphisms
Let $j:U\rightarrow X$ an open immersion between k-schemes of finite type and $f:X\rightarrow S$ a surjective k-morphism of finite type.
We suppose that $f\circ j:U\rightarrow S$ …
7
votes
0answers
109 views
Is there a direct proof that affine schemes are fppf quasi-compact?
Let $A$ be a (commutative) ring. A family $(B_i)_{i\in I}$ of $A$-algebras is said to be an fppf cover if it satisfies three properties: (1) each $B_i$ is flat as an $A$-module, (2 …
0
votes
1answer
145 views
The locus where a sheaf is supported in a certain dimension
I am trying to understand a particular case of this question.
Let $T$ be an affine scheme of finite type over the ground field C. Let $X \to T$ be a morphism. I'll assume this to …
6
votes
1answer
185 views
flatness of power series rings
It is known that $A[[X]]$ is flat if $A$ is noetherian (see for example Bourbaki, Algèbre commutative, Ch. III, §3, Cor. 3 p. 146).
What happens if A is not noetherian? Is there …
1
vote
1answer
271 views
1st-flat cohomology group for elliptic curves
Let $E$ be an elliptic curve over an algebraically closed field $k$ of characteristic $p$. Is there any nice computation for the group $H^1(E,\alpha_p)$ and $H^1(E,\mathbb{G}_a)$? …
2
votes
0answers
159 views
Formal criterion of flatness
Let $k$ be a field, $S$ and $R$ be local $k$-algebras with residue field $k$ and $\phi:S\to R$ be a local homomorphism. Then $\phi$ induces (obviously) a natural transformation of …
3
votes
1answer
244 views
On the m-th power of the Hodge bundle and Arakelov’s theorem
Let $S$ be a smooth projective curve over $\mathbf C$ and let $f:X\to S$ be a projective flat morphism with "semi-stable" fibres (i.e., the fibres are reduced and strict normal cro …
2
votes
1answer
234 views
Are irreducible components of a flat family flat?
Let $f:X\rightarrow Y$ be a flat morphism of schemes of finite type over a field $k$, and assume $Y$ is irreducible. Let $X_1, \dots, X_n$ be the scheme-theoretic irreducible compo …
2
votes
2answers
172 views
flatness criterion on normal bases
Let $f:X\rightarrow Y$ a $k$-morphism of finite type from a Cohen-Macaulay scheme to a normal scheme such that all the fibers have the same dimension, do we have that $f$ is flat?
…
2
votes
2answers
218 views
Are quotients of stacks flat?
Let $\cal X$ be a DM stack of finite type over a field (if necessary, I will assume that $k=\mathbb{C}$ and $\cal X$ is a scheme, or even a variety) and $G$ be a finite group. The …
9
votes
1answer
333 views
Can flatness be specified by a natural coherent sheaf?
More precisely:
Given a finite-type morphism $f \colon X \to Y$ of nice schemes (say, both of finite type over a field), is there a "natural" coherent sheaf $\mathcal F_f$ on $ …
11
votes
4answers
742 views
Does smoothness descend along flat morphisms?
Suppose $f:X\to Y$ is a flat morphism of schemes. If $X$ is smooth at $x$, must $Y$ be smooth at $f(x)$?
If $f$ is locally finitely presented, then it is open (using EGA IV 1. …
2
votes
3answers
667 views
Flatness for family of hypersurfaces
Let $X \to Y$ be a family of hypersurfaces in a constant $\mathbb{P}^n$, i.e. $X \subset Y \times \mathbb{P}^n$ is locally on $Y$ given by one equation of degree $d$ in $\mathbb{P} …
3
votes
2answers
156 views
is intersection of a curve and a family of curves generically constant as a scheme?
(everything below is defined over an algebraically closed field)
Let $D$ be a (smooth) surface, and let $X \subset T \times D$ be a flat family of curves on $D$, where $T$ is irr …

