Searcharxiv⌕ Search

arXiv subjects

Carlo A. Rossi

Publications and source records attributed to Carlo A. Rossi.

At least 19 recordsLinked to original sources
arXiv2014

P. Etingof's conjecture about Drinfeld associators

We construct a family of Drinfeld associators interpolating between the Knizhnik-Zamolodchikov associator, the Alekseev-Torossian associator and the anti-Knizhnik-Zamolodchikov associator. We give explicit integral formulæ for the family of elements of the Grothendieck-Teichmüller Lie algebra tangent to the family of associators. As an application, we settle a conjecture of Pavel Etingof about the Alekseev-Torossian associator. Furthermore, we give explicit integral formulæ for the family of stable formality morphisms corresponding (in a precise way) to the above family of associators, and for the family of graph cohomology classes corresponding to the above family of elements of the Grothendieck-Teichmüller Lie algebra. It follows in particular that the ``logarithmic'' Kontsevich formality morphism corresponds to the Knizhnik-Zamolodchikov associator.

math.QA↗
arXiv2014

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↗
arXiv2012

On the compatibility between cup products, the Alekseev--Torossian connection and the Kashiwara--Vergne conjecture

For a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K\supset \mathbb C$, we deduce from the compatibility between cup products Kontsevich (2003, Section 8) and from the main result of Shoikhet (2001) an alternative way of re-writing Kontsevich product $\star$ on $\mathrm S(\mathfrak g)$ by means of the Alekseev--Torossian flat connection (Alekseev and Torossian, 2010). We deduce a similar formula directly from the Kashiwara--Vergne conjecture (Kashiwara and Vergne, 1978).

math.QA↗
arXiv2012

The explicit equivalence between the standard and the logarithmic star product for Lie algebras

The purpose of this short note is to establish an explicit equivalence between the two star products $\star$ and $\star_{\log}$ on the symmetric algebra $\mathrm S(\mathfrak g)$ of a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K\supset\mathbb C$ of characteristic 0 associated with the standard angular propagator and the logarithmic one: the differential operator of infinite order with constant coefficients realizing the equivalence is related to the incarnation of the Grothendieck-Teichmüller group considered by Kontsevich.

math.QA↗
arXiv2012

The logarithmic star product in the linear case and the Grothendieck--Teichmüller group

The purpose of this short note is to establish an explicit equivalence between two star products $\star$ and $\star_{\log}$ on the symmetric algebra $\mathrm S(\mathfrak g)$ of a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K\supset\mathbb C$ of characteristic 0: the differential operator of infinite order with constant coefficients realizing the equivalence is related to the Grothendieck-Teichmüller group.

math.QA↗
arXiv2012

Biquantization of symmetric pairs and the quantum shift

The biquantization of symmetric pairs was studied in Cattaneo and Torossian in terms of Kontsevich-like graphs. This paper, also in view of recent results in Calaque et al, amends a minor mistake that did not spoil the main results of the paper. The mistake consisted in ignoring a regular term in the boundary contribution of some propagators. On the other hand, its correction brings back the quantum shift, present in the approaches by the orbit method, that was otherwise puzzlingly missing. In addition a detailed comparison of the two, equivalent, ways of defining biquantization working on the upper half plane or on one quadrant is presented, as well as a more conceptual approach to biquantization and the due corrections of some results of Cattaneo and Torossian in view of the aforementioned correction by the quantum shift. Finally, we review the triquantization construction developed for the treatment of characters by taking into accounts the same boundary problem as for the biquantization.

math.QA↗
arXiv2012

Caldararu's conjecture and Tsygan's formality

In this paper we complete the proof of Caldararu's conjecture on the compatibility between the module structures on differential forms over poly-vector fields and on Hochschild homology over Hochschild cohomology. In fact we show that twisting with the square root of the Todd class gives an isomorphism of precalculi between these pairs of objects. Our methods use formal geometry to globalize the local formality quasi-isomorphisms introduced by Kontsevich and Shoikhet (the existence of the latter was conjectured by Tsygan). We also rely on the fact - recently proved by the first two authors - that Shoikhet's quasi-isomorphism is compatible with cap product after twisting with a Maurer-Cartan element.

math.AG↗
arXiv2012

The Chevalley--Eilenberg complex and deformation quantization in presence of two branes

