Questions tagged [grothendieck-riemann-roch]

The Grothendieck–Riemann–Roch theorem is a far-reaching result on coherent cohomology. It is a generalisation of the Hirzebruch–Riemann–Roch theorem, about complex manifolds, which is itself a generalisation of the classical Riemann–Roch theorem for line bundles on compact Riemann surfaces.

Filter by
Sorted by
Tagged with
3 votes
0 answers
131 views

Simple Grothendieck-Riemann-Roch computation with relative Todd class

$\DeclareMathOperator\Tot{Tot}\DeclareMathOperator\ch{ch}\DeclareMathOperator\td{td}\DeclareMathOperator\ker{ker}\DeclareMathOperator\rk{rk}$I was wondering if the following is correct: Let $X=\Tot(L)$...
Simonsays's user avatar
  • 139
24 votes
1 answer
1k views

What is the Todd class *really*?

My question is about how to think about the Todd class. Usually this is presented via Grothendieck Riemann Roch (GRR): if $X$ is a smooth projective scheme over a field $\mathbf{C}$, the chern ...
Pulcinella's user avatar
  • 5,506
1 vote
0 answers
95 views

For a given $E\to X$ find $\xi\to \mathbb{P}E^*$ such that $\pi_*\operatorname{ch}(\xi)=\operatorname{ch}(E)$

$\DeclareMathOperator\ch{ch}$This is a specification of the question For given bundle $E\to X$ find $\xi\to Y$ such that $\pi_*ch(\xi)=ch(E)$. Let $E\to X$ be a holomorphic vector bundle over a ...
BinAcker's user avatar
  • 767
0 votes
1 answer
157 views

For given bundle $E\to X$ find $\xi\to Y$ such that $\pi_*ch(\xi)=ch(E)$

Let $\pi:X\to Y$ a projective morphism and $F\to X$ a vector bundle. The Grothendieck-Riemann-Roch theorem states that $$\pi_*(ch(F)td(\pi))=ch(\pi_!F)$$ where $td(\pi)$ denotes the relative Todd ...
BinAcker's user avatar
  • 767
1 vote
0 answers
95 views

Use of Porteus‘ formula in a paper of Beauville

In “Sur la cohomologie de certains espaces de modules de fibrés vectoriels”, Beauville calculates the Chern class of the diagonal $\Delta$ of the moduli space $M$ of certain stable bundles on a curve $...
Aaron Wild's user avatar
2 votes
0 answers
248 views

Generic rank of proper pushforward of the trivial line bundle

Given a proper surjective morphism $f:X\rightarrow Y$ where $X$ and $Y$ are smooth projective varieties. The proper pushforward $f_!$ is the homomorphism that sends the class of a coherent sheaf $M$ ...
user127776's user avatar
  • 5,821
7 votes
0 answers
370 views

Grothendieck Riemann Roch is abelian localisation on loop spaces

Abelian localisation says approximately that for a proper equivaraint map $f:X\to Y$ between schemes with a $\mathbf{G}_m$ action, the pushforward on cohomology $f_*\omega$ can be computed by the ...
Pulcinella's user avatar
  • 5,506
1 vote
1 answer
106 views

Can the dimension of Hom space between vector bundles on an algebraic curve predicted by Riemann-Roch type formula be the minimal possible?

Let us study vector bundles $E$ and $F$ on a smooth projective curve $C$. There is a Riemann-Roch type formula for the Euler characteristic $\chi(E,F)=dim\, Hom(E,F)-dim\, Ext^1(E,F)$ in terms of ...
Alexey Elagin's user avatar
8 votes
1 answer
605 views

Original reference for Adams Riemann-Roch theorem

Let $f\colon Y\to X$ be a proper morphism between smooth quasiprojective $k$-algebraic varieties. Denote by $\psi^j$ the $j$-th Adams operation on the Grothendieck group of vector bundles and $\theta^...
Tintin's user avatar
  • 2,721
4 votes
1 answer
523 views

Can we move curves which are members of very ample systems?

Let us take the second degree Hirzebruch surface $\mathbb{F}_2$ which is a holomorphic $\mathbb{CP}^1$ bundle over $\mathbb{CP}^1$ having sections of self intersections $+2$ and $-2$. Let me denote ...
apm's user avatar
  • 53
