Related papers: A short proof of HRS-tilting
Myriad articles are devoted to Mertens's theorem. In yet another, we merely wish to draw attention to a proof by Hardy, which uses a Tauberian theorem of Landau that "leads to the conclusion in a direct and elegant manner". Hardy's proof is…
Tensoring finite pointed simplicial sets with commutative ring spectra yields important homology theories such as (higher) topological Hochschild homology and torus homology. We prove several structural properties of these constructions…
We give a very short proof that determinantal point processes have a trivial tail $\sigma$-field. This conjecture of the author has been proved by Osada and Osada as well as by Bufetov, Qiu, and Shamov. The former set of authors relied on…
Let $t$ be a positive integer and $\mathcal{A}$ a hereditary abelian category satisfying some finiteness conditions. We define the semi-derived Ringel-Hall algebra of $\mathcal{A}$ from the category $\mathcal{C}_{\mathbb{Z}/t}(\mathcal{A})$…
We study certain toric Gorenstein varieties with isolated singularities which are the quotient spaces of generic unimodular representations by the one-dimensional torus, or by the product of the one-dimensional torus with a finite abelian…
Derivators, introduced independently by Grothendieck and Heller in the 1980s, provide a categorical framework for studying homotopy theory. They are based on the idea that, while the homotopy 1-category of a single model category or…
The homotopy theory of higher categorical structures has become a relevant part of the machinery of algebraic topology and algebraic K-theory, and this paper contains contributions to the study of the relationship between B\'enabou's…
Let F be a totally real field and p a rational prime unramified in F. We prove a partial classicality theorem for overconvergent Hilbert modular forms: when the slope is small compared to certain but not all weights, an overconvergent form…
We present results indicating that the decomposition of a Ricci-flat manifold in its irreducible factors is reflected by the derived category of coherent sheaves. More precisely, we prove that a smooth projective variety that is derived…
Let W be a complex reflection group and H_c(W) the Rational Cherednik algebra for $W$ depending on a parameter c. One can consider the category O for H_c(W). We prove a conjecture of Rouquier that the categories O for H_c(W) and H_{c'}(W)…
Let $\mathscr{C}$ be a small category. For every commutative ring $R$ with unity, we associate an $R\mathrm{-linear}$ abelian category with the universal homotopy category of $\mathscr{C}$, where we can do the corresponding homological…
Let $\mathcal {A}$ be a finitary hereditary abelian category. We define a Hall algebra for the root category of $\mathcal {A}$ by applying the derived Hall numbers of the bounded derived category $D^b(\mathcal {A})$, which is proved to be…
Let $\cal T$ be a tiling of the plane with equilateral triangles no two of which share a side. We prove that if the side lengths of the triangles are bounded from below by a positive constant, then $\cal T$ is periodic and it consists of…
We define a topological Hochschild (THH) and cyclic (TC) homology theory for differential graded (dg) categories and construct several non-trivial natural transformations from algebraic K-theory to THH(-). In an intermediate step, we prove…
Hanner's theorem is a classical theorem in the theory of retracts and extensors in topological spaces, which states that a local ANE is an ANE. While Hanner's original proof of the theorem is quite simple for separable spaces, it is rather…
We show that there exists a Galois correspondence between subalgebras of an H-comodule algebra A over a base ring R and generalised quotients of a Hopf algebra H if both A and H are flat Mittag--Leffler modules. We also provide new criteria…
In this short note, we explain how the main results in "$\tau$-tilting theory" by Adachi-Iyama-Reiten follow from the results in Section 5 of "General presentations of algebras" by Derksen-Fei.
A classification theorem for nearly K\"ahler manifolds of constant antiholomorphic sectional curvature is proved.
Let S be a bounded, Riemann measurable set in R^d, and L be a lattice. By a theorem of Fuglede, if S tiles R^d with translation set L, then S has an orthogonal basis of exponentials. We show that, under the more general condition that S…
Let A be a basic connected finite dimensional algebra over an algebraically closed field. Assuming that A is quasitilted, we prove that A is simply connected if and only if its first Hochschild cohomology group HH^1(A) vanishes. This…