Related papers: On codimension-one $\mathbb A^1$-fibration with re…
We extend the group-theoretic notion of conditional flatness for a localization functor to any pointed category, and investigate it in the context of homological categories and of semi-abelian categories. In the presence of functorial…
We give a sufficient condition for a lightlike isotropic submanifold $M$, of dimension $n$, which is not totally geodesic in a semi-Riemannian manifold of constant curvature $c$ and of dimension $n+p (n < p)$, to admit a reduction of…
The coincidence between initial algebras (IAs) and final coalgebras (FCs) is a phenomenon that underpins various important results in theoretical computer science. In this paper, we identify a general fibrational condition for the IA-FC…
We give a criterion for a flat fibration with affine plane fibers over a smooth scheme defined over a field of characteristic zero to be a Zariski locally trivial $\mathbb{A}^2$-bundle. An application is a positive answer to a version 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…
In this paper, we develop canonical bundle formulas for fibrations of relative dimension one in characteristic $p>0$. For such a fibration from a log pair $f\colon (X, \Delta) \to S$, if $f$ is separable, we can obtain a formula similar to…
We show that in a fibration the coformality of the base space implies the coformality of the total space under reasonable conditions, and these conditions can not be weakened. The result is partially dual to the classical work of Lupton…
The following problem is addressed: A $3$-manifold $M$ is endowed with a triple $\Omega = \big(\Omega^1,\Omega^2,\Omega^3\big)$ of closed $2$-forms. One wants to construct a coframing $\omega = \big(\omega^1,\omega^2,\omega^3\big)$ of $M$…
We give a sufficient condition for a metric (homology) manifold to be locally bi-Lipschitz equivalent to an open subset in $\rn$. The condition is a Sobolev condition for a measurable coframe of flat 1-forms. In combination with an earlier…
We develop the quadratic technique of proving birational rigidity of Fano-Mori fibre spaces over a higher-dimensional base. As an application, we prove birational rigidity of generic fibrations into Fano double spaces of dimension…
In this paper we give a generalisation of the Radius Rigidity theorem of F.Wilhelm. This is done by showing that if a Riemannian submersion of $S^{15}$ with 7-dimensional fibres has at least one fibre which is a great sphere then all the…
Let $A$ be a (not necessarily unital) separable non-elementary simple amenable C*-algebra whose tracial basis may not have finite covering dimension and may not be compact but satisfies certain condition (C). We show that $A$ is ${\cal…
We prove some stability results for certain classes of C*-algebras. We prove that whenever $A$ is a finite-dimensional C*-algebra, $B$ is a C*-algebra and $\phi\colon A\to B$ is approximately a $^*$-homomorphism then there is an actual…
Let $X$ be a non-singular projective threefold over an algebraically closed field of any characteristic, and let $A^2(X)$ be the group of algebraically trivial codimension 2 algebraic cycles on $X$ modulo rational equivalence with…
We prove that one-relator groups are coherent, solving a well-known problem of Gilbert Baumslag. Our proof strategy is readily applicable to many classes of groups of cohomological dimension two. We show that fundamental groups of…
This paper is a continuation of our previous paper, Co-Seifert fibrations of compact flat orbifolds, in which we developed the theory for classifying geometric fibrations of compact, connected, flat $n$-orbifolds, over a 1-orbifold, up to…
We prove that the existence of a $1$-Lipschitz retraction (a contraction) from a space $X$ onto its subspace $A$ implies the persistence diagram of $A$ embeds into the persistence diagram of $X$. As a tool we introduce tight injections of…
We show that non-flatness of a morphism f of complex-analytic spaces with a locally irreducible target Y of dimension n manifests in the existence of vertical components in the n-fold fibred power of the pull-back of f to the…
We define a sound and complete proof system for affine beta-eta-retractions in simple types built over many atoms, and we state simple necessary conditions for arbitrary beta-eta-retractions in simple and polymorphic types.
We extend the recent progress on the cocycle rigidity of partially hyperbolic homogeneous abelian actions to the setting with rank 1 factors in the universal cover. The method of proof relies on the periodic cycle functional and analysis of…