MFO26/MFO26.tex

422 lines
17 KiB
TeX
Raw Normal View History

2024-07-16 15:18:00 +02:00
\documentclass[a4paper, british]{scrartcl}
%
% Local font definitions -- need to come first
%
2024-07-19 14:38:48 +02:00
\usepackage{amsthm}
2024-07-16 15:18:00 +02:00
\usepackage{libertine}
\usepackage[libertine]{newtxmath}
\usepackage{xcolor}
\usepackage{longtable}
%\usepackage{ccfonts,color,comment}
\usepackage[T1]{fontenc}
\usepackage{hyperref}
\usepackage[utf8]{inputenc}
\newcounter{saveenum}
\newenvironment{itemize-compact}{\begin{itemize}\itemsep -2pt}{\end{itemize}}
\usepackage{colortbl}
\usepackage{pdflscape}
\sloppy
2024-07-19 14:38:48 +02:00
\newtheorem*{q}{Question}
2024-07-16 15:18:00 +02:00
% Colours for hyperlinks
\definecolor{lightgray}{RGB}{220,220,220}
\definecolor{gray}{RGB}{180,180,180}
\definecolor{linkred}{rgb}{0.7,0.2,0.2}
\definecolor{linkblue}{rgb}{0,0.2,0.6}
% Limit table of contents to section titles
\setcounter{tocdepth}{1}
\title{Application for a Workshop on Complex Analysis}
\author{Eleonora Di Nezza, Stefan Kebekus, Mihai Păun, Stefan Schreieder}
\makeatletter
\hypersetup{
2024-07-16 22:10:19 +02:00
pdfauthor={Eleonora Di Nezza, Stefan Kebekus, Mihai Păun, Stefan Schreieder},
2024-07-16 15:18:00 +02:00
pdftitle={\@title},
pdfstartview={Fit},
pdfpagelayout={TwoColumnRight},
pdfpagemode={UseOutlines},
colorlinks,
linkcolor=linkblue,
citecolor=linkred,
urlcolor=linkred}
\makeatother
\newcommand\young[1]{{\textbf{#1}}}
\begin{document}
\maketitle
2024-07-24 10:28:47 +02:00
\section{Workshop Title}
2024-07-25 10:27:56 +02:00
Komplexe Analysis --- Analytic and Algebraic Methods in the Theory of Kähler Spaces
\section{Proposed Organizers}
2024-07-24 10:28:47 +02:00
\begin{tabular}{ll}
\parbox[t]{7cm}{
Eleonora Di Nezza\\
IMJ-PRG, Sorbonne Université,\\
4 Place Jussieu\\
75005 Paris\\
France\\[2mm]
\href{mailto:eleonora.dinezza@imj-prg.fr}{eleonora.dinezza@imj-prg.fr}} &
\parbox[t]{7cm}{
Stefan Kebekus\\
Albert-Ludwigs-Universität Freiburg\\
Ernst-Zermelo-Straße 1\\
79104 Freiburg\\
Germany\\[2mm]
\href{mailto:stefan.kebekus@math.uni-freiburg.de}{stefan.kebekus@math.uni-freiburg.de}}
\\
\ \\
\ \\
\parbox[t]{6cm}{
Mihai Păun \\
Universität Bayreuth \\
Universitätsstraße 30\\
95447 Bayreuth\\
Germany\\[2mm]
\href{mailto:mihai.paun@uni-bayreuth.de}{mihai.paun@uni-bayreuth.de}}
&
\parbox[t]{6cm}{
Stefan Schreieder\\
Leibniz Universit\"at Hannover \\
Welfengarten 1\\
30167 Hannover\\
Germany\\[2mm]
\href{mailto:schreieder@math.uni-hannover.de}{schreieder@math.uni-hannover.de}}
\end{tabular}
2024-07-25 09:17:14 +02:00
\clearpage
2024-07-24 10:28:47 +02:00
\section{Abstract}
2024-07-25 09:17:14 +02:00
The proposed workshop will present recent advances in the analytic and algebraic
study of Kähler spaces. Key topics to be covered include:
\begin{itemize}
\item Canonical metrics and their limits,
\item Hyperbolicity properties of complex algebraic varieties,
\item The topology and Hodge theory of Kähler spaces.
\end{itemize}
2024-07-25 10:27:56 +02:00
While these topics are classical, various breakthroughs were achieved only
recently. Moreover, each is closely linked to various other branches of
mathematics. For example, geometric group theorists have recently applied
methods from complex geometry and Hodge theory to address long-standing open
problems in geometric group theory. Similarly, concepts used in the framework
of hyperbolicity questions, such as entire curves, jet differentials and
Nevanlinna theory have recently seen important applications in the study of
2024-07-25 09:17:14 +02:00
rational and integral points in number theory. To foster further
interdisciplinary collaboration, we will invite several experts from related
fields to participate in the workshop.
2024-07-24 10:28:47 +02:00
2024-07-25 10:27:56 +02:00
The workshop has a distinguished history, originating with Grauert and Remmert.
For the 2026 edition, it will feature 50\% new organizers and participants,
ensuring fresh perspectives and innovative contributions.
2024-07-24 10:28:47 +02:00
\section{Mathematics Subject Classification}
\subsubsection*{2020 Mathematics Subject Classification}
\begin{tabular}{llll}
Primary & 32 &--& Several complex variables and analytic spaces\\
Secondary & 14 &--& Algebraic geometry \\
& 53 &--& Differential geometry \\
& 58 &--& Global analysis, analysis on manifolds
\end{tabular}
2024-07-16 15:18:00 +02:00
\section{Description of the Workshop}
2024-07-24 13:01:54 +02:00
The proposed workshop presents recent results in Complex Geometry and surveys
relations to other fields. For 2026, we would like to emphasize the fields
2024-07-24 15:46:53 +02:00
described below. Each relates to complex analysis differently. Each has seen
substantial progress recently, producing results that will be of importance for
years to come.
2024-07-16 15:18:00 +02:00
2024-07-24 13:01:54 +02:00
We will account for new developments that arise between the time of submission
of this proposal and the time of the workshop. Following good Oberwolfach
tradition, we will keep the number of talks small to provide ample opportunity
for informal discussions.
2024-07-16 15:18:00 +02:00
2024-07-19 14:38:48 +02:00
\subsection{Canonical Metrics and Hyperbolicity}
\subsubsection{Kähler--Einstein Metrics with Conic Singularities and Their Limits}
In the proof of the Donaldson--Tian--Yau conjecture, which Chen--Donaldson--Sun
gave in a series of papers around 2015, Kähler--Einstein metrics with conic
2024-07-24 13:01:54 +02:00
singularities along a smooth divisor emerged to play a vital role. The work of
2024-07-19 14:38:48 +02:00
Brendle, Donaldson, Guenancia, Rubinstein, and many others provides a complete
package of results that generalize Yau's celebrated solution of the Calabi
2024-07-24 13:01:54 +02:00
conjecture to the conic setting. Since then, these metrics have become an
object of study in their own right. Today, many exciting recent developments in
2024-07-19 14:38:48 +02:00
this field gravitate around the following general question.
\begin{q}
2024-07-24 13:01:54 +02:00
Let $X$ be a projective manifold, and let $D \subsetneq X$ be a non-singular
divisor. Assume that for every sufficiently small angle $0 < \beta \ll 1$,
2024-07-19 14:38:48 +02:00
there exists a unique Kähler--Einstein metric $\omega_\beta$ with conic
singularities of angle $2\pi\beta$ along $D$. In other words, assume that
\[
Ricci_{\omega_\beta}= \lambda \cdot \omega_{\beta}+ (1-\beta)\cdot [D],
\quad
\text{where } \lambda \in \{ \pm 1\}.
\]
Is there a meaningful limit of $\omega_\beta$ as $\beta\to 0$, perhaps after
rescaling?
\end{q}
2024-07-24 13:01:54 +02:00
In \cite{zbMATH07615186} and the very recent preprint \cite{arXiv:2407.01150},
Biquard--Guenancia begin settling relevant (and technically challenging!)
particular cases of this question.
2024-07-19 14:38:48 +02:00
\begin{itemize}
\item If $(X,D)$ is the toroidal compactification of a ball quotient, then the
limit of the metric exists and equals the hyperbolic metric.
\item If $X$ is Fano and $D$ is a divisor whose class is proportional to the
anticanonical class, then the limit of the rescaled metric exists and equals
the Tian--Yau metric.
\end{itemize}
More work is ongoing, and we expect to report on substantial progress by the
time our workshop takes place.
\subsubsection{Kähler--Einstein Metrics on Singular Spaces}
Motivated by progress in the Minimal Model Program, there has been increasing
interest in Kähler--Einstein metrics on singular spaces. While one of the first
results in this direction dates back to the early 1970s when Kobayashi
constructed orbifold Kähler--Einstein metrics, a definitive existence result for
a relevant class of singularities was obtained by Eyssidieux--Guedj--Zeriahi
about 15 years ago in \cite{zbMATH05859416}, by combining Yau's technique with
Kolodziej's $\mathcal C^0$ estimates. Much more recently, Li--Tian--Wang
extended Chen-Donaldson-Sun's solution of the Yau--Tian--Donaldson conjecture to
general $\mathbb Q$-Fano varieties \cite{zbMATH07382001, zbMATH07597119}.
For most applications, it is essential to control the geometry of these metrics
near the singularities. Despite the problem's obvious importance, little is
known so far. The continuity of the metric's potential has been established
quite recently in the preprint \cite{arXiv:2401.03935} of Cho--Choi. Beyond
that, the main progress in this direction is due to Hein--Sun
\cite{zbMATH06827885}, who showed that near a large class of smoothable isolated
singularities that are locally isomorphic to a Calabi-Yau cone, the singular
Calabi-Yau metric must be asymptotic in a strong sense to the Calabi-Yau cone
metric. Using the bounded geometry method, Datar--Fu--Song recently showed an
analogous result in the case of isolated log canonical singularities
\cite{zbMATH07669617}. FuHeinJiang obtained precise asymptotics shortly
after, \cite{zbMATH07782497}. Essential contributions directly connected to
2024-07-24 13:01:54 +02:00
these topics are due to Chiu--Székelyhidi \cite{zbMATH07810677}, Delcroix,
Conlon--Hein \cite{zbMATH07858206}, C.~Li, Y.~Li, Tosatti and Zhang.
2024-07-16 15:18:00 +02:00
2024-07-24 13:01:54 +02:00
\subsubsection{Complex Hyperbolicity}
2024-07-16 15:18:00 +02:00
2024-07-16 16:48:07 +02:00
The 1979 Green-Griffiths-Lang conjecture asserts that every complex-projective
variety $X$ of general type contains a proper subvariety $Y \subsetneq X$, such
that every non-constant entire holomorphic curve $\mathbb C \to X$ takes its
values in $Y$. Its beginnings date back to 1926, when André Bloch showed that
the Zariski closure of entire holomorphic curve $\varphi: \mathbb C \to A$ to a
complex torus $A$ is the translate of a sub-torus. Today, the conjecture still
2024-07-24 13:01:54 +02:00
drives substantial research in complex geometry. Several authors, including
Brotbek, Brunebarbe, Deng, Cadorel, and Javanpeykar, opened a new research
direction with relation to arithmetic, by combining techniques from Hodge theory
with Nevanlinna theory and jet differentials, \cite{arXiv:2007.12957,
arXiv:2207.03283, arXiv:2305.09613}. Besides, we highlight two additional
advances that will be relevant for our workshop.
2024-07-16 15:18:00 +02:00
2024-07-24 13:01:54 +02:00
\paragraph{Hypersurfaces in Projective Space}
2024-07-16 16:48:07 +02:00
A remarkable paper of Bérczi and Kirwan, \cite{MR4688701} published in September
last year, establishes hyperbolicity and proves the Green-Griffiths-Lang for
generic hypersurfaces of the projective space, $X \subsetneq \mathbb P^n$,
provided that the degree of $X$ is larger than an explicit polynomial in $n$.
These are significant improvements of earlier degree bounds, which involve
non-polynomial bounds of order $(\sqrt{n} \log n)^n$ or worse. The proof builds
on a strategy of Diverio-Merker-Rousseau and combines non-reductive geometric
invariant theory with the ``Grassmannian techniques'' of Riedl-Yang. A very
recent preprint of Cadorel simplifies the proof Bérczi-Kirwan substantially, but
2024-07-24 10:28:47 +02:00
still needs to undergo a peer review, \cite{arXiv:2406.19003}.
2024-07-16 16:48:07 +02:00
2024-07-24 13:01:54 +02:00
\paragraph{Representations of Fundamental Groups}
2024-07-16 16:48:07 +02:00
2024-07-24 13:01:54 +02:00
Using recent advances in the theory of harmonic maps due to Daskalopoulos--Mese
\cite{arXiv:2112.13961}, Deng--Yamanoi were able to confirm the Green--Griffiths
conjecture for manifolds whose fundamental group admits a representation having
certain natural properties, in direct analogy to the case of general-type
curves.
2024-07-16 16:48:07 +02:00
2024-07-24 13:01:54 +02:00
\subsection{Topology and Hodge Theory of Kähler spaces}
2024-07-16 16:48:07 +02:00
2024-07-24 13:01:54 +02:00
Ever since its invention, Hodge theory has been one of the most powerful tools
in studying the geometry and topology of Kähler spaces. More recent
2024-07-24 15:46:53 +02:00
developments connect the theory to singularity theory and commutative algebra.
The following topics in this area will particularly interest our workshop.
2024-07-24 10:28:47 +02:00
\subsubsection{Singularities and Hodge Ideals}
2024-07-24 13:01:54 +02:00
In a series of influential papers starting with \cite{MR4081135}, Mustaţă and
Popa used Hodge modules to refine and generalize well-known invariants of
2024-07-24 10:28:47 +02:00
singularities, most notably the multiplier ideals used in analysis and algebraic
geometry. Schnell and Yangs recent preprint \cite{arXiv:2309.16763} suggested
an alternative approach toward similar ends. The first applications pertain to
Bernstein--Sato polynomials and their zero sets; these are essential invariants
of singularities originating from commutative algebra that are hard to compute.
Schnell and Yang apply their results to conjectures of
Debarre--Casalaina-Martin--Grushevsky concerning the Riemann--Schottky problem
and the singularities of Theta divisors of principally polarized Abelian
varieties.
Park and Popa recently applied perverse sheaves and D-module theory to improve
Goresky--MacPherson's classic Lefschetz theorems in the singular setting. A
program put forward by Friedman--Laza aims at understanding the Hodge structures
of degenerating Calabi--Yau varieties.
2024-07-24 13:01:54 +02:00
\subsubsection{Lagrangian Fibrations}
2024-07-24 10:28:47 +02:00
A Lagrangian fibration of a hyperkähler manifold $M$ is a proper holomorphic map
$f : M \to B$ whose generic fibers are Langrangian.
\paragraph{Compact Setting}
2024-07-24 13:01:54 +02:00
If $M$ is compact, a well-known conjecture in the field predicts that $B$ is
projective space. In the case where $B$ is smooth, Hwang established the
conjecture more than 16 years ago in a celebrated paper. There is new insight
today, as Bakker--Schnell recently found a purely Hodge theoretic proof of
Hwang's result in \cite{arXiv:2311.08977}. Hopefully, these methods will give
insight into the singular setting, which remains open to date.
2024-07-24 10:28:47 +02:00
\paragraph{Non-compact Setting}
2024-07-24 13:01:54 +02:00
Geometers study Lagrangian fibrations over non-compact bases in the framework of
the ``$P=W$ conjecture,'' which Maulik--Shen and Hausel--Mellit--Minets--Schiffmann
have recently proved \cite{arXiv:2209.02568, arXiv:2209.05429}. In the same
setting, ShenYin discovered a remarkable symmetry of certain pushforward
sheaves and conjectured that more general symmetries exist. Schnell has recently
established these conjectures in \cite{arXiv:2303.05364} and also proved two
conjectures of MaulikShenYin on the behavior of certain perverse sheaves near
singular fibers.
2024-07-24 10:28:47 +02:00
2024-07-24 13:01:54 +02:00
\subsubsection{Singer--Hopf Conjecture and Fundamental Groups of Kähler Manifolds}
2024-07-24 10:28:47 +02:00
The Singer-Hopf conjecture asserts that a closed aspherical manifold of real
dimension $2n$ has positive signed Euler characteristic, $(-1)^n \cdot
\chi(X)\geq 0$. This conjecture goes back to 1931 when Hopf formulated a related
version for Riemannian manifolds. Recently, ArapuraMaximWang suggested
Hodge-theoretic refinements of this conjecture for Kähler manifolds in
\cite{arXiv:2310.14131}. While the methods of \cite{arXiv:2310.14131} suffice to
show particular cases, the statement remains open in full generality.
In a related direction, Llosa-Isenrich--Py found an application of complex
geometry and Hodge theory to geometric group theory, settling an old question of
Brady on the finiteness properties of groups \cite{zbMATH07790946}. As a
byproduct, the authors also obtain a proof of the classical Singer conjecture in
an essential particular case in the realm of Kähler manifolds.
Our goal in this workshop is to bring together several experts in geometric
group theory with experts on Hodge theory and to explore further potential
applications of the methods from one field to problems in the other.
2024-07-24 13:53:09 +02:00
\section{Suggested and Excluded Dates}
We would prefer if our workshop took place in mid of September or early to mid
of April.
2024-07-24 10:28:47 +02:00
2024-07-26 12:28:39 +02:00
\section{Preliminary list of proposed participants}
Below is a preliminary list of 55 people (including organizers) we would like to
invite\footnote{We list colleagues as ``young'' if they have no tenured job, or
if their tenure is less than about three years old.}. The list meets or exceeds
the quota on diversity and regionality laid out in the ``Proposal Guidelines for
Workshops''.
{\small
\begin{longtable}[c]{lccccccc}
\rowcolor{lightgray} \textbf{Name} & \textbf{Location} & \textbf{German} & \textbf{Young} & \textbf{Woman} & \textbf{New to conference} \\
di Nezza, Eleonora&Sorbonne&&&1 \\
Paun, Mihai&Bayreuth&1&& \\
Kebekus, Stefan&Freiburg&1&& \\
Schreieder, Stefan&Hannover&1&& \\
&&&& \\
Arapura, Donu&Purdue&&&&1 \\
Bakker, Ben&Chicago&&&& \\
Bérczi, Gergely&Aarhus&&&&1 \\
Biquard, Olivier&Sorbonne&&&&1 \\
Boucksom, Sébastien&Paris&&&& \\
Braun, Lukas&Innsbruck&1&1&& \\
Brotbek, Damian&Nancy&&&&1 \\
Brunebarbe, Yohan&Bordeaux&&&& \\
Cadorel, Benoît&Nancy&&&& \\
Chiu, Shih-Kai&Vanderbilt&&1&&1 \\
Conlon, Ronan&Dallas&&&&1 \\
Delcroix, Thibault&Montpellier&&&& \\
Deng, Ya&Nancy&&&& \\
Dutta, Yajnaseni&Leiden&&&1&1 \\
Engel, Phil&Bonn&1&1&&1 \\
Eyssidieux, Phillippe&Grenoble&&&& \\
Floris, Enrica&Poitiers&&&1& \\
Friedman, Robert&Columbia&&&&1 \\
Gachet, Cécile&Bochum&1&1&1&1 \\
Graf, Patrick&Bayreuth&1&&& \\
Greb, Daniel&Essen&1&&& \\
Guedj, Vincent&Toulouse&&&& \\
Guenancia, Henri&Toulouse&&&& \\
Hausel, Tamas&IST Austria&&&&1 \\
Hein, Hans-Joachim&Münster&1&&& \\
Höring, Andreas&Nice&&&& \\
Hoskins, Victoria&Nijmegen&&&1&1 \\
Hwang, Jun-Muk&Daejon, Korea&&&& \\
Javanpeykar, Arian&Nijmegen&&&& \\
Kirwan, Frances&Oxford&&&1&1 \\
Klingler, Bruno&Berlin&1&&& \\
Li, Chi&Purdue&&&& \\
Llosa Isenrich, Claudio&Karlsruhe&1&&&1 \\
Mauri, Mirko&Paris&&&& \\
Maxim, Laurenţiu&Wisconsin, Madison&&&&1 \\
Mustață, Mircea&Ann Arbor&&&& \\
Park, Sung Gi&Harvard&&1&&1 \\
Peternell, Thomas&Bayreuth/Hannover&1&&& \\
Pieropan, Marta&Utrecht&&&1&1 \\
Popa, Mihnea&Harvard&&&& \\
Pozzetti, Beatrice&Heidelberg&1&&1&1 \\
Py, Pierre&Strasbourg&&&&1 \\
Rousseau, Erwan&Brest&&&& \\
Schnell, Christian&Stony Brook&&&& \\
Spelta, Irene&Berlin&1&&1&1 \\
Stenger, Isabel&Hannover&1&1&1&1 \\
Sun, Song&Berkely&&&&1 \\
Székelyhidi, Gabor&Northwestern&&&&1 \\
Wang, Botong&Wisconsin&&&&1 \\
Wang, Julie Tzu-Yueh&Taiwan&&&1&1 \\
Xie, Zhixin&Nancy&&1&1&1
\end{longtable}
} % \scriptsize
2024-07-16 16:48:07 +02:00
\bibstyle{alpha}
\bibliographystyle{alpha}
\bibliography{general}
2024-07-16 15:18:00 +02:00
\end{document}