# 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.

**3**

votes

**1**answer

128 views

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

Let us take the second degree Hirzebruch surface F_2 which is a holomorphic CP^1 bundle over CP^1 having sections of self intersections +2 and -2. Let me denote the class of the -2 section by C and ...

**5**

votes

**1**answer

75 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 ...

**0**

votes

**0**answers

86 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$ ...

**3**

votes

**1**answer

497 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 ...

**5**

votes

**0**answers

103 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 ...

**8**

votes

**1**answer

266 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$ ...

**1**

vote

**0**answers

209 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 ...

**20**

votes

**1**answer

517 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 "...

**3**

votes

**0**answers

409 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 ...

**7**

votes

**0**answers

164 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 ...

**10**

votes

**2**answers

1k 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 ...

**8**

votes

**4**answers

938 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=o}...

**6**

votes

**1**answer

738 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?
...