arXiv research

Foundations of derived geometry in smooth settings.

Study derived Lie ∞-groupoids and algebroids in higher differential geometry.

Extends algebraic geometry to include spaces with corners.

Introduces new connections in higher geometry.

Study moduli spaces of elliptic PDEs using derived $C^{\infty}$-geometry.

If $X$ is a smooth manifold then the $\mathbb R$-algebra $C^\infty(X)$ of smooth functions $c:X\to\mathbb R$ is a $C^\infty$-$ring$. That is, for each smooth function $f:{\mathbb R}^n\to\mathbb R$ there is an $n$-fold operation $Φ_f:C^\infty(X)^n\to C^\infty(X)$ acting by $Φ_f:(c_1,\ldots,c_n)\mapsto f(c_1,...,c_n)$, a…

New theory proves representability of PDE solutions without complex machinery.

The paper proves a generalized inverse function theorem for curved $L_\infty$ spaces.

This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of $L_\infty$-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce $L_\infty$-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are d…

Develops derived differential geometry theory.

We reinterpret the generalised Lie derivative of M-theory $E_6$ generalised geometry as hamiltonian flow on a graded symplectic supermanifold. The hamiltonian acts as the nilpotent derivative of the tensor hierarchy of exceptional field theory. This construction is an M-theory analogue of the Courant algebroid and reve…

This is a survey of the author's paper arXiv:1001.0023 on "Algebraic Geometry over C-infinity rings". If X is a smooth manifold then the R-algebra C^\infty(X) of smooth functions c : X --> R is a "C-infinity ring". That is, for each smooth function f : R^n --> R there is an n-fold operation Φ_f : C^\infty(X)^n --> C^\i…

Study vector fields and flows on singular spaces like submanifolds.

New bounds link Schwarzian derivative to hyperbolic geometry.

In this paper, we relate Lie algebroids to Costello's version of derived geometry. For instance, we show that each Lie algebroid $L$-and the natural generalization to dg Lie algebroids-provides an (essentially unique) $L_\infty$ space. More precisely, we construct a faithful functor from the category of Lie algebroids …

Algebraic geometry replaces manifolds in differential geometry.

Study bounds on curvature for special Finsler metrics.

The paper proposes a method to compute higher infinitesimals in numerical and symbolic analysis.

Embeds surfaces in hyperbolic and anti-de Sitter spaces.

This article reviews $\infty$-bundles and their applications in geometry and physics.

Geometrically deforms $L_\infty$ algebras to Lie algebroids, revealing new invariants.

Develops a real-analytic embedding for diffeomorphisms of the line, linking to Fisher-Rao geometry.

We introduce and study a construction of higher derived brackets generated by a (not necessarily inner) derivation of a Lie superalgebra. Higher derived brackets generated by an element of a Lie superalgebra were introduced in our earlier work. Examples of higher derived brackets naturally appear in geometry and mathem…

This Master Thesis is devoted to the study of $n$-plectic manifolds and the Strongly Homotopy Lie algebras, also called $L_{\infty}$-algebras, that can be associated to them. Since multisymplectic geometry and $L_{\infty}$-algebras are relevant in Theoretical Physics, and in particular in String Theory, we introduce th…

Let $M$, $N$ be finite-dimensional manifolds with $M$ compact. This paper looks at the Riemnannian geometry on the space $C^\infty(M,N)$ of smooth maps equipped with the $L^2$-Riemannian metric. This metric was used by Ebin and Marsden in the proof of the well-posedness of the incompressible Euler equation and is relat…

The Bianchi identities for bosonic fluxes in supergravity can receive higher derivative quantum and string corrections, the most well known being that of Heterotic theory $d H = \tfrac{1}{4}α'(\text{tr } F^2 - \text{tr } R^2)$. Less studied are the modifications at order $R^4$ that may arise, for example, in the Bianch…

