I have expanded the Idea-section at *Chern character*; rewording (making more succinct, basically) the statement about the Chern-character on generalized (Eilenberg-Steenrod) cohomology and adding its generalization to the Chern character in cohesion, given by the shape of the Maurer-Cartan form:

with pointers to Bunke et al, where this is proven.

Maybe I find time to further exand later.

]]>No, on the contrary, I believe that you have more practical experience with RH than I do. I am on foundational side in algebraic geometry so I just talk more and think more on the foudnational aspect. But I do very little hands on algebraic geometry.

The wikipedia article is quite good. I would be careful not to merge GRH and HRH for the simple reason that these are two different statements. GRH implies HRH in the situations in which GRH applies.

]]>I had thought that GHRR was just another name for GRR. My apologies if this is incorrect; I came to this impression after reading the wikipedia entry for "GHRR". ]]>

My past experience is that writing a neutral information like references and so on, is harmless, but writing complicated tricky section once done wrong way is very hard to improve (read takes more time to imrpove than to write from the beginning), especially when you care not to hurt the structure from your predecessor (in fact a number of pages where I could contribute I never did just because there are too difficult to tackle, being created in difficult style to start with). So I absolutely did not ask not to write but asked for the care; this is one of the most important entreis. One of the voluems of SGA is dedicated solely to Riemann-Roch. I have created most of the entries on algebraic geometry in nlab and of course would like help from new people, but with similar care and dilligence – so what is wrong with the warning – spent several months last Winter and Spring preparing some grounds on the related circle of questions in nlab e.g. the very related topic of index theory (e.g. entry Fredholm operator), then bibliography stubs like slope filtration, just to have some grounds. I could of course just go to the middle of the topic and write uncarefully rambling statements but this I would not dare.

I hoped Kevin will write but with care as the topic is tricky. For example, at the most trivial level talking Grothendieck-Hirzebruch-Riemann-Roch is already strange. There is Hirzebruch-Riemann-Roch and there is Grothendieck-Riemann-Roch, the first is corollary of the second in those setups where both apply. In some geometric situations one has HRR but not GHR, as the stronger version does not hold or is difficult to prove or even formulate. There is no Grothendieck-Hirzebruch-Riemann-Roch and I hope it will not appear as an artifact of nlab.

]]>Zoran, I’m not sure I understand why you are being so fussy here. Rhetorical question: is every page you write perfectly polished and written with great care, with proofs in conformance with nPOV as you understand the term?

If Kevin is motivated to write something on Grothendieck-Hirzebruch-Riemann-Roch, then by all means he should proceed full steam ahead, without worrying about whether he (or Grothendieck) has really gotten to the bottom of it according to Zoran. As we all know, nLab pages generally improve over time anyway (with the help of people like Zoran).

]]>I took nPOV in the widest possible sense of a natural proof. So far such a proof of Grothendieck-Riemann-Roch has not being found. I know a couple of people who have some insight in the right direction but did not get to the bottom yet.

]]>Is the goal [in general, or of nCafe/nLab/nForum] to make everything fit into the nPOV?

No. We want all the good content that we can get. But we take the liberty of allowing us to afterwards go through it and reformulate some of it from the nPOV.

If you feel energetic, don’t let the nPOV issue stop you from adding stuff. Just create a a subsection with a descrptive title and go.

]]>Is the goal [in general, or of nCafe/nLab/nForum] to make everything fit into the nPOV?

Maybe some answers: nPOV

]]>I haven't read any of it beyond the abstract, but this paper of Toen might be in the right direction? ]]>

It is difficult to go to the bottom when Riemann-Roch theorems are considered. In other words it is difficult to take NPOV as the subject is still not well understood. I mean all the proofs are still a hack (in agreement with Grothendieck’s unsatisfaction with his own proof, published by Jean-Pierre Serre). So please be careful when writing, it is easy to make a mess in such a difficult topic.

]]>I think people say Chern-Weil homomorphism more often. Currently Chern-Weil homorphism redirects to Chern-Weil theory. Having also Weil homomorphism, some suboptimality of organization may be detected.

]]>added links. Notice we also have Weil homomorphism

have to run now…

]]>I expanded somewhat Chern-Weil theory. Please check.

]]>added a reference to Chern character

]]>ah, wait, I am overl0oking something: those "infinitesimal stalks" don't preserve finte limits, right? so they don't give topos points.

aha, so the condition might be right after all...

]]>Concerning the question how to characterize topos morphisms that characterize infinitesimal thickenings

I was going to suggest that the condition should be that on topos points the morphism induces a bijection, i.e. that may be bigger than but not have further genuine points.

But somehow that does not seem to work here: the points of (or Sh(Diff) for that matter) are the stalks on disks, so there is one per natural number. But seems to have a point per "disk times a choice of infinitesimal thickening".

Hm...

]]>I like this about relative point of view to Lie theory. This could explain Lie theory for (algebras over) other operads (see papers by Fresse), which was the motivation of original 1992 Kontsevich work on formal noncommutative symplectic geometry and Ginzburg-Kapranov on Koszul duality for operads about the same time.

]]>I am now beginning to see much clearer. One just has to use formal topos theory reasoning systematically to see all the structure.

Here is the next one: I think I understand now also the "infinitesimal path oo-groupoid" functor fully intrinsically:

recall that non-intrinsically I construct this in the oo-topos of oo-stacks on the site whose objects are infinitesimally thickened cartesian spaces. There is the the obvious site map

that forgets the infinitesimal thickening. This should induce an essential geometric morphisms of oo-topos, and the left-left adjoint of that is Pi_inf.

So intrinsically, what I really want to say is that:

oo-Lie theory is the cohomology in a *relative* oo-topos, namely one oo-topos sitting over another by an essential geometric morphism

which is such that it remembers that is an "infinitesimal thickening" of .

So I think what I need is the gros oo-topos-theortic version of a formal scheme sitting over its underlying scheme, or the like.

What's the abstract way to say this, in the classical theory: if S is a scheme and X an infinitesimal thickening of S with projection , let be the corresponding geometric morphism of sheaf toposes. Which property of this geometric morphism is it that remembers that X was not just any scheme over S, but an infintesimal thickening?

]]>wow

]]>I admit that it's something like my third attempt, but I do have a good guess now for the fully general abstract notion of

]]>I have to run now. You are right about the notation. Maybe you could inprove it.

]]>Thanks. The entry is nicely growing. I think it may be dangerous to call K-theory spectrum by somewhat nonstandard notation KU. I hope we will be able to connect to the standard discussion relating the Chern classes and consequently the Chern character to the business of lambda-rings.

Cf. blog.

]]>