Defines and characterizes operators on Lie ∞-algebras with respect to actions.
problem Characterizing operators on Lie ∞-algebras with respect to actions.
method Using higher derived brackets construction and Maurer-Cartan elements.
result Determines the Lie ∞-algebra controlling the deformation of operators.
We establish higher-order weighted Sobolev and Holder regularity for solutions to variational equations defined by the elliptic Heston operator, a linear second-order degenerate-elliptic operator arising in mathematical finance. Furthermore, given C∞-smooth data, we prove C∞-regularity of solutions up t…
The paper proves conditions for the existence of holomorphic discs in Kähler manifolds.
problem Existence of holomorphic discs for higher A∞ operations. method Showing existence of minimal discs with specific properties implies existence of holomorphic discs.
result Minimal discs in Kähler manifolds with certain boundary conditions are holomorphic.
This paper upgrades Khovanov homology to an L-infinity module structure.
problem Exploring Khovanov homology with L-infinity algebra structures.
method Developed an L-infinity algebra structure on sl2(∧) and showed annular Khovanov homology is an L-infinity module over it.
result The annular Khovanov homology of a link L is an L-infinity module over sl2(∧) up to quasi-isomorphism.
Quantizes the relationship between Koszul and Schouten brackets in Poisson geometry.
problem Quantizing the relationship between Koszul and Schouten brackets in Poisson geometry.
method Employing Voronov's thick morphism technique and quantum Mackenzie-Xu transformations in the framework of L∞-algebroids. result Quantizes the L∞-morphism into a single linear operator, a formal Fourier integral operator. Introduces a new operator generating higher Koszul brackets on differential forms.
problem Developing a new operator for higher Koszul brackets on differential forms.
method Introducing a formal ℏ-differential operator Δ generating higher Koszul brackets on differential forms. result Established properties of the introduced BV type operator and its inclusion in a one-parameter family.
This paper reinterprets Khovanov-Sano symmetries using BV formalism.
problem Understanding symmetries in equivariant Khovanov homology.
method Identifying Shumakovitch operator as a BV Laplacian and proving L∞-algebra structure. result Construction of an intrinsic L∞-algebra on the Khovanov-Sano complex. We define the equivariant family index of a family of elliptic operators invariant with respect to the free action of a bundle $\GR$ of Lie groups. If the fibers of $\GR \to B$ are simply-connected solvable, we then compute the Chern character of the (equivariant family) index, the result being given by an Atiyah-Singe…
Action of loop groups on Cuntz algebras constructs geometric twists.
problem Defining actions of loop groups on Cuntz algebras.
method Using representations of Cuntz algebras and analytic loop groups to construct actions and bundles.
result Explicit construction of geometric twists in higher K-theory. This article reviews ∞-bundles and their applications in geometry and physics.
problem Understanding higher bundles in geometry and physics.
method An ∞-categorical formulation of higher bundles. result Identification of higher bundles in various contexts.
Study Morse theory on loop spaces and Hecke algebras.
problem Morse theory applied to loop spaces and Hecke algebras.
method Defined a Morse-type A∞-algebra and showed equivalence to Heegaard Floer algebras. result Equivalence of based multiloop A∞-algebra to wrapped higher-dimensional Heegaard Floer algebras. The paper quantizes Kähler manifolds using differential operators.
problem Quantizing classical observables on Kähler manifolds as differential operators.
method Constructing higher-order differential operators using Fedosov-type constructions and proving asymptotic equivalence to Berezin-Toeplitz operators.
result Holomorphic differential operators are precisely those that arise as Berezin-Toeplitz operators for quantizable functions.
Higher nilpotent analogues of the A−∞-structure are explicitly defined on arbitrary simplicial complexes, generalizing explicit construction of /hep-th/0704.2609. These structures are associated with the higher nilpotent differential dn, satisfying dnn=0, which is naturally defined on triangulated manifo…
Wedge product on deRham complex of a Riemannian manifold M can be pulled back to H∗(M) via explicit homotopy, constructed using Green's operator, to give higher product structures. We prove Fukaya's conjecture which suggests that Witten deformation of these higher product structures have semiclassical limits as op…
Introduces new connections in higher geometry.
problem Defining connections in higher geometry.
method Develops formal differentiation and integration of maps to derived stacks.
result Establishes new L∞-algebras of higher symmetries. Study derived Lie ∞-groupoids and algebroids in higher differential geometry.
problem Addressing problems in higher differential geometry using derived Lie ∞-groupoids and algebroids.
method Construct CFO structures, study L∞-algebroids, homotopical algebras, and homotopy-coherent representations.
result Construct Atiyah classes for L∞-algebroids pairs and study singular foliations and their holonomies.
The paper studies higher geometric structures and connections on manifolds, constructing moduli stacks and proving equivalence criteria.
problem Classifying and understanding higher geometric structures and connections on manifolds.
method Constructing smooth higher symmetry groups, moduli stacks, and higher gauge actions; proving equivalence criteria.
result Construction and classification of moduli stacks of higher geometric data and connections.
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…
Constructs combinatorial 2D topological field theories from cyclic A-infinity algebras.
problem Developing a combinatorial framework for 2D topological field theories.
method Using triangulations and polygonal decompositions, constructing cochains on a CW complex.
result Existence of combinatorial 2D topological field theories based on cyclic A-infinity algebras.
This paper upgrades instanton TQFT to infinity-categories for better simplification.
problem Developing a more structured approach to instanton TQFT.
method Constructing an infinity-cobordism category and a derived category for instantons.
result A simplified construction of the hypercube of chain complexes for link spectral sequences.
We solve higher-order morphisms for twisted Courant algebras.
problem Construct canonical L∞-morphisms for higher Courant algebroids. method Develop a general framework for arbitrary r. result Affirmative answer to Zambon's question for higher degrees.
Using the technique of higher derived brackets developed by Voronov, we construct a homotopy Loday algebra in the sense of Ammar and Poncin associated to any symplectic 2-manifold. The algebra we obtain has a particularly nice structure, in that it accommodates the Dorfman bracket of a Courant algebroid as the binary…
The infinite matrix `Schwartz' group G−∞ is a classifying group for odd K-theory and carries Chern classes in each odd dimension, generating the cohomology. These classes are closely related to the Fredholm determinant on G−∞. We show that while the higher (even, Schwartz) loop groups of $G^{-\infty…
The paper extends Riemann-Hilbert correspondence to foliations.
problem Understanding representations of Lie algebroids and groupoids in foliated settings.
method Establishing an A∞ de Rham theorem and constructing an integration functor. result An equivalence between ∞-representations of L∞-algebroids and ∞-representations of Lie ∞-groupoids for foliations. In this thesis, we show the existence of a sequence of differential operators starting with with the Dirac operator in k Clifford variables, D=(D1,...,Dk), where Di=∑jej⋅∂ij:C∞((Rn)k,§)→C∞((Rn)k,§) (§ is the spinor module). This operator is the Cauchy-Riemann operato…
Research resolves sign conventions in Floer theory for Morse-Bott case.
problem Sign conventions in filtered A∞-operations for Lagrangian Floer theory. method Defined filtered A∞-operations and verified formulae using de Rham model. result Resolved sign issues in Bott-Morse setting.
We study various aspects of the noncommutative residue for an algebra of pseudodifferential operators whose symbols have an expansion a∼∑j=0∞am−j,am−j(x,ξ)=∑l=0kam−j,l(x,ξ)logl∣ξ∣, where am−j,l is homogeneous in ξ of degree m−j. We will explain why this algebra of pseudo…
We show that L∞-algebroids, understood in terms of Q-manifolds can be described in terms of certain higher Schouten and Poisson structures on graded (super)manifolds. This generalises known constructions for Lie (super)algebras and Lie algebroids.
The paper proposes a method to compute higher infinitesimals in numerical and symbolic analysis.
problem Computing higher-order derivatives with higher infinitesimals.
method Automatic differentiation in terms of C-infinity rings and Weil algebras.
result A unifying theoretical framework for multivariate higher-order derivatives.
New L∞ algebra governs deformations of Dirac-Jacobi structures.
problem Deformation theory of Dirac-Jacobi structures.
method Using higher derived brackets and split Courant-Jacobi algebroids, an L∞ algebra is associated with each Dirac-Jacobi structure. result There is a one-to-one correspondence between MC elements of the L∞ algebra and small deformations of the Dirac-Jacobi structure. This note elaborates on Th. Voronov's construction [math/0304038,math/0412202] of L∞-structures via higher derived brackets with a Maurer-Cartan element. It is shown that gauge equivalent Maurer-Cartan elements induce L∞-isomorphic structures. Applications in symplectic, Poisson and Dirac geometry are d…
Constructs new steady gradient Ricci solitons for higher dimensions.
problem Finding new steady gradient Ricci solitons with non-negative curvature.
method Constructing continuous families of Ricci flows from spherical polyhedra, proving stability.
result Produces new examples of steady gradient Ricci solitons for n≥4. Novel A∞-categories derived from gauge theories for manifold homologies.
problem Categorifying manifold homologies via gauge theories.
method 3d and 8d gauged Landau-Ginzburg models, higher A∞-categories. result Derived novel A∞-categories for various manifold homologies. Develops formal moduli theory for splitting complex supermanifolds.
problem Tackles the splitting problem of complex supermanifolds.
method Constructs a filtered dg Lie algebra to control splittings and transfers the theory to a minimal filtered L∞-model. result Recover classical obstruction classes as leading terms of Maurer-Cartan representatives and proves the existence of higher obstructions.
Solves differentiation for Lie ∞-groups using formal groupoids.
problem Differentiation of Lie ∞-groups.
method Develops homotopy theory of formal ∞-groupoids and analyzes Dold-Kan adjunction for cosimplicial algebras.
result Differentiation functor from finite-dimensional Lie ∞-groups to finite-type Lie ∞-algebras is homotopically well-behaved.
The classical Rankin-Cohen brackets are bi-differential operators from C∞(R)×C∞(R) into C∞(R). They are covariant for the (diagonal) action of SL(2,R) through principal series representations. We construct generalizations of these operators, replacing…
For a scalar evolution equation ut=K(t,x,u,ux,…,un),n≥2 the cohomology spaces H1,s(R∞) vanishes for s≥3 while the space H1,2(R∞) is isomorphic to the space of variational operators. The cohomology space H1,2(R∞) is also shown to be …
Shifted symplectic Lie and L∞ algebroids model formal neighbourhoods of manifolds in shifted symplectic stacks, and serve as target spaces for twisted variants of classical AKSZ topological field theory. In this paper, we classify zero-, one- and two-shifted symplectic algebroids and their higher gauge symmetri…
We develop a description of higher gauge theory with higher groupoids as gauge structure from first principles. This approach captures ordinary gauge theories and gauged sigma models as well as their categorifications on a very general class of (higher) spaces comprising presentable differentiable stacks, as e.g. orbif…
Study on Čech-de Rham obstruction in diffeological spaces.
problem Obstruction to Čech-de Rham map being an isomorphism in diffeological spaces.
method Higher topos theory, homotopy pullback diagrams, Čech-de Rham bicomplex, ∞-stack cohomology. result New exact sequences in all higher degrees and conceptual proof of cohomology agreement.
The paper bridges diffeological bundle theory with higher topos theory.
problem Comparing Čech cohomology of diffeological spaces with existing notions.
method Using Čech model structure on simplicial presheaves and diffeological spaces as discrete simplicial presheaves.
result Nerve of diffeological principal G-bundles is weak homotopy equivalent to G-principal ∞-bundles. We study the behavior of the spectrum of the Dirac operator together with a symmetric W1,∞-potential on spin manifolds under a collapse of codimension one with bounded sectional curvature and diameter. If there is an induced spin structure on the limit space N then there are convergent eigenvalues which co…
I define higher codimensional versions of contact structures on manifolds as maximally non-integrable distributions. I call them multicontact structures. Cartan distributions on jet spaces provide canonical examples. More generally, I define higher codimensional versions of pre-contact structures as distributions on ma…
The paper characterizes vector bundles and differential operators using Lie algebras and their symbols.
problem Characterizing vector bundles and differential operators using algebraic methods.
method Lie-algebraic characterization of vector bundles and differential operators.
result The Lie algebras P(E,M) and S(P(E,M)) characterize vector bundles and their smooth sections. The paper classifies symbols of differential operators on vector bundles.
problem Classifying symbols of linear differential operators on vector bundles.
method Associated tuples of linear operators to non-degenerate symbols and used C. Procesi's results to find rational invariants and equivalence criteria.
result Generators for rational invariants and a criterion for symbol equivalence.
Unified super-symmetry and higher fluxes using super-Lie-infinity algebras.
problem Unified extended super-symmetry and higher flux densities.
method Using super-Lie-infinity algebras and their extensions and cyclifications.
result Derivation of topological T-duality laws from super-Lie-infinity structure.
Higher order higher spin operators are generalizations of kth-powers of the Dirac operator. In this paper, we study higher order higher spin operators defined on some conformally flat manifolds, namely cylinders and Hopf manifolds. We will also construct the kernels of these operators on these manifolds.
We prove R-bisectoriality and boundedness of the H∞-functional calculus in Lp for all 1<p<∞ for the Hodge-Dirac operator associated with Witten Laplacians on complete Riemannian manifolds with non-negative Bakry-Emery Ricci curvature on k-forms.