Showing 1–26 of 26 results for author: Rossi, C A

An adaptive residual sub-sampling algorithm for kernel interpolation based on maximum likelihood estimations

Authors: R. Cavoretto A. De Rossi

Abstract: In this paper we propose an enhanced version of the residual sub-sampling method (RSM) in [9] for adaptive interpolation by radial basis functions (RBFs). More precisely, we introduce in the context of sub-sampling methods a maximum profile likelihood estimation (MPLE) criterion for the optimal selection of the RBF shape parameter. This choice is completely automatic, provides highly reliable and… ▽ More In this paper we propose an enhanced version of the residual sub-sampling method (RSM) in [9] for adaptive interpolation by radial basis functions (RBFs). More precisely, we introduce in the context of sub-sampling methods a maximum profile likelihood estimation (MPLE) criterion for the optimal selection of the RBF shape parameter. This choice is completely automatic, provides highly reliable and accurate results for any RBFs, and, unlike the original RSM, guarantees that the RBF interpolant exists uniquely. The efficacy of this new method, called MPLE-RSM, is tested by numerical experiments on some 1D and 2D benchmark target functions. △ Less

Submitted 26 March, 2022; originally announced March 2022.

P. Etingof's conjecture about Drinfeld associators

Authors: Carlo A. Rossi, Thomas Willwacher

Abstract: 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… ▽ More 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. △ Less

Submitted 8 April, 2014; originally announced April 2014.

Logarithms and deformation quantization

Authors: Anton Alekseev, Carlo A. Rossi, Charles Torossian, Thomas Willwacher

Abstract: 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… ▽ More 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. △ Less

Submitted 14 January, 2014; originally announced January 2014.

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

Authors: Carlo A. Rossi

Abstract: 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 dedu… ▽ More 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). △ Less

Submitted 14 October, 2012; v1 submitted 31 May, 2012; originally announced May 2012.

Comments: 8 pages, 1 figure; notation changed; corrected many other misprints recently noticed; comments are very welcome!

MSC Class: 17B35; 17B40; 81R60

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

Authors: Carlo A. Rossi

Abstract: 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… ▽ More 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. △ Less

Submitted 13 September, 2012; v1 submitted 24 May, 2012; originally announced May 2012.

Comments: 2 figures; corrected and completed the formulation of Theorem 3.7. Comments are very welcome!

MSC Class: 17B35; 81R60

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

Authors: Carlo A. Rossi

Abstract: 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… ▽ More 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. △ Less

Submitted 9 June, 2012; v1 submitted 22 May, 2012; originally announced May 2012.

Comments: The paper has been withdrawn, because I have posted it wrongly the first time on the arXiv. Then, I decided to change the title radically and added some more technical details

MSC Class: 17B35; 81R60

Biquantization of symmetric pairs and the quantum shift

Authors: Alberto S. Cattaneo, Carlo A. Rossi, Charles Torossian

Abstract: 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 quant… ▽ More 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. △ Less

Submitted 9 May, 2012; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: 16 figures; Sections 5 on Harish-Chandra morphism and Section 6 on Triquantization added; comments are welcome

MSC Class: 16S30; 16S37; 17B10; 17B15

Journal ref: J. Geom. Phys. 74, 211-250 (2013)

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

Authors: Carlo A. Rossi

Abstract: 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 quantiz… ▽ More 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). △ Less

Submitted 10 January, 2012; v1 submitted 30 May, 2011; originally announced May 2011.

Comments: 1 figure; according to remarks of M. Duflo and the anonymous referee, we have added Subsections 4.1, 4.2 and 4.3; we have also changed the title and updated the bibliography; some misprints have also been corrected

MSC Class: 16S30; 16S37

A note on the Koszul complex in deformation quantization

Authors: Andrea Ferrario, Carlo A. Rossi, Thomas Willwacher

Abstract: 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. 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. △ Less

Submitted 8 October, 2010; v1 submitted 12 February, 2010; originally announced February 2010.

