### ?

## Full symplectic packing for tori and hyperkahler manifolds

Cornell University
,
2014.

Entov M., Verbitsky M.

Let M be a closed symplectic manifold of volume V. We say that M admits a full symplectic packing by balls if any collection of symplectic balls of total volume less than V admits a symplectic embedding to M. In 1994 McDuff and Polterovich proved that symplectic packings of Kahler manifolds can be characterized in terms of Kahler cones of their blow-ups. When M is a Kahler manifold which is not a union of its proper subvarieties (such a manifold is called Campana simple) these Kahler cones can be described explicitly using the Demailly and Paun structure theorem. We prove that any Campana simple Kahler manifold, as well as any manifold which is a limit of Campana simple manifolds, admits a full symplectic packing by balls. This is used to show that all even-dimensional tori equipped with Kahler symplectic forms and all hyperkahler manifolds of maximal holonomy admit full symplectic packings by balls. This generalizes a previous result by Latschev-McDuff-Schlenk. We also consider symplectic packings by other shapes and show using Ratner's orbit closure theorem that any even-dimensional torus equipped with a Kahler form whose cohomology class is not proportional to a rational one admits a full symplectic packing by any number of equal polydisks (and, in particular, by any number of equal cubes).

Mayanskiy E., / Cornell University. Series math "arxiv.org". 2013.

We study the variety of Poisson structures and compute Poisson cohomology for two families of Fano threefolds - smooth cubic threefolds and the del Pezzo quintic threefold. Along the way we reobtain by a different method earlier results of Loray, Pereira and Touzet in the special case we are considering. ...

Added: December 27, 2013

Ivan Cheltsov, Martinez-Garcia J., / Cornell University. Series math "arxiv.org". 2014.

For every smooth del Pezzo surface $S$, smooth curve $C\in|-K_{S}|$ and $\beta\in(0,1]$, we compute the $\alpha$-invariant of Tian $\alpha(S,(1-\beta)C)$ and prove the existence of K\"ahler--Einstein metrics on $S$ with edge singularities along $C$ of angle $2\pi\beta$ for $\beta$ in certain interval. In particular we give lower bounds for the invariant $R(S,C)$, introduced by Donaldson as ...

Added: February 5, 2015

Kurnosov N., / Cornell University. Series math "arxiv.org". 2015.

We prove that a generic complex deformation of a generalized Kummer variety contains no complex analytic tori. ...

Added: October 16, 2015

Ivan Cheltsov, Rubinstein Y., / Cornell University. Series math "arxiv.org". 2013.

Motivated by the study of Fano type varieties we define a new class of log pairs that we call asymptotically log Fano varieties and strongly asymptotically log Fano varieties. We study their properties in dimension two under an additional assumption of log smoothness, and give a complete classification of two dimensional strongly asymptotically log smooth ...

Added: December 27, 2013

Abouzaid M., Auroux D., Efimov Alexander I. et al., Journal of the American Mathematical Society 2013 Vol. 26 No. 4 P. 1051-1083

We prove that the wrapped Fukaya category of a punctured sphere ($ S^{2}$ with an arbitrary number of points removed) is equivalent to the triangulated category of singularities of a mirror Landau-Ginzburg model, proving one side of the homological mirror symmetry conjecture in this case. By investigating fractional gradings on these categories, we conclude that ...

Added: October 31, 2013

Galkin S., Golyshev V., Iritani H., / Cornell University. Series math "arxiv.org". 2014. No. 1404.6407.

We propose Gamma Conjectures for Fano manifolds which can be thought of as a square root of the index theorem. Studying the exponential asymptotics of solutions to the quantum differential equation, we associate a principal asymptotic class A_F to a Fano manifold F. We say that F satisfies Gamma Conjecture I if A_F equals the ...

Added: May 4, 2014

Kamenova L., Lu S., Verbitsky M., / Cornell University. Series math "arxiv.org". 2013.

The Kobayashi pseudometric on a complex manifold $M$ is the maximal pseudometric such that any holomorphic map from the Poincare disk to $M$ is distance-decreasing. Kobayashi has conjectured that this pseudometric vanishes on Calabi-Yau manifolds. Using ergodicity of complex structures, we prove this result for any hyperkaehler manifold if it admits a deformation with a ...

Added: August 28, 2013

Verbitsky M., / Cornell University. Series math "arxiv.org". 2013.

Let M be a hyperkaehler manifold, and η a closed, positive (1,1)-form which is degenerate everywhere on M. We associate to η a family of complex structures on M, called a degenerate twistor family, and parametrized by a complex line. When η is a pullback of a Kaehler form under a Lagrangian fibration L, all ...

Added: December 27, 2013

Ekaterina Amerik, Misha Verbitsky, / Cornell University. Series math "arxiv.org". 2014.

Let $M$ be a simple holomorphically symplectic manifold, that is, a simply connected holomorphically symplectic manifold of Kahler type with $h^{2,0}=1$. We prove that the group of holomorphic automorphisms of $M$ acts on the set of faces of its Kahler cone with finitely many orbits. This is a version of the Morrison-Kawamata cone conjecture for ...

Added: September 5, 2014

Andrey Soldatenkov, Misha Verbitsky, / Cornell University. Series math "arxiv.org". 2014.

Let $(M,I,J,K)$ be a hyperkahler manifold, and $Z\subset (M,I)$ a complex subvariety in $(M,I)$. We say that $Z$ is trianalytic if it is complex analytic with respect to $J$ and $K$, and absolutely trianalytic if it is trianalytic with respect to any hyperk\"ahler triple of complex structures $(M,I,J',K')$ containing $I$. For a generic complex structure ...

Added: September 5, 2014