We investigate a class of Leibniz algebroids which are invariant under diffeomorphisms and symmetries involving collections of closed forms. Under appropriate assumptions we arrive at a classification which in particular gives a construction starting from graded Lie algebras. In this case the Leibniz bracket is a deriv…

Study compares manifolds with boundary under weighted Ricci curvature bounds.

Consider a smooth manifold $M$ with a smooth cometric $g^{\ast}$ which changes the bilineal type by transverse way, on a hypersurface $D^{\infty}$. Suppose that the radical annihilator hyperplane is tangent to $D^{\infty}$. We examine the geometry of the ($g^{\ast}$-dual) covariant metric $g$ on $M-$ $D^{\infty}$, prov…

Develops an L^p theory for Dolbeault-Dirac operators on compact Kähler manifolds.

Proves a generalized vanishing theorem for quasi-smooth stacks, with applications in K-theory and birational geometry.

Given a multisymplectic manifold $(M,ω)$ and a Lie algebra $\frak{g}$ acting on it by infinitesimal symmetries, Fregier-Rogers-Zambon define a homotopy (co-)moment as an $L_{\infty}$-algebra-homomorphism from $\frak{g}$ to the observable algebra $L(M,ω)$ associated to $(M,ω)$, in analogy with and generalizing the notio…

Study reveals hidden accidental parabolics in complex hyperbolic geometry.

Defines and characterizes operators on Lie ∞-algebras with respect to actions.

Classical integral geometry takes place in Euclidean space, but one can attempt to imitate it in any other metric space. In particular, one can attempt this in R^n equipped with the metric derived from the p-norm. This has, in effect, been investigated intensively for 1<p<\infty, but not for p=1. We show that integral …

Derives $L^{\infty}$ estimate for Kähler-Ricci flows with weaker conditions.

The study of the $k$-th elementary symmetric function of the Weyl-Schouten curvature tensor of a Riemannian metric, the so called $σ_k$ curvature, has produced many fruitful results in conformal geometry in recent years, especially when the dimension of the underlying manifold is 3 or 4. In these studies, the deforming…

We prove long time existence and convergence results for the pluriclosed flow, which imply geometric and topological classification theorems for generalized Kähler structures. Our approach centers on the reduction of pluriclosed flow to a degenerate parabolic equation for a $(1,0)$-form, introduced in \cite{ST2}. We ob…

We consider the Cauchy problem for the massive Dirac equation in the non-extreme Kerr-Newman geometry outside the event horizon. We derive an integral representation for the Dirac propagator involving the solutions of the ODEs which arise in Chandrasekhar's separation of variables. It is proved that for initial data in…

Develops second order infinitesimal structures on Teichmüller space.

Solves differentiation for Lie ∞-groups using formal groupoids.

The relations between the infinite dimensional geometry of $q_R$-conformal symmetries at $q_R\to\infty$, Berezin quantization of the Lobachevskii plane and Karasev-Maslov asymptotic quantization are explicated. Some aspects of the ``approximate'' representation theory are discussed.

New $L_\infty$ algebra governs deformations of Dirac-Jacobi structures.

We extend the category of (super)manifolds and their smooth mappings by introducing a notion of microformal or "thick" morphisms. They are formal canonical relations of a special form, constructed with the help of formal power expansions in cotangent directions. The result is a formal category so that its composition l…

The complexified ${\Bbb Z}/2$-graded $C^\infty$-Algebraic Geometry aspect of a superspace(-time) $\widehat{X}$ in Sec.\,1 of D(14.1) (arXiv:1808.05011 [math.DG]) together with the Spin-Statistics Theorem in Quantum Field Theory, which requires fermionic components of a superfield be anticommuting, lead us to the notion…

We investigate Nijenhuis deformations of $L_\infty$-algebras, a notion that unifies several Nijenhuis deformations, namely those of Lie algebras, Lie algebroids, Poisson structures and Courant structures. Additional examples, linked to Lie $n$-algebras and $n$-plectic manifolds, are included.

New metric derived for robust optimization in stochastic control problems.

Homotopy equivalence between formalities with different covariant derivatives.