51
$\begingroup$

Motivation

I have recently started thinking about the interrelations among algebraic geometry and nonlinear PDEs. It is well known that the methods and ideas of algebraic geometry have lead to a number of important achievements in the study of PDEs, suffice it to mention the construction of finite-gap solutions to integrable PDEs (see e.g. this book) and the geometric approach to PDEs developed by A.M. Vinogradov et al. which revolves around the concept of diffiety (the word itself was merged from "differential" and "variety") and which the authors themselves consider, at least to some extent, as a "translation" of ideas from algebraic geometry and commutative algebra to the realm of PDEs, see e.g. these two books.

On the other hand, it appears (as far as my googling skills allow me to tell) that the other way around, i.e., in the applications of nonlinear PDEs in algebraic geometry, the interaction is at least somewhat less intense. I was able to come up with basically just two things: the Novikov conjecture (proved by Shiota) on the relation of the KP equation to the Schottky problem and the applications of the Monge-Ampere equations in Kahler geometry.

Question

Which are the other applications of the nonlinear PDEs in (broadly understood) algebraic geometry? In other words, which nonlinear PDEs are of interest to algebraic geometers and why?

EDIT: It should be obvious, but to play it safe I would like to spell this out loud and clear: please feel free to share not only the already known cases where PDEs have helped the algebraic geometers but also the more open-problem-type cases where, say, there is a PDE that could be of use in algebraic geometry but some crucial bits of information about this PDE (for instance, about the existence of solution(s) with the desired properties) are still missing.

$\endgroup$
4
  • 9
    $\begingroup$ this must be community wiki $\endgroup$ May 26, 2011 at 14:57
  • 7
    $\begingroup$ @Denis: I believe that this question is not that trivial and easy to answer, even by experts, so I'd like to keep it unwikified to give people an extra incentive (in the form of gaining rep) to answer. Also, I am not convinced that having a sorted list of answers to this particular question is a right thing to do. $\endgroup$ May 26, 2011 at 17:37
  • 3
    $\begingroup$ Yang-Mills, Yang-Mills-Higgs. There exist so called Kobayashi-Hitchin correspondences that provide bijections between the spaces of solutions of such equations and various moduli spaces in GIT. $\endgroup$ Jan 13, 2016 at 16:06
  • $\begingroup$ The link to eom.springer.de is broken, but the article can now be found at encyclopediaofmath.org/wiki/Schottky_problem. $\endgroup$ Jul 22, 2022 at 7:05

6 Answers 6

25
$\begingroup$

Strictly speaking, this is not meant as an answer to the question---it's more like a suggestion that you might find it interesting to also ask a related, but different, question.

I would say the most interesting feature of many interactions between nonlinear (especially integrable) PDE and algebraic geometry, from the point of view of an algebraic geometer, is that they show us new structures that nobody knew existed classically.

One instance of this is the story that you're referring to relating the conformal field theory of free fermions, KP, and the geometry of moduli of bundles, mediated (geometrically) by the Sato Grassmannian. This is what leads to Shiota's characterization of the Schottky locus. That's well before my time, but I wouldn't have guessed that most classical algebraic geometers thought of this as a very big advance on the Schottky problem at the time: if you'd like equations for the Schottky locus, or even some nice algebro-geometric description of it, you probably aren't satisfied with what Shiota tells you (I'm a huge fan of this story, so my remark isn't meant to convey my own opinion of this work, rather to guess at what some others might have thought). Algebraic geometers were interested in moduli of curves, bundles, etc. long before this story appeared, but a whole new world emerged from it.

In a different direction, the discovery of integrability in topological string theory (as formulated, for example, in Witten's conjecture, later Kontsevich's theorem) shows us striking new structure, again governed by integrable PDE (KdV, n-KdV) in the intersection theory on moduli spaces of curves (and later 2D Toda in the Gromov-Witten theory of curves). Again, I would argue (as someone who, admittedly, is incredibly far from expert in the subject) that the most interesting part of the story is the amazingly rich structure (involving integrable PDE, matrix models, and intersection theory on moduli spaces) that was revealed by these discoveries.

