# Questions tagged [flatness]

The flatness tag has no usage guidance.

**2**

votes

**0**answers

54 views

### Flatness through parametrization

Let $A$ be a $\mathbb{C}$-algebra. Let $\phi:\mathbb{C}[X_1,...,X_n] \otimes_{\mathbb{C}} A \to \mathbb{C}[t] \otimes_{\mathbb{C}} A$ be a ring homomorphism, sending $X_i$ to say $f_i \in \mathbb{C}[t]...

**2**

votes

**0**answers

84 views

### Flatness of modules over dual numbers

Let $X$ be a smooth, affine complex surface, and $M$ be a coherent $\mathcal{O}_X$-module. Denote by $D:=\mbox{Spec}(\mathbb{C}[t]/(t^2))$ and $X_D:=X \times_{\mathbb{C}} D$, the trivial deformation ...

**2**

votes

**1**answer

211 views

### Is the support of a flat module generically flat?

Let $X$ be an affine, complex variety, $A$ be a $\mathbb{C}$-algebra (not necessarily noetherian) and $F_A$ is a coherent sheaf over $X \times \mbox{Spec}(A)$, flat over $\mbox{Spec}(A)$. Denote by $Y ...

**3**

votes

**1**answer

221 views

### Restriction of Ext sheaves on closed subschemes

Let $f:X\rightarrow C$ be a morphism, where $C$ is a smooth curve. For $t\in C$ let $i_t:X_t = f^{-1}(t)\rightarrow X$ be the inclusion of the fiber of $f$ over $t$, and let $\mathcal{F}$ a coherent ...

**5**

votes

**1**answer

129 views

### Flat limit (of twisted cubic) contained in surfaces

Let $H$ denote the irreducible component of $\text{Hilb}^{3t+1}\mathbb{P}^3$ whose general member corresponds to a non-singular twisted cubic. Let $C$ be a subscheme lying in the boundary of $H$ and ...

**7**

votes

**0**answers

132 views

### Self-flat modules

(This is inspired by this question and asked out of pure curiosity.)
Let $R$ be a commutative ring. Let $M$ and $N$ be $R$-modules. Then, $N$ is called $M$-flat if whenever $M'\rightarrow M$ is a ...

**4**

votes

**1**answer

140 views

### Multiple of a flat family of subschemes is flat

Let $X$ be a fixed curve (e.g. a Noetherian, projective scheme of dimension 1, of finite type over an algebraically closed field $k$) and let $S$ be an arbitrary parameter scheme over $k$. Let $D \...

**10**

votes

**1**answer

225 views

### Iteration of a morphism and flatness

Let $A$ be a Noetherian local ring, $f:A \rightarrow A$ be a local ring morphism. Assume some power of $f$ is a flat morphism, must $f$ be flat as well?
Motivation: Kunz's theorem shows the result is ...

**3**

votes

**2**answers

161 views

### Singularities of a central fibre of a flat family of smooth surfaces

Suppose I have a one parameter flat family of complex surfaces (regular, of general type) whose general fibre is smooth. Is it possible for the central fibre to have singularities which are not ...

**1**

vote

**0**answers

77 views

### structure of flat modules over a DVR

I. Kaplansky has proved that if a torsion free module (over a complete DVR) is countably generated and does not contains infinitely divisible elements then it is free.
Is there any analog of this ...

**2**

votes

**0**answers

97 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**

vote

**0**answers

126 views

### On regularity of flat families over a DVR

Let $k$ be an algebraically closed field of characteristic zero and $R$ a discrete valuation ring over $k$. Let $\pi:X \to \mathrm{Spec}(R)$ be a flat, projective morphism such that the generic fiber ...

**6**

votes

**0**answers

172 views

### Lifting flat modules over ring quotients

Let $R$ be a commutative ring, $I$ its ideal, and $\bar{R}=R/I$. For which flat $\bar{R}$-modules $\bar{F}$ is there a flat $R$-module $F$ such that $F \otimes_R R/I \simeq \bar{F}$?
By Lazard's ...

**0**

votes

**0**answers

103 views

### Some Problem About Flat Module

For finitely generated modules over a Noetherian local ring, flatness and projectivity are equivalent.
Question 1: Let (R,m) be a Noetherian local ring, A be an Artinian R-module. So if A is flat ...

**11**

votes

**2**answers

635 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 ...

**0**

votes

**1**answer

148 views

### Can the specialization map be flat

Let $X$ be a projective variety over an algebraically closed field of characteristic zero. Let $\eta$ be a generic point of $X$ and $x$ be a closed point. By http://stacks.math.columbia.edu/tag/054F ...

