Related papers: Conditional flatness, fiberwise localizations, and…
In this paper we propose an approach to homotopical algebra where the basic ingredient is a category with two classes of distinguished morphisms: strong and weak equivalences. These data determine the cofibrant objects by an extension…
The adjunction between coalgebras and Hopf algebras, first described by Takeuchi, allows one to prove that the semi-abelian category of cocommutative Hopf algebras has enough $\mathcal E$-projective objects with respect to the class…
We consider several types of non-existence theorems for functors. For example, there are no nontrivial functors from the category of groups (or the category of pointed sets, or vector spaces) to any small category. Another type of questions…
It is a result of Gabriel that hereditary torsion pairs in categories of modules are in bijection with certain filters of ideals of the base ring, called Gabriel filters or Gabriel topologies. A result of Jans shows that this bijection…
We define Bernstein-Gelfand-Ponomarev reflection functors in the cluster categories of hereditary algebras. They are triangle equivalences which provide a natural quiver realization of the "truncated simple reflections" on the set of almost…
Let $p$ be a prime. Given a split semisimple group scheme $G$ over a normal integral domain $R$ which is a faithfully flat $\mathbb Z_{(p)}$-algebra, we classify all finite dimensional representations $V$ of the fiber $G_K$ of $G$ over…
We construct a functor from the category of graphs to the category of groups which is faithful and "almost" full, in the sense that it induces bijections of the Hom sets up to trivial homomorphisms and conjugation in the category of groups.…
In a 2005 paper, Casacuberta, Scevenels and Smith construct a homotopy idempotent functor $E$ on the category of simplicial sets with the property that whether it can be expressed as localization with respect to a map $f$ is independent of…
We study the flatness and the projectivity of Hopf algebras, defined over a Dedekind ring, over their Hopf subalgebras. We give a criterion for the faithful flatness and use it to show the faithful flatness of an arbitrary flat Hopf algebra…
A new notion of independence relation is given and associated to it, the class of flat theories, a subclass of strong stable theories including the superstable ones is introduced. More precisely, after introducing this independence…
Consider an extension of groups 1 -> K -> G -> Q -> 1 which enjoys the property that the quotient by the lower central series Gamma_{c+1} produces another extension 1 -> K/ Gamma_{c+1} K -> G /Gamma_{c+1} G -> Q / Gamma_{c+1} Q -> 1, of…
We give new homotopy theoretic criteria for deciding when a fibration with homotopy finite fibers admits a reduction to a fiber bundle with compact topological manifold fibers. The criteria lead to a new and unexpected result about…
We fix any pair $(\mathbf{\mathscr{C}},\mathbf{W})$ consisting of a bicategory and a class of morphisms in it, admitting a bicalculus of fractions, i.e. a "localization" of $\mathbf{\mathscr{C}}$ with respect to the class $\mathbf{W}$. In…
We study fibrations arising from indexed categories of the following form: fix two categories $\mathcal{A},\mathcal{X}$ and a functor $F : \mathcal{A} \times \mathcal{X} \longrightarrow\mathcal{X} $, so that to each $F_A=F(A,-)$ one can…
We show that variants of the classical reflection functors from quiver representation theory exist in any abstract stable homotopy theory, making them available for example over arbitrary ground rings, for quasi-coherent modules on schemes,…
Fujino gave a proof in [Fuj03] for the semi-ampleness of the moduli part in the canonical bundle formula in the case when the general fibers are K3 surfaces or Abelian varieties. We show a similar statement when the general fibers are…
We construct a category of fibrant objects $\mathbb{C}\langle P\rangle$ in the sense of K. Brown from any indexed frame (a kind of indexed poset generalizing triposes) $P$, and show that its homotopy category is the Barr-exact category…
In this thesis, two $\bar{\mathbb{Q}}_\ell$-local systems, $\vphantom{\mathcal{E}}^\circ \mathcal{E}$ and $\vphantom{E}^\circ \mathcal{E}^\prime$ on the regular unipotent subvariety $\mathcal{U}_{0,K}$ of $p$-adic $\operatorname{SL}_2(K)$…
We prove the first equivalence between a weak non-algebraic model and a semi-strict algebraic model of $(\infty, n)$-categories. This takes the form of a natural semi-strictification, whereby a weak $(\infty, n)$-category is embedded into a…
In this paper we show that the Baues-Wirsching complex used to define cohomology of categories is a 2-functor from a certain 2-category of natural systems of abelian groups to the 2-category of chain complexes, chain homomorphism and…