Deform quantization recovers scalar curvature in complex structures.
problem Recovering scalar curvature in complex structures.
method Formal moment map construction on almost complex structures.
result Formal moment map deforms scalar curvature moment map in integrable cases.
Paper constructs solutions for a class of overdetermined systems.
problem Constructing solutions for a class of overdetermined systems.
method Resolution of the solution sheaf, sufficient condition for global exactness, gluing techniques, local solvability of the Treves complex.
result Obtained a sufficient condition for global exactness, leading to gluing techniques for local solutions.
Holomorphic bundles on complex manifolds with boundary are studied, extending results from Donaldson's work.
problem Extending holomorphic structures to complex manifolds with boundary.
method Analyzing formally integrable almost complex structures and their extensions to holomorphic structures.
result Holomorphic structures can be extended to a neighborhood of a strictly pseudoconvex boundary.
The paper extends Newlander-Nirenberg theorem to domains with C2 boundary.
problem Extending Newlander-Nirenberg theorem to domains with C2 boundary. method Analyzing formally integrable complex structures on domains with C2 boundary. result Existence of global holomorphic coordinate systems on the closure of a bounded strictly pseudoconvex domain.
New curvature equations obstruct integrability of complex structures.
problem Understanding curvature obstructions to integrability of complex structures.
method Direct approach using Nijenhuis tensor derivatives and curvature scalars.
result Certain complex structures cannot coexist with non-flat constant curvature metrics.
The paper proves a generalization of complex structures on knot spaces.
problem Formally integrable complex structures on higher-dimensional knot spaces.
method Analyzing spaces of immersions and quotient spaces with parallel vector cross products.
result The quotient space Bi,f+(S,M) is a formally Kähler manifold under certain conditions. In this paper we present some approaches to classification of almost complex structures and to construction of local or formal pseudoholomorphic mapping from one almost complex manifold to another. The corresponding criteria are given in terms of Nijenhuis tensors and their generalizations. We deal with the prolongatio…
New configuration space integrals show nontrivial formal smooth structures on 4-manifold bundles.
problem Disproving the 4-dimensional Smale conjecture by constructing nontrivial bundles.
method Defining new configuration space integrals relying on formal smooth structures.
result Discovering a generalized Miller-Morita-Mumford class obstructing formal smooth structures.
In this paper, we study the formal solution space of a nonlinear PDE in a fiber bundle. To this end, we start with foundational material and introduce the notion of a pfd structure to build up a new concept of profinite dimensional manifolds. We show that the infinite jet space of the fiber bundle is a profinite dimens…
Study of deformed Bott-Chern cohomology on complex manifolds.
problem Deformation theory and cohomology of complex manifolds.
method Introduce a double complex structure and study its Bott-Chern cohomology.
result Established a deformation theory for Bott-Chern cohomology and computed deformed cohomology for specific manifolds.
Solves division problem for L. Hörmander's systems.
problem Division problem for L. Hörmander's overdetermined systems.
method Formulates and proves divisibility criterion, coherence theorem.
result Establishes effective divisibility criterion and extends coherence theorem.
Study of complex structures on Courant algebroids, linking to Poisson structures.
problem Characterizing generalised complex structures on transitive Courant algebroids.
method Analyzing components and integrability equations in a specific splitting.
result Generalised complex structures imply non-degenerate Poisson structures on the base manifold.
The paper constructs Levi flat structures using structure sheaves and differential complexes.
problem Global solvability and regularity of Levi flat structures.
method Employing formal integrability and differential complexes, the paper constructs a resolution for the structure sheaf.
result Global exactness and Sobolev regularity of the differential complex for Levi flat structures.
We use rational formality of configuration spaces and the bar construction to study the cohomology of the space of braids in dimension four or greater. We provide a diagram complex for braids and a quasi-isomorphism to the de Rham cochains on the space of braids. The quasi-isomorphism is given by a configuration space …
For several classes of second order dispersionless PDEs, we show that the symbols of their formal linearizations define conformal structures which must be Einstein-Weyl in 3D (or self-dual in 4D) if and only if the PDE is integrable by the method of hydrodynamic reductions. This demonstrates that the integrability of t…
We prove that no nilpotent Lie algebra admits an invariant generalized Kaehler structure. This is done by showing that a certain differential graded algebra associated to a generalized complex manifold is formal in the generalized Kaehler case, while it is never formal for a generalized complex structure on a nilpotent…
Formality of Dolbeault DGAs on complex nilmanifolds restricted to tori.
problem Determining when Dolbeault DGAs on complex nilmanifolds are formal.
method Using quasi-isomorphisms and cohomology connections, proving formality conditions.
result Formality of Dolbeault DGAs on complex nilmanifolds is restricted to tori.
New findings on complex manifold properties under deformations.
problem Properties of Dolbeault and Bott-Chern formalities are not preserved under holomorphic deformations.
method Construction of a complex manifold to demonstrate non-preservation of properties.
result Existence of a manifold satisfying ∂∂-lemma but with non-vanishing Aeppli-Bott-Chern-Massey product. This paper formalizes manifolds in positive characteristic varieties.
problem Establishing l-adic formal manifold structures on positive characteristic varieties.
method Develops and proves the existence of l-adic formal manifold structures and abelianized Galois symmetries.
result Proves l-adic homotopic equivalence and l-local lifting for simply-connected varieties.
Unified CR-twistor spaces for G2 and Spin(7) structures.
problem Formally integrable CR-structures on manifolds with G2 or Spin(7) structures. method Generalized LeBrun's, Rossi's, and Verbitsky's construction to CR-twistor spaces for manifolds with VCP structures.
result Torsion tensor properties on CR-twistor spaces for G2 and Spin(7) structures. Paper proves a quantitative estimate for transforming almost complex structures into standard ones.
problem Transforming almost complex structures into standard ones on bounded domains.
method Proves existence of global diffeomorphisms under Hölder-Zygmund conditions.
result Existence of a global diffeomorphism in a specified Hölder-Zygmund class.
Study h-principles for non-integrable distributions on manifolds.
problem Existence and classification of maximally non-integrable distributions of derived length one.
method Introduced formal structures and used h-principles to discuss existence and classification.
result Discussed existence and classification of maximally non-integrable distributions of derived length one.
Develops a new framework for integrating satellite allocations in small portfolios.
problem Feasibility constraints in small portfolios, not return predictability, are the primary concerns.
method A four-layer feasibility framework: physical, economic, structural, and epistemic.
result Closed-form feasibility bounds on satellite size, turnover, and breadth without return forecasts.
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.
Study geometric formal metrics and Massey products on Kähler manifolds with torsion.
problem Interplay between geometrically-Bott-Chern-formal metrics and SKT metrics on Kähler manifolds.
method Analyzing nilmanifolds and Kähler solvmanifolds, proving conditions for existence of SKT metrics and Massey products.
result Any Kähler solvmanifold is geometrically formal, and explicit constructions of lattices with non-vanishing Massey products.
Formalizes quantum path integrals using groupoids and differential forms.
problem Formalizing Feynman's path integral in quantum mechanics.
method Shifted focus to pair groupoid, using van Est map and piecewise linear structures.
result Developed a coordinate-free approach to integration of differential forms.
Paper formalizes multi-dimensional FSD using geometric methods.
problem Complex measure theory and calculus barriers to formalization in proof assistants.
method Geometric framework for first-order stochastic dominance in N dimensions.
result Geometric approach bypasses complex integration theory for direct comparison of survival probabilities.
We prove that the mirror map is trivial for the canonical formal families of Calabi-Yau varieties constructed by Gross and the second author. In other words, the natural coordinate in a canonical Calabi-Yau family is a canonical coordinate in the sense of Hodge theory. This implies that the higher weight periods direct…
We study the boundary asymptotics of ACH metrics which are formally Einstein. In terms of the partially integrable almost CR structure induced on the boundary at infinity, existence and uniqueness of such formal asymptotic expansions are studied. It is shown that there always exist formal solutions to the Einstein equa…
Some years ago Moshé Flato pointed up that it could be interesting to develop the Nambu's idea to generalize Hamiltonian mechanic. An interesting new formalism in that direction was proposed by T. Takhtajan. His theory gave new perspectives concerning deformation quantization, and many authors have developed its mathem…
This article surveys the use of configuration space integrals in the study of the topology of knot and link spaces. The main focus is the exposition of how these integrals produce finite type invariants of classical knots and links. More generally, we also explain the construction of a chain map, given by configuration…
Given a finite collection of C1 complex vector fields on a C2 manifold M such that they and their complex conjugates span the complexified tangent space at every point, the classical Newlander-Nirenberg theorem gives conditions on the vector fields so that there is a complex structure on M with respect to whi…
Study differential and integral calculus on noncommutative C*-algebras.
problem Develop calculus on noncommutative spaces.
method Formal smooth structure on nonpure states of C*-algebras.
result Prove Stokes' theorem in both commutative and noncommutative settings.
We give an explicit formula, as a formal differential operator, for quantum microformal morphisms of (super)manifolds that we introduced earlier. Such quantum microformal morphisms are essentially oscillatory integral operators or Fourier integral operators of a particular kind. They act on oscillatory wave functions, …
Resurgence of Joyce structures gauged to a standard form using gauge transformations.
problem Resurgence of Joyce structures in complex hyperkähler geometry.
method Gauge transformations and Borel transforms to show resurgent behavior.
result Established the resurgent behavior of infinitesimal gauge transformations for Joyce structures.
The Global Newlander-Nirenberg theorem is proven for domains with finite smooth boundary in complex manifolds.
problem Proving the Newlander-Nirenberg theorem for domains with finite smooth boundary in complex manifolds.
method Constructing a homotopy formula for Θ-valued (0,1)-forms and applying a Nash-Moser iteration scheme.
result A diffeomorphism exists transforming an almost complex structure into the complex structure on a domain.
Abstract study of HKT manifolds, proving Hodge theory and formality properties.
problem Analyzing Hodge theory and formality in HKT manifolds.
method Study of Dolbeault operators and Laplacians, proving relations and properties.
result Formality of differential graded algebra for certain HKT manifolds.
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.
A general theory of quantum spinor structures on quantum spaces is presented, within the conceptual framework of the formalism of quantum principal bundles. Quantum analogs of all basic objects of the classical theory are constructed and analyzed. This includes Laplace and Dirac operators, quantum versions of Clifford …
Study integrability of generalized almost complex structures on S^6.
problem Integrability of generalized almost complex structures on the 6-dimensional sphere.
method Local coordinate criteria for integrability with respect to brackets and Courant integrability for strong structures.
result No nontrivial spherical combinations of the canonical structures are integrable with respect to the Levi-Civita connection.
We describe some recent development on the theory of formal Frobenius manifolds via a construction from differential Gerstenhaber-Batalin-Vilkovisk (DGBV) algebras and formulate a version of mirror symmetry conjecture: the extended deformation problems of the complex structure and the Poisson structure are described by…
A complex structure on a subset of S^6 cannot be extended to a global integrable structure.
problem Non-integrability of complex structures on subsets of S^6.
method Proving the non-integrability of extensions of a specific complex structure on a subset of S^6.
result It is impossible to deform a non-integrable structure to an integrable one on S^6 while fixing it on a subset.
DisCoveR efficiently discovers declarative process models from event logs.
problem Mining declarative process models from event logs efficiently and accurately.
method DisCoveR precisely formalizes an algorithm, uses a bit vector implementation, and rigorously evaluates performance.
result DisCoveR outperforms other declarative miners in accuracy and runtime.
The paper extends local h-principles to complex structures on Stein manifolds.
problem Existence of local h-principles for complex structures on Stein manifolds.
method Introducing realifications of partial holomorphic relations and proving h-principles for them.
result Local h-principles can be extended to complex structures on Stein manifolds.
We address the integrability conditions of the inverse problem of the calculus of variations for time-dependent SODE using the Spencer version of the Cartan-Kähler theorem. We consider a linear partial differential operator P given by the two Helmholtz conditions expressed in terms of semi-basic 1-forms and study its…
Study integrability of specific geometric structures on odd Courant algebroids.
problem Characterize integrability of B_n-generalized structures on odd exact Courant algebroids.
method Characterize integrability in terms of existence of adapted generalized connections.
result Describe affine spaces of adapted generalized connections for integrable structures.
We survey recent results in hermitian integral geometry, i.e. integral geometry on complex vector spaces and complex space forms. We study valuations and curvature measures on complex space forms and describe how the global and local kinematic formulas on such spaces were recently obtained. While the local and global k…
The paper explores connections between dg manifolds and homotopy Lie algebras.
problem Understanding the relationship between dg manifolds and homotopy Lie algebras.
method Study of formal exponential maps, Atiyah classes, and Kapranov L-infinity algebras.
result Existence of formal exponential maps linked to vanishing of Atiyah classes.