Related papers: Some remarks on biequidimensionality of topologica…
In constructive mathematics, several nonequivalent notions of finiteness exist. In this paper, we continue the study of Noetherian sets in the dependently typed setting of the Agda programming language. We want to say that a set is…
A homemorphism between domains in $\mathbb R^n$, $n\ge 2$ is quasiconformal, with its intricate analytic and geometric consequences, if the (pointwise) linear dilatation -- a purely metric quantity -- is uniformly bounded. Gehring proved…
We introduce a theory of geometry for nonnoetherian commutative algebras with finite Krull dimension. In particular, we establish new notions of normalization and height: depiction (a special noetherian overring) and geometric codimension.…
In this article, we develop a technique to "split" certain types of partially ordered sets into simpler ones and use that technique to give a partial answer to a conjecture by R. Wiegand and S. Wiegand on the structure of semi-local,…
We study the topology of a class of proper submodules and some of its distinguished subclasses and call them structure spaces. We give several criteria for the quasi-compactness of these structure spaces. We study $T_0$ and $T_1$ separation…
Let k be a field. This paper investigates the embedding dimension and codimension of Noetherian local rings arising as localizations of tensor products of k-algebras. We use results and techniques from prime spectra and dimension theory to…
We prove an equivariant version of the classical Menger-Nobeling theorem regarding topological embeddings: Whenever a group $G$ acts on a finite-dimensional compact metric space $X$, a generic continuous equivariant function from $X$ into…
A depiction of a nonnoetherian integral domain $R$ is a special coordinate ring that provides a framework for describing the geometry of $R$. We show that if $R$ is noetherian in codimension 1, then $R$ has a unique maximal depiction $T$.…
We show that every scheme/algebraic space/stack that is quasi-compact with quasi-finite diagonal can be approximated by a noetherian scheme/algebraic space/stack. More generally, we show that any stack which is etale-locally a global…
In this paper we consider two types of dimension that can be defined for products of one-dimensional topologically totally transcendental (t.t.t) structures. The first is topological and considers the interior of projections of the set onto…
Let $R$ be a Noetherian ring. We prove that $R$ has global dimension at most two if, and only if, every prime ideal of $R$ is of linear type. Similarly, we show that $R$ has global dimension at most three if, and only if, every prime ideal…
The sum theorem and its corollaries are proved for a countable family of zero-dimensional (in the sense of small and large inductive bidimensions) p-closed sets, using a new notion of relative normality whose topological correspondent is…
The aim of this paper is to study Iseki spaces of distinguished classes of ideals of a semiring endowed with a topology. We show that every Is\'{e}ki space is quasi-compact whenever the semiring is Noetherian. We characterize Is\'{e}ki…
For a ring $A$, we consider the question whether every bounded above cochain complex of injective $A$-modules which is acyclic is null-homotopic. We show that if $A$ is left and right noetherian and has a dualizing complex, then this…
Let R be a commutative Noetherian (not necessarily local) ring with identity and a be a proper ideal of R. We introduce a notion of a-relative system of parameters and characterize them by using the notion of cohomological dimension. Also,…
We study rings which have Noetherian cohomology under the action of a ring of cohomology operators. The main result is a criterion for a complex of modules over such a ring to have finite injective dimension. This criterion generalizes, by…
In the derived category of the category of modules over a commutative Noetherian ring $R$, we define, for an ideal $\fa$ of $R$, two different types of cohomological dimensions of a complex $X$ in a certain subcategory of the derived…
We give extensive characterizations for an open subset of an affine space of arbitrary dimension, resp. of an inverse limit of prime spectra to be quasi-compact. Among other things weak stability, retro-compactness, and cylinder sets…
To each simplicial set $X$ we naturally assign an \'etendue ${\'E X}$ whose internal logic captures information about the geometry of $X$. In particular, we show that, for 'non-singular' objects $X$ and $Y$, the \'etendues ${\'E X}$ and…
Bethe/Gauge correspondence as it is usually stated is ill-defined in five dimensions and needs a "non-perturbative" completion; a related problem also appears in three dimensions. It has been suggested that this problem, probably due to…