Search Results

$\DeclareMathOperator\Spec{Spec}$Let $X$ be a compact $C^{\infty}$-manifold without boundary. Let $(A,m)$ be a Artin local $\mathbb{C}$-algebra such that $A/m\cong \mathbb{C}$. Intuitively, a deformat …

I'm sorry for the self-citation. But your question is largely answered in the monograph Coherent Sheaves, Superconnections, and Riemann-Roch-Grothendieck, or the arxiv version, joint work of Jean-Mich …

Let $X$ be a complex manifold and $\Omega^1_X$ be the sheaf of holomorphic $1$-forms on $X$. A Higgs bundle on $X$ is a holomorphic vector bundle $E$ together with a morphism of $\mathcal{O}_X$-module …

On any ringed space $(X,\mathcal{O}_X)$ we can define quasi-coherent $\mathcal{O}_X$-modules: A sheaf of $\mathcal{O}_X$-modules $\mathcal{F}$ is quasi-coherent if for every point $x\in X$ there exis …

Let $Y$ be a smooth algebraic variety and $i: X\hookrightarrow Y$ be a smooth divisor. We consider the derived functors $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$ and $i_*: D^b_{coh}(X)\to D^b_{coh}(Y)$. By …

Let $i: X\hookrightarrow Y$ be a closed immersion of varieties. We have the derived pullback functor $i^*: D^b_{coh}(Y)\to D^b_{coh}(X)$. My questions is: can we construct a left adjoint of $i^*$ in t …

Let $X$ be a smooth projective variety of dimension $n$ and $i: D\hookrightarrow X$ be a smooth, anti-canonical divisor in $X$. In other words,$[D]+[\omega_X]=[0]$ where $\omega_X$ is the canonical bu …

First we consider the holomorphic Koszul complex on $\mathbb{C}^2$: $$ 0\to \mathcal{O}(\mathbb{C}^2)\overset{\begin{pmatrix}-z_2\\z_1\end{pmatrix}}{\to} \mathcal{O}(\mathbb{C}^2)^{\oplus 2}\overset{( …

We say a complex manifold $X$ has the resolution property if every coherent sheaf $\mathcal{M}$ on $X$ admits a surjection $\mathcal{E}\twoheadrightarrow \mathcal{M}$ by some finite rank locally free …

In Huybrechts' book Fourier-Mukai Transforms in Algebraic Geometry I found the following result due to Mukai (Page 232, Lemma 10.6) Let $X$ and $Y$ be two $K3$ surfaces. Then the Mukai vector of any o …

Consider three quadratics in $\mathbb{C}P^4$: $$ x_0^2+4x_1^2+\frac{x^2_2}{4}=0,~ x_1x_4+x_2x_3=0, ~ x_0^2+x_3^2+x_4^2=0. $$ If there intersection was non-singular, then the intersection should be a c …

Let $(X,\mathcal{O}_X)$ and $(Y,\mathcal{O}_Y)$ be ringed spaces and $f: X\to Y$ be a morphism between them. We call $f$ flat at $x\in X$ if the natural morphism $\mathcal{O}_{Y,f(x)}\to \mathcal{O}_{ …

Proposition 3.5 of "Fourier-Mukai Transforms in Algebraic Geometry" by Huybrechts claims that the is an equivalence of categories $$ D^b(coh(X))\overset{\sim}{\to} D^b_{coh}(Qcoh(X)) $$ where $D^b(coh …

Let $X$ be a compact complex manifold and $\mathcal{O}_X$ be the structure sheaf of holomorphic functions. We call a sheaf of $\mathcal{O}_X$-module $\mathcal{F}$ coherent if it satisfies the followin …

In a 1998 paper by B. Keller, the author consider the following problem in Section 1.4: Let $k$ be a commutative ring and $X$ a scheme over $k$. We can consider the cyclic homology as well as the Ho …