Related papers: Metric freedom and projectivity for classical and …
A metric projective structure is a manifold equipped with the unparametrised geodesics of some pseudo-Riemannian metric. We make acomprehensive treatment of such structures in the case that there is a projective Weyl curvature nullity…
We investigate the notion of the C-projective dimension of a module, where C is a semidualizing module. When C=R, this recovers the standard projective dimension. We show that three natural definitions of finite C-projective dimension…
Let $T$ be a compact, metrisable and strongly countable-dimensional topological space. Let $\mathcal{M}^T$ be the set of all metrics $d$ on $T$ compatible with its topology, and equip $\mathcal{M}^T$ with the topology of uniform…
The purpose of this paper is to investigate properties of the minimal free resolution of the modules of multi-logarithmic forms along a reduced equidimensional subspace. We first consider a notion of freeness for reduced complete…
It is proved that a straight projective-metric space has an open set of centers, if and only if it is either the hyperbolic or a Minkowskian geometry. It is also shown that if a straight projective-metric space has some finitely many…
We show that every smooth toric variety (and many other algebraic spaces as well) can be realized as a moduli space for smooth, projective, polarized varieties. Some of these are not quasi--projective. This contradicts a recent paper…
We construct examples of bounded below, noncontractible, acyclic complexes of finitely generated projective modules over some rings $S$, as well as bounded above, noncontractible, acyclic complexes of injective modules. The rings $S$ are…
Consider a manifold with boundary, and such that the interior is equipped with a pseudo-Riemannian metric. We prove that, under mild asymptotic non-vanishing conditions on the scalar curvature, if the Levi-Civita connection of the interior…
Using the category of metric spaces as a template, we develop a metric analogue of the categorical semantics of classical/intuitionistic logic, and show that the natural notion of predicate in this "continuous semantics" is equivalent to…
In this paper, first we obtain some new and interesting results on projective modules and on the upper topology of an ordinal number. Then it is shown that the rank map of a locally of finite type projective module is continuous with…
The aim of this note is to study existence and main properties of direct and inverse limits in the category of normed $L^0$-modules (in the sense of Gigli) over a metric measure space.
In this paper, the projectivity of a finitely generated flat module of a commutative ring is studied through its exterior powers and invariant factors and then various new results are obtained. Specially, the related results of Endo,…
Recently, in a series of papers "simple" versions of direct-injective and direct-projective modules have been investigated. These modules are termed as "simple-direct-injective" and "simple-direct-projective", respectively. In this paper,…
Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…
We make a detailed study of idempotent ideals that are traces of countably generated projective right modules. We associate to such ideals an ascending chain of finitely generated left ideals and, dually, a descending chain of cofinitely…
A new method of metric space investigation, based on classification of its finite subspaces, is suggested. It admits to derive information on metric space properties which is encoded in metric. The method describes geometry in terms of only…
In this paper we prove two general results related to Marstrand's projection theorem in a quite general formulation over separable metric spaces under a suitable transversality hypothesis (the "projections" are in principle only measurable)…
Standard quantum measurements are projective. However, the full scope of quantum measurements is represented by positive operator-valued measures (POVMs) and many of these break the limitations of projective measurements as resources in…
This paper develops a conditional framework for understanding the emergence of measurable physical structure from a pre-metric domain. Contemporary physics provides powerful and precise descriptions of relations among already-defined…
Differential modules over a commutative differential ring R which are finitely generated projective as ring modules, with differential homomorphisms, form an additive category, so their isomorphism classes form a monoid. We study the…