arXiv research

We define the notion of a formal connection for a smooth family of star products with fixed underlying symplectic structure. Such a formal connection allows one to relate star products at different points in the family. This generalizes the formal Hitchin connection introduced by the first author. We establish a necess…

We consider analytic curves $\nabla^t$ of symplectic connections of Ricci type on the torus $T^{2n}$ with $\nabla^0$ the standard connection. We show, by a recursion argument, that if $\nabla^t$ is a formal curve of such connections then there exists a formal curve of symplectomorphisms $ψ_t$ such that $ψ_t\cdot\nabla^…

Algebraic treatment of connection reduction over a special disc.

Deform moment map on symplectic connections using star product algebras.

Introduces formal frames for manifolds and their properties.

Defines formal exponentials for graded manifolds and linearizes QP-manifolds.

We establish that Hitchin's connection exist for any rigid holomorphic family of Kahler structures on any compact pre-quantizable symplectic manifold which satisfies certain simple topological constraints. Using Toeplitz operators we prove that Hitchin's connection induces a unique formal connection on smooth functions…

We construct examples of non-formal simply connected and compact oriented manifolds of any dimension bigger or equal to 7.

This paper explores how local behavior of meromorphic connections on the projective line determines the global connection.

Using Fedosov's approach we give a geometric construction of a formal symplectic groupoid over any Poisson manifold endowed with a torsion-free Poisson contravariant connection. In the case of Kaehler-Poisson manifolds this construction provides, in particular, the formal symplectic groupoids with separation of variabl…

The paper explores connections between braids, links, and cobordisms using algebraic methods.

In previous work, the authors have developed a geometric theory of fundamental strata to study connections on the projective line with irregular singularities of parahoric formal type. In this paper, the moduli space of connections that contain regular fundamental strata with fixed combinatorics at each singular point …

Using the concept of s-formality we are able to extend the bounds of a Theorem of Miller and show that a compact k-connected 4k+3- or 4k+4-manifold with b_{k+1}=1 is formal. We study k connected n-manifolds, n= 4k+3, 4k+4, with a hard Lefschetz-like property and prove that in this case if b_{k+1}=2, then the manifold i…

Quantizes functions on Kähler manifolds without formal deformation.

We prove that any simply connected compact 3-Sasakian manifold, of dimension seven, is formal if and only if its second Betti number is $b_2<2$. In the opposite, we show an example of a 7-dimensional Sasaki-Einstein manifold, with second Betti number $b_2\geq 2$, which is formal. Therefore, such an example does not adm…

Study non-formal pseudo-differential operators over formal ones.

This paper formalizes manifolds in positive characteristic varieties.

A new connection in Finsler geometry unifies various types of connections.

The paper describes projective structures with torsion using formal frames and Thomas-Whitehead connections.

Necessary and sufficient conditions for some deformation algebras to provide formal Frobenius structures are given. Also, examples of formal Frobenius structures with fundamental tensor that is not of the deformation type and examples of symmetric non-metric connections are presented.

In our previous work, we have defined a nonlinear connection of Finsler manifold which preserves the Finsler metric $L=L(x,dx)$. To make the method easier and more useful in applications, moving frame (vielbein) $θ^a={e^a}_μdx^μ$ formalism for the nonlinear connection is newly considered. We derive formulae to calculat…

A conjecture about rational curves' formal principle and convergence proved for Goursat type families.

Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.

We investigate some topological properties, in particular formality, of compact Sasakian manifolds. Answering some questions raised by Boyer and Galicki, we prove that all higher (than three) Massey products on any compact Sasakian manifold vanish. Hence, higher Massey products do obstruct Sasakian structures. Using th…

We prove that for a fibration of simply-connected spaces of finite type $F\hookrightarrow E\to B$ with $F$ being positively elliptic and $H^*(F,\qq)$ not possessing non-trivial derivations of negative degree, the base $B$ is formal if and only if the total space $E$ is formal. Moreover, in this case the fibration map i…

We classify simply connected rationally elliptic manifolds of dimension five and those of dimension six with small Betti numbers from the point of view of their rational cohomology structure. We also prove that a geometrically formal rationally elliptic six dimensional manifold, whose second Betti number is two, is rat…

