# Questions tagged [flatness]

The tag has no usage guidance.

147 questions
Filter by
Sorted by
Tagged with
83 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 ...
135 views

198 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 ...
133 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 ...
363 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 ...
41 views

184 views

213 views

### Isomorphism in fibers and flatness

Let $X$, $Y$ be (reduced) affine varieties and $f:X \to Y$ is a finite morphism which is an isomorphism over an open dense subset (for example a normalization map). Let $A$ be a local noetherian ring ...
277 views

### Classification of flat Riemannian three manifold

By a theorem of L. Bieberbach we know that that every closed flat Riemannian manifold is a quotient of a torus via action of a finite group $\Gamma$. In this question we are interested in the ...
161 views

### Flat base change in the complex analytic setting

On page 255 of Hartshorne's Algebraic Geometry, it is shown that "cohomology commutes with flat base extension": Proposition III.9.3: Let $f : X \to Y$ be a separated morphism of finite type of ...
53 views

### Non-minimal Krull associated primes of a PF-ring

A commutative ring $R$ is said to be a PF-ring if every principal ideal of $R$ is a flat $R$-module. Also, a prime ideal $P$ of $R$ to be a Krull associated prime of $R$ if for every element $x\in P$ ,...
78 views

### Uniqueness of the scheme structure for a given Hilbert polynomial

If we have two lines in $P^3$ which are skewed, then we can take the union of those lines as a subscheme of $P^3$ in order to obtain a subscheme of $P^3$ with a Hilbert Polynomial given by $2m+2$. ...
107 views

### Flat covariant derivative

Is it true that for any flat and torsion-free connection $\nabla : \mathfrak{X} (M) \times \mathfrak{X} (M) \rightarrow \mathfrak{X} (M)$ there exist a local systems of coordinates such that the ...
151 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 ...
271 views

233 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 ...
207 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 ...
162 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 ...
130 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 ...
149 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 ...
194 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 ...
865 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 ...
221 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 ...
125 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, ...
103 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?
156 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 ...
183 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 ...
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) ...