Search Results

Let $M$ be a smooth manifold of (real) dimension $2n$. An almost complex structure $J$ on $M$ is a linear vector bundle isomorphism $J \colon TM\to TM$ on the tangent bundle $TM$ such that $J^2 = − 1 …

Let $X \subset \mathbb{P}^n_k$ be a normal projective subscheme over $k$ of dimension $n$. The dualizing sheaf is in context of Serre duality a pair $(\omega_X,t)$ (which exists in that case) consist …

Let $C$ be an elliptic curve over $k=\mathbb{C}$ and $\mathcal{L}$ a line bundle of degree $d$. It induces naturally a $\mathbb{A}^1$-fibration $L \to C$ where $L=\underline{\operatorname{Spec}} (\ope …

supplement/ an "almost" answer: I noticed that OP's of several related questions (1, 2) asked about similar issue. The best explanation I found there was that for a smooth manifold $X$ the tangent spa …

Let $f: X \to Y$ be a separated morphism between $k$-varieties or more general schemes of finite type. The most common way in standard literature on algebraic geometry to define the sheaf of relative …

The Fubini-Study metric $g:=g_{FS}$ is the unique $U(n+1)$-invariant Riemannian metric on the complex projective space $\mathbb{CP}^{n}$ the complex projective space which by $U(n+1)$-invariance can …

My question refers to a discussion from this older thread on Neron-Severi group of a Kähler manifold. In the comments below Ted Shifrin's answer there arose a discussion when the map $H^2(X,\mathbb{Z …

Let $S$ be a scheme and let $\mathcal{E}$ be a quasi-coherent $\mathcal{O}_S$-module. Then we can construct a graded quasi-coherent $\mathcal{O}_S$-algebra $\mathscr{A}:= Sym(\mathcal{E})$ and define …