Let $X$ a degree $d$ curve in $\mathbb{P}^n$ not contained in any hyperplane and $i:X\hookrightarrow \mathbb{P}^n$ the corresponding closed immersion. Then I would like to prove that $dim H^0(X, i^{*}O_{\mathbb{P}^n}(1))=n+1$. I think that the proof of this fact lies on the fact that it is not contained in any hyperplane so you can count linearly […]

In Cech cohomology, the coboundary operator $$\delta:C^p(\underline U, \mathcal F)\to C^{p+1}(\underline U, \mathcal F) $$ is defined by the formula $$ (\delta \sigma)_{i_0,\dots, i_{p+1}} = \sum_{j=0}^{p+1}(-1)^j \sigma_{i_0,\dots, \hat {i_j},\dots i_{p+1}}{\Huge_|}_{U_{i_0}\cap\dots\cap U_{i_{p+1}}}. $$ In the book by Griffiths and Harris, the authors claim that $\delta\sigma=0$ implies the skew-symmetry condition $$ \sigma_{i_0,\dots,i_p} = -\sigma_{i_0,\dots, i_{q-1},i_{q+1},i_q,i_{q+2},\dots,i_p}. $$ How […]

Could someone give me a definition of globally generated vector bundle? A rapid search gives me the definition of globally generated sheaves, but I am in the middle of a long work and don’t really have time to learn all basics of sheaves theory and the connection to vector bundles. I just need a definition […]

Theorem: If $X$ is locally contractible, then the singular cohomology $H^k(X,\mathbb{Z})$ is isomorphic to the sheaf cohomology $H^k(X, \underline{\mathbb{Z}})$ of the locally constant sheaf of integers on $X$. In proving this, I have seen several sources proceed more or less the same way: Let $\tilde{\mathcal{S}}^k$ be the sheafification of the presheaf $\mathcal{S}^k$ of singular cochains […]

Here $U(n)$ is the unitary group, consisting of all matrix $A \in M_n (\mathbb{C})$ such that $AA^*=I$ Problem How to calculate the integer cohomology group $H^*(U(n))$ of $U(n)$? What if $O(n)$ replace $U(n)$? My primitive idea is that: as for $U(n)$, it is a Lie group and can acts transitively on the unit sphere with […]

Intereting Posts

Equivalent Definition of Measurable set
Stochastic Processes Solution manuals.
bijective continuous function on $\mathbb R^n$ not homeomorphism?
Is $\{ \sin n^m \mid n \in \mathbb{N} \}$ dense in $$ for every natural number $m$?
Why does simplifying a function give it another limit
Every element of a group has order $2$. Why, intuitively, is it abelian?
Does Fermat's Last Theorem hold for cyclotomic integers in $\mathbb{Q(\zeta_{37})}$?
Are these two definitions equivalent?
If $A,B \triangleleft G$ where $G/A$ is perfect and $G/B$ is solvable, then $AB=G$
Urysohn's Lemma needn't hold in the absence of choice. Alternate terminology for inequivalent definitions of “normal” spaces?
Some questions about mathematical content of Gödel's Completeness Theorem
Proving $\int_{0}^{\infty} \mathrm{e}^{-x^2} dx = \dfrac{\sqrt \pi}{2}$
Irreducible polynomial means no roots?
Proving two measures of Borel sigma-algebra are equal
Finite group is generated by a set of representatives of conjugacy classes.