EDIT: What I wrote initially takes a slightly misleading tone about applications back to classical AG: for example, Krichever's stunning work on the trisecant conjecture, which grows directly out of integrable PDE, is surely something of classical interest!

$\endgroup$
19
$\begingroup$

One important use of PDEs in algebraic geometry is in so-called "Hitchin-Kobayashi correspondences". The original example of this is the following theorem.

Theorem (Donaldson, Uhlenbeck-Yau) Let $L \to X$ be an ample line bundle over a compact complex manifold and $\omega$ a Kähler metric representing $c_1(L)$. A holomorphic vector bundle $E \to X$ is slope polystable with respect to $L$ if and only if it admits a Hermitian-Einstein metric with respect to $\omega$.

To spell this out in detail: the slope of a bundle $\mu(E)$ is its degree divided by its rank, where degree is $\langle c_1(E) \cup c_1(L)^{n-1}, [X] \rangle$. A bundle is slope stable if all proper coherent subsheaves have strictly smaller slope. A bundle is called slope polystable if it is the sum of stable bundles of equal slope. Meanwhile, a Hermitian metric in $E$ is called Hermitian-Einstein if its curvature $F$ satisfies the equation $(F,\omega) = c \cdot \mathrm{Id}$, for a constant $c$. (Here we are taking the innerproduct on 2-forms, the result being an endomorphism of $E$.) This is a non-linear PDE on the Hermitian metric.

Notice that the slope polystability is purely algebraic - it makes no mention whatsoever of the metric $\omega$. What is remarkable is that this is equivalent to the existence of a solution of a non-linear PDE. The story behind this theorem is quite a long one. It can be seen as an infinite dimensional example of the equivalence between quotients via GIT and symplectic quotients. The PDE plays the role of the moment map.

Since this result was proved there have been many other versions involving bundles with additional data, say, e.g., a Higgs field, which appears both in the definition of stability and the corresponding PDE. The corresponding "Hitchin-Kobayashi correspondences" play important roles in the study of the moduli of the algebraic objects. For example the fact that one can always solve the relevant PDE leads directly to an interesting Kähler metric on the moduli space of stable objects. In the case of Higgs fields, this is a hyperkähler metric. This metric is one of the starting points of the approach to geometric Langlands proposed by Kapustin and Witten. There are also other applications of the PDE point of view here leading to, amongst other things, strong restrictions on the fundamental groups of Kähler manifolds. This subject sometimes goes by the name "Non-abelian Hodge theory". (I should stress that this is a long way from my expertise!)

In a different vein, one version of the Hitchin-Kobayashi correspondence (which is still conjectural) concerns not metrics on bundles but rather metrics on the manifold itself. Many people in Kähler geometry are currently working on understanding both the conjecture and its ramifications. The idea (originally due to Yau, later refined by Donaldson and Tian) is that given an ample line bundle $L \to X$, one should be able to find a so-called "extremal" Kähler metric in $c_1(L)$ if and only if the polarised variety is "stable". Here a metric is "extremal" if it's a critical point of the $L^2$-norm of the curvature tensor, restricted to metrics in $c_1(L)$. This turns out to be equivalent to the gradient of the scalar curvature being holomorphic, a sixth-order fully non-linear PDE. "Simple" examples are Kähler-Einstein metrics (when $L$ is a multiple of the canonical bundle). The correct definition of stability, known as K-polystability, is a little too involved to give neatly here, but it is important to mention that, just as for slope polystabilty of a vector bundle, it is a purely algebraic concept. This whole subject is vast, and I could write about it for pages and pages, but I've probably already said too much for one answer!