Comments: 8 pages, 1 figure; a more conceptual proof of the existence of an $A_\infty$-bimodule structure on the tensor product of $A_\infty$-bimodules has been added; the proof of Theorem 3.5 has been corrected; some typos have been corrected; acknowledgments modified; added a final remark on the generalization of the result to the framework of \cite{CFFR}

MSC Class: 16E45; 81R60

Journal ref: Lett.Math.Phys.95:27-39,2011

Deformation quantization with generators and relations

Authors: Damien Calaque, Giovanni Felder, Carlo A. Rossi

Abstract: In this paper we prove a conjecture of B. Shoikhet which claims that two quantization procedures arising from Fourier dual constructions actually coincide. In this paper we prove a conjecture of B. Shoikhet which claims that two quantization procedures arising from Fourier dual constructions actually coincide. △ Less

Submitted 15 April, 2011; v1 submitted 23 November, 2009; originally announced November 2009.

Comments: 9 pages; 4 figures; many typos have been corrected; the introduction has been considerably extended and a more detailed exposition of the Koszul theory behind the main idea has been added; the proof of Proposition 2.4 (iii) has been also extended; Subsection 3.2 has been enlarged, and a more detailed exposition of how the Duflo element arises has been added

MSC Class: 81R60; 81Q30

Journal ref: Journal of Algebra 337 (2011), no. 1, 1-12

Hochschild cohomology for Lie algebroids

Authors: Damien Calaque, Carlo A. Rossi, Michel Van den Bergh

Abstract: 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 su… ▽ More 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. △ Less

Submitted 3 February, 2010; v1 submitted 18 August, 2009; originally announced August 2009.

Comments: The authors were informed that the fact that jetbundles are formal groupoids is already contained in arXiv:0904.4736 (with a somewhat different proof)

MSC Class: 14F99; 14D99

Journal ref: International Mathematical Research Notices 2010 (2010), no. 21, 4098--4136

Bimodules and branes in deformation quantization

Authors: Damien Calaque, Giovanni Felder, Andrea Ferrario, Carlo A. Rossi

Abstract: 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. 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. △ Less

Submitted 4 March, 2010; v1 submitted 17 August, 2009; originally announced August 2009.

Comments: 40 pages, 15 figures; a small change of notations in the definition of the 4-colored propagators; an Addendum about the appearance of loops in the $L_\infty$-quasi-isomorphism and a corresponding change in the proof of Theorem 7.2; several changes regarding completions, when dealing with general $A_\infty$-structures

MSC Class: 16E40; 16E45; 81R60

Journal ref: Compos.Math.147:105-160,2011

Caldararu's conjecture and Tsygan's formality

Authors: Damien Calaque, Carlo A. Rossi, Michel Van den Bergh

Abstract: 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… ▽ More 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. △ Less

Submitted 30 January, 2012; v1 submitted 30 April, 2009; originally announced April 2009.

Comments: 48 pages, 2 figures; a number of additional explanations added (suggested by the referees)

MSC Class: 14F99; 14D99

Journal ref: Annals of Mathematics 176 (2012), no. 2, 865-923

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

Authors: Damien Calaque, Carlo A. Rossi

Abstract: 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 f… ▽ More 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. △ Less

Submitted 20 March, 2009; v1 submitted 22 May, 2008; originally announced May 2008.

Comments: The first and second Section on $B_\infty$-algebras and modules have been completely re-written, with new results; partial revision of Section 3; the proofs in Section 4 and 5 have been re-formulated in a more general context; we added Section 8 on globalisation

Journal ref: Letters in Mathematical Physics 95 (2011), no. 2, 135--209

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

Authors: Damien Calaque, Carlo A. Rossi

Abstract: 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… ▽ More 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. △ Less

Submitted 3 September, 2008; v1 submitted 15 May, 2008; originally announced May 2008.