Galkin S., Golyshev V., Iritani H., Duke Mathematical Journal 2016 Vol. 165 No. 11 P. 2005-2077

We propose Gamma Conjectures for Fano manifolds which can be thought of as a square root of the index theorem. Studying the exponential asymptotics of solutions to the quantum differential equation, we associate a principal asymptotic class A_F to a Fano manifold F. We say that F satisfies Gamma Conjecture I if A_F equals the ...

Added: November 18, 2014

Verbitsky M., / Cornell University. Series math "arxiv.org". 2013.

Let M be a compact complex manifold. The corresponding Teichmuller space $\Teich$ is a space of all complex structures on M up to the action of the group of isotopies. The group Γ of connected components of the diffeomorphism group (known as the mapping class group) acts on $\Teich$ in a natural way. An ergodic ...

Added: December 27, 2013

Verbitsky M., Communications in Mathematical Physics 2013 Vol. 324 No. 1 P. 173-177

Let M be an almost complex manifold equipped with a Hermitian form such that its de Rham differential has Hodge type (3,0)+(0,3), for example a nearly Kahler manifold. We prove that any connected component of the moduli space of pseudoholomorphic curves on M is compact. This can be used to study pseudoholomorphic curves on a ...

Added: February 16, 2013

Kurnosov N., / Cornell University. Series math "arxiv.org". 2014.

Let M be a compact irreducible hyperkahler manifold, from Bogomolov inequality [V1] we obtain forbidden values of the second Betti number b_2 in arbitrary dimension. ...

Added: February 21, 2014

Verbitsky M., Grantcharov G., Lejmi M., / Cornell University. Series math "arxiv.org". 2014.

A hypercomplex manifold M is a manifold equipped with three complex structures satisfying quaternionic relations. Such a manifold admits a canonical torsion-free connection preserving the quaternion action, called Obata connection. A quaternionic Hermitian metric is a Riemannian metric on which is invariant with respect to unitary quaternions. Such a metric is called HKT if it ...

Added: September 19, 2014

Lev Soukhanov, / Cornell University. Series math "arxiv.org". 2014.

We consider the systems of diffusion-orthogonal polynomials, defined in the
work [1] of D. Bakry, S. Orevkov and M. Zani and (particularly) explain why
these systems with boundary of maximal possible degree should always come from
the group, generated by reflections. Our proof works for the dimensions $2$ (on
which this phenomena was discovered) and $3$, and fails in ...

Added: September 19, 2014

Galkin S., Shinder E., / Cornell University. Series math "arxiv.org". 2012. No. 1210.3339.

We construct quasi-phantom admissible subcategories in the derived category of coherent sheaves on the Beauville surface S. These quasi-phantoms subcategories appear as right orthogonals to subcategories generated by exceptional collections of maximal possible length 4 on S. We prove that there are exactly 6 exceptional collections consisting of line bundles (up to a twist) and these collections ...

Added: September 14, 2013

Kharlamov V., Viktor Kulikov, / Cornell University. Series math "arxiv.org". 2013.

In this article, we investigate some properties of cyclic coverings of complex surfaces of general type branched along smooth curves that are numerically equivalent to a multiple of the canonical class. The main results concern coverings of surfaces of general type with p_g=0 and Miyaoka--Yau surfaces; in particular, they provide new examples of multicomponent moduli ...

Added: December 27, 2013

Lee K., Shabalin T., / Cornell University. Series math "arxiv.org". 2014.

We construct exceptional collections of maximal length on four families of
surfaces of general type with $p_g=q=0$ which are isogenous to a product of
curves. From these constructions we obtain new examples of quasiphantom
categories as their orthogonal complements. ...

Added: October 17, 2014

Positselski L., / Cornell University. Series math "arxiv.org". 2014. No. 1209.2995.

Contraherent cosheaves are globalizations of cotorsion (or similar) modules over commutative rings obtained by gluing together over a scheme. The category of contraherent cosheaves over a scheme is a Quillen exact category with exact functors of infinite product. Over a quasi-compact semi-separated scheme or a Noetherian scheme of finite Krull dimension (in a different version ...

Added: February 6, 2013

Efimov A., / Cornell University. Series math "arxiv.org". 2013.

In this paper, we show that bounded derived categories of coherent sheaves (considered as DG categories) on separated schemes of finite type over a field of characteristic zero are homotopically finitely presented. This confirms a conjecture of Kontsevich. The proof uses categorical resolution of singularities of Kuznetsov and Lunts, which is based on the ordinary ...

Added: October 31, 2013

Gorchinskiy Sergey, Rosly Alexei, / Cornell University. Series math "arxiv.org". 2012.

We construct the so-called polar complex for an arbitrary locally free sheaf on a smooth variety over a field of characteristic zero. This complex is built from logarithmic forms on all irreducible subvarieties with values in a locally free sheaf. We prove that cohomology groups of the polar complex are canonically isomorphic to the cohomology ...

Added: October 31, 2013

Fedor Bogomolov, Yuri Prokhorov, / Cornell University. Series math "arxiv.org". 2013.

We discuss the problem of stable conjugacy of finite subgroups of Cremona
groups. We show that the group $H^1(G,Pic(X))$ is a stable birational invariant
and compute this group in some cases. ...

Added: November 21, 2014

Bezrukavnikov R., Finkelberg M. V., / Cornell University. Series math "arxiv.org". 2012. No. 1208.3696.

Mark Haiman has reduced Macdonald positivity conjecture to a statement about geometry of the Hilbert scheme of points on the plane, and formulated a generalization of the conjectures where the symmetric group is replaced by the wreath product $S_n\ltimes (Z/r Z)^n$. He has proven the original conjecture by establishing the geometric statement about the Hilbert ...

Added: February 6, 2013