Related papers: An inductive analytic criterion for flatness

Let $\mathcal{X}$ be a class of left $R$-modules, $\mathcal{Y}$ be a class of right $R$-modules. In this paper, we introduce and study Gorenstein $(\mathcal{X}, \mathcal{Y})$-flat modules as a common generalization of some known modules…

We classify the harmonic morphisms with one-dimensional fibres (1) from real-analytic conformally-flat Riemannian manifolds of dimension at least four, and (2) between conformally-flat Riemannian manifolds of dimensions at least three.

A variety V is said to be coherent if any finitely generated subalgebra of a finitely presented member of V is finitely presented. It is shown here that V is coherent if and only if it satisfies a restricted form of uniform deductive…

We present basic properties of Gr\"obner bases of submodules of a free module of finite rank over a polynomial ring $R$ with coefficients in a graded truncated discrete valuations ring $A$. As an application, we give a criterion for a…

Let $f$ be a holomorphic mapping between compact complex manifolds. We give a criterion for $f$ to have {\it unobstructed deformations}, i.e. for the local moduli space of $f$ to be smooth: this says, roughly speaking, that the group of…

In this paper, we will prove subadditivity of Kodaira dimensions for a fibration with possibly singular geometric generic fiber, under certain nefness and relative semi-ampleness conditions. As an application, for a fibration $f: X \to Y$…

In this paper we study the geometry of the total space $Y$ of a cotangent bundle to a K\"ahler manifold $N$ where $N$ is obtained as a K\"ahler reduction from $\mathbb C^n$. Using the hyperk\"ahler reduction we construct a hyperk\"ahler…

Using techniques from the theory of mock modular forms and harmonic Maass forms, especially Weierstrass mock modular forms, we establish several dimension formulas for certain strongly rational, holomorphic vertex operator algebras,…

Given a functional for a one-dimensional physical system, a classical problem is to minimize it by finding stationary solutions and then checking the positive definiteness of the second variation. Establishing the positive definiteness is,…

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…

Fairness-aware classification is receiving increasing attention in the machine learning fields. Recently research proposes to formulate the fairness-aware classification as constrained optimization problems. However, several limitations…

We introduce a novel model-theoretic framework inspired from graph modification and based on the interplay between model theory and algorithmic graph minors. The core of our framework is a new compound logic operating with two types of…

We extend logical categories with fiberwise interior and closure operators so as to obtain an embedding theorem into powers of the category of topological spaces. The required axioms, besides the Kuratowski closure axioms, are a `product…

It is now very known how the subprojectivity of modules provides a fruitful new unified framework of the classical projectivity and flatness. In this paper, we extend this fact to the category of complexes by generalizing and unifying…

The compactness phenomenon is one of the featured aspects of structuralism in mathematics. In simple and broad words, a compactness property holds in a structure if a related property is satisfied by sufficiently many substructures of that…

We give an explicit expression for the (finitely) flat remainder after analytic normal form reduction of a family of planar saddles of diffeomorphisms or vector fields. We distinguish between a rational or irrational ratio of the moduli of…

Let $f: X\to Y$ be a proper surjective morphism of varieties defined over an algebraically closed field of positive characteristic. We prove that if $f$ has geometrically connected fibers then the induced homomorphism of $F$-divided…

Let $\mathcal{M}$ be a Type $\mathcal{A}$ affine surface. We show that $\mathcal{M}$ is linearly strongly projectively flat. We use the quasi-Einstein equation together with the condition that $\mathcal{M}$ is strongly projectively flat to…

In this paper, we establish a new criterion for covering maps between real algebraic varieties. Specifically, we prove that a quasi-finite, flat morphism with locally constant geometric fibers between varieties over a real closed field…

We consider a class of algebraic dynamical systems introduced by Kitchens and Schmidt. Under a weak finiteness condition -- the Descending Chain Condition -- the dual modules have finite presentations. Using methods from commutative algebra…