Comments: This is a contribution to the Special Issue on Deformation Quantization, published in SIGMA (Symmetry, Integrability and Geometry: Methods and Applications) at http://www.emis.de/journals/SIGMA/

Journal ref: SIGMA 4 (2008), 060, 17 pages

Weighted projective spaces and minimal nilpotent orbits

Authors: C. A. Rossi

Abstract: We investigate (twisted) rings of differential operators on the resolution of singularities of a particular irreducible component of the (Zarisky) closure of the minimal orbit $\bar O_{\mathrm{min}}$ of $\mathfrak{sp}_{2n}$, intersected with the Borel subalgebra $\mathfrak n_+$ of $\mathfrak{sp}_{2n}$, using toric geometry and show that they are homomorphic images of a subalgebra of the Universa… ▽ More We investigate (twisted) rings of differential operators on the resolution of singularities of a particular irreducible component of the (Zarisky) closure of the minimal orbit $\bar O_{\mathrm{min}}$ of $\mathfrak{sp}_{2n}$, intersected with the Borel subalgebra $\mathfrak n_+$ of $\mathfrak{sp}_{2n}$, using toric geometry and show that they are homomorphic images of a subalgebra of the Universal Enveloping Algebra (UEA) of $\mathfrak{sp}_{2n}$, which contains the maximal parabolic subalgebra $\mathfrak p$ determining the minimal nilpotent orbit. Further, using Fourier transforms on Weyl algebras, we show that (twisted) rings of well-suited weighted projective spaces are obtained from the same subalgebra. Finally, investigating this subalgebra from the representation-theoretical point of view, we find new primitive ideals and rediscover old ones for the UEA of $\mathfrak{sp}_{2n}$ coming from the aforementioned resolution of singularities. △ Less

Submitted 6 November, 2007; v1 submitted 13 August, 2007; originally announced August 2007.

Comments: 15 pages; misprints corrected; some terminology mistakes have been corrected

MSC Class: 13N10

Differential operators on toric varieties and Fourier transform

Authors: Giovanni Felder, Carlo A. Rossi

Abstract: 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… ▽ More 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). △ Less

Submitted 1 June, 2007; v1 submitted 11 May, 2007; originally announced May 2007.

Comments: 13 pages, 1 figure. Added results on higher cohomologies. Reference added in version 3

MSC Class: 13S32; 14M25

Elliptic gamma functions, triptic curves and SL_3(Z)

Authors: Giovanni Felder, Andre Henriques, Carlo A. Rossi, Chenchang Zhu

Abstract: 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. 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. △ Less

Submitted 27 April, 2006; originally announced April 2006.

Comments: 4 pages, to appear in the Oberwolfach Reports

MSC Class: 33E30; 20L05; 57S25

A gerbe for the elliptic gamma function

Authors: Giovanni Felder, Andre Henriques, Carlo A. Rossi, Chenchang Zhu

Abstract: 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 com… ▽ More 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. △ Less

Submitted 13 January, 2006; originally announced January 2006.

Comments: 54 pages

MSC Class: 33E30; 20L05; 57S25

Journal ref: Duke Math. J. 141(2008), 1-74

On the space of injective linear maps from $\bbR^d$ into $\bbR^m$

Authors: C. A. Rossi

Abstract: In this short note, we investigate some features of the space $\Inject{d}{m}$ of linear injective maps from $\bbR^d$ into $\bbR^m$; in particular, we discuss in detail its relationship with the Stiefel manifold $V_{m,d}$, viewed, in this context, as the set of orthonormal systems of $d$ vectors in $\bbR^m$. Finally, we show that the Stiefel manifold $V_{m,d}$ is a deformation retract of… ▽ More In this short note, we investigate some features of the space $\Inject{d}{m}$ of linear injective maps from $\bbR^d$ into $\bbR^m$; in particular, we discuss in detail its relationship with the Stiefel manifold $V_{m,d}$, viewed, in this context, as the set of orthonormal systems of $d$ vectors in $\bbR^m$. Finally, we show that the Stiefel manifold $V_{m,d}$ is a deformation retract of $\Inject{d}{m}$. One possible application of this remarkable fact lies in the study of perturbative invariants of higher-dimensional (long) knots in $\bbR^m$: in fact, the existence of the aforementioned deformation retraction is the key tool for showing a vanishing lemma for configuration space integrals {à} la Bott--Taubes (see \cite{BT} for the 3-dimensional results and \cite{CR1}, \cite{C} for a first glimpse into higher-dimensional knot invariants). △ Less