**1**

vote

**0**answers

106 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, ...

**3**

votes

**0**answers

97 views

### Flatness of $Hom_R(M,M)$

The question is simple and clear: Let $M$ be an $R$-module, where $R$ is a commutative ring with an identity. When the $R$-module $Hom_R(M,M)$ is flat?

**0**

votes

**0**answers

120 views

### About the definition of flat twisted sheaves

Flat twisted sheaves are mentioned in Căldăraru's thesis (Lemma 2.1.2 for example), but I'm confused about how they should be defined. I have in mind some possibilities, given an $\alpha$-twisted ...

**5**

votes

**1**answer

161 views

### Coherent subsheaf of co-admissible modules of Schneider and Teitelbaum

Let $M$ be a co-admissible module over a Frechet Stein Algebra $A=\varprojlim A_{q_n}$ as in this paper. Let $N$ be a closed submodule of $M$. I have some difficulty in understanding lemma $3.6$ of ...

**0**

votes

**1**answer

321 views

### Is the “addition” of flat morphisms flat?

Let $f:X \to Y$ be a flat, projective morphism between projective varieties. Let $F, G$ be coherent sheaves on $X$, flat over $Y$. Let $\phi_1, \phi_2$ be two morphisms from $F$ to $G$ such that:
1) ...

**0**

votes

**0**answers

108 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 $\...

**9**

votes

**1**answer

450 views

### Flatness from constancy of dimension of fibers

Let $M$ be a finitely presented module over the ring $R$. Suppose that for all primes $P\subset R$ the $k(P)$ vector space $M\otimes _Rk(P)$ has a dimension $d(P)$ independent of $P$.
Can I conclude ...

**2**

votes

**0**answers

84 views

### Descent of flatness from algebras to monoids II

This is a follow-up question to this one. There, Benjamin Steinberg showed that a morphism of commutative monoids $u$ need not be flat if the induced morphism of $R$-algebras $R[u]$ is flat for some ...

**5**

votes

**2**answers

177 views

### Descent of flatness from algebras to monoids

Consider a morphism of commutative monoids $u\colon M\rightarrow N$. We say that $u$ is flat, if the tensor product functor $\bullet\otimes_MN$ from the category of $M$-modules to the category of $N$-...

**0**

votes

**1**answer

168 views

### How can I show flatness for projective morphisms?

