I have a highly elementary question: is the first Chern class additive? More specifically, given a short exact sequence of coherent sheaves on a nonsingular curve $X$ $$ 0 \to \mathscr F'\to \mathscr F \to \mathscr F''\to 0, $$ does it necessarily hold that $c_1(\mathscr F)=c_1(\mathscr F')+c_1(\mathscr F'')$? I know that the tensor product formula $c_1(\mathscr F\otimes \mathscr F')=\operatorname{rank}(\mathscr F')\cdot c_1(\mathscr F) + \operatorname{rank}(\mathscr F)c_1(\mathscr F'),$ but don't know how to relate it to that. ${}$ ${}$
2026-03-26 04:52:04.1774500724
Additivity of the first Chern class
1.6k Views Asked by Bumbble Comm https://math.techqa.club/user/bumbble-comm/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- How to see line bundle on $\mathbb P^1$ intuitively?
- Jacobson radical = nilradical iff every open set of $\text{Spec}A$ contains a closed point.
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- An irreducible $k$-scheme of finite type is "geometrically equidimensional".
- Global section of line bundle of degree 0
- Is there a variant of the implicit function theorem covering a branch of a curve around a singular point?
- Singular points of a curve
- Find Canonical equation of a Hyperbola
- Picard group of a fibration
- Finding a quartic with some prescribed multiplicities
Related Questions in SHEAF-THEORY
- Is $ X \to \mathrm{CH}^i (X) $ covariant or contravariant?
- Question about notation for Čech cohomology and direct image of sheaves in Hartshorne
- Does sheafification preserve surjectivity?
- Image of a morphism of chain complexes of sheaves via direct/inverse image functor
- Tensor of a $k[X]$ module with the structure sheaf of an affine variety is a sheaf
- Sheafy definition for the tangent space at a point on a manifold?
- Whats the relationship between a presheaf and its sheafification?
- First isomorphism theorem of sheaves -- do you need to sheafify if the map is surjective on basis sets?
- An irreducible topological space $X$ admits a constant sheaf iff it is indiscrete.
- Why does a globally generated invertible sheaf admit a global section not vanishing on any irreducible component?
Related Questions in COHERENT-SHEAVES
- Do torsion-free $\mathcal{O}_X$-modules on curves have dimension one?
- Adjunction isomorphism in algebraic geometry
- What is a bilinear map of $O_X$ modules?
- Splitting of $f_*\mathcal O_X$
- Semi-stable locally free sheaves on a curve of constant slope form an abelian category
- On a cyclic cover of genus 5 of a curve of genus 1
- On the support of sheaf of modules or quasi-coherent sheaves over ringed spaces
- Direct image of coherent analytic sheaves
- degrees of line bundles over $y^2 = x^3 + 1$
- Reference for sheaf theory
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Find $E[XY|Y+Z=1 ]$
- Refuting the Anti-Cantor Cranks
- What are imaginary numbers?
- Determine the adjoint of $\tilde Q(x)$ for $\tilde Q(x)u:=(Qu)(x)$ where $Q:U→L^2(Ω,ℝ^d$ is a Hilbert-Schmidt operator and $U$ is a Hilbert space
- Why does this innovative method of subtraction from a third grader always work?
- How do we know that the number $1$ is not equal to the number $-1$?
- What are the Implications of having VΩ as a model for a theory?
- Defining a Galois Field based on primitive element versus polynomial?
- Can't find the relationship between two columns of numbers. Please Help
- Is computer science a branch of mathematics?
- Is there a bijection of $\mathbb{R}^n$ with itself such that the forward map is connected but the inverse is not?
- Identification of a quadrilateral as a trapezoid, rectangle, or square
- Generator of inertia group in function field extension
Popular # Hahtags
second-order-logic
numerical-methods
puzzle
logic
probability
number-theory
winding-number
real-analysis
integration
calculus
complex-analysis
sequences-and-series
proof-writing
set-theory
functions
homotopy-theory
elementary-number-theory
ordinary-differential-equations
circles
derivatives
game-theory
definite-integrals
elementary-set-theory
limits
multivariable-calculus
geometry
algebraic-number-theory
proof-verification
partial-derivative
algebra-precalculus
Popular Questions
- What is the integral of 1/x?
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- Is a matrix multiplied with its transpose something special?
- What is the difference between independent and mutually exclusive events?
- Visually stunning math concepts which are easy to explain
- taylor series of $\ln(1+x)$?
- How to tell if a set of vectors spans a space?
- Calculus question taking derivative to find horizontal tangent line
- How to determine if a function is one-to-one?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- Is this Batman equation for real?
- How to find perpendicular vector to another vector?
- How to find mean and median from histogram
- How many sides does a circle have?
First we restrict to the case of vector bundles (locally free sheaves), then this follows from the Whitney sum formula, which states
A reference is Ravi Vakil's notes on intersection theory. An immediate consequence of the Whitney sum formula is $$ c_1(E) = c_0(E'') c_1(E') + c_1(E'')c_0(E') = c_1(E') + c_1(E''), $$ since the zeroth Chern classes are $c_0(E') = c_0(E'') = 1$.
Now for the general case. Given a coherent sheaf, it admits a resolution of length $\dim X$ by locally free sheaves (this is Exercise 6.9 of section III.6 of Hartshorne). Its Chern classes are defined by forcing the Whitney sum formula to hold, so we will also have that $c_1(\mathscr{F}) = c_1(\mathscr{F}') + c_1(\mathscr{F}'')$ for a short exact sequence $0 \to \mathscr{F}' \to \mathscr{F} \to \mathscr{F}'' \to 0$ of coherent sheaves.