Is there an analogue of curvature in algebraic geometry?

An algebraic analog of Chern-Weil theory (explicitly taking symmetric polynomials of curvature) is given by the Atiyah class. Given a vector bundle $E$ on a smooth variety we can consider the short exact sequence $$ 0\to End(E) \to A(E) \to T_X\to 0$$ where $T_X$ is the tangent sheaf and $A(E)$ is the "Atiyah algebroid" --- differential operators of order at most one acting on sections of $E$, whose symbol is a scalar first order diffop (hence the map to the tangent sheaf). A (holomorphic or algebraic) connection is precisely a splitting of this sequence, and a flat connection is a Lie algebra splitting. Now algebraically such splittings will often not exist (having a holomorphic connection forces your characteristic classes to have type $(p,0)$ rather than the $(p,p)$ you want..) but nonetheless we can define the extension class, which is the Atiyah class $$a_E\in H^1(X, End(E)\otimes \Omega^1_X).$$ This is the analog of the curvature form in the Riemannian world -- we now can take symmetric polynomials in the $End(E)$ factor to get the characteristic classes of $E$ in $H^p(X,\Omega_X^p)$ as desired.

This answer and Mariano's agree of course in the sense that Atiyah classes can be interpreted via Hochschild and cyclic (co)homology and generalized to arbitrary coherent sheaves (or complexes) on varieties (or stacks) (let me stick to characteristic zero to be safe). Namely the Atiyah class of the tangent sheaf can be used to define a Lie algebra structure (or more precisely $L_\infty$) on the shifted tangent sheaf $T_X[-1]$, and Hochschild cohomology is its enveloping algebra. This Lie algebra acts as endomorphisms of any coherent sheaf (which is another way to say Hochschild cohomology is endomorphisms of the identity functor on the derived category), and one can take characters for these modules, recovering the characteristic classes defined concretely above.

(In fact the notion of characters is insanely general... for example an object of any category - with reasonable finiteness - defines a class (or "Chern character") in the Hochschild homology of that category, which is cyclic and so descends to cyclic homology. An example of this is the category of representations of a finite group, whose HH is class functions, recovering usual characters, or coherent sheaves on a variety, recovering usual Chern character. or one can go more general.)


The algebraic Chern-Weyl theory exists. You can find expositions of it in, say, Jean-Louis Loday's Cyclic Homology or in Max Karoubi's Homologie Cyclique Astérisque. It constructs characteristic classes for finitely generated projective modules, and more generally on elements of $K_0$, with values in the cyclic homology of the coordinate algebra, and/or the usual variations of this homology theory. This precisely generalizes the usual case, in view of the Swan-Serre theorem that states that finitely generated projective modules over $C^\infty(M)$ are exactly the same thing as vector bundles over a manifold $M$, and the computation of the (periodic) cyclic homology of $C^\infty(M)$, which turns out to be de Rham cohomology of $M$.

One can also get characteristic cyclic classes on the higher algebraic $K$-groups, and this works more or less automatically not only for commutative algebras but for algebras in general.

If you want non-affine schemes, you can generalize everything with sufficient care to that context.


One well-studied example is ampleness of an invertible sheaf and positive curvature for a holomorphic line bundle. A theorem of Kodaira says that a holomorphic line bundle over a complex manifold is ample if and only if it admits a metric of positive curvature.

Related to this, in the special case when the line bundle is the canonical bundle and also invoking Yau's proof of the Calabi conjecture, one has the following equivalences:

  • A compact complex manifold admits a Kähler metric of positive Ricci curvature if and only if it is Fano i.e, has ample anticanonical bundle.

  • A compact complex manifold admits a Kähler metric of negative Ricci curvature if and only if it has ample canonical bundle.

  • A compact complex manfiold admits a Ricci flat Kähler metic if and only if it has torsion first Chern class.