-
Regularity of the solution to a real Monge--Ampère equation on the boundary of a simplex
Authors:
Rolf Andreasson,
Jakob Hultgren,
Mattias Jonsson,
Enrica Mazzon,
Nicholas McCleerey
Abstract:
Motivated by conjectures in Mirror Symmetry, we continue the study of the real Monge--Ampère operator on the boundary of a simplex. This can be formulated in terms of optimal transport, and we consider, more generally, the problem of optimal transport between symmetric probability measures on the boundary of a simplex and of the dual simplex. For suitably regular measures, we obtain regularity pro…
▽ More
Motivated by conjectures in Mirror Symmetry, we continue the study of the real Monge--Ampère operator on the boundary of a simplex. This can be formulated in terms of optimal transport, and we consider, more generally, the problem of optimal transport between symmetric probability measures on the boundary of a simplex and of the dual simplex. For suitably regular measures, we obtain regularity properties of the transport map, and of its convex potential. To do so, we exploit boundary regularity results for optimal transport maps by Caffarelli, together with the symmetries of the simplex.
△ Less
Submitted 3 March, 2024;
originally announced March 2024.
-
Terminalizations of quotients of compact hyperkähler manifolds by induced symplectic automorphisms
Authors:
Valeria Bertini,
Annalisa Grossi,
Mirko Mauri,
Enrica Mazzon
Abstract:
Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. We determine their second Betti number and the fundamental group of their…
▽ More
Terminalizations of symplectic quotients are sources of new deformation types of irreducible symplectic varieties. We classify all terminalizations of quotients of Hilbert schemes of K3 surfaces or of generalized Kummer varieties, by finite groups of symplectic automorphisms induced from the underlying K3 or abelian surface. We determine their second Betti number and the fundamental group of their regular locus. In the Kummer case, we prove that the terminalizations have quotient singularities, and determine the singularities of their universal quasi-étale cover. In particular, we obtain at least nine new deformation types of irreducible symplectic varieties of dimension four. Finally, we compare our deformation types with those in [FM21; Men22]. The smooth terminalizations are only three and of K$3^{[n]}$-type, and surprisingly they all appeared in different places in the literature [Fuj83; Kaw09; Flo22].
△ Less
Submitted 24 January, 2024;
originally announced January 2024.
-
SelfEEG: A Python library for Self-Supervised Learning in Electroencephalography
Authors:
Federico Del Pup,
Andrea Zanola,
Louis Fabrice Tshimanga,
Paolo Emilio Mazzon,
Manfredo Atzori
Abstract:
SelfEEG is an open-source Python library developed to assist researchers in conducting Self-Supervised Learning (SSL) experiments on electroencephalography (EEG) data. Its primary objective is to offer a user-friendly but highly customizable environment, enabling users to efficiently design and execute self-supervised learning tasks on EEG data.
SelfEEG covers all the stages of a typical SSL pip…
▽ More
SelfEEG is an open-source Python library developed to assist researchers in conducting Self-Supervised Learning (SSL) experiments on electroencephalography (EEG) data. Its primary objective is to offer a user-friendly but highly customizable environment, enabling users to efficiently design and execute self-supervised learning tasks on EEG data.
SelfEEG covers all the stages of a typical SSL pipeline, ranging from data import to model design and training. It includes modules specifically designed to: split data at various granularity levels (e.g., session-, subject-, or dataset-based splits); effectively manage data stored with different configurations (e.g., file extensions, data types) during mini-batch construction; provide a wide range of standard deep learning models, data augmentations and SSL baseline methods applied to EEG data.
Most of the functionalities offered by selfEEG can be executed both on GPUs and CPUs, expanding its usability beyond the self-supervised learning area. Additionally, these functionalities can be employed for the analysis of other biomedical signals often coupled with EEGs, such as electromyography or electrocardiography data.
These features make selfEEG a versatile deep learning tool for biomedical applications and a useful resource in SSL, one of the currently most active fields of Artificial Intelligence.
△ Less
Submitted 20 December, 2023;
originally announced January 2024.
-
The minimal projective bundle dimension and toric $2$-Fano manifolds
Authors:
Carolina Araujo,
Roya Beheshti,
Ana-Maria Castravet,
Kelly Jabbusch,
Svetlana Makarova,
Enrica Mazzon,
Nivedita Viswanathan,
Will Reynolds
Abstract:
Motivated by the problem of classifying toric $2$-Fano manifolds, we introduce a new invariant for smooth projective toric varieties, the minimal projective bundle dimension. This invariant $m(X)\in\{1, \dots,\dim(X)\}$ captures the minimal degree of a dominating family of rational curves on $X$ or, equivalently, the minimal length of a centrally symmetric primitive relation for the fan of $X$. We…
▽ More
Motivated by the problem of classifying toric $2$-Fano manifolds, we introduce a new invariant for smooth projective toric varieties, the minimal projective bundle dimension. This invariant $m(X)\in\{1, \dots,\dim(X)\}$ captures the minimal degree of a dominating family of rational curves on $X$ or, equivalently, the minimal length of a centrally symmetric primitive relation for the fan of $X$. We classify smooth projective toric varieties with $m(X)\geq \dim(X)-2$, and show that projective spaces are the only $2$-Fano manifolds among smooth projective toric varieties with $m(X)\in\{1, \dim(X)-2,\dim(X)-1,\dim(X)\}$.
△ Less
Submitted 22 March, 2023; v1 submitted 2 January, 2023;
originally announced January 2023.
-
Tropical and non-Archimedean Monge-Ampère equations for a class of Calabi-Yau hypersurfaces
Authors:
Jakob Hultgren,
Mattias Jonsson,
Enrica Mazzon,
Nicholas McCleerey
Abstract:
For a class of maximally degenerate families of Calabi-Yau hypersurfaces of complex projective space, we study associated non-Archimedean and tropical Monge-Ampère equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive consta…
▽ More
For a class of maximally degenerate families of Calabi-Yau hypersurfaces of complex projective space, we study associated non-Archimedean and tropical Monge-Ampère equations, taking place on the associated Berkovich space, and the essential skeleton therein, respectively. For a symmetric measure on the skeleton, we prove that the tropical equation admits a unique solution, up to an additive constant. Moreover, the solution to the non-Archimedean equation can be derived from the tropical solution, and is the restriction of a continuous semipositive toric metric on projective space. Together with the work of Yang Li, this implies the weak metric SYZ conjecture on the existence of special Lagrangian fibrations in our setting.
△ Less
Submitted 3 January, 2024; v1 submitted 29 August, 2022;
originally announced August 2022.
-
Toric geometry and integral affine structures in non-archimedean mirror symmetry
Authors:
Enrica Mazzon,
Léonard Pille-Schneider
Abstract:
We study integral dlt models of a proper C((t))-variety X along a toric stratum of the special fiber. We prove that the associated Berkovich retraction - from the non-archimedean analytification of X onto the dual complex of the model - is an affinoid torus fibration around the simplex corresponding to the toric stratum, which extends results from Nicaise-Xu-Yu. This allows us to construct new typ…
▽ More
We study integral dlt models of a proper C((t))-variety X along a toric stratum of the special fiber. We prove that the associated Berkovich retraction - from the non-archimedean analytification of X onto the dual complex of the model - is an affinoid torus fibration around the simplex corresponding to the toric stratum, which extends results from Nicaise-Xu-Yu. This allows us to construct new types of non-archimedean retractions for maximally degenerate families of quartic K3 surfaces and quintic 3-folds, by gluing several non-archimedean SYZ fibrations, each one toric along a codimension one stratum. We then show that the new retractions induce the same singular integral affine structures that arise on the dual complex of toric degenerations in the Gross-Siebert program, as well as on the Gromov-Hausdorff limit of the family.
△ Less
Submitted 10 January, 2023; v1 submitted 8 October, 2021;
originally announced October 2021.
-
Higher Fano Manifolds
Authors:
Carolina Araujo,
Roya Beheshti,
Ana-Maria Castravet,
Kelly Jabbusch,
Svetlana Makarova,
Enrica Mazzon,
Libby Taylor,
Nivedita Viswanathan
Abstract:
In this paper we address Fano manifolds with positive higher Chern characters. They are expected to enjoy stronger versions of several of the nice properties of Fano manifolds. For instance, they should be covered by higher dimensional rational varieties, and families of higher Fano manifolds over higher dimensional bases should admit meromorphic sections (modulo the Brauer obstruction). Aiming at…
▽ More
In this paper we address Fano manifolds with positive higher Chern characters. They are expected to enjoy stronger versions of several of the nice properties of Fano manifolds. For instance, they should be covered by higher dimensional rational varieties, and families of higher Fano manifolds over higher dimensional bases should admit meromorphic sections (modulo the Brauer obstruction). Aiming at finding new examples of higher Fano manifolds, we investigate positivity of higher Chern characters of rational homogeneous spaces. We determine which rational homogeneous spaces of Picard rank $1$ have positive second Chern character, and show that the only rational homogeneous spaces of Picard rank $1$ having positive second and third Chern characters are projective spaces and quadric hypersurfaces. We also classify Fano manifolds of large index having positive second and third Chern characters. We conclude by discussing conjectural characterizations of projective spaces and complete intersections in terms of these higher Fano conditions.
△ Less
Submitted 5 October, 2021;
originally announced October 2021.
-
On the geometric P=W conjecture
Authors:
Mirko Mauri,
Enrica Mazzon,
Matthew Stevenson
Abstract:
We formulate the geometric P=W conjecture for singular character varieties. We establish it for compact Riemann surfaces of genus one, and obtain partial results in arbitrary genus. To this end, we employ non-Archimedean, birational and degeneration techniques to study the topology of the dual boundary complex of certain character varieties. We also clarify the relation between the geometric and t…
▽ More
We formulate the geometric P=W conjecture for singular character varieties. We establish it for compact Riemann surfaces of genus one, and obtain partial results in arbitrary genus. To this end, we employ non-Archimedean, birational and degeneration techniques to study the topology of the dual boundary complex of certain character varieties. We also clarify the relation between the geometric and the cohomological P=W conjectures.
△ Less
Submitted 16 May, 2022; v1 submitted 28 October, 2018;
originally announced October 2018.
-
The Essential Skeleton of a product of degenerations
Authors:
Morgan Brown,
Enrica Mazzon
Abstract:
We study the problem of how the dual complex of the special fiber of an snc degeneration $\cX_R$ changes under products. We view the dual complex as a skeleton inside the Berkovich space associated to $X_K$. Using the Kato fan, we define a skeleton $\Sk(\cX_R)$ when the model $\cX_R$ is log-regular. We show that if $\cX_R$ and $\cY_R$ are log-regular, and at least one is semistable, then…
▽ More
We study the problem of how the dual complex of the special fiber of an snc degeneration $\cX_R$ changes under products. We view the dual complex as a skeleton inside the Berkovich space associated to $X_K$. Using the Kato fan, we define a skeleton $\Sk(\cX_R)$ when the model $\cX_R$ is log-regular. We show that if $\cX_R$ and $\cY_R$ are log-regular, and at least one is semistable, then $\Sk(\cX_R\times_R \cY_R) \simeq \Sk(\cX_R)\times \Sk(\cY_R)$.
The essential skeleton $\Sk(X_K)$, defined by Mustaţă and Nicaise, is a birational invariant of $X_K$ and is independent of the choice of $R$-model. We extend their definition to pairs, and show that if both $X_K$ and $Y_K$ admit semistable models, $\Sk(X_K\times_K Y_K) \simeq \Sk(X_K)\times \Sk(Y_K)$.
As an application, we compute the homeomorphism type of the dual complex of some degenerations of hyper-K{ä}hler varieties. We consider both the case of the Hilbert scheme of a semistable degeneration of K3 surfaces, and the generalized Kummer construction applied to a semistable degeneration of abelian surfaces. In both cases we find that the dual complex of the $2n$-dimensional degeneration is homeomorphic to either a point, $n$-simplex, or $\mathbb{C}\mathbb{P}^n$, depending on the type of the degeneration.
△ Less
Submitted 19 December, 2017;
originally announced December 2017.
