Research
On-device research index

arXiv research

A locally-built, LLM-digested index of recent arXiv papers in quant finance, geometry/topology, and statistical ML — keyword search served straight from SQLite on this machine.

168,742 papers · 148 categories

Trend · papers per month

12.5%25.0%37.5%50.0% · Sep 199319922001200920172026
48 results for higher $A_\infty$ operations

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.

The paper proves conditions for the existence of holomorphic discs in Kähler manifolds.

problem Existence of holomorphic discs for higher AA_\infty 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 LL_\infty-algebroids.
result Quantizes the LL_\infty-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 \hbar-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 LL_{\infty}-algebra structure.
result Construction of an intrinsic LL_{\infty}-algebra on the Khovanov-Sano complex.

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 AA-\infty-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 dnd_n, satisfying dnn=0d_n^n =0, which is naturally defined on triangulated manifo…

2007-04-22abs ↗pdf ↗

Wedge product on deRham complex of a Riemannian manifold MM can be pulled back to H(M)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…

2014-01-23abs ↗pdf ↗

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…

2014-11-25abs ↗pdf ↗

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.

We solve higher-order morphisms for twisted Courant algebras.

problem Construct canonical LL_\infty-morphisms for higher Courant algebroids.
method Develop a general framework for arbitrary rr.
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 22-manifold. The algebra we obtain has a particularly nice structure, in that it accommodates the Dorfman bracket of a Courant algebroid as the binary…

2018-04-09abs ↗pdf ↗

The infinite matrix `Schwartz' group GG^{-\infty} 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.G^{-\infty}. We show that while the higher (even, Schwartz) loop groups of $G^{-\infty…

2006-06-16abs ↗pdf ↗

The paper extends Riemann-Hilbert correspondence to foliations.

problem Understanding representations of Lie algebroids and groupoids in foliated settings.
method Establishing an AA_{\infty} de Rham theorem and constructing an integration functor.
result An equivalence between \infty-representations of LL_{\infty}-algebroids and \infty-representations of Lie \infty-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)D=(D_1,..., D_k), where Di=jejij:C((Rn)k,§)C((Rn)k,§)D_i=\sum_j e_j\cdot \partial_{ij}: C^\infty((\R^n)^k,§)\to C^\infty((\R^n)^k,§) (§§ is the spinor module). This operator is the Cauchy-Riemann operato…

2007-08-09abs ↗pdf ↗

We study various aspects of the noncommutative residue for an algebra of pseudodifferential operators whose symbols have an expansion aj=0amj,amj(x,ξ)=l=0kamj,l(x,ξ)loglξ,a\sim \sum_{j=0}^\infty a_{m-j}, a_{m-j}(x,ξ)=\sum_{l=0}^k a_{m-j,l}(x,ξ) \log^l|ξ|, where amj,la_{m-j,l} is homogeneous in ξξ of degree mjm-j. We will explain why this algebra of pseudo…

1997-08-13abs ↗pdf ↗

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 LL_\infty 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 LL_\infty algebra is associated with each Dirac-Jacobi structure.
result There is a one-to-one correspondence between MC elements of the LL_\infty algebra and small deformations of the Dirac-Jacobi structure.

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

2007-04-11abs ↗pdf ↗

Novel AA_{\infty}-categories derived from gauge theories for manifold homologies.

problem Categorifying manifold homologies via gauge theories.
method 3d and 8d gauged Landau-Ginzburg models, higher AA_{\infty}-categories.
result Derived novel AA_{\infty}-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 LL_\infty-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)C^\infty(\mathbb R)\times C^\infty(\mathbb R) into C(R) C^\infty(\mathbb R). They are covariant for the (diagonal) action of SL(2,R){\rm SL}(2,\mathbb R) through principal series representations. We construct generalizations of these operators, replacing…

2018-09-17abs ↗pdf ↗

For a scalar evolution equation ut=K(t,x,u,ux,,un),n2u_t=K(t,x,u,u_x,\ldots, u_n), n\geq 2 the cohomology spaces H1,s(R)H^{1,s}({\mathcal R}^\infty) vanishes for s3s\geq 3 while the space H1,2(R)H^{1,2}({\mathcal R}^\infty) is isomorphic to the space of variational operators. The cohomology space H1,2(R)H^{1,2}({\mathcal R}^\infty) is also shown to be …

2019-02-08abs ↗pdf ↗

Shifted symplectic Lie and LL_\infty 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…

2016-12-30abs ↗pdf ↗

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, \infty-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 GG-bundles is weak homotopy equivalent to GG-principal \infty-bundles.

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…

2013-11-12abs ↗pdf ↗

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)\mathcal{P}(E,M) and S(P(E,M))\mathcal{S}(\mathcal{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.