The obstruction to the existence of a loopless star product
We show that there is an obstruction to the existence of a star product defined by Kontsevich graphs without directed cycles.
math.QA↗
arXiv subjects
Thomas Willwacher
Publications and source records attributed to Thomas Willwacher.
The Grothendieck-Teichmüller group action on differential forms and formality morphism of chains
It is known that one can associate a Kontsevich-type formality morphism to every Drinfeld associator. We show that this morphism may be extended to a Kontsevich-Shoikhet formality morphism of cochains and chains, by describing the action of the Grothendieck-Teichmüller group on such objects (up to homotopy).
math.QA↗
Logarithms and deformation quantization
We prove the statement/conjecture of M. Kontsevich on the existence of the logarithmic formality morphism. This question was open since 1999, and the main obstacle was the presence of $dr/r$ type singularities near the boundary $r=0$ in the integrals over compactified configuration spaces. The novelty of our approach is the use of local torus actions on configuration spaces of points in the upper half-plane. It gives rise to a version of Stokes' formula for differential forms with singularities at the boundary which implies the formality property. We also show that the logarithmic formality morphism admits a globalization from $\mathbb{R}^d$ to an arbitrary smooth manifold.
math.QA↗
M. Kontsevich's graph complex and the Grothendieck-Teichmueller Lie algebra
We show that the zeroth cohomology of M. Kontsevich's graph complex is isomorphic to the Grothendieck-Teichmueller Lie algebra grt_1. The map is explicitly described. This result has applications to deformation quantization and Duflo theory. We also compute the homotopy derivations of the Gerstenhaber operad. They are parameterized by grt_1, up to one class (or two, depending on the definitions). More generally, the homotopy derivations of the (non-unital) E_n operads may be expressed through the cohomology of a suitable graph complex. Our methods also give a second proof of a result of H. Furusho, stating that the pentagon equation for grt_1-elements implies the hexagon equation.
math.QA↗
The deformation complex is a homotopy invariant of a homotopy algebra
To a homotopy algebra one may associate its deformation complex, which is naturally a differential graded Lie algebra. We show that infinity quasi-isomorphic homotopy algebras have L-infinity quasi-isomorphic deformation complexes by an explicit construction.
math.KT↗
Triviality of the higher Formality Theorem
It is noted that the higher version of M. Kontsevich's Formality Theorem is much easier than the original one. Namely, we prove that the higher Hochschild-Kostant-Rosenberg map is already a homotopy e_{n+1}-formality quasi-isomorphism whenever n is at least 2.
math.QA↗
The oriented graph complexes
Oriented graph complexes, in which graphs are not allowed to have oriented cycles, govern for example the quantization of Lie bialgebras and infinite dimensional deformation quantization. It is shown that the oriented graph complex GC^or_n is quasi-isomorphic to the ordinary commutative graph complex GC_{n-1}, up to some known classes. This yields in particular a combinatorial description of the action of the Grothendieck-Teichmüller Lie algebra on Lie bialgebras, and shows that a cycle-free formality morphism in the sense of Shoikhet can be constructed rationally without reference to configuration space integrals.
math.QA↗
Jointly orthogonal polynomials
The theory of polynomials orthogonal with respect to one inner product is classical. We discuss the extension of this theory to multiple inner products. Examples include the Lamé and Heine-Stieltjes polynomials.
math.QA↗
Reconstruction of hidden 3D shapes using diffuse reflections
We analyze multi-bounce propagation of light in an unknown hidden volume and demonstrate that the reflected light contains sufficient information to recover the 3D structure of the hidden scene. We formulate the forward and inverse theory of secondary and tertiary scattering reflection using ideas from energy front propagation and tomography. We show that using careful choice of approximations, such as Fresnel approximation, greatly simplifies this problem and the inversion can be achieved via a backpropagation process. We provide a theoretical analysis of the invertibility, uniqueness and choices of space-time-angle dimensions using synthetic examples. We show that a 2D streak camera can be used to discover and reconstruct hidden geometry. Using a 1D high speed time of flight camera, we show that our method can be used recover 3D shapes of objects "around the corner".
physics.optics↗
The character map in deformation quantization
The third author recently proved that the Shoikhet-Dolgushev L-infinity-morphism from Hochschild chains of the algebra of smooth functions on manifold to differential forms extends to cyclic chains. Localization at a solution of the Maurer-Cartan equation gives an isomorphism, which we call character map, from the periodic cyclic homology of a formal associative deformation of the algebra of functions to de Rham cohomology. We prove that the character map is compatible with the Gauss-Manin connection, extending a result of Calaque and Rossi on the compatibility with the cap product. As a consequence, the image of the periodic cyclic cycle 1 is independent of the deformation parameter and we compute it to be the A-roof genus of the manifold. Our results also imply the Tamarkin-Tsygan index Theorem.
math.QA↗
The cubical complex of a permutation group representation - or however you want to call it
This paper is about a small combinatorial trick, which is well known, but has no name. Let G be a permutation group acting on a vector space M. There is a natural way to assign a cosimplicial space to these data. We call the resulting cochain complex the cubical complex. Its cohomology is easy to compute. We give some examples of its occurrence in nature.
math.QA↗
A note on the Koszul complex in deformation quantization
The aim of this short note is to present a proof of the existence of an $A_\infty$-quasi-isomorphism between the $A_\infty$-$\mathrm S(V^*)$-$\wedge(V)$-bimodule $K$, introduced in \cite{CFFR}, and the Koszul complex $\mathrm K(V)$ of $\mathrm S(V^*)$, viewed as an $A_\infty$-$\mathrm S(V^*)$-$\wedge(V)$-bimodule, for $V$ a finite-dimensional (complex or real) vector space.
math.QA↗
Equivalence of formalities of the little discs operad
We show that Kontsevich's formality of the little disk operad, obtained using graphs, is homotopic to Tamarkin's formality, for a special choice of a Drinfeld associator. The associator is given by parallel transport of the Alekseev-Torossian connection.
math.QA↗
On L-infinity morphisms of cyclic chains
Recently the first two authors constructed an L-infinity morphism using the S^1-equivariant version of the Poisson Sigma Model (PSM). Its role in deformation quantization was not entirely clear. We give here a "good" interpretation and show that the resulting formality statement is equivalent to formality on cyclic chains as conjectured by Tsygan and proved recently by several authors.
math.RA↗
On the (ir)rationality of Kontsevich weights
We compute the weight of a Kontsevich graph in deformation quantization. Up to rationals, the result is Zeta(3)^2/Pi^6.
math.QA↗
Cyclic Cohomology of the Weyl Algebra
We give an explicit formula for symplectically basic representatives of the cyclic cohomology of the Weyl algebra. This paper can be seen as cyclic addendum to the paper by Feigin, Felder and Shoikhet, where the analogous Hochschild case was treated. As an application, we prove a generalization of a Theorem of Nest and Tsygan concerning the relation of the Todd class and the cyclic cohomology of the differential operators on a complex manifold.
math.SG↗
Formality of Cyclic Chains
We prove a conjecture raised by Tsygan, namely the existence of an L-infinity-quasiisomorphism of L-infinity-modules between the cyclic chain complex of smooth functions on a manifold and the differential forms on that manifold. Concretely, we prove that the obvious u-linear extension of Shoikhet's morphism of Hochschild chains solves Tsygan's conjecture.
math.QA↗