The article confirms Joyce's examples of G2-holonomy are formal spaces.

Non-formal G2 manifold found with holonomy.

Spinor formalism is the formalism induced by solutions of the Clifford equation (the connecting operators). For the space-time manifold (n = 4), these operators, connecting the tangent and spinor bundle, are operators that are represented by the Dirac matrices in the special basis. Reduced connecting operators are repr…

Study formalities on closed surfaces using connections.

Geometric formalism views optimization algorithms as discrete connections, revealing their algebraic curvature and flatness properties.

We develop a frame and dyad gauge-independent formalism for the calculus of variations of functionals involving spinorial objects. As part of this formalism we define a modified variation operator which absorbs frame and spin dyad gauge terms. This formalism is applicable to both the standard spacetime (i.e. SL(2,C)) 2…

For a closed Kähler manifold with a Hamiltonian action of a connected compact Lie group by holomorphic isometries, we construct a formal Frobenius manifold structure on the equivariant cohomology by exploiting a natural DGBV algebra structure on the Cartan model.

The study shows strong formality in certain complex manifolds.

Develops Palatini formalism in generalized geometry for string theory.

We show that, for any $k\geq 1$, there exist non-formal compact orientable $(k-1)$-connected $n$-manifolds with $k$-th Betti number $b_k=b\geq 0$ if and only if $n\geq \max \{4k-1, 4k+3-2b\}$.

Given a compact, connected Lie group $K$, we use principal $K$-bundles to construct manifolds with prescribed finite-dimensional algebraic models. Conversely, let $M$ be a compact, connected, smooth manifold which supports an almost free $K$-action. Under a partial formality assumption on the orbit space and a regulari…

Introduces internal Lagrangians for differential equations and connects them to presymplectic structures.

We investigate harmonic forms of geometrically formal metrics, which are defined as those having the exterior product of any two harmonic forms still harmonic. We prove that a formal Sasakian metric can exist only on a real cohomology sphere and that holomorphic forms of a formal Kähler metric are parallel w.r.t. the L…

New hierarchies derived from KP hierarchy using non-formal operators and Yang-Mills action.

We prove the formality and the evenness of odd-degree Betti numbers for compact Kähler orbifolds, by adapting the classical proofs for Kähler manifolds. As a consequence, we obtain examples of symplectic orbifolds not admitting any Kähler orbifold structure. We also review the known examples of non-formal simply connec…

We show that the isotropy action of a homogeneous space $G/K$, where $G$ and $K$ are compact, connected Lie groups and $K$ is defined by an automorphism on $G$, is equivariantly formal and that $(G, K)$ is a Cartan pair.

We introduce a method to resolve a symplectic orbifold into a smooth symplectic manifold. Then we study how the formality and the Lefschetz property of the symplectic resolution are compared with that of the symplectic orbifold. We also study the formality of the symplectic blow-up of a symplectic orbifold along symple…

We characterise simply-connected biquotients which potentially admit metrics of holonomy G_2. We prove that there are at most three real homotopy types of rationally elliptic such manifolds---all of them being formal. In the course of this examination we classify rationally elliptic homotopy types and characterise 7-di…

The rational homotopy type of a differential graded algebra (DGA) can be represented by a family of tensors on its cohomology, which constitute an $A_\infty$-minimal model of this DGA. When only the cohomology is needed to determine the rational homotopy type, then the DGA is called formal. By a theorem of Miller, a co…

We construct an explicit bundle with flat connection on the configuration space of n points of a complex curve. This enables one to recover the `formality' isomorphism between the Lie algebra of the prounipotent completion of the pure braid group of n points on a surface and an explicitly presented Lie algebra t_{g,n} …

We define the Bianchi-Massey tensor of a topological space X to be a linear map from a subquotient of the fourth tensor power of H*(X). We then prove that if M is a closed (n-1)-connected manifold of dimension at most 5n-3 (and n > 1) then its rational homotopy type is determined by its cohomology algebra and Bianchi-M…

We review topological properties of Kähler and symplectic manifolds, and of their odd-dimensional counterparts, coKähler and cosymplectic manifolds. We focus on formality, Lefschetz property and parity of Betti numbers, also distinguishing the simply-connected case (in the Kähler/symplectic situation) and the $b_1=1$ c…