Related papers: Flatness testing over singular bases

We prove that, if F is a coherent sheaf of modules over the source of a morphism f:X->Y of complex-analytic spaces, where Y is smooth, then the stalk of F at a point x in X is flat over R, the local ring of the target at f(x) if and only if…

We prove a fast computable criterion that expresses non-flatness in terms of torsion: Let R be a regular algebra of finite type over a field K of characteristic zero and let F be a module finitely generated over an R-algebra of finite type.…

Given an essentially finite type morphism of schemes f: X --> Y and a positive integer d, let f^{d}: X^{d} --> Y denote the natural map from the d-fold fiber product, X^{d}, of X over Y and \pi_i: X^{d} --> X the i'th canonical projection.…

Let $X$ and $S$ be complex spaces with $X$ countable at infinity and $S$ reduced locally pure dimensional. Let $\pi:X\to S$ be an universally-$n$-equidimensional morphism (i.e open with constant pure $n$-dimensional fibers). If there is a…

It is proved in this paper that for any finite-dimensional nonsemisimple Hopf algebra $A$ there exists a Hopf algebra $H$ containing $A$ as a Hopf subalgebra such that $H$ is not flat over $A$. On the other hand, there is a class of…

Let K be an algebraically closed field endowed with a complete non-archimedean norm. Let f:Y -> X be a map of K-affinoid varieties. We prove that for each point x in X, either f is flat at x, or there exists, at least locally around x, a…

Consider a finite-dimensional algebra $A$ and any of its moduli spaces $\mathcal{M}(A,\mathbf{d})^{ss}_{\theta}$ of representations. We prove a decomposition theorem which relates any irreducible component of…

We study the degree of irreducible morphisms in any Auslander-Reiten component of a finite dimensional algebra over an algebraically closed field. We give a characterization for an irreducible morphism to have finite left (or right) degree.…

Let n be a positive integer, and let R be a finitely presented (but not necessarily finite dimensional) associative algebra over a computable field. We examine algorithmic tests for deciding (1) if every n-dimensional representation of R is…

We present a constructive criterion for flatness of a morphism of analytic spaces X -> Y or, more generally, for flatness over Y of a coherent sheaf of modules on X. The criterion is a combination of a simple linear-algebra condition "in…

A condition on an affine central subalgebra $Z$ of a noetherian algebra $A$ of finite Gelfand-Kirillov dimension, which we call here \emph{unruffledness}, is shown to be equivalent in some circumstances to the flatness of $A$ as a…

Let $R$ be a commutative ring. Roughly speaking, we prove that an $R$-module $M$ is flat iff it is a direct limit of $R$-module affine algebraic varieties, and $M$ is a flat Mittag-Leffler module iff it is the union of its $R$-submodule…

The notion of faithful flatness of a module over a commutative ring is studied for two $R$-modules $M$ arising in functional analysis, where $R$ is a Banach algebra and $M$ is a Hilbert space. The following results are shown: If $X$ is a…

It is shown that any finite-dimensional homomorphic image of an inverse limit of nilpotent not-necessarily-associative algebras over a field is nilpotent. More generally, this is true of algebras over a general commutative ring k, with…

We determine the central simple algebras D over a functionfield K of trancendence degree two which admit a model of smooth Cayley-Hamilton algebras. This happens if and only if there is a smooth model S of K such that the ramification…

The paper is devoted to the investigation of finite dimensional commutative nilpotent (associative) algebras N over an arbitrary base field of characteristic zero. Due to the lack of a general structure theory for algebras of this type (as…

Principal affine open subsets in affine schemes are an important tool in the foundations of algebraic geometry. Given a commutative ring $R$, $\,R$-modules built from the rings of functions on principal affine open subschemes in…

Let L be a finite-dimensional Lie algebra over a field of non-zero characteristic. By a theorem of Jacobson, L has a finite-dimensional faithful module which is completely reducible. We show that if the field is not algebraically closed,…

Let A be an associative algebra of arbitrary dimension over a field F and G a finite soluble group of automorphisms of A oforder n, prime to the characteristic of F. We prove that if the fixed-point subalgebra of A under the action of G…

Given a finite dimensional algebra $A$ over an algebraically closed field we study the relationship between the powers of the radical of a morphism in the module category of the algebra $A$ and the induced morphism in the module category of…