Are there any homological checks I can use to check if a projective morphism is flat? For example, I would expect the following projective morphism to be flat
$$
\textbf{Proj}\left( \frac{\mathbb{C}[s]...

**1**

vote

**0**answers

136 views

### On simultaneous resolution of singularities in certain flat families

Let $X$ be a smooth projective variety (over the complex numbers) of dimension at least $2$, $B$ a finite set of closed points. Consider the closed subscheme $E:=B \times X + \Delta \subset X \times X$...

**0**

votes

**0**answers

123 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 ...

**2**

votes

**1**answer

277 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 ...

**4**

votes

**1**answer

324 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) ...

**2**

votes

**1**answer

229 views

### Do finite flat sheaves define families of $0$-cycles?

Let $X$ be a smooth projective $\mathbb C$-variety and let $X^{(n)}$ denote the symmetric product $X^n/S_n$, parametrizing effective $0$-cycles of degree $n$ on $X$.
Question. Let $S$ be a ...

**10**

votes

**1**answer

451 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 ...

**2**

votes

**2**answers

262 views

### Is the zero locus of a global section flat?

Let $f:X \to Y$ be a surjective, smooth projective morphism of noetherian schemes. Let $\mathcal{L}$ be an inverible sheaf on $X$ satisfying $f_*\mathcal{L}$ is locally free and $s \in H^0(\mathcal{L})...

**7**

votes

**0**answers

203 views

### A Hartogs-type criterion for flatness

Let $U$ be a smooth affine connected variety over $\mathbb C$ and let $V\subset U$ be an open whose complement is of codimension at least two.
Now, let $Y$ be a smooth quasi-affine connected variety ...

**3**

votes

**1**answer

224 views

### Torsion free sheaves in flat families

Let $R$ be a dvr, $X$ a flat, projective, integral, normal $R$-scheme such every closed fiber is again integral, normal. Let $F$ be a torsion-free coherent sheaf on $X$, flat over $R$. Is it true that ...

**1**

vote

**0**answers

173 views

### Reflexive sheaf and flatness

Let $f:X \to Y$ be a proper, flat morphism of noetherian schemes. Let $\mathcal{F}$ be a coherent sheaf on $X$ non-zero on every fibers of $f$. Is it true that $\mathcal{F}^{\vee \vee}$ is going to be ...

**2**

votes

**0**answers

152 views

### Exterior power of a torsion-free sheaf on a DVR

Let $R$ be a discrete valuation ring and $X$ be a regular, integral. projective $R$-scheme, flat over $R$. Let $F$ be a torsion-free coherent sheaf on $X$ of rank $n$, flat over $\mathrm{Spec}(R)$. Is ...

**2**

votes

**1**answer

170 views

### Is flatness preserved under exterior power

Let $\phi:A \to B$ be a flat ring homomorphism, $M$ be a $B$-module which is flat when considered as an $A$-module. Is the tensor product $M \otimes_B M \otimes_B ... \otimes_B M$ flat over $A$? If ...

**0**

votes

**1**answer

400 views

### Euler characteristic on flat families of quasi-projective schemes

Let $A$ be a noetherian integral domain (may be regular). Let $\pi:X \to \mathrm{Spec}(A)$ be a flat morphism. Suppose that each fiber of $\pi$ are quasi-projective. Let $\mathcal{F}$ be a coherent ...

**2**

votes

**0**answers

155 views

### Are “vector spaces” over a smooth scheme with constant fiber dimension locally free?

I've got the follow question which drives me almost crazy as the answer seems to be simple. Given a morphism $p:V\to S$ of schemes of finite type over some base field. Assume that $p$ has all the ...

**6**

votes

**1**answer

360 views

### Failure of universal flatification

Raynaud and Gruson proved a beautiful "flatification" theorem (5.2.2): If $S$ is a quasicompact, quasiseparated scheme, and $X$ is a finitely presented $S$-scheme, $M$ is an $\mathcal O_X$-module of ...

**4**

votes

**0**answers

182 views

### Extend a vector bundle on a flat family

Let $f: X\to T$ be a flat family, and $\mathcal{F}_t$ is a vector bundle on $X_t$ for some $t\in T$. Can this $\mathcal{F}_t$ be extended to a vector bundle $\mathcal{F}$ on $f^{-1}(U)$ for some open ...

**1**

vote

**0**answers

114 views

### A naive question on rational equivalence of varieties

Let $X$ be a projective scheme and $\pi:\mathcal{Z} \to \mathbb{P}^1$ a surjective morphism of finite type such that for any pair $t_0, t_1 \in \mathbb{P}^1$, the fibers $\mathcal{Z}_{t_0}$ and $\...

**2**

votes

**1**answer

178 views

### Control of a meromorphic function according to distance between its zeros

My question is rather philosophical : can a meromorphic function of normalized norm with simple zeros on the flat torus stay close to zero on a large set when its zeros are far from each other ?
The ...

**6**

votes

**1**answer

304 views

### When is the flatness locus non-empty

Let $k$ be an algebraically closed field, $f:X \to Y$ be a surjective proper $k$-morphism locally of finite presentation between irreducible noetherian schemes. Assume that $Y$ is reduced. Under what ...

**0**

votes

**1**answer

81 views

### A confusion about covering flatness

I'm reading this entry on nLab. But I'm confusing with the notion of covering-flatness. More precisely, I meet some trouble when I try to show that the $Sets$-valued flatness is a special case of ...

**11**

votes

**3**answers

1k views

### Is there a notion of “flat vector bundle over a topological space”?

I am reading this paper and at the top of page 5 the author makes reference to categories consisting of flat complex vector bundles over $X$ where $X$ is an arbitrary topological space. However, the ...

**15**

votes

**2**answers

1k views

### Every finitely generated flat module over a ring with finitely many minimal primes is projective

Over a commutative ring $R$, a finite type locally free (weak sense) module for which the rank function is locally constant is projective.
If we notice that for each minimal prime $p$ of the ring, ...

**2**

votes

**1**answer

160 views

### Projective dimension of a quotient ring

Assume $A$ and $B$ are commutative algebras with $1$, $B = A[z] = A[Z]/(h(Z))$,
$Z$ an indeterminate.
The first comment in this question says that, if $A$ is noetherian, then
$pd_{B\otimes_A B}(B) \...

**2**

votes

**1**answer

224 views

### Deciding whether a non-f.g. non-divisible flat module is projective or not

Assume $S= R[T]/(f)= R[w]$ is a flat non-divisible $R$-module, where $R$ is a noetherian UFD, $T$ is an indeterminate over $R$, and $f\in R[T]$ is a non-monic polynomial of positive degree.
Can we ...