Stack Exchange Network

Stack Exchange network consists of 174 Q&A communities including Stack Overflow, the largest, most trusted online community for developers to learn, share their knowledge, and build their careers.

Visit Stack Exchange

Questions tagged [flatness]

The tag has no usage guidance.

2
votes
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
0answers
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
1answer
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
1answer
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
2answers
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
0answers
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
0answers
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
0answers
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
0answers
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
2answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
1answer
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
2answers
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
0answers
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
1answer
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
0answers
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
0answers
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
1answer
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
1answer
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
1answer
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
3answers
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
2answers
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
1answer
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
1answer
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 ...