# Tag Info

Accepted

### Can two different spin structures on a manifold induce the same spin$^c$ structure?

Spin structures naturally form a torsor over $H^1(M, \mathbb{Z}/2)$; in particular this means that the "difference" of two spin structures is an element of $H^1(M, \mathbb{Z}/2)$ on the nose....
• 430k
Accepted

### Equivalent forms of second Bianchi identity on $TM$

See here (and the various sublinks) for any background about the exterior covariant derivative and how to do computations with it. Fix a local coordinate chart $(U,x=(x^1,\dots, x^n))$ on $M$, and ...
• 58.3k

### Total space of the normal bundle

$\newcommand\R{\mathbb{R}}$Note that there is a canonical spitting of the tangent bundle of $\R^n$, $$T_*\R^n = \R^n\times\R^n.$$ Let $F: M \rightarrow \R^n$ be an embedding. The Jacobian (i.e, ...
• 8,492
Accepted

### How to show that a sheaf is itself a sheaf of modules?

Let $X$ be a space and $\mathcal{O}_X$ a sheaf of rings (thought of as continuous, smooth, holomorphic, or algebraic functions). A sheaf of Abelian groups $\mathcal{F}$ is a sheaf of $\mathcal{O}_X$-...
• 26.6k

### Fundamental equations of a Riemannian immersion

Our goal is to understand the ambient curvature in terms of the curvatures of submanifolds. You always need 2 tangent vectors (in the correct slots); this is because curvature is an endomorphism-...
• 58.3k
Accepted

### Scheme-theoretic construction of tensor product of vector bundles on a scheme.

The total space of a vector bundle does have a universal property. Let $p: E \to X$ be the total space of the vector bundle $\mathcal E$ on $X$. The universal property of $E$ is: a map $f: Y \to E$ is ...
• 4,767
1 vote
Accepted

### Extension of a vector bundle over the smooth compactification of an algebraic variety

Let me assume $A$ is quasi-projective. Let $D$ be an ample divisor on $A$. Then for $n \gg 0$ the twist $E(nD)$ is generated by a finite-dimensional vector space $V$ of global sections, i.e., there is ...
• 18k
1 vote
Accepted

### Sign discrepancy in covariant derivative

For $\eta\in\Omega^k(\mathrm{End}(E))$ and $\mu\in\Omega^l(\mathrm{End}(E))$ the form $[\eta,\mu]\in\Omega^{k+l}(\mathrm{End}(E))$ is defined by  [\eta,\mu](X_1,\dots,X_{k+l})=\frac1{k!l!}\sum_{\...
• 4,809

Only top scored, non community-wiki answers of a minimum length are eligible