Related papers: On the formality problem for manifolds with specia…

In this article we obtain a classification of special Lagrangian submanifolds in complex space forms subject to an $SO(2)\rtimes S_3$-symmetry on the second fundamental form. The algebraic structure of this form has been obtained by…

In this paper, we study formal mappings between smooth generic submanifolds in multidimensional complex space and establish results on finite determination, convergence and local biholomorphic and algebraic equivalence. Our finite…

This volume contains the joint proceedings of MARS 2018, the third workshop on Models for Formal Analysis of Real Systems, and VPT 2018, the sixth international workshop on Verification and Program Transformation, held together on April 20,…

In this paper, we first get a criterion formula for whether a differential form is holomorphic with respect to the generalized complex structure induced by $\epsilon$. Next, we get the local extensions of $\overline\partial$-closed forms on…

The exceptional holonomy groups are G2 in 7 dimensions, and Spin(7) in 8 dimensions. Riemannian manifolds with these holonomy groups are Ricci-flat. This is a survey paper on exceptional holonomy, in two parts. Part I introduces the…

These are notes for a mini-course given at the summer school and conference "The Six-Functor Formalism and Motivic Homotopy Theory" in Milan 9/2021. They provide an introduction to the formalism of Grothendieck's six operations in algebraic…

This is the first of a series of two technical papers devoted to the analysis of holonomy invariants in strict higher gauge theory with end applications in higher Chern--Simons theory. For a flat 2--connection, we define the 2-holonomy of…

Starting with an O(2)-principal fibration over a closed oriented surface F_g, g>=1, a 2-fold covering of the total space is said to be special when the monodromy sends the fiber SO(2) = S^1 to the nontrivial element of Z_2. Adapting D…

We investigate the local geometry of a pair of independent contact structures on 3-manifolds under maps that independently preserve each contact structure. We discover that such maps are homotheties on the contact 1-forms and we discover…

For each elliptic curve A over the rational numbers we construct a 2-periodic S^1-equivariant cohomology theory E whose cohomology ring is the sheaf cohomology of A; the homology of the sphere of the representation z^n is the cohomology of…

In this thesis we provide a uniform treatment of two non-adiabatic geometric phases for dynamical systems of mixed quantum states, namely those of Uhlmann and of Sj\"{o}qvist et al. We develop a holonomy theory for the latter which we also…

For a Lie group $G$ and a closed Lie subgroup $H\subset G$, it is well known that the coset space $G/H$ can be equipped with the structure of a manifold homogeneous under $G$ and that any $G$-homogeneous manifold is isomorphic to one of…

Geometrical aspects of quantum computing are reviewed elementarily for non-experts and/or graduate students who are interested in both Geometry and Quantum Computation. In the first half we show how to treat Grassmann manifolds which are…

In 2016, Viazovska famously solved the sphere packing problem in dimension $8$, using modular forms to construct a 'magic' function satisfying optimality conditions determined by Cohn and Elkies in 2003. In March 2024, Hariharan and…

We provide a unified geometric realization of the classical deformation complexes. We construct GL-equivariant bilinear incidence varieties whose diagonal slices recover the varieties of associative, commutative, Leibniz, and Lie algebra…

We study the intersection form $F_X$ on the second cohomology group $H^2(X, \mathbb{Z})$ of a compact K\"ahler manifold $X$ of dimension $n$. Although the structure of $F_X$ is relatively well understood in dimensions two and three, much…

The complement of a hyperplane arrangement in the complex projective space is known to be formal. We prove the global Milnor fiber associated to the homogeneous polynomial defining the arrangement may not even be 1-formal, by giving an…

This survey focuses on the computational complexity of some of the fundamental decision problems in 3-manifold theory. The article discusses the wide variety of tools that are used to tackle these problems, including normal and almost…

This note summarizes the talk by the author at the workshop "Geometry and Computer Science" held in Pescara in February 2017. We present how SageMath can help in research in Complex and Differential Geometry, with two simple applications,…

This is the expanded version of my talk at the workshop "Groups of Automorphisms in Birational and Affine Geometry", October 29--November 3, 2012, Levico Terme, Italy. The first section is focused on Jordan groups in abstract setting, the…