Related papers: On flat generators and Matlis duality for quasicoh…

Let $\mathcal{A}$ be an essentially small abelian category. We prove that if $\mathcal{A}$ admits a generator $M$ with ${\rm End}_{\mathcal{A}}(M)$ right artinian, then $\mathcal{A}$ admits a projective generator. If $\mathcal{A}$ is…

Let $S$ be a Noetherian scheme, and let $X$ be a scheme over $S$, such that all relative symmetric powers of $X$ over $S$ exist. Assume that either $S$ is of pure characteristic $0$ or $X$ is flat over $S$. Assume also that the structural…

We define a notion of total acyclicity for complexes of flat quasi-coherent sheaves over a semi-separated noetherian scheme, generalising complete flat resolutions over a ring. By studying these complexes as objects of the pure derived…

When a non-singular complex projective surface $X$ satisfies that $K_X\sim 0$, we shall show that there are only finitely many isomorphic classes as abstract schemes in the set of moduli scheme of $H$-semistable sheaves with fixed Chern…

In this thesis we study two main topics which culminate in a proof that four distinct definitions of the equivariant derived category of a smooth algebraic group $G$ acting on a variety $X$ are in fact equivalent. In the first part of this…

In this paper, we prove that the bounded derived category $D^b_{coh}(Y)$ of coherent sheaves on a separated scheme $Y$ of finite type over a field $\mathrm{k}$ of characteristic zero is homotopically finitely presented. This confirms a…

Given a stratified variety X with strata satisfying a cohomological parity-vanishing condition, we define and show the uniqueness of "parity sheaves", which are objects in the constructible derived category of sheaves with coefficients in…

In their article "Elementary construction of perverse sheaves", R.MacPherson and K. Vilonen show that on a Thom-Mather space X the category PervX of perverse sheaves is equivalent to the category C(F, G, T) whose objects are data of…

We define the triangulated category of relative singularities of a closed subscheme in a scheme. When the closed subscheme is a Cartier divisor, we consider matrix factorizations of the related section of a line bundle, and their analogues…

We specify the structure of completely positive operators and quantum Markov semigroup generators that are symmetric with respect to a family of inner products, also providing new information on the order strucure an extreme points in some…

Let $\mathbf{X}$ be an Adams geometric stack. We show that $D(A_{qc}(\mathbf{X}))$, its derived category of quasi-coherent sheaves, satisfies the axioms of a stable homotopy category defined by Hovey, Palmieri and Strickland. Moreover we…

The homotopy coherent nerve from simplicial categories to simplicial sets and its left adjoint C are important to the study of (infinity,1)-categories because they provide a means for comparing two models of their respective homotopy…

Let $R$ be a valuation ring and let $Q$ be its total quotient ring. It is proved that any singly projective (respectively flat) module is finitely projective if and only if $Q$ is maximal (respectively artinian). It is shown that each…

The aim of this paper is to show that classical geometric invariant theory (GIT) has an effective analogue for linear actions of a non-reductive algebraic group $H$ with graded unipotent radical on a projective scheme $X$. Here the linear…

We consider a semi-classical completely integrable system defined by a $\hbar$-pseudodifferential operator $\hat{H}$ on the torus $\mathbb{T}^{d}$. In order to study perturbed operators of the form $\hat{H}+\hbar^{\kappa}\hat{K}$, where…

A model structure on the category of (small) bigroupoids and pseudofunctors is constructed. In this model structure, every object is cofibrant. In order to keep certain calculations of manageable size, a coherence theorem for bigroupoids…

Most of our current knowledge on condensed matters contains a default assumption: the matters are neutral charged. On the other hand, the two-dimension(2D) vortex-Coulomb gas charge analogy is a very successful theoretical tool in…

The paper contains general results on the uniqueness of a DG enhancement for triangulated categories. As a consequence we obtain such uniqueness for the unbounded categories of quasi-coherent sheaves, for the triangulated categories of…

We introduce a notion of derived Azumaya's algebras over rings and schemes. We prove that any such algebra $B$ on a scheme $X$ provides a class $\phi(B)$ in $H^{1}_{et}(X,\mathbb{Z})\times H^{2}_{et}(X,\mathbb{G}_{m})$. We prove that for…

Given a stratified topological space, we answer the question whether the functor from the derived category of constructible sheaves to the derived category of sheaves with constructible cohomology is an equivalence. We also establish basic…