A new version of the paper Transversality and super-rigidity for multiply covered holomorphic curves has just been uploaded to my homepage, and will be replacing the previous (withdrawn) version on the arXiv within the next couple of days. Here’s the quick update for those who are keeping score but don’t have time for the details: the main theorems remain unchanged, and all gaps in their proofs have been filled.
For those who do have time for the details, my intention in this post is to review what the problem was and clarify why it was essential to fix it—I’ve come to view it as something more interesting and possibly more important than a mere technical difficulty, and I want to explain why. In the sequel I will then explain how the problem has been solved.
I’m not going to assume that everyone has read my series of previous posts on the super-rigidity paper and what went wrong in the proof. The main thing you need to know is this: the goal is to understand, in precise terms, when it is possible or impossible to establish transversality (or related conditions) for multiply covered J-holomorphic curves via the standard method of perturbing the almost complex structure generically. At the linearized level, this becomes an equivariant transversality problem: given a linear Cauchy-Riemann type operator that is invariant under a group action, when can you add generic zeroth-order perturbations to make the operator surjective/injective without breaking the symmetry?
Since I wasn’t the first person to have thought about such issues, I’ve been asked by several colleagues how my approach differs from earlier work by other authors… in particular the three or four previous attempted proofs (later withdrawn) that super-rigidity holds for generic J in Calabi-Yau 3-folds. Many elements in my approach have indeed appeared before: the twisted bundle decomposition for Cauchy-Riemann operators originated in work of Taubes, as did the idea (to be discussed below) of stratifying a moduli space via conditions on kernels and cokernels of Cauchy-Riemann operators. These two ideas later served as the basis for Eftekhary’s partial result on super-rigidity, and I’ve also seen the stratification idea appear in the wall-crossing argument in Ionel and Parker’s paper on the Gopakumar-Vafa formula. The main element in my approach that was not present in any of the others is a result that I used to call quadratic unique continuation, though for reasons that I’ll get into in the next post, I now find that to be a bad choice of words and am instead calling it Petri’s condition (thanks to Aleksander Doan and Thomas Walpuski for the terminology). The technical foundation of my paper is based on a result saying that Petri’s condition can be achieved locally under generic local perturbations of any Cauchy-Riemann type operator. That is the lemma that was wrong in the previous version, and has now been corrected.
Stratification and Petri’s condition
I want to explain a bit why Petri’s condition arises as an essential obstacle to overcome in equivariant transversality problems. This issue is quite general—as demonstrated in recent work by Doan and Walpuski, it pertains to more than just Cauchy-Riemann type operators or holomorphic curves, thus I will try to frame it in the generality that it deserves.
Consider a linear first-order partial differential operator between two vector bundles over a smooth manifold . We will assume that satisfies some nice condition such as ellipticity, so that it will be Fredholm when extended to suitable Banach space settings (which I won’t talk about here) and all local solutions to are smooth. Fix also an open subset with compact closure and let
denote the space of all smooth bundle maps with support in . These define compact perturbations of in the relevant Banach space setting, so that the perturbed operator
for each is also Fredholm. The main idea of the stratification approach is now to consider subsets of the form
If we are lucky, then this space will be a smooth finite-codimensional submanifold of and its codimension in this particular setting should be . This is analogous to the fact that the space of all linear transformations of a fixed rank forms a smooth submanifold, and it can be proved in much the same way: one can associate to each a neighborhood and a smooth map
whose zero set is a neighborhood of in , hence is indeed a submanifold with the aforementioned codimension if we can arrange for the linearization of at to be surjective. (For details on how to define , see the discussion of walls in the space of Fredholm operators in an earlier post.)
Surjectivity is the subtle part. The linearization in question takes the form
where denotes the projection from the relevant Banach space of sections of to the quotient , or equivalently, to the kernel of the formal adjoint operator with respect to some fixed choices of geometric data (i.e. bundle metrics and volume forms) on , and . Let us fix such geometric data and denote the resulting -inner product for sections of or by . Choosing bases and , the difference between and is -orthogonal to each , thus the matrix elements that determine the linear map for each are
The map then fails to be surjective onto if and only if there exists a nontrivial set of constants that are “orthogonal” to the image of in the sense that for all ,
The interesting term in this expression is the summation in parentheses: is a section of the tensor product bundle , which we are free to restrict to the subset since the support of is contained there. In particular, is an element in the image of the natural linear map
which sends each product to the section restricted to . It is an easy linear algebra exercise to show that if is nonzero on some open set in , then one can find some to make sure that the integral above does not vanish. In other words, is guaranteed to be surjective if the following condition is achieved:
Definition. The operator satisfies Petri’s condition on the subset if the natural map is injective.
One of the beautiful things about this approach to transversality issues is that if the program I’ve just sketched can be carried out at all, then it can also be carried out equivariantly. In particular, if the operators arise as linearized operators for something like a multiply covered holomorphic curve, then they come with symmetry, e.g. there may be a finite group acting on and the two bundles such that is -equivariant and we are only allowed to perturb within the space of -invariant zeroth-order perturbations. In this case, the map automatically takes values in the space of -equivariant linear maps , so that the linearized problem becomes to show that the map
given by the same formula as before is surjective. If we have Petri’s condition, then this is easy: given , we can use the non-equivariant case to find a (not necessarily -invariant) solution to , but then symmetrize it to produce a solution
, satisfying .
Here’s the punchline. In certain settings, depending on the overall goal, it may well be that you can get away with proving less than the statement that is a smooth submanifold of the right codimension, in which case you might not need to know whether Petri’s condition holds. But for almost any such work-around you might choose, the equivariant case will not work—at least, not in as much generality as one would like. Let me expand on that a bit. The papers I mentioned above by Taubes, Eftekhary and Ionel-Parker all make use of this stratification idea, so some form of the operator that I’m calling appears in all of them. But in all three papers, it turns out that the main results do not really require to be a submanifold of the predicted codimension—it suffices to prove that it’s some kind of “subvariety” that resembles a manifold and whose codimension can be bounded from below, which means not necessarily proving that is surjective, but establishing a good lower bound on its rank. Taubes, for instance, uses the following cute trick: if we fix a nontrivial element , then we can associate to every a zeroth-order perturbation of the form
which then satisfies
due to unique continuation. One therefore obtains an injective linear map , which proves .
This argument suffices for certain applications, but outside of a very restrictive range of special cases (such as the regular double covers of tori in Taubes’s paper), it doesn’t give anything for the equivariant case: one can symmetrize the perturbations constructed above, but there’s no guarantee that they won’t all become zero.
This is just one example; there are a few other tricks that I found in various other papers and attempted to implement as work-arounds when I wanted to prove Petri’s condition but didn’t know how to do it. None of them seemed sufficient to produce equivariant results in full generality. The conclusion I came to was that if you want to understand equivariant transversality for nonlinear PDEs, then Petri’s condition is one of the main necessary ingredients, and it is absolutely necessary.
As you can imagine, I was therefore fairly distraught when my original proof of Petri’s condition for Cauchy-Riemann type operators broke down. I still believed that it was very likely to be a generic property, and I also suspected that someone in either geometric analysis or algebraic geometry must have thought about this before and could simply give me the solution, if I only knew whom to ask. But having now asked around quite a bit more, I’m left with the impression that, in fact, hardly anyone has thought very much about this before. Thus I decided to write this post, telling you why Petri’s condition is something worth thinking about. In the next one, I’ll tell you what I’ve learned in the effort to prove it.