Complex geometry seminar

Titre et résumés à venir

Bogomolov and Mumford proved that every projective K3 surface contains a rational curve. Since then, a lot of progress has been made by Bogomolov, Chen, Hassett, Li, Liedtke, Tschinkel and others, towards the stronger statement that any such surface in fact contains infinitely many rational curves. In this talk I will present joint work with Xi Chen and Christian Liedtke completing the remaining cases of this conjecture in characteristic zero, reproving some of the main previously known cases more conceptually and extending the result to arbitrary genus.

On va décrire géométriquement l’espace des modules des fibrés stables avec $c_2=0$, $det=mathcal{K}$ sur une surface de la classe VII avec $b_2=3$.
On va regarder en détail le cas d’une surface connue (minimale ou non-minimale), et aussi celui d’une surface inconnue. En utilisant cette description on obtient l’existence d’un cycle dans le cas $b_2=3$. Finalement on va expliquer quelques propriétés générales et quelques conjectures concernant le même espace de modules sur une surface de la classe VII avec $b_2$ arbitraire.

On commence par rappeler la définition des variétés de drapeaux d’un fibré vectoriel, ainsi que les fibrés en droite naturels qui leur sont associés, dont les puissances de Schur du (dual) du fibré vectoriel constituent les sections.

Dans ce cadre, on présente une généralisation naturelle du point de vue de Hartshorne sur l’amplitude des fibrés vectoriels, qui permet d’attaquer l’étude des objets décrits dans le titre.

On détaille alors le schéma de preuve, issu du papier de Brotbek–Darondeau sur la même question dans le cas du cotangent, qui permet d’obtenir des résultats sur l’amplitude des puissances de Schur du cotangent d’intersections complètes.

Si le temps le permet, on parlera de certaines propriétés en hyperbolicité satisfaites par de telles variétés.

Dans un travail en commun avec K. Cesnavicius concernant les groupes de lacets et la fibration de Hitchin, nous avons été amené à  étudier le quotient adjoint sur des bases arbitraires. Un résultat récent de Chaput et Romagny montrait un théorème de Chevalley pour des groupes simples déployés sur un schéma S, mais laissait le problème ouvert dans le cas général. On généralise leur énoncé en même temps que l’on apporte une preuve différente de leur énoncé.

Dans cet exposé, je vais présenter les lieux de dégénérescence orbitaux.
Ces lieux généralisent les lieux de dégénérescence classiques; étant
donnés des fibrés principaux (ou fibrés vectoriels avec une certaine
structure), ils permettent de construire des variétés projectives
“spéciales”.
Deux outils majeurs permettent de controler les propriétés intrinsèques
des variétés construites (e.g. la positivité du fibré canonique):
l’existence de désingularisations explicites de ces lieux et l’existence
de résolutions localement libres de leurs idéaux. Selon le temps
disponible, je vais présenter ces outils à  l’aide d’exemples concrets et
significatifs.
Il s’agit d’un projet en commun avec Sara Angela Filippini, Laurent
Manivel et Fabio Tanturri.

Let $s_{1}, dots, s_{k}$ be the elementary symmetric functions of the complex variables $x_{1}, dots, x_{k}$.
We say that $F in C[s_{1}, dots, s_{k}]$ is a {trace function} if their exists $f in C[z]$ such that
$F(s_{1}, dots, s_{k}] = sum_{j=1}^{k} f(x_{j})$ for all $s in C^{k}$.
We give an explicit finite family of second order differential operators in the Weyl algebra
$W_{2}:= C[s_{1}, dots, s_{k}]langle frac{partial}{partial s_{1}}, dots, frac{partial}{partial s_{k}}rangle $
which generates the left ideal in $W_{2}$ of partial differential operators killing all trace functions.
The proof uses a theorem for symmetric differential operators analogous
to the usual symmetric functions theorem and the corresponding map for symbols. As a corollary, we obtain for each integer $k$
a regular holonomic system which is a quotient of $W_{2}$ by an explicit left ideal whose local solutions are given by linear
combinations of the branches of the multivalued root of the universal equation of degree $k$:
$z^{k} + sum_{h=1}^{k} (-1)^{h}.s_{h}.z^{k-h} = 0$.

Soit Y une hypersurface lisse dans une variété hyper-kählérienne irréductible projective X de dimension 2n et $sigma$ une forme holomorphiquement symplectique sur X. Le feuilletage caractéristique F sur une hypersurface Y est le noyau de la forme symplectique $sigma$ restreinte à  Y. Supposons qu’il existe une fibration lagrangienne $pi:Xto mathbb{P}^n$ et $Y=pi^{-1}D$ pour une hypersurface $D$ dans $mathbb{P}^n$. Je montre que une feuille générale de $F$ est Zariski dense dans une fibre de $pi$.

In 2008 Campana conjectured that a smooth projective family of canonically polarized manifolds over a special manifold (being opposed to general type manifolds) is isotrivial, i.e. any two fibers are isomorphic. This conjecture was proven by Taji in 2016. In this talk I will present a hyperbolic version of Campana’s isotriviality conjecture: a smooth family of canonically polarized or polarized Calabi-Yau manifolds over a hyperbolically special complex manifold (i.e. its Kobayashi pseudo distance vanishes identically) is necessarily isotrivial. This result is indeed inspired by another conjecture of Campana: a complex manifold is special if and only if it is hyperbolically special, and thus provides some (indirect) evidence to this conjecture.

Étant donnée une famille de surfaces K3 polarisées au dessus d’une base de dimension 1, que peut-on dire du lieu o๠le nombre de Picard est strictement plus grand que le nombre de Picard générique ? Quand la base est une courbe complexe quasi-projective et que la famille est non-isotriviale, une première réponse à  cette question est donnée par Green-Oguiso qui montrent que cet ensemble, dit lieu de Noehter-Lefschetz, est dense pour la topologie analytique. Quand la base est le spectre d’anneau d’entiers d’un corps de nombres, la situation est moins connue. Dans cet exposé, je parlerai de résultats récents dans les deux directions: le premier affirme l’equidistribution du lieu de Noether-Lefschetz dans le cas complexe par rapport à  une mesure naturelle sur la base. Ensuite, je montrerai dans le contexte arithmétique que l’ensemble des places du corps de nombre en question o๠le nombre de Picard saute est infini. Ce dernier résultat est en commun avec Ananth Shankar, Arul Shankar et Yunqing Tang.

If L is a line bundle on a projective manifold, then the existence of effective bounds for its tensor powers to have global sections or become globally generated have been a central problem in algebaic geometry for the last 150 years. While the case of curves follows from Riemann-Roch, satsifactory answers for surfaces only arrived about thirty years ago. Research in the area has been mostly motivated by Fujita’s conjectures predicting the global generation and very ampleness of certain adjoint line bundles. In this talk we will consider the case of effective global generation for projective manifolds with numerically trivial canonical bundle. This is an account of joint work with Yusuf Mustopa.