Tagged Questions

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 …

1 2 3 4 next
15 30 50 per page