6 votes
1 answer
120 views

Reflection-invariant monomial ideals and Alexander duality

First we give some definitions from Section 3 of the paper Monomials, Binomials, and Riemann-Roch by Manjunath and Sturmfels and then we restate a claim from that paper offered without proof. Finally ...
Aaron Dall's user avatar
0 votes
0 answers
93 views

$ch(L f^*\epsilon)$

I know the famous principle (or theorem depending on how you define) of Chern classes for locally free sheaves and a morphism $f: X'\rightarrow X$, $ch(f^* \epsilon)=f^* ch(\epsilon)$. But if $f$ ...
Mohsen Karkheiran's user avatar
3 votes
1 answer
607 views

A question on Grothendieck Riemann Roch

As an exercise for myself I wanted to check GRR in the following situation. Consider $P:X \rightarrow B$ to be an Weierstrass elliptic fibration with a section, and $X\times_B X$ be the fiber product ...
Mohsen Karkheiran's user avatar
5 votes
0 answers
138 views

Local family index theorem, but with Chern class?

Let $\pi:X\to B$ be a proper submersion with spin fibers, and $E\to X$ a Hermitian vector bundle with a unitary connection $\nabla$. Then the local family index theorem for spin Dirac operator twisted ...
Ho Man-Ho's user avatar
  • 1,087
9 votes
1 answer
450 views

About Riemann-Roch without denominators

The Riemann-Roch without denominators can be expressed as follows: Let $f: X\rightarrow Y$ be a closed embedding of quasi-projective smooth $k$-varieties of codimension $d$ for some field $k$. Let $E$ ...
Lao-tzu's user avatar
  • 1,856
2 votes
0 answers
514 views

Pushforward of tensor product of holomorphic vector bundles

Let $M$ be a complex manifold, $\Sigma$ a Riemann surface of genus $g$, and $E, F$ holomorphic vector bundles on $M\times\Sigma$. If $\pi: M\times \Sigma\to M$ is the projection map, is it possible to ...
No_way's user avatar
  • 383
21 votes
1 answer
850 views

Günter Tamme's course "Arakelov theory and Grothendieck-Riemann-Roch"

On chapter III.4 ("Metrized $\mathcal{o}$-modules") of this book on algebraic number theory, Neukirch credits his treatment of the theory of finitely generated $\mathcal{o}$-modules to the course "...
Myshkin's user avatar
  • 17.4k
3 votes
0 answers
627 views

Equivariant Riemann-Roch on DM stacks?

Does an equivariant version of (Toen)-Riemann-Roch theorem hold say over a smooth Deligne-Mumford stack $X$ over the complex numbers? Any references that state this explicitely? Are there formulas ...
Qfwfq's user avatar
  • 22.7k
7 votes
0 answers
220 views

Riemann-Roch for curves over Dedekind domains and base-change for modular forms

In p-adic properties of modular schemes and modular forms Katz formulates the following base change theorem as Theorem 1.7.1 Let $n\geq 3$ and $\overline{\mathcal{M}}_n$ be the compactified moduli ...
Lennart Meier's user avatar
10 votes
2 answers
2k views

Faltings-Riemann-Roch Theorem

I found the famous Faltings book ``Lectures on arithmetic Riemann-Roch theorem". In the book, very analytic techniques such as Garding inequality or heat kernel are explained. I have no idea where ...
user45209's user avatar
  • 101
8 votes
5 answers
1k views

$\lambda$-ring structure defined for a graded ring in Fulton–Lang's book

Given a commutative ring $A$ with unity, Grothendieck used universal polynomials to define a special $\lambda$-ring structure on $\Lambda(A):=1+t\:A[[t]]$. Suppose $A$ is graded, say $A=\bigoplus_{i=0}...
Mahdi Majidi-Zolbanin's user avatar
9 votes
1 answer
1k views

Serre duality and Hirzebruch-Riemann-Roch in the non-projective case

Serre duality and the Hirzebruch-Riemann-Roch formula are usually stated for $X$ a smooth projective algebraic variety. Do you know of a reference which proves these results for $X$ smooth and proper? ...
Piotr Achinger's user avatar