The flatness tag has no usage guidance.

**7**

votes

**3**answers

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

**9**

votes

**2**answers

378 views

### Every finitely generated flat modules is projective over a commutative ring with a finite number of minimal primes?

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

**1**

vote

**1**answer

89 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

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

**0**

votes

**2**answers

261 views

### When $mB \neq B$? $m$ is a maximal ideal of $A$, $A \subseteq B$

The following is a question I have asked here without receiving any comments, therefore I post it here:
Let $A \subseteq B$ be commutative rings, $m$ a maximal ideal of $A$.
When $mB \neq B$?
This ...

**2**

votes

**0**answers

75 views

### Ultraproducts and subobjects of projectives

Usually the question whether the class of projective algebras in a given variety is closed under taking subalgebras seems to be quite hard. In varieties with well understood dual geometry (e. g. ...

**13**

votes

**2**answers

592 views

### Does projective imply flat?

Let $\mathcal C$ be an abelian category equipped with a closed symmetric monoidal structure. This implies in particular that the monoidal structure $\otimes$ is right exact in each variable. I care ...

**0**

votes

**1**answer

146 views

### Sections of proper, flat morphism

Let $f:X \to Y$ be a proper, flat morphism of projective scheme and $Y$ is an irreducible, non-singular surface. Assume further that there exists a Zariski open subset $U$ of $Y$ whose complement is ...

**0**

votes

**0**answers

86 views

### Flatness of a simple ring extension

Assume $A \subseteq B=A[b]$ are integral domains, $b \in B$ is algebraic over $A$ (but not necessarily integral over $A$), and $A$ and $B$ have the same field of fractions.
(Notice that $b=u/v$ for ...

**0**

votes

**0**answers

58 views

### quantum deformation

The standard quantum groups, say $GL_q(n)$ or $U_q(gl(n))$, depend on the parameter $q$, which in the classical limit tends toward 1. Let $t:=q-1$ be considered as a generic parameter then we can ...

**2**

votes

**1**answer

210 views

### Which base change preserves integrality of schemes

Let $f:X \to Y$ be a flat morphism of projective noetherian integral schemes. Is there any known condition on a morphism $Z \to Y$ under which the resulting fiber product $X \times_Y Z$ is still ...

**3**

votes

**1**answer

186 views

### Linear projection from a point and local complete intersection

Let $p:=[0,0,...,0,1] \in \mathbb{P}^n$ the point whose all the coordinates are zero except for the $n$-th. This defines a linear projection map $\phi:\mathbb{P}^n-p \to \mathbb{P}^{n-1}$, given by ...

**0**

votes

**0**answers

165 views

### Flatness and intersection of fibers

Let $f:X \to Y$ be a flat, proper, surjective morphism between noetherian schemes. Assume $Y$ is irreducible and smooth over $\mathbb{C}$. Suppose that $X$ is the union of two schemes $X_1$ and $X_2$ ...

**1**

vote

**0**answers

162 views

### Connectedness of fibers for flat, proper morphism

Let $f:X \to Y$ be a flat proper morphism of noetherian schemes of finite type over a field. Assume that $Y$ is an integral scheme and the generic fiber of $f$ is irreducible of dimension $1$. Is it ...

**4**

votes

**1**answer

278 views

### Covering of schemes and flatness

Let $f:X \to Y$ be a finite surjective morphism of quasi-projective schemes over $\mathbb{C}$, $X$ is reduced and $Y$ is integral. Suppose that there exists an integer $n$ such that for every closed ...

**6**

votes

**2**answers

240 views

### Exactness of an additive left Kan extension

Let $\phi:R\to S$ be a flat ring homomorphism and consider the induced adjoint pair
$$\phi_!:R-Mod\rightleftarrows S-Mod:\phi^*,$$
where $\phi_!=(S\otimes_R -)$. The right adjoint $\phi^*$ is easily ...

**5**

votes

**1**answer

92 views

### Tori in Compact Riemannian Symmetric Spaces

The closure of a 1-parameter subgroup in a compact Lie group is a torus. To what extent does this result generalize to compact Riemannian symmetric spaces? In other words, is the closure of a geodesic ...

**3**

votes

**1**answer

272 views

### Affine hulls and base change

Let $S$ be a scheme. We consider the functor, called affine hull, from the category of quasicompact and quasiseparated $S$-schemes to the category of affine $S$-schemes, defined as a left adjoint to ...

**2**

votes

**0**answers

139 views

### $\delta$-functor and commutativity of pull-back with right derivation

Let $f:X \to Y$ be a faithfully flat projective morphism of noetherial $\mathbb{C}$-schemes. Assume that $Y$ is affine, smooth over $\mathbb{C}$. Let $y \in Y$ be a closed point with residue field, ...

**1**

vote

**0**answers

223 views

### R[[X]] flat as a R[X]-module?

I assume $R[X]\rightarrow R[[X]]$ is not flat in general, but I was wondering if any conditions on a commutative ring $R$ are known such that $R[[X]]$ is flat as a $R[X]$-module.
Would $R$ noetherian ...

**5**

votes

**1**answer

200 views

### Injective flat module

Let $R$ be a (right noetherian) ring. Is there always a right $R$-module which is both flat and injective? If $R$ is an integral domain, then the answer is indeed yes, as the quotient field is such.
...

**4**

votes

**1**answer

199 views

### Simultaneous resolution of singularities in special cases of flat families of projective varieties

Let $\pi:\mathcal{X} \to B$ be a flat family of projective varieties. Assume that $B$ is irreducible. Suppose that $\mathcal{X}$ is smooth except for a closed subscheme, say $Y$ which is isomorphic to ...

**1**

vote

**1**answer

160 views

### Does the going-up theorem hold between flat algebras?

Let $R$ be a commutative Noetherian ring with unit and $S$ a flat $R$-algebra. Does the going-up theorem hold between $R$ and $S$?

**2**

votes

**0**answers

58 views

### morphism flat and relations

I want to know if the following result is true:
Let $I=<f_1,...,f_r>$ be an ideal of $K[x_1,x_2,...x_n,t_1,..,t_m]$. The morphism $\pi:V(I)\subset{K^{n+m}}\rightarrow{K^m}$, with $\pi(x,t)=t$, ...

**0**

votes

**1**answer

178 views

### Does flatness/smoothness over special fiber imply flatness/smoothness globally?

Let $f:X \to \mbox{Spec } R$ be a projective morphism between irreducible Noetherian schemes. Assume that $R$ is a discrete valuation ring and its residue field is algebraically closed. Suppose now ...

**0**

votes

**0**answers

160 views

### Flatness over Hopf subalgebra

Let $A\subset B$ be flat Hopf algebras over a Dedekind ring $R$.
J. Moore has proved in the article
Compléments sur les algèbres de Hopf, John C. Moore, Séminaire Henri Cartan (1959-1960), Volume: ...

**4**

votes

**2**answers

517 views

### Faithful-flatness for maps of formal power series rings

Let $R$ be a ring (commutative with unit).Let $f_1,...,f_n\in R$ elements that generate the unit ideal. The map $R\to R_{f_1}\times ...\times R_{f_n}$ is faithfully flat, since this is just a Zariski ...

**2**

votes

**1**answer

95 views

### on smoothness of morphisms on an artinian base

Let $A$, $B$ two smooth $R$-algebras of finite type for a artinian local ring $R$.
Let $I$ an ideal such that $I^{2}=0$ and $\bar{R}=R/I$.
We assume that the map $Spec B/IB\rightarrow Spec A/IA$ is ...

**4**

votes

**0**answers

148 views

### Injectivity criterion for surjective coalgebra maps: does it hold in full generality?

Let $k$ be a commutative ring.
Let $C$ be a filtered $k$-coalgebra. This means a $k$-coalgebra equipped with an increasing $k$-module filtration $C^0 \subseteq C^1 \subseteq C^2 \subseteq ...$ ...

**2**

votes

**1**answer

206 views

### flat and finite type morphisms

Let $f:X\rightarrow Y$ a faithfully flat morphism between $k$-schemes. We assume that the fibers are locally of finite type, do we have that $f$ is locally of finite type?

**2**

votes

**1**answer

467 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 exists an irreducible ...

**0**

votes

**0**answers

175 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$ is faithfully flat, ...

**9**

votes

**1**answer

420 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) each $B_i$ is ...

**0**

votes

**1**answer

213 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 be the base change ...

**7**

votes

**1**answer

400 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 an easy ...

**3**

votes

**1**answer

411 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 "functors of points" ...

**2**

votes

**2**answers

266 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?
We know, that it's ...

**3**

votes

**1**answer

295 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 crossings divisors) and ...