$\endgroup$
3
  • $\begingroup$ Thanks a lot! Could you recommend some references where the PDEs in question are written down explicitly so that the PDE people could have a first look at them without having to dig through all of the algebro-geometric machinery? $\endgroup$ Jun 6, 2011 at 17:15
  • 1
    $\begingroup$ @mathphysicist: Sorry to take so long to get back to you. Good places to read about this are the two articles of Donaldson: "A new proof of a theorem of Narasimhan and Seshadri" in the Journal of Differential Geometry and "Anti-self-dual connections over complex algebraic surfaces and stable vector bundles" in Proceedings of the London Mahtematical Society. Another great article is "The Yang-Mills equations over Riemann surfaces" by Atiyah and Bott, in, I think, Transactions of the Royal Society. $\endgroup$
    – Joel Fine
    Jun 10, 2011 at 13:46
  • $\begingroup$ Hi, could you please explain some details about the relation between Higgs fields and nonlinear PDEs? At least at the definition level, seemingly Higgs fields $\Theta\colon M\to M\otimes\Omega_X^1$ are linear objects, even "more linear" than connections. $\endgroup$
    – user20948
    May 19, 2020 at 11:24
16
$\begingroup$

The complex Monge-Ampère equation gives rise to remarkable metrics on complex line bundles. In that respect, the theorem of Calabi-Yau has very important applications in algebraic variety, particularly for understanding the geometry of complex algebraic varieties with trivial canonical class.

$\endgroup$
14
$\begingroup$

It's a bit embarrassing to be giving this answer when there are many others far better qualified, but: in connection with the minimal model program, there have been efforts to understand canonical models by producing canonical singular Kahler-Einstein metrics via Kahler-Ricci flow. See for example http://arxiv.org/pdf/math.AG/0603064.pdf.

$\endgroup$
13
$\begingroup$

This is a bit borderline. But the notion of hyperbolicity, which is associated to the well-posedness of the Cauchy problem, led Garding to introduce the concept of hyperbolic polynomials. The theory of HPs is an important part of so-called real algebraic geometry. In particular, the study of lacunas of the fundamental solution of a hyperbolic operator is intimately related to the algebraic topology of real algebraic surfaces.

Edit. A remarkable result about HPs (Helton, Vinnikov, CPAM 2009, conjectured by P. Lax in 1972): let $P(T,X,Y)$ be a homogeneous polynomial of degree $n$, hyperbolic in the $T$-direction. Then there exist Hermitian matrices $H,K$ such that $P(T,X,Y)=c\det(TI_n+XH+YK)$. This is obviously false for polynomials in more than $3$ variables, for instance for $T^2-X^2-Y^2-Z^2$.

$\endgroup$
2
7
$\begingroup$

I give two reason to show that nonlinear PDE is of interest to algebraic geometers.

First: Monge-Ampere equation is nonlinear PDE and is of interest to algebraic geometers, Here is one of examples

In fact if $X$ be a projective variety and canonical Ring $$\bigoplus_{m\geq 0}H^0(X,K_X^{m})$$

is finitely generated and Kodaira dimension is positive then

$$\pi:X\to X_{can}=proj(\bigoplus_{m\geq 0}H^0(X,K_X^{m}))$$

gives a canonical metric which is twisted by Weil-Petersson metric on $X$ via

$$Ric(g_{can})=-g_{can}+g_{WP}$$

Which $g_{WP}$ corresponds to moduli space of Calabi-Yau fibers. In fact we can write twisted Kahler Einstein metric in the form of Monge-Ampere equation by using Yau-Vafa semi Ricci flat metric.

Second: is the concept of surgery. We believe that surgery in PDE gives surgery in algebraic geometry and vise versa. Surgery in algebraic geometry here means flips and flops.

Surgery in PDE<===>Surgery in Geometry<===> Surgery in Algebraic geometry

In fact in the proof of Poincare conjecture Perelman used Surgery in PDE<===>Surgery in Geometry , he took PDE surgery by using Ricci flow

and for proof of finding canonical metrics for varieties which do not have definite first chern class (long standing conjecture) we need to use Surgery in PDE<===> Surgery in Algebraic Geometry

albiet Surgery in Algebraic Geometry may not exists in general.

$\endgroup$

Your Answer

By clicking “Post Your Answer”, you agree to our terms of service and acknowledge you have read our privacy policy.

Not the answer you're looking for? Browse other questions tagged or ask your own question.