Related papers: Foundations for almost ring theory -- Release 7.5
Let $A$ be the path algebra of a quiver of Dynkin type $\mathbb{A}_n$. The module category $\text{mod}\,A$ has a combinatorial model as the category of diagonals in a polygon $S$ with $n+1$ vertices. The recently introduced notion of almost…
We prove that for any compact quasi-smooth strictly $k$-analytic space $X$ there exist a finite extension $l/k$ and a quasi-\'etale covering $X'\to X\otimes_kl$ such that $X'$ possesses a strictly semistable formal model. This extends a…
Generic absoluteness is the phenomenon that certain truths in the set-theoretic universe remain stable under forcing expansions. A classical result by Kripke asserts that every complete Boolean algebra completely embeds into a countably…
Let $R$ be a ring and $\mathsf S$ be a class of strongly finitely presented (FP${}_\infty$) $R$-modules closed under extensions, direct summands, and syzygies. Let $(\mathsf A,\mathsf B)$ be the (hereditary complete) cotorsion pair…
An E-ring is a unital ring R such that every endomorphism of the underlying abelian group R^+ is multiplication by some ring-element. The existence of almost-free E-rings of cardinality greater than 2^{aleph_0} is undecidable in ZFC. While…
In this paper, we introduce and investigate a new notion of exact sequences of semimodules over semirings relative to the canonical image factorization. Several homological results are proved using the new notion of exactness including some…
We extend several techniques and theorems from geometric group theory so that they apply to geometric actions on arbitrary proper metric ARs (absolute retracts). A second way that we generalize earlier results is by eliminating freeness…
Let $M$ be a module. A {\em $\delta$-cover} of $M$ is an epimorphism from a module $F$ onto $M$ with a $\delta$-small kernel. A $\delta$-cover is said to be a {\em flat $\delta$-cover} in case $F$ is a flat module. In the present paper, we…
The slope filtration theorem gives a partial analogue of the eigenspace decomposition of a linear transformation, for a Frobenius-semilinear endomorphism of a finite free module over the Robba ring (the ring of germs of rigid analytic…
The book is devoted to investigation of arithmetic of the matrix rings over certain classes of commutative finitely generated principal ideals domains. We mainly concentrate on constructing of the matrix factorization theory. We reveal a…
There are many evaluation strategies for term rewrite systems, but automatically proving termination or analyzing complexity is usually easiest for innermost rewriting. Several syntactic criteria exist when innermost termination implies…
In perturbative quantum field theory the limit of compactification on an almost light-like circle has recently been shown to be plagued by divergences. We argue that the light-like limit for M-theory probably is free of such divergences due…
In this paper, we introduce the notions of $\alpha$-quasicomplemented and totally $\alpha$-quasicomplemented subspaces and we established some results under these contexts. We show, for example, that if $X$ is a separable or reflexive…
In this article we introduce the notion of a k-almost-quasifibration and give many examples. We also show that a large class of these examples are not quasifibrations. As a consequence, supporting the Asphericity conjecture of [19], we…
A purity conjecture due to Grothendieck and Auslander--Goldman predicts that the Brauer group of a regular scheme does not change after removing a closed subscheme of codimension $\ge 2$. The combination of several works of Gabber settles…
This article was motivated by the discovery of a potential new foundation for mainstream mathematics. The goals are to clarify the relationships between primitives, foundations, and deductive practice; to understand how to determine what…
Perfectoid spaces are sophisticated objects in arithmetic geometry introduced by Peter Scholze in 2012. We formalised enough definitions and theorems in topology, algebra and geometry to define perfectoid spaces in the Lean theorem prover.…
The notion of $2$-almost Gorenstein ring is a generalization of the notion of almost Gorenstein ring in terms of Sally modules of canonical ideals. In this paper, we deal with two different topics related to $2$-almost Gorenstein rings. The…
In this expository paper, we present a construction of tree modules and combine it with (infinite dimensional) tilting theory and relative Mittag-Leffler conditions in order to explore limits of the approximation theory of modules. We also…
This is an appendix to the Handbook of Tilting Theory, edited by Angeleri-Huegel, Happel and Krause, to be published soon. Part 1 of the appendix provides an outline of the core of tilting theory. Part 2 is devoted to topics where tilting…