In this note, we prove that, for a finite-dimensional Lie algebra $\mathfrak g$ over a field $\mathbb K$ of characteristic 0 which contains $\mathbb C$, the Chevalley--Eilenberg complex $\mathrm U(\mathfrak g)\otimes \wedge(\mathfrak g)$, which is in a natural way a deformation quantization of the Koszul complex of $\mathrm S(\mathfrak g)$, is $A_\infty$-quasi-isomorphic to the deformation quantization of the $A_\infty$-bimodule $K=\mathbb K$ provided by the Formality Theorem in presence of two branes (CFFR).

math.QA↗
arXiv2010

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↗
arXiv2010

Bimodules and branes in deformation quantization

We prove a version of Kontsevich's formality theorem for two subspaces (branes) of a vector space $X$. The result implies in particular that the Kontsevich deformation quantizations of $\mathrm{S}(X^*)$ and $\wedge(X)$ associated with a quadratic Poisson structure are Koszul dual. This answers an open question in Shoikhet's recent paper on Koszul duality in deformation quantization.

math.QA↗
arXiv2010

Hochschild cohomology for Lie algebroids

We define the Hochschild (co)homology of a ringed space relative to a locally free Lie algebroid. Our definitions mimic those of Swan and Caldararu for an algebraic variety. We show that our (co)homology groups can be computed using suitable standard complexes. Our formulae depend on certain natural structures on jetbundles over Lie algebroids. In an appendix we explain this by showing that such jetbundles are formal groupoids which serve as the formal exponentiation of the Lie algebroid.

math.AG↗
arXiv2009

Compatibility with cap-products in Tsygan's formality and homological Duflo isomorphism

In this paper we prove, with details and in full generality, that the isomorphism induced on tangent homology by the Shoikhet-Tsygan formality $L_\infty$-quasi-isomorphism for Hochschild chains is compatible with cap-products. This is a homological analog of the compatibility with cup-products of the isomorphism induced on tangent cohomology by Kontsevich formality $L_\infty$-quasi-isomorphism for Hochschild cochains. As in the cohomological situation our proof relies on a homotopy argument involving a variant of {\bf Kontsevich eye}. In particular we clarify the rôle played by the {\bf I-cube} introduced in \cite{CR1}. Since we treat here the case of a most possibly general Maurer-Cartan element, not forced to be a bidifferential operator, then we take this opportunity to recall the natural algebraic structures on the pair of Hochschild cochain and chain complexes of an $A_\infty$-algebra. In particular we prove that they naturally inherit the structure of an $A_\infty$-algebra with an $A_\infty$-(bi)module.

math.QA↗
arXiv2008

Shoikhet's Conjecture and Duflo Isomorphism on (Co)Invariants

In this paper we prove a conjecture of B. Shoikhet. This conjecture states that the tangent isomorphism on homology, between the Poisson homology associated to a Poisson structure on $\mathbb{R}^d$ and the Hochschild homology of its quantized star-product algebra, is an isomorphism of modules over the (isomorphic) respective cohomology algebras. As a consequence, we obtain a version of the Duflo isomorphism on coinvariants.

math.QA↗
arXiv2007

Differential operators on toric varieties and Fourier transform

We show that Fourier transforms on the Weyl algebras have a geometric counterpart in the framework of toric varieties, namely they induce isomorphisms between twisted rings of differential operators on regular toric varieties, whose fans are related to each other by reflections of one-dimensional cones. The simplest class of examples is provided by the toric varieties related by such reflections to projective spaces. It includes the blow-up at a point in affine space and resolution of singularities of varieties appearing in the study of the minimal orbit of sl(n+1).

math.AG↗
arXiv2006

Elliptic gamma functions, triptic curves and SL_3(Z)

This is a condensed exposition of the results of math.QA/0601337, based on a talk of the first author at the Oberwolfach workshop "Deformations and Contractions in Mathematics and Physics", 15-21 January 2006.

math.CV↗
arXiv2006

A gerbe for the elliptic gamma function

The identities for elliptic gamma functions discovered by A. Varchenko and one of us are generalized to an infinite set of identities for elliptic gamma functions associated to pairs of planes in 3-dimensional space. The language of stacks and gerbes gives a natural framework for a systematic description of these identities and their domain of validity. A triptic curve is the quotient of the complex plane by a subgroup of rank three (it is a stack). Our identities can be summarized by saying that elliptic gamma functions form a meromorphic section of a hermitian holomorphic abelian gerbe over the universal oriented triptic curve.

math.QA↗
arXiv2002

Wilson surfaces and higher dimensional knot invariants

An observable for nonabelian, higher-dimensional forms is introduced, its properties are discussed and its expectation value in BF theory is described. This is shown to produce potential and genuine invariants of higher-dimensional knots.

math-ph↗