Related papers: Derived Category of Fibrations

It is proved that any strictly exceptional collection generating the derived category of coherent sheaves on a smooth projective variety X with \rk K_0(X) = \dim X + 1 constists of locally free sheaves up to a common shift.

An unrepresentable cohomological functor of finite type of the bounded derived category of coherent sheaves of a compact complex manifold of dimension greater than one with no proper closed subvariety is given explicitly in categorical…

Let $X$ be a rational elliptic surface with elliptic fibration $\pi:X\to\Bbb{P}^1$ over an algebraically closed field $k$ of any characteristic. Given a conic bundle $\varphi:X\to\Bbb{P}^1$ we use numerical arguments to classify all…

We define a particular class of topological field theories associated to open strings and prove the resulting D-branes and open strings form the bounded derived category of coherent sheaves. This derivation is a variant of some ideas…

We establish that a category of fibrant objects (in the sense of Brown) admits a Dwyer-Kan homotopical calculus of right fractions. This is done using a homotopical calculus of cocycles, which is an auxiliary structure that can be defined…

Given a (meromorphic) fibration $f:X\to Y$ where $X$ and $Y$ are compact complex manifolds of dimensions $n$ and $m$, we define $L_f$ to be the invertible subsheaf of the sheaf of holomorphic $m$-forms of $X$ given by the saturation of…

Let $\mathcal{F}$ be a foliation on a projective manifold $X$ with $-K_{\mathcal{F}}$ nef. Assume that either $\mathcal{F}$ is regular, or it has a compact leaf. We prove that there is a locally trivial fibration $f\colon X\to Y$, and a…

We extend Orlov's representability theorem on the equivalence of derived categories of sheaves to the case of smooth stacks associated to normal projective varieties with only quotient singularities.

Given a semistable fibration $f\colon X\to B$ we introduce a correspondence between foliations $\mathcal{F}$ on $X$ and local systems $\mathbb{L}$ on $B$. Building up on this correspondence we find conditions that give maximal rationally…

Using Keel's presentation and Orlov's theorem, we give an inductive description of the derived category of moduli spaces of $n$--pointed stable curves of genus zero and some full exceptional collections in it. The detailed calculations are…

We introduce fibred type-theoretic fibration categories which are fibred categories between categorical models of Martin-L\"{o}f type theory. Fibred type-theoretic fibration categories give a categorical description of logical predicates…

In this paper we start by pointing out that Yoneda's notion of a regular span $S \colon \mathcal{X} \to \mathcal{A} \times \mathcal{B}$ can be interpreted as a special kind of morphism, that we call fiberwise opfibration, in the 2-category…

We classify singular fibres over general points of the discriminant locus of projective complex Lagrangian fibrations on 4-dimensional holomorphic symplectic manifolds. The singular fibre F is the following either one: F is isomorphic to…

Given a family of complex affine planes, we show that it is trivial over a Zariski open subset of the base. The proof relies upon a relative version of the contraction theorem.

In this article the author endows the functor category [B(C2),Gpd] with the structure of a type-theoretic fibration category with a universe using the projective fibrations. It offers a new model of Martin-L\"of type theory with dependent…

It is well known that all torsors under an affine algebraic group over an algebraically closed field are trivial. We note that under suitable conditions this also holds if the the group is not necessarily of finite type. This has an…

Let C $\rightarrow$ Spec(R) be a relative proper flat curve over an henselian base. Let G be a reductive C-group scheme. Under mild technical assumptions, we show that a G-torsor over C which is trivial on the closed fiber of C is locally…

By a result of Orlov there always exists an embedding of the derived category of a finite-dimensional algebra of finite global dimension into the derived category of a high-dimensional smooth projective variety. In this article we give some…

In this paper, we prove that a compact K\"ahler manifold $X$ with semi-positive holomorphic sectional curvature admits a locally trivial fibration $\phi \colon X \to Y$, where the fiber $F$ is a rationally connected projective manifold and…

Suppose $C$ is a smooth projective curve of genus 1 over a perfect field $F$, and $E$ is its Jacobian. In the case that $C$ has no $F$-rational points, so that $C$ and $E$ are not isomorphic, $C$ is an $E$-torsor with a class $\delta(C)\in…