**2**

votes

**1**answer

325 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 components of $X$ (i.e., ...

**2**

votes

**2**answers

295 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. Then we have a quotient ...

**9**

votes

**1**answer

396 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 $X$ such that the ...

**1**

vote

**1**answer

308 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)$? The cohomology is ...

**1**

vote

**0**answers

201 views

### Existence of the universal family for the Hilbert scheme of plane curves

Given a finitely generated $k$-algebra $A$ over alg. closed $k$, a family of curves of degree $d$ is defined to be a subscheme $X\subset \mathbb P^2_A$ flat over $A$ whose fibers over closed points of ...

**3**

votes

**2**answers

176 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 irreducible. Let $E$ be ...

**3**

votes

**3**answers

810 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}^n$.
Is $X \to Y$ ...

**1**

vote

**2**answers

1k views

### properties of the fibers of a flat morphism

Let $X$ be an arbitrary scheme of finite type over $\mathbb{C}$ and $f:X \rightarrow \mathbb{A}_{\mathbb{C}}^1$ be a flat morphism. I suppose that the special fiber have some nice property, I would ...

**8**

votes

**3**answers

1k views

### Relationship between monodromy representations and isomorphism of flat vector bundles

This question is somehow related to this one.
Let $M$ be a smooth (compact, if you wish) connected manifold.
Then, it is well known that there is an equivalence between the isomorphism classes of ...

**4**

votes

**1**answer

356 views

### Spreading out flat morphisms of schemes

In EGA IV, Chapter 8, projective systems of schemes (and morphisms between them) are considered. Let $(S_{\lambda})_{\lambda \in L}$ be a projective system of schemes and let $S$ be the projective ...

**7**

votes

**1**answer

268 views

### Triviality of direct multiples of flat complex vector bundles

Atiyah Patodi and Singer [Spectral asymmetry and Riemannian geometry III] write that if $E$ is a complex flat bundle (non holomorphic, just smooth and complex) on a compact manifold $X$ (more ...

**12**

votes

**4**answers

908 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.10.4), so after ...