arXiv research

Study on geometrically formal metrics on complex manifolds.

We discuss the question of geometric formality for rationally elliptic manifolds of dimension $6$ and $7$. We prove that a geometrically formal six-dimensional biquotient with $b_{2}=3$ has the real cohomology of a symmetric space. We also show that a rationally hyperbolic six-dimensional manifold with $b_2\leq 2$ and …

In this paper, we study how the notions of geometric formality according to Kotschick and other geometric formalities adapted to the Hermitian setting evolve under the action of the Chern-Ricci flow on class VII surfaces, including Hopf and Inoue surfaces, and on Kodaira surfaces.

Paper formalizes multi-dimensional FSD using geometric methods.

A Riemannian manifold is called geometrically formal if the wedge product of harmonic forms is again harmonic, which implies in the compact case that the manifold is topologically formal in the sense of rational homotopy theory. A manifold admitting a Riemannian metric of positive sectional curvature is conjectured to …

A notion of geometric formality in the context of Bott-Chern and Aeppli cohomologies on a complex manifold is discussed. In particular, by using Aeppli-Bott-Chern-Massey triple products, it is proved that geometric Aeppli-Bott-Chern formality is not stable under small deformations of the complex structure.

The paper examines metrics on foliated manifolds that have special geometric properties.

We provide examples of homogeneous spaces which are neither symmetric spaces nor real cohomology spheres, yet have the property that every invariant metric is geometrically formal. We also extend the known obstructions to geometric formality to some new classes of homogeneous spaces and of biquotients, and to certain s…

A Riemannian manifold is called geometrically formal if the wedge product of any two harmonic forms is again harmonic. We classify geometrically formal compact 4-manifolds with nonnegative sectional curvature. If the sectional curvature is strictly positive, the manifold must be homeomorphic to S^4 or diffeomorphic to …

Study geometric formal metrics and Massey products on Kähler manifolds with torsion.

In this paper, we prove a functorial aspect of the formal geometric quantization procedure of non-compact spin-c manifolds.

We study a geometric notion related to formality for Bott-Chern cohomology on complex manifolds.

In this paper we pursue the study of formal geometric quantization of non-compact Hamiltonian manifolds. Our main result is the proof that two quantization process coincide. This fact was obtained by Ma and Zhang in the preprint arXiv:0812.3989 by completely different means.

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…

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…

Study of nonlinear PDEs using derived geometry and BV formalism.

Introduces a new geometric framework for non-perturbative BV-theory.

In the first part of this paper we study geometric formality for generalized flag manifolds, including full flag manifolds of exceptional Lie groups. In the second part we deal with the problem of the classification of invariant almost complex structures on generalized flag manifolds using topological methods.

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.

We extend the geometric Hamilton-Jacobi formalism for hamiltonian mechanics to higher order field theories with regular lagrangian density. We also investigate the dependence of the formalism on the lagrangian density in the class of those yelding the same Euler-Lagrange equations.

The paper classifies quantizable functions and explores symmetry in quantization methods.

Generalizes Tulczyjew triples for contact manifolds in Hamiltonian and Lagrangian formalisms.

We review the basic elements of the geometrical formalism for description of gauge fields and the theory of invariant connections, and their applications to the coset space dimensional reduction of Yang-Mills theories. We also discuss the problem of classification of principal fibre bundles, which is important for the …

New geometric framework for non-conservative field theories with time-dependent terms.

New findings on complex manifold properties under deformations.

Generalized Tanaka prolongation ensures convergence of formal embeddings of complex manifolds.

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…

Research on formality problem for special holonomy manifolds.

We explore homotopies in quantum field theory formalism.

Study harmonic representatives and cohomology of Oeljeklaus-Toma manifolds.

A geometric multisymplectic formulation of the classical BRST symmetry of constrained first-order classical field theories is described. To effect this we introduce graded analogues of the bundles and manifolds of the multisymplectic formulation of first-order field theories. The Lagrange-d'Alembert formalism is also d…

Transformed geometry into algebra to prove Pick's theorem efficiently.

New geometric structures that relate the lagrangian and hamiltonian formalisms defined upon a singular lagrangian are presented. Several vector fields are constructed in velocity space that give new and precise answers to several topics like the projectability of a vector field to a hamiltonian vector field, the comput…

Generalizes sigma model with Lie algebroid structure and geometric conditions.

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…

Paper applies Newman-Penrose formalism to ACM manifolds.

We formalize geometrically the idea that the (de Donder) Hamiltonian formulation of a higher derivative Lagrangian field theory can be constructed understanding the latter as a first derivative theory subjected to constraints.

The Rusk-Skinner formalism was developed in order to give a geometrical unified formalism for describing mechanical systems. It incorporates all the characteristics of Lagrangian and Hamiltonian descriptions of these systems (including dynamical equations and solutions, constraints, Legendre map, evolution operators, e…

Diffieties formalize geometrically the concept of differential equations. We introduce and study Hamilton-Jacobi diffieties. They are finite dimensional subdiffieties of a given diffiety and appear to play a special role in the field theoretic version of the geometric Hamilton-Jacobi theory.

Study on properties of special Kähler metrics and their interplay.

We construct a lagrangian geometric formulation for first-order field theories using the canonical structures of first-order jet bundles, which are taken as the phase spaces of the systems in consideration. First of all, we construct all the geometric structures associated with a first-order jet bundle and, using them,…

Newtonian, Lagrangian, and Hamiltonian dynamical systems are well formalized mathematically. They give rise to geometric structures describing motion of a point in smooth manifolds. Riemannian metric is a different geometric structure formalizing concepts of length and angle. The interplay of Riemannian metric and its …

Chiral differential operators (CDOs) are closely related to string geometry and the quantum theory of two-dimensional sigma models. This paper investigates two topics about CDOs on smooth manifolds. In the first half, we study how a Lie group action on a smooth manifold can be lifted to a `formal loop group action' on …

Generalizes embedding formalism for CFTs on curved backgrounds.

The abstract manifold cannot have uniformly quasiregular self-maps.

We analyze sub-Riemannian and lightlike metrics from the point of view of their rigidity as geometric structures. Following Cartan's and Gromov's formal definitions, they are never rigid, yet, in generic cases, they naturally give rise to rigid geometric structures!?

We study a notion of pre-quantization for $b$-symplectic manifolds. We use it to construct a formal geometric quantization of $b$-symplectic manifolds equipped with Hamiltonian torus actions with nonzero modular weight. We show that these quantizations are finite dimensional $T$-modules.

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 …