Submitted 31 January, 2005; originally announced January 2005.

Comments: 9 pages

MSC Class: 57R56; 57R40; 57R42

Principal bundles with groupoid structure: local vs. global theory and nonabelian ucech cohomology

Authors: C. A. Rossi

Abstract: The aim of this paper is to review and discuss in detail local aspects of principal bundles with groupoid structure. Many results, in particular from the second and third section, are already known to some extents, but, due to the lack of a ``unified'' point of view on the subject, I decided nonetheless to (re)define all the main concepts and write all proofs; however, some results are reformula… ▽ More The aim of this paper is to review and discuss in detail local aspects of principal bundles with groupoid structure. Many results, in particular from the second and third section, are already known to some extents, but, due to the lack of a ``unified'' point of view on the subject, I decided nonetheless to (re)define all the main concepts and write all proofs; however, some results are reformulated in a more elegant way, using the division map and the generalized conjugation of a Lie groupoid. In the same framework, I discuss later generalized groupoids and Morita equivalences from a local point of view; in particular, I found a (so far as I know) new characterization of generalized morphisms coming from nonabelian ech cohomology, which allows one to view generalized morphisms as a generalization of classical descent data. I found also a factorization formula for the division map, which is the crucial point in the local formulation of Morita equivalences. △ Less

Submitted 25 April, 2004; originally announced April 2004.

Comments: 97 pages; mostly a review, but up to Section 4 there are some (as far as I know) new results, which I personally did not find anywhere else, or I found in a different shape

MSC Class: 53C10; 58H05

The division map of principal bundles with groupoid structure and generalized gauge transformations

Authors: C. A. Rossi

