Related papers: Foundations for almost ring theory -- Release 7.5

We present some old and recent regularity results concerning minimal and almost minimal sets in domains of the Euclidean space. We concentrate on a sliding variant of Almgren's notion of minimality, which is well suited in the context of…

Goldie's Theorem (1960), which is one of the most important results in Ring Theory, is a criterion for a ring to have a semisimple left quotient ring. The aim of the paper is to give four new criteria (using a completely different approach…

The aim of this paper is to introduce tau-tilting theory, which completes (classical) tilting theory from the viewpoint of mutation. It is well-known in tilting theory that an almost complete tilting module for any finite dimensional…

We prove Grothendieck's existence theorem for relatively perfect complexes on an algebraic stack that is proper and flat over an $I$-adically complete Noetherian ring $A$. This generalizes an earlier result of Lieblich in the setting of…

In this paper we are concerned with absolute, relative and Tate Tor modules. In the first part of the paper we generalize a result of Avramov and Martsinkovsky by using the Auslander-Buchweitz approximation theory, and obtain a new exact…

Given a frequency $\lambda$, we study general Dirichlet series $\sum a_n e^{-\lambda_n s}$. First, we give a new condition on $\lambda$ which ensures that a somewhere convergent Dirichlet series defining a bounded holomorphic function in…

In this paper, we use elementary and simple ideas which are based on the significant applications of the power set ring to rebuild and study the patch topology on the prime spectrum from a completely different and new point of view.…

We find for g at most 5 a stratification of depth g-2 of the moduli space of curves M_g with the property that its strata are affine and the classes of their closures provide a Q-basis for the Chow ring of M_g. The first property confirms a…

In this work, we consider the almost-sure termination problem for probabilistic programs that asks whether a given probabilistic program terminates with probability 1. Scalable approaches for program analysis often rely on modularity as…

In this paper, we introduce the notion of quasi-$F$-splitting for rings in mixed characteristic. By comparing quasi-$F$-splitting with perfectoid purity, we obtain a new inversion of adjunction-type result. Furthermore, we study the…

In this paper, we prove an extension of Zaks' conjecture on integral domains with semi-regular proper homomorphic images (with respect to finitely generated ideals) to arbitrary rings (i.e., possibly with zero-divisors). The main result…

For a given ring (domain) in $\overline{\mathbb{R}}^n$ we discuss whether its boundary components can be separated by an annular ring with modulus nearly equal to that of the given ring. In particular, we show that, for all $n\ge 3\,,$ the…

This is an exposition of the work of O. Riemenschneider about five ''circles'' of implications relating real analysis theorems each equivalent to the Dedekind completeness of the real field. These circles cover five elements of real…

We develop a general theory of local stability up to belonging to an ideal (e.g. having measure zero). From a model-theoretic perspective, we prove a stationarity principle for almost stable formulas in this sense, and build a topological…

In this paper, it is shown that a topological space $X$ is compact iff every maximal ideal of the power set ring $\mathcal{P}(X)$ converges to exactly one point of $X$. Then as an application, simple and ring-theoretic proofs are provided…

We give a rigorous account and prove continuity properties for the correspondence between almost flat bundles on a triangularizable compact connected space and the quasi-representations of its fundamental group. For a discrete countable…

We describe rings over which every right module is almost injective. We give a description of rings over which every simple module is a almost projective.

Every finite simple group can be generated by two elements, and in 2000, Guralnick and Kantor resolved a 1962 question of Steinberg by proving that in a finite simple group every nontrivial element belongs to a generating pair. Groups with…

In this paper, we initiate a study of motivic homotopy theory at infinity. We use the six functor formalism to give an intrinsic definition of the stable motivic homotopy type at infinity of an algebraic variety. Our main computational…

Ioffe's criterion and various reformulations of it have become a~standard tool in proving theorems guaranteeing various regularity properties such as metric regularity, i.e., the openness with a linear rate around the reference point, of…