Related papers: On the formality problem for manifolds with specia…
This volume contains the proceedings of MARS 2020, the fourth workshop on Models for Formal Analysis of Real Systems held as part of ETAPS 2020, the European Joint Conferences on Theory and Practice of Software. The MARS workshop brings…
This paper is a review of current developments in the study of moduli spaces of G2 manifolds. G2 manifolds are 7-dimensional manifolds with the exceptional holonomy group G2. Although they are odd-dimensional, in many ways they can be…
We show how certain diffeomorphism-invariant functionals on differential forms in dimensions 6,7 and 8 generate in a natural way special geometrical structures in these dimensions: metrics of holonomy G2 and Spin(7), metrics with weak…
We define a measure of spectral asymmetry for G_2 and Spin(7) manifolds. We show that this invariant can be computed in terms of characteristic classes and the covariant constant form defining the G_2 or Spin(7) structure.
This volume contains the papers presented at LN2FR 2022: The International Workshop on Methodologies for Translating Legal Norms into Formal Representations, held on December 14, 2022 in association with 35th International Conference on…
Two-dimensional sigma-models describing superstrings propagating on manifolds of special holonomy are characterized by symmetries related to covariantly constant forms that these manifolds hold, which are generally non-linear and close in a…
These notes, based on the mini-course given at the PQR2003 Euroschool held in Brussels in 2003, aim to review Kontsevich's formality theorem together with his formula for the star product on a given Poisson manifold. A brief introduction to…
In this paper, we mainly focus on formal deformation theory of module homomorphisms. We first introduce the cohomology of module homomorphisms and study formal one-parameter deformation. We obtain some properties about obstructions. Then we…
This is a paper in a series that studies smooth relative Lie algebra homologies and cohomologies based on the theory of formal manifolds and formal Lie groups. In three previous papers, we introduce the notion of formal manifolds and study…
Special generic maps are smooth maps at each singular point of which we can represent as $(x_1, \cdots, x_m) \mapsto (x_1,\cdots,x_{n-1},\sum_{k=n}^{m}{x_k}^2)$ for suitable coordinates. Morse functions with exactly two singular points on…
The purpose of this symposium, held in conjunction with MoDELS 2006, was to present the current state of research of the UML 2 Semantics Project. Equally important to receiving feedback from an audience of experts was the opportunity to…
These are expanded notes from a four lecture mini-course given by the author at the Spring School on Non-archimedean geometry and Eigenvarieties, held at the University of Heidelberg in March 2023. The course discusses coherent sheaves,…
We consider a classical N. Steenrod's problem on realization of homology classes by images of the fundamental classes of manifolds. It is well-known that each integral homology class can be realized with some multiplicity as an image of the…
We propose new $G_2$-holonomy manifolds, which geometrize the Gaiotto-Kim 4d N=1 duality domain walls of 5d N=1 theories. These domain walls interpolate between different extended Coulomb branch phases of a given 5d superconformal field…
We provide an introduction to the theory of calibrated submanifolds through the key examples related with special holonomy. We focus on calibrated geometry in Calabi-Yau, G$_2$ and Spin(7) manifolds, and describe fundamental results and…
In May 2015, a conference entitled "Groups, Geometry, and 3-manifolds" was held at the University of California, Berkeley. The organizers asked participants to suggest problems and open questions, related in some way to the subject of the…
We describe the constructible derived category of sheaves on the $n$-sphere, stratified in a point and its complement, as a dg module category of a formal dg algebra. We prove formality by exploring two different methods: As a combinatorial…
Starting from a 6-dimensional nilpotent Lie group N endowed with an invariant SU(3) structure, we construct a homogeneous conformally parallel G_2-metric on an associated solvmanifold. We classify all half-flat SU(3) structures that endow…
We determine torsion class constraints for the supergravity background produced by D6-branes wrapping special Lagrangian cycles in a Calabi-Yau 3-fold. We employ a recently introduced method which involves probing the putative background by…
The deformability condition for submanifolds of fixed degree immersed in a graded manifold can be expressed as a system of first order PDEs. In the particular but important case of ruled submanifolds, we introduce a natural choice of…