Suppose that $C$ is a complex riemann surface of positive genus lying in a complex algebraic surface of general type. Let $T_C$ the tangent bundle to the curve $C$. Is there a way to compute the cohomology of this bundle?
i.e. the spaces $H^i(C,T_C)$ for $i=0,1$?
2025-01-13 02:09:53.1736734193
cohomology of a tangent bundle
933 Views Asked by dario https://math.techqa.club/user/dario/detail At
1
There are 1 best solutions below
Related Questions in ALGEBRAIC-GEOMETRY
- Relations among these polynomials
- Completion of a flat morphism
- Is every sheaf a subsheaf of a flasque sheaf?
- Intersection of curves on surfaces and the sheaf $\mathcal O_{C\cap C'}$
- Does intersection of smooth divisors satisfy Serre $S_2$ criterion?
- Application of GRR in number theory
- Generic point and pull back
- Every point lies on a unique secant through $C$
- Projective transformation in $\mathbb{P}^1$
- Equality $H^i(K,\mathcal{F}_{|K})=\varinjlim_{U\supset K}H^i(U,\mathcal{F}_{|U})$ for a constructible sheaf
Related Questions in COMPLEX-GEOMETRY
- Equality $H^i(K,\mathcal{F}_{|K})=\varinjlim_{U\supset K}H^i(U,\mathcal{F}_{|U})$ for a constructible sheaf
- Question about Gysin map (pushforward in cohomology)
- When do vector bundles decompose into line bundles?
- Definition of a Subtorus
- Base change of topogical spaces VS Base change of schemes
- Is there a complex surface into which every Riemann surface embeds?
- Extending a d-closed (p,q) form of a fibre of complex analytic family
- Why care about (local) rational functions in algebraic geometry?
- cohomology of a tangent bundle
- Are inhomogeneous coordinates ... COORDINATES?
Related Questions in VECTOR-BUNDLES
- Behaviour of Chern class under deformation
- idempotent bundle homomorphism has constant rank
- Is every section of $\jmath^*(E)$ the restriction of a section of $E$?
- Lie bracket on $\Gamma(TM\oplus (M\times \mathfrak{g}))$?
- When do vector bundles decompose into line bundles?
- Is the total space of the tautological line bundle over $\mathbb{R}P^{n}$ a non orientable manifold?
- obstruction to lifting a projective bundle to a vector bundle
- cohomology of a tangent bundle
- Condition for a complex vector bundle to be holomorphic?
- Space of Extensions of Holomorphic Line Bundles
Related Questions in RIEMANN-SURFACES
- Bijective conformal maps from a torus to itself
- Deduce riemannian mapping theorem for domains of $\hat{\mathbb{C}}$ from uniformization theorem
- Is there a complex surface into which every Riemann surface embeds?
- Show $f$ is an immersion, where $f$ holomorphic map between compact Riemann Surfaces
- Are there closed Riemann surfaces without non-constant holomorphic functions?
- Meromorphic function written as Weierstrass Elliptic Function
- Under what conditions do there exist non-constant meromorphic functions between general Riemann surfaces?
- Riemann surface with $w=z-\sqrt{z^2-1}$ single-valued
- Is the fundamental group of a compact Riemann surface *after* removing a finite number of points still a Fuchsian group?
- What are the morphisms in the category of unramified coverings over a compact Riemann surface?
Trending Questions
- Induction on the number of equations
- How to convince a math teacher of this simple and obvious fact?
- Refuting the Anti-Cantor Cranks
- Find $E[XY|Y+Z=1 ]$
- 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?
- What are the Implications of having VΩ as a model for a theory?
- How do we know that the number $1$ is not equal to the number $-1$?
- Defining a Galois Field based on primitive element versus polynomial?
- Is computer science a branch of mathematics?
- Can't find the relationship between two columns of numbers. Please Help
- 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
- A community project: prove (or disprove) that $\sum_{n\geq 1}\frac{\sin(2^n)}{n}$ is convergent
- Alternative way of expressing a quantied statement with "Some"
Popular # Hahtags
real-analysis
calculus
linear-algebra
probability
abstract-algebra
integration
sequences-and-series
combinatorics
general-topology
matrices
functional-analysis
complex-analysis
geometry
group-theory
algebra-precalculus
probability-theory
ordinary-differential-equations
limits
analysis
number-theory
measure-theory
elementary-number-theory
statistics
multivariable-calculus
functions
derivatives
discrete-mathematics
differential-geometry
inequality
trigonometry
Popular Questions
- How many squares actually ARE in this picture? Is this a trick question with no right answer?
- 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)$?
- Determine if vectors are linearly independent
- What does it mean to have a determinant equal to zero?
- How to find mean and median from histogram
- Difference between "≈", "≃", and "≅"
- Easy way of memorizing values of sine, cosine, and tangent
- How to calculate the intersection of two planes?
- What does "∈" mean?
- If you roll a fair six sided die twice, what's the probability that you get the same number both times?
- Probability of getting exactly 2 heads in 3 coins tossed with order not important?
- Fourier transform for dummies
- Limit of $(1+ x/n)^n$ when $n$ tends to infinity
As John Ma mentioned, one can do this using Riemann-Roch theorem. The answer depends only on the genus of the curve.
For the case of a curve Riemann-Roch implies the following: for any linear bundle $L$ on $C$ $$ \chi(C, L) = h^0(C, L) - h^1(C, L) = \operatorname{deg}(L) + \chi(C, \mathcal{O}_C). $$
For any curve of genus $g$ one always has $\chi(C, \mathcal{O}_C) = 1-g$ and $\operatorname{deg}(TC) = 2-2g$.
Therefore we know that $h^0(TC) - h^1(TC) = 3-3g$ and it is sufficient to find at least one of these numbers.
If g = 1, then $C$ is an elliptic curve, $TC$ is trivial and $h^0(TC) = h^0(\mathcal{O}_C) = 1$. Thus $h^1(TC)$ also equals $1$.
If $g>1$ then $\deg(TC) < 0$. However, a divisor of negative degree can never has global sections. This means that $h^0(TC) = 0$ and $h^1(TC) = -(3-3g) = 3g-3$.
Perhaps you have heard that the dimension of the moduli space of curves of genus $g$ also equals $3g-3$. This is not a coincidence: first cohomologies of the tangent bundle describe all infinitisemal deformations of $C$, that is a tangent space to the moduli space.