Abstract: Motivated by the computations done in \cite{C1}, where I introduced and discussed what I called the groupoid of generalized gauge transformations, viewed as a groupoid over the objects of the category $\mathsf{Bun}_{G,M}$ of principal $G$-bundles over a given manifold $M$, I develop in this paper the same ideas for the more general case of {\em principal $\calG$-bundles or principal bundles with… ▽ More Motivated by the computations done in \cite{C1}, where I introduced and discussed what I called the groupoid of generalized gauge transformations, viewed as a groupoid over the objects of the category $\mathsf{Bun}_{G,M}$ of principal $G$-bundles over a given manifold $M$, I develop in this paper the same ideas for the more general case of {\em principal $\calG$-bundles or principal bundles with structure groupoid $\calG$}, where now $\calG$ is a Lie groupoid in the sense of \cite{Moer2}. Most of the concepts introduced in \cite{C1} can be translated almost verbatim in the framework of principal bundles with structure groupoid $\calG$; in particular, the key r�le for the construction of generalized gauge transformations is again played by (the equivalent in the framework of principal bundles with groupoid structure of) the division map $f_P$. Of great importance are also the generalized conjugation in a groupoid and the concept of (twisted) equivariant maps between groupoid-spaces. △ Less

Submitted 8 February, 2004; v1 submitted 15 January, 2004; originally announced January 2004.

Comments: Some modifications of the introduction; retrieved a small subsection; added a new section concerning Hilsum-Skandalis morphisms and Hilsum-Skandalis generalized gauge transformations; added some citations

MSC Class: 58H05; 81Q70

Holonomy and parallel transport in the differential geometry of the space of loops and the groupoid of generalized gauge transformations

Authors: C. A. Rossi

Abstract: The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a fixed principal bundle $P$; the aforementioned bundles are then pull-backs of $P$ w.r.t. evaluation maps at different points. The explicit construction of th… ▽ More The motivation for this paper stems \cite{CR} from the need to construct explicit isomorphisms of (possibly nontrivial) principal $G$-bundles on the space of loops or, more generally, of paths in some manifold $M$, over which I consider a fixed principal bundle $P$; the aforementioned bundles are then pull-backs of $P$ w.r.t. evaluation maps at different points. The explicit construction of these isomorphisms between pulled-back bundles relies on the notion of {\em parallel transport}. I introduce and discuss extensively at this point the notion of {\em generalized gauge transformation between (a priori) distinct principal $G$-bundles over the same base $M$}; one can see immediately that the parallel transport can be viewed as a generalized gauge transformation for two special kind of bundles on the space of loops or paths; at this point, it is possible to generalize the previous arguments for more general pulled-back bundles. Finally, I discuss how flatness of the reference connection, w.r.t. which I consider holonomy and parallel transport, is related to horizontality of the associated generalized gauge transformation. △ Less

Submitted 15 January, 2004; originally announced January 2004.

Comments: 56 pages

MSC Class: 53C05; 53C29; 81Q70

Wilson surfaces and higher dimensional knot invariants

Authors: Alberto S. Cattaneo, Carlo A. Rossi

Abstract: 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. 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. △ Less

Submitted 20 October, 2002; originally announced October 2002.

Comments: 31 pages, 9 figures

MSC Class: 81T45 (Primary) 57Q45; 58D10; 58D30; 81T13 (Secondary)

Journal ref: Commun.Math.Phys. 256 (2005) 513-537

Higher-dimensional BF theories in the Batalin-Vilkovisky formalism: The BV action and generalized Wilson loops

Authors: Alberto S. Cattaneo, Carlo A. Rossi

Abstract: This paper analyzes in details the Batalin-Vilkovisky quantization procedure for BF theories on n-dimensional manifolds and describes a suitable superformalism to deal with the master equation and the search of observables. In particular, generalized Wilson loops for BF theories with additional polynomial B-interactions are discussed in any dimensions. The paper also contains the explicit proofs… ▽ More This paper analyzes in details the Batalin-Vilkovisky quantization procedure for BF theories on n-dimensional manifolds and describes a suitable superformalism to deal with the master equation and the search of observables. In particular, generalized Wilson loops for BF theories with additional polynomial B-interactions are discussed in any dimensions. The paper also contains the explicit proofs to the Theorems stated in math.QA/0003073. △ Less

Submitted 11 April, 2001; v1 submitted 17 October, 2000; originally announced October 2000.

Comments: 58 pages. Typos corrected; references updated. To appear in Commun. Math. Phys

MSC Class: 81T70; 81T45; 81T13; 58D10

Journal ref: Commun.Math.Phys. 221 (2001) 591-657

Loop observables for BF theories in any dimension and the cohomology of knots

Authors: Alberto S. Cattaneo, Paolo Cotta-Ramusino, Carlo A. Rossi

Abstract: A generalization of Wilson loop observables for BF theories in any dimension is introduced in the Batalin-Vilkovisky framework. The expectation values of these observables are cohomology classes of the space of imbeddings of a circle. One of the resulting theories discussed in the paper has only trivalent interactions and, irrespective of the actual dimension, looks like a 3-dimensional Chern-Si… ▽ More A generalization of Wilson loop observables for BF theories in any dimension is introduced in the Batalin-Vilkovisky framework. The expectation values of these observables are cohomology classes of the space of imbeddings of a circle. One of the resulting theories discussed in the paper has only trivalent interactions and, irrespective of the actual dimension, looks like a 3-dimensional Chern-Simons theory. △ Less

Submitted 13 March, 2000; originally announced March 2000.

Comments: 13 pages

Journal ref: Lett.Math.Phys. 51 (2000) 301-316