Related papers: Deriving Milnor's theorem on pullback rings

We firstly prove the completeness of the category of crossed modules in a modified category of interest. Afterwards, we define pullback crossed modules and pullback cat$^1$-objects that are both obtained by pullback diagrams with extra…

We prove a gluing lemma for sections of line bundles on a rigid analytic variety. We apply the lemma, in conjunction with a result of Buzzard's, to give a proof of (a generalization) of Coleman's theorem which states that overconvergent…

The main result of this paper is that there is sometimes a triangulated equivalence between $D_Q( A )$, the $Q$-shaped derived category of an algebra $A$, and $D( B )$, the classic derived category of a different algebra $B$. By…

We shall describe the divisor class group and the graded canonical module of the multi-section ring for a normal projective variety X and Weil divisors D_1,..., D_s on X under a mild condition. In the proof, we use the theory of Krull…

We construct Quillen equivalences between the model categories of monoids (rings), modules and algebras over two Quillen equivalent model categories under certain conditions. This is a continuation of our earlier work where we established…

We develop the basic theory of projective modules and splitting in the more general setting of systems. Systems provide a common language for most tropical algebraic approaches including supertropical algebra, hyperrings (specifically…

From certain triangle functors, called non-negative functors, between the bounded derived categories of abelian categories with enough projective objects, we introduce their stable functors which are certain additive functors between the…

Support $\tau$-tilting modules correspond to some classes of categorical objects bijectively, such as two-term tilting complexes for any finite dimensional symmetric algebra. This fact motivates us to classify support $\tau$-tilting modules…

We prove equivalences of derived categories for the various mirrors in the Batyrev-Borisov construction. In particular, we obtain a positive answer to a conjecture of Batyrev and Nill. The proof involves passing to an associated category of…

We give a characterization of the sets of objects of the derived category of a block of a finite group algebra (or other symmetric algebra) that occur as the set of images of simple modules under an equivalence of derived categories. We…

We prove a Noether-Deuring theorem for the derived category of bounded complexes of modules over a Noetherian algebra.

We study the derived category of a complete intersection X of bilinear divisors in the orbifold Sym^2 P(V). Our results are in the spirit of Kuznetsov's theory of homological projective duality, and we describe a homological projective…

We prove that the category of systems of sesquilinear forms over a given hermitian category is equivalent to the category of unimodular 1-hermitian forms over another hermitian category. The sesquilinear forms are not required to be…

We reconsider a classical theorem by Bican and El Bashir, which guarantees the existence of non-trivial relatively pure submodules in a module category over a ring with unit. Our aim is to generalize the theorem to module categories over…

Derived equivalences for Artin algebras (and almost $\nu$-stable derived equivalences for finite-dimensional algebras) are constructed from Milnor squares of algebras. Particularly, three operations of gluing vertices, unifying arrows and…

We prove a Tannaka duality theorem for $(\infty,1)$-categories. This is a duality between certain derived group stacks, or more generally certain derived gerbes, and symmetric monoidal $(\infty,1)$-categories endowed with particular…

Categorical aspects of the theory of modules over trusses are studied. Tensor product of modules over trusses is defined and its existence established. In particular, it is shown that bimodules over trusses form a monoidal category. Truss…

We prove that the $\infty$-category of motivic spectra satisfies Milnor excision: if $A\to B$ is a morphism of commutative rings sending an ideal $I\subset A$ isomorphically onto an ideal of $B$, then a motivic spectrum over $A$ is…

To a big n-tilting object in a complete, cocomplete abelian category A with an injective cogenerator we assign a big n-cotilting object in a complete, cocomplete abelian category B with a projective generator, and vice versa. Then we…

Under mild assumptions, we construct the two Matlis additive category equivalences for an associative ring epimorphism $u\colon R\to U$. Assuming that the ring epimorphism is homological of flat/projective dimension $1$, we discuss the…