Questions tagged [flatness]

The tag has no usage guidance.

Filter by
Sorted by
Tagged with
2 votes
0 answers
179 views

Proposition 4.3.8 Qing Liu about flat morphisms of schemes

I have a problem with a detail of Qing Liu's proof of Proposition 4.3.8 (pag. 137 of "Algebraic Geometry and Arithmetic Curves"). The statement is: Let $Y$ be a scheme having only a finite ...
BernyPiffaro's user avatar
8 votes
2 answers
475 views

Faithful flatness and non-commutative algebras

$\DeclareMathOperator\Spec{Spec}$When dealing with commutative algebras, a usefull criterion for faithful flatness is the following: Let $f:A\rightarrow B$ be a morphism of commutative algebras. Then $...
Fernando Peña Vázquez's user avatar
1 vote
0 answers
128 views

When flat base change is reduced

I am sorry, if this a very standard fact. Let $f\colon X\to S$ be a morphism between varieties over field of characteristic zero. Let $\psi \colon S'\to S$ be a flat morphism. Is it true that $X\...
Galois group's user avatar
3 votes
1 answer
178 views

Flatness over regular local rings of dimension 3

Let $R$ be a regular local ring of dimension $n$. Let $i:\text{Flat}\to\text{Fin}$ be the fully faithful inclusion of the category of flat finitely generated type $R$-modules into all finitely ...
Matthieu Romagny's user avatar
1 vote
0 answers
175 views

Can we check smoothness of a morphism after base change to the algebraic closure?

I know that smoothness is fppf local on the base, but this is not enough because taking algebraic closures is not finitely presented. The reason I'm asking this is because I want an easy/quick ...
TCiur's user avatar
  • 439
8 votes
3 answers
1k views

Why did Ravenel define a ring spectrum to be flat if its smash-square splits into copies of itself?

In appendix A.2 of the orange book, Ravenel defines a ring spectrum $E$ to be flat if $E\wedge E$ is equivalent to a coproduct of suspensions of $E$. (Call this definition (1).) I've seen this ...
Doron Grossman-Naples's user avatar
5 votes
0 answers
214 views

Flatness of objects in a prestable $\infty$-category

I wonder what is the correct concept of flatness of objects in a prestable $\infty$-category with appropriate conditions? The typical example is the following. Let $R$ be a connective $\mathbb E_1$-...
Z. M's user avatar
  • 1,898
0 votes
1 answer
102 views

On $\text{depth}_S\left(\dfrac {S}{JS+xS}\right)$, when $\text{depth}_R(R/J)=0$, and $R\to S$ is a certain flat map of local rings

Let $(R, \mathfrak m) \xrightarrow{\phi} (S,\mathfrak n) $ be a flat homomorphism of local rings such that $\mathfrak n=\mathfrak m S +xS$ for some $x\in \mathfrak n \setminus \mathfrak n^2$. Let $J$ ...
feder's user avatar
  • 63
2 votes
0 answers
120 views

Flatness and locally freeness

Let $X$, $S$ be integral quasi-projective schemes (over $\Bbb C$). Let $\mathcal F$ be a coherent sheaf on $X\times S$, flat on $S$. Suppose that $x\in X$, $s\in S$ are closed points, and ${\mathcal F}...
Hephaistos's user avatar
1 vote
1 answer
103 views

Subrings, submodules, and flatness

Let $R$ be a ring, and $S$ a subring of $R$. Let $M$ be a right $R$-module, and $N$ a right $S$-submodule of $M$. If $N$ is flat (or faithfully flat) as a right $S$-module, does it then follow that ...
Jake Wetlock's user avatar
  • 1,114
3 votes
1 answer
270 views

Does miracle flatness always fail for a non-regular base?

In [1], Huybrechts and Mauri argue that a holomorphic Lagrangian fibration $f: X \to B$ with smooth base $B$ is flat. This is an application of so called miracle flatness [2, Thm 23.1], because ...
red_trumpet's user avatar
  • 1,061
1 vote
0 answers
195 views

Ex 1.1c Hartshorne Deformation Theory: Is this family flat?

This comes from my attempt to solve Exercise 1.1c in Hartshorne's Deformation Theory book, which says that a family of conics in $\mathbb{P}^2$ parameterised by some finitely generated $k$-algebra $A$ ...
nolatos's user avatar
  • 151
6 votes
1 answer
415 views

Flatness of schemes

