Related papers: Fully Faithful Functors and Dimension
We explain how to construct a cohomology theory on the category of separated quasi-compact smooth rigid spaces over $\mathbf{C}_p$ (or more general base fields), taking values in the category of vector bundles on the Fargues-Fontaine curve,…
Let $\mathcal{T}$ be an algebraic triangulated category and $\mathcal{C}$ an extension-closed subcategory with $\operatorname{Hom}(\mathcal{C}, \Sigma^{<0} \mathcal{C})=0$. Then $\mathcal{C}$ has an exact structure induced from exact…
A notion of central importance in categorical topology is that of topological functor. A faithful functor E -> B is called topological if it admits cartesian liftings of all (possibly large) families of arrows; the basic example is the…
Let $V$ be a finite-dimensional symplectic vector space over a field of characteristic 0, and let $G \subset Sp(V)$ be a finite subgroup. We prove that for any crepant resolution $X \to V/G$, the bounded derived category $D^b(Coh(X))$ of…
Let $f \colon X \to Y$ be a morphism of concentrated schemes. We characterize $f$-perfect complexes $\mathcal{E}$ as those such that the functor $\mathcal{E} \otimes^{\mathbf{L}}_X \mathbf{L} f^*-$ preserves bounded complexes. We prove, as…
The finitistic dimension of a triangulated category is introduced. For the category of perfect complexes over a ring it is shown that this dimension is finite if and only if the small finitistic dimension of the ring is finite.
Given a complete and (locally) cartesian closed category U, it is shown that the category of functors from the category of Weil algebras to the category U is (locally, resp.) cartesian closed. The corresponding axiomatization for…
We show that the derived category of any singularity over a field of characteristic 0 can be embedded fully and faithfully into a smooth triangulated category which has a semiorthogonal decomposition with components equivalent to derived…
Let $G$ be a connected reductive group, with connected center, and $X$ a smooth complete curve, both defined over an algebraically closed field of characteristic zero. Let $\operatorname{Bun}_G$ denote the stack of $G$-bundles on $X$. In…
Let $G$ be a finite group and $\phi : V\to W$ an equivariant morphism of finite dimensional $G$-modules. We say that $\phi$ is faithful if $G$ acts faithfully on $\phi(V)$. The covariant dimension of $G$ is the minimum of the dimension of…
Given a category $\mathcal{E}$, we establish sufficient conditions on a faithful isofibration $\mathcal{E}\rightarrow\operatorname{Mon}(\mathcal{V})$ valued in the category of monoids internal to a monoidal additive category $\mathcal{V}$…
For any suitable base category $\mathcal{V} $, we find that $\mathcal{V} $-fully faithful lax epimorphisms in $\mathcal{V} $-$\mathsf{Cat} $ are precisely those $\mathcal{V}$-functors $F \colon \mathcal{A} \to \mathcal{B}$ whose induced…
Let $R$ be a finite dimensional $k$-algebra over an algebraically closed field $k$ and $\mathrm{mod} R$ be the category of all finitely generated left $R$-modules. For a given full subcategory $\mathcal{X}$ of $\mathrm{mod} R,$ we denote by…
The first part of this article is devoted to characterizing the cocycles $\alpha$ of a finite group $G$ that give rise to faithful projective representations of $G$. We prove that a $p$-group $G$ admits a faithful irreducible projective…
Let $X$ denote the complex projective plane, blown up at the nine base points of a pencil of cubics, and let $D$ be any fiber of the resulting elliptic fibration on $X$. Using ansatz metrics inspired by work of Gross-Wilson and a PDE method…
The notions of faithfully projective, faithfully flat, and faithfully injective modules--defined as modules for which the three classical homological functors are both faithful and exact--play fundamental roles across various areas of…
We prove that the category of countable Tate modules over an arbitrary discrete ring embeds fully faithfully into that of condensed modules. If the base ring is of finite type, we characterize the essential image as generated by the free…
In this paper, we completely classify $3$-dimensional complete self-expanders with constant norm $S$ of the second fundamental form and constant $f_{3}$ in Euclidean space $\mathbb R^{4}$, where $h_{ij}$ are components of the second…
The preprints arXiv:math/0610728 and arXiv:math/0612451 are withdrawn due to a problem with Theorem 2.2 in arXiv:math/0610728. The theorem claims that for certain triangulated categories with finitely many indecomposable objects, the…
The preprints arXiv:math/0610728 and arXiv:math/0612451 are withdrawn due to a problem with Theorem 2.2 in arXiv:math/0610728. The theorem claims that for certain triangulated categories with finitely many indecomposable objects, the…