Microlocal Category
Given a compact symplectic manifold whose symplectic form has integer periods, one associates to it a dg category based on the microlocal analysis according to Kashiwara-Schapira
math.SG↗
arXiv subjects
Dmitry Tamarkin
Publications and source records attributed to Dmitry Tamarkin.
Microlocal properties of sheaves and complex WKB
Kashiwara-Schapira style sheaf theory is used to justify analytic continuability of solutions of a Laplace transformed Schroedinger equation with a small parameter. This partially proves the description of the Stokes phenomenon for WKB asymptotics predicted by Voros in 1983.
math-ph↗
Proof of Swiss Cheese Version of Deligne's Conjecture
For an associative algebra A we consider the pair "the Hochschild cochain complex C*(A,A) and the algebra A". There is a natural 2-colored operad which acts on this pair. We show that this operad is quasi-isomorphic to the singular chain operad of Voronov's Swiss Cheese operad. This statement is the Swiss Cheese version of the Deligne conjecture formulated by M. Kontsevich in arXiv:math/9904055.
math.KT↗
Microlocal condition for non-displaceablility
We formulate a sufficient condition for non-displaceability (by Hamiltonian symplectomorphisms which are identity outside of a compact) of a pair of subsets in a cotangent bundle. This condition is based on micro-local analysis of sheaves on manifolds by Kashiwara-Schapira. This condition is used to prove that the real projective space and the Clifford torus inside the complex projective space are mutually non-displaceable
math.SG↗
Formality of the homotopy calculus algebra of Hochschild (co)chains
The Kontsevich-Soibelman solution of the cyclic version of Deligne's conjecture and the formality of the operad of little discs on a cylinder provide us with a natural homotopy calculus structure on the pair (C^*(A), C_*(A)) ``Hochschild cochains + Hochschild chains'' of an associative algebra A. We show that for an arbitrary smooth algebraic variety X with the structure sheaf O_X the sheaf (C^*(O_X), C_*(O_X)) of homotopy calculi is formal. This result was announced in paper [29] by the second and the third author.
math.KT↗
What do DG categories form?
We introduce a homotopy 2-category structure on the category of 2-categories.
math.CT↗
The homotopy Gerstenhaber algebra of Hochschild cochains of a regular algebra is formal
The solution of Deligne's conjecture on Hochschild cochains and the formality of the operad of little disks provide us with a natural homotopy Gerstenhaber algebra structure on the Hochschild cochains of an associative algebra. In this paper we construct a natural chain of quasi-isomorphisms of homotopy Gerstenhaber algebras between the Hochschild cochain complex C(A) of a regular commutative algebra A over a field of characteristic zero and the Gerstenhaber algebra of multiderivations of A. Unlike the original approach of the second author based on the computation of obstructions our method allows us to avoid the bulky Gelfand-Fuchs trick and prove the formality of the homotopy Gerstenhaber algebra structure on the sheaf of polydifferential operators on a smooth algebraic variety, a complex manifold, and a smooth real manifold.
math.KT↗
Quantization of Poisson structures on $\R^2$
An 'isomorphism' between the 'moduli space' of star products on $\R^2$ and the 'moduli space' of all formal Poisson structures on $\R^2$ is established.
q-alg↗