I am learning about flatness for the first time and I cannot wrap my head around why the definition with tensor products of a flat module implies geometrically that 1-parameter families of schemes ...
did's user avatar
  • 595
3 votes
1 answer
254 views

When is a sheaf $\mathcal{L}_1 \subset \mathcal{F} \subset \mathcal{L}_2$ sandwiched between two line bundles also a line bundle?

This question is in the interest of answering one part of this question, but I think it is distinct enough to warrant a separate question. Let $X$ be a regular 2-dimensional Noetherian scheme, for ...
PrimeRibeyeDeal's user avatar
3 votes
1 answer
256 views

Is local freeness open for curves?

Let $X$ be a complete nonsingular curve and $S$ a scheme over $k$ algebraically closed, and $\cal{F}$ a coherent sheaf on $X \times S$, generated by finitely many global sections and flat over $S$ (...
nolatos's user avatar
  • 151
7 votes
2 answers
584 views

Is $(x^2y,xy^2)$ log smooth?

Consider the map $$f:\mathbb C^2\to\mathbb C^2$$ $$(x,y)\mapsto(x^2y,xy^2)$$ We can view $f$ as induced by the map of monoids $g:\mathbb Z^2_{\geq 0}\to\mathbb Z^2_{\geq 0}$ given by the matrix $(\...
John Pardon's user avatar
  • 18.3k
4 votes
0 answers
343 views

A projective module over a domain that is not faithfully flat?

Let $R$ be a (noncommutative) unital ring which is a domain and let $\mathcal{N}$ be a non-zero projective (right) module. Projectivity of course implies that $\mathcal{N}$ is flat, but does the fact ...
Tim Montegue's user avatar
1 vote
0 answers
110 views

Composition of faithfully flat ring extensions

Let $R$ be a not necessarily commutative, unital, ring, and for simplicity let module always mean right module. We say that a unital ring extension $R \hookrightarrow S$ is flat, or faithfully flat, ...
Tim Montegue's user avatar
3 votes
1 answer
239 views

Faithful flatness for rings

Let $R$ be a ring and let $M$ be a right module over $R$. We say that $M$ is faithfully flat as a right module if the functor $M \otimes_R -$ from left $R$-modules to abelian groups that preserves ...
Tim Montegue's user avatar
4 votes
0 answers
250 views

Is there a notion of „flatness” in point-set topology?

In algebraic geometry, flat morphisms are usually associated with the intuition that they have „continuously varying fibers”. Is there a notion in topology formalizing the same intuition? Consider for ...
Jakob Werner's user avatar
  • 1,083
3 votes
1 answer
494 views

Finitely generated modules over Noetherian local ring that become isomorphic after faithfully flat base change

Let $(R,\mathfrak m)$ be a Noetherian local ring. Let $S$ be a Noetherian ring which is a faithfully flat $R$-algebra. If $M,N$ are finitely generated $R$-modules such that $M\otimes_R S \cong N \...
user337580's user avatar
1 vote
1 answer
194 views

Flatness criterion for $I$-adic ring: $I$-torsion free

Let $R$ be an $I$-adically separated and complete valuation ring, with $I$ finitely generated. It is used a few times in Bosch, Lectures on Formal and Rigid Geometry e.g. first lines of pg. 164, Cor. ...
Bryan Shih's user avatar
0 votes
0 answers
266 views

Flatness of affine cone due to semicontinuity theorem

I would like to clarify an important aspect from the discussion in this question. The OP discussed an obstacle to solve part (c) from Exercise 9.5 from Hartshorne's Algebraic Geometry Chap. III page ...
user267839's user avatar
  • 5,786
4 votes
1 answer
1k views

Flatness of maps of analytic rings

Reference: Lectures on Analytic Geometry Let $f\colon(\mathcal A,\mathcal M)\to(\mathcal B,\mathcal N)$ be a map of analytic ring. There are several possible ways to pose the flatness: Flatness as ...
Z. M's user avatar
  • 1,898
1 vote
0 answers
306 views

Flatness over a local noetherian ring

Let $(R,\mathfrak m)$ be a local noetherian ring, and $M$ an arbitrary $R$-module. Suppose that $\mathrm{Tor}_1(M,R/\mathfrak m)=0$. Does it follow that $M$ is flat? The answer is positive when $M$ ...
user26857's user avatar
  • 1,283
1 vote
0 answers
71 views

Faithfull flatness of a module containing the ring as a direct summand

Let $R$ be a not necessarily commutative ring, and let $M$ be a projective left $R$-module. Question. If $R$ is a direct summand of $M$ as a left $R$-module, then is it true that $M$ is faithfully ...
Boris Henriques's user avatar
1 vote
0 answers
180 views

Is the following local map unramified?

Let $(R,m)$ and $(S,n)$ be two local rings, $R \subseteq S$, $R$ regular, $S$ a finitely generated and flat $R$-algebra, and $mS=n$. In comments to this question it was claimed that in such situation ...
user237522's user avatar
  • 2,735
1 vote
0 answers
110 views

$A \to B$ with $A$ regular imply that $B$ is CM

The answer to this question says the following: "The general statement is if $A \to B$ is finite and injective, and $A$ is noetherian and regular, then $B$ is CM if and only if $A \to B$ is flat. ...
user237522's user avatar
  • 2,735
1 vote
1 answer
241 views

Flat and algebraic (non-integral) local rings extension $R \subseteq S$ with $m_RS=m_S$

Let $R \subseteq S$ be two Noetherian local rings, not necessarily regular, which are integral domains, with $m_RS=m_S$, namely, the ideal in $S$ generated by $m_R$ (= the maximal ideal of $R$) is $...
user237522's user avatar
  • 2,735
3 votes
0 answers
148 views

Flatness of certain $R \subseteq \mathbb{C}[x,y]$

The two-dimensional Jacobian Conjecture over $\mathbb{C}$ says the following: Let $p,q \in \mathbb{C}[x,y]$ satisfy $\operatorname{Jac}(p,q):=p_xq_y-p_yq_x \in \mathbb{C}-\{0\}$. Then $\mathbb{C}[p,q]=...
user237522's user avatar
  • 2,735
1 vote
1 answer
307 views

Flat familiy of coherent sheaves over a scheme

I'm studying the moduli problem of locally free sheaves over a connected smooth projective curve on an algebraically closed field, from the Lecture Notes of Victoria Hoskins, and I cannot fully ...
John117's user avatar
  • 395
3 votes
1 answer
227 views

Flatness of certain subrings

The following question appears, more or less, here: Let $k$ be an algebraically closed field of characteristic zero and let $S$ be a commutative $k$-algebra (I do not mind to further assume that $S$ ...
user237522's user avatar
  • 2,735
3 votes
1 answer
330 views

flatness and reduction

Let $\mathcal J$ be an ideal sheaf on a (Noetherian) $Y$-scheme $X$, and let $\mathcal I$ be the unique primary ideal in a primary decomposition $\mathcal J$ corresponding to a minimal associated ...
Dima Sustretov's user avatar
0 votes
1 answer
201 views

Separable non-flat simple ring extension

Let $R \subseteq S$ be two commutative $\mathbb{C}$-algebras such that: (1) $R$ and $S$ are integral domains. (2) $Q(R)=Q(S)$, namely, their fields of fractions are equal. (3) $S=R[w]$, for some $w \...
user237522's user avatar
  • 2,735
0 votes
1 answer
422 views

Separability of $\mathbb{C}[x]$ over its $\mathbb{C}$-subalgebras

For commutative rings $R \subseteq S$, recall that $S$ is separable over $R$, if $S$ is a projective $S \otimes_R S$-module, via $f: S \otimes_R S \to S$ given by: $f(s_1 \otimes_R s_2)=s_1s_2$. ...
user237522's user avatar
  • 2,735
0 votes
0 answers
88 views

Locally freeness of twisted direct images $\pi_* \mathcal{F}(i)$

I have a question about a step in the proof of the Existence of Flattening Stratification I found in Nitsure's paper here: https://arxiv.org/abs/math/0504590 This question is closely related to Local ...
user267839's user avatar
  • 5,786
4 votes
1 answer
278 views

Yoga on coherent flat sheaves $\mathcal{F}$ over projective space $\mathbb{P}^n$

I'm reading Mumfords's Lectures on Curves on an Algebraic Surface (jstor-link: https://www.jstor.org/stable/j.ctt1b9x2g3) and I found in Lecture 7 (RESUME OF THE COHOMOLOGY OF COHERENT SHEAVES ON $\...
user267839's user avatar
  • 5,786
1 vote
0 answers
133 views

Projection from closure of locally closed subscheme is Etale

Let $S$ an arbitrary scheme and denote by $\Delta: S \to S \times S$ the diagonal immersion and $p_i: S \times S \to S$ the both projections to first resp second factor. (in following we will wlog ...
user267839's user avatar
  • 5,786
1 vote
0 answers
120 views

Local freeness of $\pi_*F(r)$ from flatness of $F$

In 'Fundamental Algebraic Geometry' by Fantechi there is a lemma in section 5.3.2, page 119: LEMMA 5.5 Let $S$ be a noetherian scheme and let $F$ be a coherent sheaf on $\mathbb{P}^n_S$. Suppose there ...
user267839's user avatar
  • 5,786
5 votes
0 answers
212 views

Interpolating between curves in different characteristics

Let $p\neq q$ be two primes. For a given integer $g>0$ choose a smooth proper geometrically connected curve of genus $g$ over $\mathbb{F}_p$ and similarly for $q$. Is there a proper flat morphism $...
user avatar
8 votes
1 answer
413 views

Does a flat compactification always exist?

Let $\pi:X\to S$ be a separated flat morphism of finite type of Noetherian schemes. Does $\pi$ necessarily factor as an open immersion followed by a proper flat morphism? The analogue of this question ...
user avatar
3 votes
1 answer
431 views

Proper and flat over $\mathbb{P}^1_{\mathbb{Z}}$ implies locally free

Let $\pi:X\to \mathbb{P}^1_{\mathbb{Z}}$ be a proper flat morphism with $X$ an integral scheme. Is $\pi_*\mathcal{O}_X$ necessarily locally free?
user avatar
2 votes
1 answer
273 views

The local flatness criterion

I am self studying the book "Commutative Ring Theory" by H. Matsumura. The main theorem of section 22 is the theorem 22.3, which characterizes flatness of a module $M$ over any ring $A$. The (part of ...
KkD's user avatar
  • 23
3 votes
1 answer
198 views

Faithful flatness of left adjoint to almostification of algebras

I have been reading Bhatt's notes on perfectoid spaces and I have stumbled upon a fact whose proof I am unable to understand. Specifically, in Remark 4.2.8 Bhatt describes the functor $A\mapsto A_{!!}$...
Wojowu's user avatar
  • 26.9k
0 votes
0 answers
170 views

When $K[X_1,X_2,...,X_n] \to K[Y_1,Y_2,...,Y_m]$ is a flat morphism

Let $K$ be a field and $\varphi: K[X_1,X_2,...,X_n] \to K[Y_1,Y_2,...,Y_m]$ a polynomial $K$-algebra morphism. Assume $n, m \ge 2$. By definition $\varphi$ endows $K[Y_1,Y_2,...,Y_m]$ with a $K[X_1,...
user267839's user avatar
  • 5,786
1 vote
1 answer
226 views

Non-unique completion of a flat family of smooth projective varieties

Let $\mathbb{k}$ be an algebraically closed field of characteristic 0. Denote $S=\mathrm{Spec}\:\mathbb{k}[t]$, $U=\mathrm{Spec}\:\mathbb{k}[t, t^{-1}]$, $Z=\mathrm{Spec}\:\mathbb{k}[t]/(t)$. What is ...
user avatar
10 votes
0 answers
487 views

How general are Gröbner degenerations?

While working with flat degenerations of flag varieties and Schubert varieties I've noticed that among the numerous known constructions there doesn't seem to be a single one that doesn't turn out to ...
Igor Makhlin's user avatar
  • 3,495
8 votes
3 answers
515 views

Lifting a complete intersection in $\mathbb{P}^n_{\mathbb{F}_p}$ to $\mathbb{Z}_p$

Suppose that you are given a (not necessarily smooth) projective variety $X \subseteq \mathbb{P}^n_{\mathbb{F}_p}$ of codimension $d$ that is a complete intersection. In other words, it can be defined ...
clarkkent's user avatar
  • 121
3 votes
0 answers
57 views

When flatness of $S$ over $R_i$ implies flatness of $S$ over the ring generated by $R_1,R_2$

The following question I have asked in MSE, but have not received an answer, so I ask it here; I really apologize if it is not suitable for MO. Let $k$ be a field of characteristic zero and let $R_1,...
user237522's user avatar
  • 2,735
-1 votes
1 answer
164 views

Flatness of certain quotient rings

Let $p,q \in \mathbb{C}[x,y]$ be two polynomials such that $p_xp_yq_xq_y \neq 0$ (namely, each partial derivative is non-zero). Assume that the following four conditions are satisfied: (1) $\frac{\...
user237522's user avatar
  • 2,735