Showing 1–50 of 67 results for author: Vergne, M

Tensor product of holomorphic discrete series representations of U(p,q) and quivers

Authors: Velleda Baldoni, Michèle Vergne

Abstract: As shown by P-E Paradan, the set of orbits contained in the sum of two holomorphic orbits in the Lie algebra of U(p,q) is determined by a set of inequalities similar to the Horn inequalities for the sum of conjugacy classes of two Hermitian matrices. We give another proof of these inequalities using representations of quivers. We also discuss the implications of these inequalities for the decompos… ▽ More As shown by P-E Paradan, the set of orbits contained in the sum of two holomorphic orbits in the Lie algebra of U(p,q) is determined by a set of inequalities similar to the Horn inequalities for the sum of conjugacy classes of two Hermitian matrices. We give another proof of these inequalities using representations of quivers. We also discuss the implications of these inequalities for the decomposition of tensor products of representations of the holomorphic discrete series. △ Less

Submitted 4 April, 2023; originally announced April 2023.

MSC Class: 22D10; (14M15; 16G20)

Moment cone membership for quivers in strongly polynomial time

Authors: Michèle Vergne, Michael Walter

Abstract: In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite quivers. Their approach was to construct "multiplicity polytopes" with a geometric realization similar to the Knutson-Tao polytopes for tensor product multiplicities.… ▽ More In this note we observe that membership in moment cones of spaces of quiver representations can be decided in strongly polynomial time, for any acyclic quiver. This generalizes a recent result by Chindris-Collins-Kline for bipartite quivers. Their approach was to construct "multiplicity polytopes" with a geometric realization similar to the Knutson-Tao polytopes for tensor product multiplicities. Here we show that a less geometric but straightforward variant of their construction leads to such a multiplicity polytope for any acyclic quiver. Tardos' strongly polynomial time algorithm for combinatorial linear programming along with the saturation property then implies that moment cone membership can be decided in strongly polynomial time. The analogous question for semi-invariants remains open. △ Less

Submitted 26 March, 2023; originally announced March 2023.

Comments: 7 pages

Bouquets revisited and equivariant elliptic cohomology

Authors: Michele Vergne

Abstract: Let M be a spin manifold with a circular action. Given an elliptic curve E, we introduce, as in Grojnowski, elliptic bouquets of germs of holomorphic equivariant cohomology classes on M. Following Bott-Taubes and Rosu, we show that integration of an elliptic bouquet is well defined. In particular, this imply Witten's rigidity theorem. We emphasize the similarity between integration in K-theory a… ▽ More Let M be a spin manifold with a circular action. Given an elliptic curve E, we introduce, as in Grojnowski, elliptic bouquets of germs of holomorphic equivariant cohomology classes on M. Following Bott-Taubes and Rosu, we show that integration of an elliptic bouquet is well defined. In particular, this imply Witten's rigidity theorem. We emphasize the similarity between integration in K-theory and in elliptic cohomology. △ Less

Submitted 21 May, 2021; v1 submitted 1 May, 2020; originally announced May 2020.

Comments: Minor misprints corrected. Introduction expanded

MSC Class: 58J20(Primary); 58J26(Secondary)

Semi-classical analysis of piecewise quasi-polynomial functions and applications to geometric quantization

Authors: Yiannis Loizides, Paul-Emile Paradan, Michele Vergne

Abstract: Motivated by applications to multiplicity formulas in index theory, we study a family of distributions $Θ(m;k)$ associated to a piecewise quasi-polynomial function $m$. The family is indexed by an integer $k \in \mathbb{Z}_{>0}$, and admits an asymptotic expansion as $k \rightarrow \infty$, which generalizes the expansion obtained in the Euler-Maclaurin formula. When $m$ is the multiplicity functi… ▽ More Motivated by applications to multiplicity formulas in index theory, we study a family of distributions $Θ(m;k)$ associated to a piecewise quasi-polynomial function $m$. The family is indexed by an integer $k \in \mathbb{Z}_{>0}$, and admits an asymptotic expansion as $k \rightarrow \infty$, which generalizes the expansion obtained in the Euler-Maclaurin formula. When $m$ is the multiplicity function arising from the quantization of a symplectic manifold, the leading term of the asymptotic expansion is the Duistermaat-Heckman measure. Our main result is that $m$ is uniquely determined by a collection of such asymptotic expansions. We also show that the construction is compatible with pushforwards. As an application, we describe a simpler proof that formal quantization is functorial with respect to restrictions to a subgroup. △ Less

Submitted 29 April, 2022; v1 submitted 2 July, 2019; originally announced July 2019.

Comments: 42 pages, minor corrections to section 2

Extragalactic stellar photometry and the blending problem

Authors: C. Feinstein, G. Baume, J. Rodriguez, M. Vergne

Abstract: The images provided by the Advanced Camera for Surveys at the Hubble Space Telescope (ACS/HST) have the amazing spacial resolution of 0".05/pixel. Therefore, it is possible to resolve individual stars in nearby galaxies and, in particular, young blue stars in associations and open clusters of the recent starburst. These data are useful for studies of the extragalactic young population using color… ▽ More The images provided by the Advanced Camera for Surveys at the Hubble Space Telescope (ACS/HST) have the amazing spacial resolution of 0".05/pixel. Therefore, it is possible to resolve individual stars in nearby galaxies and, in particular, young blue stars in associations and open clusters of the recent starburst. These data are useful for studies of the extragalactic young population using color magnitude diagrams (CMD) of the stellar groups. However, even with the excellent indicated spatial resolution, the blending of several stars in crowded fields can change the shape of the CMDs. Some of the blendings could be handled in the cases they produce particular features on the stellar PSF profile (e.g. abnormal sharpness, roundness, etc). But in some cases, the blend could be difficult to detect, this is the case, were a pair or several stars are in the same line of sight (e.g. observed in the same pixel). In this work, we investigated the importance of the blending effect in several crowded regions, using both numerical simulations and real ACS/HST data. In particular, we evaluated the influence of this effect over the CMDs, luminosity functions (LFs) and reddening estimations obtained from the observations. △ Less

Submitted 26 March, 2019; originally announced March 2019.

Comments: The 28th annual international Astronomical Data Analysis Software & Systems (ADASS, 2018)

Horn conditions for quiver subrepresentations and the moment map

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: We give inductive conditions that characterize the Schubert positions of subrepresentations of a general quiver representation. Our results generalize Belkale's criterion for the intersection of Schubert varieties in Grassmannians and refine Schofield's characterization of the dimension vectors of general subrepresentations. This implies Horn type inequalities for the moment cone associated to the… ▽ More We give inductive conditions that characterize the Schubert positions of subrepresentations of a general quiver representation. Our results generalize Belkale's criterion for the intersection of Schubert varieties in Grassmannians and refine Schofield's characterization of the dimension vectors of general subrepresentations. This implies Horn type inequalities for the moment cone associated to the linear representation of the group $G=\prod_x \operatorname{GL}(n_x)$ associated to a quiver and a dimension vector $\mathbf n=(n_x)$. △ Less

Submitted 2 December, 2023; v1 submitted 22 January, 2019; originally announced January 2019.

Comments: 44 pages, contains detailed proofs of results previously announced in arXiv:1804.00431; v4: dedicated to Victor Guillemin, references added

Journal ref: Pure and Applied Mathematics Quarterly, Vol. 19, No. 4 (2023), pp. 1687-1731

Horn inequalities and quivers

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear… ▽ More Let G be a complex reductive group acting on a finite-dimensional complex vector space H. Let B be a Borel subgroup of G and let T be the associated torus. The Mumford cone is the polyhedral cone generated by the T-weights of the polynomial functions on H which are semi-invariant under the Borel subgroup. In this article, we determine the inequalities of the Mumford cone in the case of the linear representation associated to a quiver and a dimension vector n=(n_x). We give these inequalities in terms of filtered dimension vectors, and we directly adapt Schofield's argument to inductively determine the dimension vectors of general subrepresentations in the filtered context. In particular, this gives one further proof of the Horn inequalities for tensor products. △ Less

Submitted 23 January, 2019; v1 submitted 2 April, 2018; originally announced April 2018.

Comments: 11 pages, announcement, see arXiv:1901.07194 for detailed proofs

Asymptotic distributions associated to piecewise quasi-polynomials

Authors: Paul-Emile Paradan, Michele Vergne

Abstract: In this paper we study asymptotic distributions associated to piecewise quasi-polynomials. The main result obtained here is used in another paper of the authors "The equivariant index of twisted Dirac operators and semi-classical limits". In this paper we study asymptotic distributions associated to piecewise quasi-polynomials. The main result obtained here is used in another paper of the authors "The equivariant index of twisted Dirac operators and semi-classical limits". △ Less

Submitted 28 August, 2017; originally announced August 2017.

The equivariant index of twisted dirac operators and semi-classical limits

Authors: Paul-Emile Paradan, Michele Vergne

Abstract: Consider a spin manifold M, equipped with a line bundle L and an action of a compact Lie group G. We can attach to this data a family Theta(k) of distributions on the dual of the Lie algebra of G. The aim of this paper is to study the asymptotic behaviour of Theta(k) when k is large, and M possibly non compact, and to explore a functorial consequence of this formula for reduced spaces. Consider a spin manifold M, equipped with a line bundle L and an action of a compact Lie group G. We can attach to this data a family Theta(k) of distributions on the dual of the Lie algebra of G. The aim of this paper is to study the asymptotic behaviour of Theta(k) when k is large, and M possibly non compact, and to explore a functorial consequence of this formula for reduced spaces. △ Less

Submitted 13 September, 2017; v1 submitted 28 August, 2017; originally announced August 2017.

Comments: We have modified the section "Quasi-polynomials and asymptotics"

The equivariant Riemann-Roch theorem and the graded Todd class

Authors: Michele Vergne

Abstract: Let G be a torus and M a G-Hamiltonian manifold with Kostant line bundle L and proper moment map. Let P be the weight lattice of G. We consider a parameter k and the multiplicity $m(λ,k)$ of the quantized representation associated to M and the k-th power of L . We prove that the weighted sum $\sum m(λ,k) f(λ/k)$ of the value of a test function f on points of the lattice $P/k$ has an asymptotic dev… ▽ More Let G be a torus and M a G-Hamiltonian manifold with Kostant line bundle L and proper moment map. Let P be the weight lattice of G. We consider a parameter k and the multiplicity $m(λ,k)$ of the quantized representation associated to M and the k-th power of L . We prove that the weighted sum $\sum m(λ,k) f(λ/k)$ of the value of a test function f on points of the lattice $P/k$ has an asymptotic development in terms of the twisted Duistermaat-Heckman distributions associated to the graded Todd class of M. When M is compact, and f polynomial, the asymptotic series is finite and exact. △ Less

Submitted 14 December, 2016; originally announced December 2016.

The Horn inequalities from a geometric point of view

Authors: Nicole Berline, Michèle Vergne, Michael Walter

Abstract: We give an exposition of the Horn inequalities and their triple role characterizing tensor product invariants, eigenvalues of sums of Hermitian matrices, and intersections of Schubert varieties. We follow Belkale's geometric method, but assume only basic representation theory and algebraic geometry, aiming for self-contained, concrete proofs. In particular, we do not assume the Littlewood-Richards… ▽ More We give an exposition of the Horn inequalities and their triple role characterizing tensor product invariants, eigenvalues of sums of Hermitian matrices, and intersections of Schubert varieties. We follow Belkale's geometric method, but assume only basic representation theory and algebraic geometry, aiming for self-contained, concrete proofs. In particular, we do not assume the Littlewood-Richardson rule nor an a priori relation between intersections of Schubert cells and tensor product invariants. Our motivation is largely pedagogical, but the desire for concrete approaches is also motivated by current research in computational complexity theory and effective algorithms. △ Less

Submitted 15 November, 2017; v1 submitted 21 November, 2016; originally announced November 2016.

Comments: 51 pages

Journal ref: Enseign. Math. 63 (2017), 403-470

Mitigation Procedures to Rank Experts through Information Retrieval Measures

Authors: Matthieu Vergne

Abstract: In order to find experts, different approaches build rankings of people, assuming that they are ranked by level of expertise, and use typical Information Retrieval (IR) measures to evaluate their effectiveness. However, we figured out that expert rankings (i) tend to be partially ordered, (ii) incomplete, and (iii) consequently provide more an order rather than absolute ranks, which is not what us… ▽ More In order to find experts, different approaches build rankings of people, assuming that they are ranked by level of expertise, and use typical Information Retrieval (IR) measures to evaluate their effectiveness. However, we figured out that expert rankings (i) tend to be partially ordered, (ii) incomplete, and (iii) consequently provide more an order rather than absolute ranks, which is not what usual IR measures exploit. To improve this state of the art, we propose to revise the formalism used in IR to design proper measures for comparing expert rankings. In this report, we investigate a first step by providing mitigation procedures for the three issues, and we analyse IR measures with the help of these procedures to identify interesting revisions and remaining limitations. From this analysis, we see that most of the measures can be exploited for this more generic context because of our mitigation procedures. Moreover, measures based on precision and recall, usually unable to consider the order of the ranked items, are of first interest if we represent a ranking as a set of ordered pairs. Cumulative measures, on the other hand, are specifically designed for considering the order but suffer from a higher complexity, motivating the use of precision/recall measures with the right representation. △ Less

Submitted 15 March, 2016; originally announced March 2016.

Comments: Technical report, 16 pages

Gold Standard for Expert Ranking: A Survey on the XWiki Dataset

Authors: Matthieu Vergne

Abstract: We are designing an automated technique to find and recommend experts for helping in Requirements Engineering tasks, which can be done by ranking the available people by level of expertise. For evaluating the correctness of the rankings produced by the automated technique, we want to compare them to a gold standard. In this work, we ask external people to look at a set of discussions and to rank t… ▽ More We are designing an automated technique to find and recommend experts for helping in Requirements Engineering tasks, which can be done by ranking the available people by level of expertise. For evaluating the correctness of the rankings produced by the automated technique, we want to compare them to a gold standard. In this work, we ask external people to look at a set of discussions and to rank their participants, before to evaluate the reliability of these rankings to serve as a gold standard. We describe the setting and running of this survey, the method used to build the gold standard from the rankings of the subjects, and the analysis of the results to obtain and validate this gold standard. Through the analysis of the results, we conclude that we obtained a reasonable gold standard although we lack evidences to support its total correctness. We also made the interesting observation that the most reliable subjects build the least ordered rankings (i.e. has few ranks with several people per rank), which goes against the usual assumptions of Information Retrieval measures. △ Less

Submitted 11 March, 2016; originally announced March 2016.

Comments: Technical report, 21 pages

Computation of Dilated Kronecker Coefficients

Authors: Velleda Baldoni, Michèle Vergne, Michael Walter

Abstract: The computation of Kronecker coefficients is a challenging problem with a variety of applications. In this paper we present an approach based on methods from symplectic geometry and residue calculus. We outline a general algorithm for the problem and then illustrate its effectiveness in several interesting examples. Significantly, our algorithm does not only compute individual Kronecker coefficien… ▽ More The computation of Kronecker coefficients is a challenging problem with a variety of applications. In this paper we present an approach based on methods from symplectic geometry and residue calculus. We outline a general algorithm for the problem and then illustrate its effectiveness in several interesting examples. Significantly, our algorithm does not only compute individual Kronecker coefficients, but also symbolic formulas that are valid on an entire polyhedral chamber. As a byproduct, we are able to compute several Hilbert series. △ Less

Submitted 22 March, 2017; v1 submitted 17 January, 2016; originally announced January 2016.

Comments: This article draws heavily from arXiv:1506.02472. It is an updated version of arXiv:1601.04325. We have clarified the structure and layout of the paper and we have isolated the algorithm into Appendix A, giving a concise exposition of it in pseudo-code and a detailed explanation of all steps, cross-referenced with the main text

Admissible coadjoint orbits for compact Lie groups

Authors: Paul-Emile Paradan, Michele Vergne

Abstract: We describe the admissible coadjoint orbits of a compact connected Lie group and their spin-c quantization. We describe the admissible coadjoint orbits of a compact connected Lie group and their spin-c quantization. △ Less

Submitted 28 December, 2015; v1 submitted 8 December, 2015; originally announced December 2015.

Comments: The authors have decided to divide the preprint "Multiplicities of equivariant Spin-c Dirac operators" into two separate publications. The present paper is one of them, the other part is entitled "Equivariant Dirac operators and differentiable geometric invariant theory" (arXiv:1411.7772, version 3)

Multiplicity of compact group representations and applications to Kronecker coefficients

Authors: Velleda Baldoni, Michele Vergne

Abstract: These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reade… ▽ More These notes are an expanded version of a talk given by the second author. Our main interest is focused on the challenging problem of computing Kronecker coefficients. We decided, at the beginning, to take a very general approach to the problem of studying multiplicity functions, and we survey the various aspects of the theory that comes into play, giving a detailed bibliography to orient the reader. Nonetheless the main general theorems involving multiplicities functions (convexity, quasi-polynomial behavior, Jeffrey-Kirwan residues) are stated without proofs. Then, we present in detail our approach to the computational problem, giving explicit formulae, and outlining an algorithm that calculate many interesting examples, some of which appear in the literature also in connection with Hilbert series. △ Less

Submitted 8 June, 2015; originally announced June 2015.

Witten non abelian localization for equivariant K-theory, and the [Q,R]=0 theorem

Authors: Paul-Emile Paradan, Michèle Vergne

Abstract: The purpose of the present paper is two-fold. First, we obtain a non-abelian localization theorem when M is any even dimensional compact manifold : following an idea of E. Witten, we deform an elliptic symbol associated to a Clifford bundle on M with a vector field associated to a moment map. Second, we use this general approach to reprove the [Q,R] = 0 theorem of Meinrenken-Sjamaar in the Hamilt… ▽ More The purpose of the present paper is two-fold. First, we obtain a non-abelian localization theorem when M is any even dimensional compact manifold : following an idea of E. Witten, we deform an elliptic symbol associated to a Clifford bundle on M with a vector field associated to a moment map. Second, we use this general approach to reprove the [Q,R] = 0 theorem of Meinrenken-Sjamaar in the Hamiltonian case, and we obtain mild generalizations to almost complex manifolds. This non-abelian localization theorem can be used to obtain a geometric description of the multiplicities of the index of general spin^c Dirac operators (see preprint arXiv:1411.7772). △ Less

Submitted 8 January, 2016; v1 submitted 28 April, 2015; originally announced April 2015.

Comments: The introduction has been changed, and also some references

Local asymptotic Euler-Maclaurin expansion for Riemann sums over a semi-rational polyhedron

Authors: Nicole Berline, Michele Vergne

Abstract: Consider the Riemann sum of a smooth compactly supported function h(x) on a polyhedron in R^d, sampled at the points of the lattice Z^d/t. We give an asymptotic expansion when t goes to infinity, writing each coefficient of this expansion as a sum indexed by the faces f of the polyhedron, where the f-term is the integral over f of a differential operator applied to the function h(x). In particular… ▽ More Consider the Riemann sum of a smooth compactly supported function h(x) on a polyhedron in R^d, sampled at the points of the lattice Z^d/t. We give an asymptotic expansion when t goes to infinity, writing each coefficient of this expansion as a sum indexed by the faces f of the polyhedron, where the f-term is the integral over f of a differential operator applied to the function h(x). In particular, if a Euclidean scalar product is chosen, we prove that the differential operator for the face f can be chosen (in a unique way) to involve only normal derivatives to f. Our formulas are valid for a semi-rational polyhedron and a real sampling parameter t, if we allow for step-polynomial coefficients, instead of just constant ones. △ Less

Submitted 29 April, 2015; v1 submitted 24 January, 2015; originally announced February 2015.

Comments: 40 pages, 1 figure, ref. to a Maple program

MSC Class: 05A15; 65B15; 52B20

Equivariant Dirac operators and differentiable geometric invariant theory

Authors: Paul-Emile Paradan, Michele Vergne

Abstract: In this paper, we give a geometric expression for the multiplicities of the equivariant index of a spin-c Dirac operator. In this paper, we give a geometric expression for the multiplicities of the equivariant index of a spin-c Dirac operator. △ Less

Submitted 22 December, 2015; v1 submitted 28 November, 2014; originally announced November 2014.

Comments: The authors have decided to divide the preprint "Multiplicities of equivariant Spin-c Dirac operators" into two separate publications. The present paper is the first of them. The other part is the preprint arXiv:1512.02367 entitled "Admissible orbits for compact Lie group"

Three Ehrhart Quasi-polynomials

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$ S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum th… ▽ More Let $P(b)\subset R^d$ be a semi-rational parametric polytope, where $b=(b_j)\in R^N$ is a real multi-parameter. We study intermediate sums of polynomial functions $h(x)$ on $P(b)$, $$ S^L (P(b),h)=\sum_{y}\int_{P(b)\cap (y+L)} h(x) \mathrm dx, $$ where we integrate over the intersections of $P(b)$ with the subspaces parallel to a fixed rational subspace $L$ through all lattice points, and sum the integrals. The purely discrete sum is of course a particular case ($L=0$), so $S^0(P(b), 1)$ counts the integer points in the parametric polytopes. The chambers are the open conical subsets of $R^N$ such that the shape of $P(b)$ does not change when $b$ runs over a chamber. We first prove that on every chamber of $R^N$, $S^L (P(b),h)$ is given by a quasi-polynomial function of $b\in R^N$. A key point of our paper is an analysis of the interplay between two notions of degree on quasi-polynomials: the usual polynomial degree and a filtration, called the local degree. Then, for a fixed $k\leq d$, we consider a particular linear combination of such intermediate weighted sums, which was introduced by Barvinok in order to compute efficiently the $k+1$ highest coefficients of the Ehrhart quasi-polynomial which gives the number of points of a dilated rational polytope. Thus, for each chamber, we obtain a quasi-polynomial function of $b$, which we call Barvinok's patched quasi-polynomial (at codimension level $k$). Finally, for each chamber, we introduce a new quasi-polynomial function of $b$, the cone-by-cone patched quasi-polynomial (at codimension level $k$), defined in a refined way by linear combinations of intermediate generating functions for the cones at vertices of $P(b)$. We prove that both patched quasi-polynomials agree with the discrete weighted sum $b\mapsto S^0(P(b),h)$ in the terms corresponding to the $k+1$ highest polynomial degrees. △ Less

Submitted 18 November, 2018; v1 submitted 31 October, 2014; originally announced October 2014.

Comments: 41 pages, 13 figures; v2: changes to introduction, new graphics; v3: add more detailed references, move example to introduction; v4: fix references

MSC Class: 05A15

Inequalities for Moment Cones of Finite-Dimensional Representations

Authors: Michèle Vergne, Michael Walter

Abstract: We give a general description of the moment cone associated with an arbitrary finite-dimensional unitary representation of a compact, connected Lie group in terms of finitely many linear inequalities. Our method is based on combining differential-geometric arguments with a variant of Ressayre's notion of a dominant pair. As applications, we obtain generalizations of Horn's inequalities to arbitrar… ▽ More We give a general description of the moment cone associated with an arbitrary finite-dimensional unitary representation of a compact, connected Lie group in terms of finitely many linear inequalities. Our method is based on combining differential-geometric arguments with a variant of Ressayre's notion of a dominant pair. As applications, we obtain generalizations of Horn's inequalities to arbitrary representations, new inequalities for the one-body quantum marginal problem in physics, which concerns the asymptotic support of the Kronecker coefficients of the symmetric group, and a geometric interpretation of the Howe-Lee-Tan-Willenbring invariants for the tensor product algebra. △ Less

Submitted 28 January, 2016; v1 submitted 29 October, 2014; originally announced October 2014.

Comments: 42 pages, to appear in Journal of Symplectic Geometry

Journal ref: Journal of Symplectic Geometry 15 (2017), no. 4, 1209--1250

The multiplicities of the equivariant index of twisted Dirac operators

Authors: Paul-Emile Paradan, Michèle Vergne

Abstract: In this note, we give a geometric expression for the multiplicities of the equivariant index of a Dirac operator twisted by a line bundle. In this note, we give a geometric expression for the multiplicities of the equivariant index of a Dirac operator twisted by a line bundle. △ Less

Submitted 7 April, 2014; originally announced April 2014.

Comments: 8 pages

Intermediate Sums on Polyhedra II: Bidegree and Poisson Formula

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral… ▽ More We continue our study of intermediate sums over polyhedra, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449-1466]. By well-known decompositions, it is sufficient to consider the case of affine cones s+c, where s is an arbitrary real vertex and c is a rational polyhedral cone. For a given rational subspace L, we integrate a given polynomial function h over all lattice slices of the affine cone s + c parallel to the subspace L and sum up the integrals. We study these intermediate sums by means of the intermediate generating functions $S^L(s+c)(ξ)$, and expose the bidegree structure in parameters s and $ξ$, which was implicitly used in the algorithms in our papers [Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra, Found. Comput. Math. 12 (2012), 435-469] and [Intermediate sums on polyhedra: Computation and real Ehrhart theory, Mathematika 59 (2013), 1-22]. The bidegree structure is key to a new proof for the Baldoni--Berline--Vergne approximation theorem for discrete generating functions [Local Euler--Maclaurin expansion of Barvinok valuations and Ehrhart coefficients of rational polytopes, Contemp. Math. 452 (2008), 15-33], using the Fourier analysis with respect to the parameter s and a continuity argument. Our study also enables a forthcoming paper, in which we study intermediate sums over multi-parameter families of polytopes. △ Less

Submitted 2 November, 2014; v1 submitted 31 March, 2014; originally announced April 2014.

Comments: 35 pages, 6 figures; v2 changes terminology regarding degrees, for consistency with arXiv:1410.8632

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Journal ref: Mathematika 62 (2016) 653-684

Coefficients of Sylvester's Denumerant

Authors: Velleda Baldoni, Nicole Berline, Jesús De Loera, Brandon Dutra, Matthias Köppe, Michèle Vergne

Abstract: For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the v… ▽ More For a given sequence $\mathbfα = [α_1,α_2,\dots,α_{N+1}]$ of $N+1$ positive integers, we consider the combinatorial function $E(\mathbfα)(t)$ that counts the nonnegative integer solutions of the equation $α_1x_1+α_2 x_2+\cdots+α_{N} x_{N}+α_{N+1}x_{N+1}=t$, where the right-hand side $t$ is a varying nonnegative integer. It is well-known that $E(\mathbfα)(t)$ is a quasi-polynomial function in the variable $t$ of degree $N$. In combinatorial number theory this function is known as Sylvester's denumerant. Our main result is a new algorithm that, for every fixed number $k$, computes in polynomial time the highest $k+1$ coefficients of the quasi-polynomial $E(\mathbfα)(t)$ as step polynomials of $t$ (a simpler and more explicit representation). Our algorithm is a consequence of a nice poset structure on the poles of the associated rational generating function for $E(\mathbfα)(t)$ and the geometric reinterpretation of some rational generating functions in terms of lattice points in polyhedral cones. Our algorithm also uses Barvinok's fundamental fast decomposition of a polyhedral cone into unimodular cones. This paper also presents a simple algorithm to predict the first non-constant coefficient and concludes with a report of several computational experiments using an implementation of our algorithm in LattE integrale. We compare it with various Maple programs for partial or full computation of the denumerant. △ Less

Submitted 14 November, 2014; v1 submitted 26 December, 2013; originally announced December 2013.

Comments: minor revision, 28 pages

Journal ref: INTEGERS, vol 15 (2005), A11

Poisson summation formula and Box splines

Authors: Michele Vergne

Abstract: We generalize Dahmen-Micchelli deconvolution formula for Box splines with parameters. Our proof is based on identities for Poisson summation of rational functions with poles on hyperplanes. We generalize Dahmen-Micchelli deconvolution formula for Box splines with parameters. Our proof is based on identities for Poisson summation of rational functions with poles on hyperplanes. △ Less

Submitted 5 March, 2013; v1 submitted 26 February, 2013; originally announced February 2013.

Comments: The author name was missing in the previous version

Multiple Bernoulli series and volumes of moduli spaces of flat bundles over surfaces

Authors: Velleda Baldoni, Arzu Boysal, Michèle Vergne

Abstract: Using Szenes formula for multiple Bernoulli series we explain how to compute Witten series associated to classical Lie algebras. Particular instances of these series compute volumes of moduli spaces of flat bundles over surfaces, and also certain multiple zeta values. Using Szenes formula for multiple Bernoulli series we explain how to compute Witten series associated to classical Lie algebras. Particular instances of these series compute volumes of moduli spaces of flat bundles over surfaces, and also certain multiple zeta values. △ Less

Submitted 28 September, 2013; v1 submitted 17 January, 2013; originally announced January 2013.

Comments: 51 pages, 3 figures; formula in Proposition 3.1 for the Lie group of type G_2 is corrected; new references added

Formal equivariant $\hat A$ class, splines and multiplicities of the index of transversally elliptic operators

Authors: Michèle Vergne

Abstract: Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of G with Lie algebra Lie(T). We construct a finite number of piecewise polynomial functions on the dual vector space Lie(T)*, and give a formula for the multiplic… ▽ More Let G be a connected compact Lie group acting on a manifold M and let D be a transversally elliptic operator on M. The multiplicity of the index of D is a function on the set of irreducible representations of G. Let T be a maximal torus of G with Lie algebra Lie(T). We construct a finite number of piecewise polynomial functions on the dual vector space Lie(T)*, and give a formula for the multiplicity in term of these functions. The main new concept is the formal equivariant $\hat A$ class. △ Less

Submitted 9 February, 2016; v1 submitted 23 November, 2012; originally announced November 2012.

Comments: An example and a reference are added. Some misprints have been corrected

A relation between number of integral points, volumes of faces and degree of the discriminant of smooth lattice polytopes

Authors: Alicia Dickenstein, Benjamin Nill, Michèle Vergne

Abstract: We present a formula for the degree of the discriminant of a smooth projective toric variety associated to a lattice polytope P, in terms of the number of integral points in the interior of dilates of faces of dimension greater or equal than $\lceil \frac {\dim P} 2 \rceil$. We present a formula for the degree of the discriminant of a smooth projective toric variety associated to a lattice polytope P, in terms of the number of integral points in the interior of dilates of faces of dimension greater or equal than $\lceil \frac {\dim P} 2 \rceil$. △ Less

Submitted 2 February, 2012; v1 submitted 11 November, 2011; originally announced November 2011.

Comments: Introduction, last section and bibliography are revised

Report number: Mittag-Leffler-2011spring

Kirillov's formula and Guillemin-Sternberg conjecture

Authors: Michel Duflo, Michèle Vergne

Abstract: Let G be a connected reductive real Lie group, and H a compact connected subgroup. Harish-Chandra associates to a regular coadjoint admissible orbit M of G some unitary representations of G. Using the character formula for these representations, we show that the multiplicities of the restriction to H can be computed, under a suitable properness assumption, in terms of the fibers of the restriction… ▽ More Let G be a connected reductive real Lie group, and H a compact connected subgroup. Harish-Chandra associates to a regular coadjoint admissible orbit M of G some unitary representations of G. Using the character formula for these representations, we show that the multiplicities of the restriction to H can be computed, under a suitable properness assumption, in terms of the fibers of the restriction map from M to the dual of the Lie algebra of H. In particular, this gives an alternate proof of a result of Paradan. △ Less

Submitted 5 October, 2011; originally announced October 2011.

Comments: 7 pages

Analytic continuation of a parametric polytope and wall-crossing

Authors: Nicole Berline, Michèle Vergne

Abstract: We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We determine the set-theoretic variation when crossing a wall in the parameter space, and we relate this variation to Paradan's wall-crossing formulas for integrals… ▽ More We define a set theoretic "analytic continuation" of a polytope defined by inequalities. For the regular values of the parameter, our construction coincides with the parallel transport of polytopes in a mirage introduced by Varchenko. We determine the set-theoretic variation when crossing a wall in the parameter space, and we relate this variation to Paradan's wall-crossing formulas for integrals and discrete sums. As another application, we refine the theorem of Brion on generating functions of polytopes and their cones at vertices. We describe the relation of this work with the equivariant index of a line bundle over a toric variety and Morelli constructible support function. △ Less

Submitted 11 April, 2011; originally announced April 2011.

Comments: 61 pages, 17 figures

MSC Class: 14M25; 52B20

A homotopy for a complex of free Lie algebras

Authors: Michele Vergne

Abstract: Using the Guichardet construction, we compute the cohomology groups of a complex of free Lie algebras introduced by Alekseev and Torossian. Using the Guichardet construction, we compute the cohomology groups of a complex of free Lie algebras introduced by Alekseev and Torossian. △ Less

Submitted 12 July, 2011; v1 submitted 6 March, 2011; originally announced March 2011.

Comments: misprint corrected

Journal ref: Turkish J. Math 35 (2011) pages 1-7

Box splines and the equivariant index theorem

Authors: C. De Concini, C. Procesi, M. Vergne

Abstract: In this article, we start to recall the inversion formula for the convolution with the Box spline. The equivariant cohomology and the equivariant K-theory with respect to a compact torus G of various spaces associated to a linear action of G in a vector space M can be both described using some vector spaces of distributions, on the dual of the group G or on the dual of its Lie algebra. The morphis… ▽ More In this article, we start to recall the inversion formula for the convolution with the Box spline. The equivariant cohomology and the equivariant K-theory with respect to a compact torus G of various spaces associated to a linear action of G in a vector space M can be both described using some vector spaces of distributions, on the dual of the group G or on the dual of its Lie algebra. The morphism from K-theory to cohomology is analyzed and the multiplication by the Todd class is shown to correspond to the operator (deconvolution) inverting the semidiscrete convolution with a box spline. Finally, the multiplicities of the index of a G-transversally elliptic operator on M are determined using the infinitesimal index of the symbol. △ Less

Submitted 16 March, 2012; v1 submitted 5 December, 2010; originally announced December 2010.

Comments: 44 pages

Intermediate Sums on Polyhedra: Computation and Real Ehrhart Theory

Authors: Velleda Baldoni, Nicole Berline, Matthias Köppe, Michèle Vergne

Abstract: We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum u… ▽ More We study intermediate sums, interpolating between integrals and discrete sums, which were introduced by A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), 1449--1466]. For a given semi-rational polytope P and a rational subspace L, we integrate a given polynomial function h over all lattice slices of the polytope P parallel to the subspace L and sum up the integrals. We first develop an algorithmic theory of parametric intermediate generating functions. Then we study the Ehrhart theory of these intermediate sums, that is, the dependence of the result as a function of a dilation of the polytope. We provide an algorithm to compute the resulting Ehrhart quasi-polynomials in the form of explicit step polynomials. These formulas are naturally valid for real (not just integer) dilations and thus provide a direct approach to real Ehrhart theory. △ Less

Submitted 27 November, 2010; originally announced November 2010.

Comments: 24 pages, 3 figures

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Computation of the highest coefficients of weighted Ehrhart quasi-polynomials of rational polyhedra

Authors: Velleda Baldoni, Nicole Berline, Jesús A. De Loera, Matthias Köppe, Michèle Vergne

Abstract: This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a pol… ▽ More This article concerns the computational problem of counting the lattice points inside convex polytopes, when each point must be counted with a weight associated to it. We describe an efficient algorithm for computing the highest degree coefficients of the weighted Ehrhart quasi-polynomial for a rational simple polytope in varying dimension, when the weights of the lattice points are given by a polynomial function h. Our technique is based on a refinement of an algorithm of A. Barvinok [Computing the Ehrhart quasi-polynomial of a rational simplex, Math. Comp. 75 (2006), pp. 1449--1466] in the unweighted case (i.e., h = 1). In contrast to Barvinok's method, our method is local, obtains an approximation on the level of generating functions, handles the general weighted case, and provides the coefficients in closed form as step polynomials of the dilation. To demonstrate the practicality of our approach we report on computational experiments which show even our simple implementation can compete with state of the art software. △ Less

Submitted 6 November, 2010; originally announced November 2010.

Comments: 34 pages, 2 figures

MSC Class: 05A15 (Primary); 52C07; 68R05; 68U05; 52B20 (Secondary)

Discrete series representations and K multiplicities for U(p,q). User's guide

Authors: Velleda Baldoni, Michele Vergne

Abstract: This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via mul… ▽ More This document is a companion for the Maple program : Discrete series and K-types for U(p,q) available on:http://www.math.jussieu.fr/~vergne We explain an algorithm to compute the multiplicities of an irreducible representation of U(p)x U(q) in a discrete series of U(p,q). It is based on Blattner's formula. We recall the general mathematical background to compute Kostant partition functions via multidimensional residues, and we outline our algorithm. We also point out some properties of the piecewise polynomial functions describing multiplicities based on Paradan's results. △ Less

Submitted 31 August, 2010; originally announced August 2010.

Comments: 51 pages

MSC Class: 05; 06B15

Multiple Bernoulli series, an Euler-MacLaurin formula, and wall crossings

Authors: Arzu Boysal, Michele Vergne

Abstract: Using multiple Bernoulli series, we give a formula in the spirit of Euler MacLaurin formula. We also give a wall crossing formula and a decomposition formula. The study of these series is motivated by formulae of E.Witten for volumes of moduli spaces of flat bundles over a surface. Using multiple Bernoulli series, we give a formula in the spirit of Euler MacLaurin formula. We also give a wall crossing formula and a decomposition formula. The study of these series is motivated by formulae of E.Witten for volumes of moduli spaces of flat bundles over a surface. △ Less

Submitted 21 December, 2010; v1 submitted 2 August, 2010; originally announced August 2010.

Comments: 37 pages, 7 figures

[Q,R]=0 and Kostant partition functions

Authors: Andras Szenes, Michele Vergne

Abstract: On a polarized compact symplectic manifold endowed with an action of a compact Lie group, in analogy with geometric invariant theory, one can define the space of invariant functions of degree k. A central statement in symplectic geometry, the quantization commutes with reduction hypothesis, is equivalent to saying that the dimension of these invariant functions depends polynomially on k. This stat… ▽ More On a polarized compact symplectic manifold endowed with an action of a compact Lie group, in analogy with geometric invariant theory, one can define the space of invariant functions of degree k. A central statement in symplectic geometry, the quantization commutes with reduction hypothesis, is equivalent to saying that the dimension of these invariant functions depends polynomially on k. This statement was proved by Meinrenken and Sjamaar under positivity conditions. In this paper, we give a new proof of this polynomiality property. The proof is based on a study of the Atiyah-Bott fixed point formula from the point of view of the theory of partition functions, and a technique for localizing positivity. △ Less

Submitted 16 March, 2014; v1 submitted 21 June, 2010; originally announced June 2010.

Comments: Latex, 39 pages, improved exposition, minor corrections

Infinitesimal index: cohomology computations

Authors: Corrado De Concini, Claudio Procesi, Michele Vergne

Abstract: In this note several computations of equivariant cohomology groups are performed. For the compactly supported equivariant cohomology, the notion of infinitesimal index developed in arXiv:1003.3525, allows to describe these groups in terms of certain spaces of distributions arising in the theory of splines. The new version contains a large number of improvements. In this note several computations of equivariant cohomology groups are performed. For the compactly supported equivariant cohomology, the notion of infinitesimal index developed in arXiv:1003.3525, allows to describe these groups in terms of certain spaces of distributions arising in the theory of splines. The new version contains a large number of improvements. △ Less

Submitted 29 March, 2011; v1 submitted 2 May, 2010; originally announced May 2010.

The infinitesimal index

Authors: Corrado de Concini, Claudio Procesi, Michele Vergne

Abstract: In this note, we study an invariant associated to the zeros of the moment map generated by an action form, the infinitesimal index. This construction will be used to study the compactly supported equivariant cohomology of the zeros of the moment map and to give formulas for the multiplicity index map of a transversally elliptic operator. In this note, we study an invariant associated to the zeros of the moment map generated by an action form, the infinitesimal index. This construction will be used to study the compactly supported equivariant cohomology of the zeros of the moment map and to give formulas for the multiplicity index map of a transversally elliptic operator. △ Less

Submitted 15 March, 2012; v1 submitted 18 March, 2010; originally announced March 2010.

Comments: In this version, some misprints are corrected. An example have been changed of place

Polarimetry of an Intermediate-age Open Cluster: NGC 5617

Authors: Ana Maria Orsatti, Carlos Feinstein, M. Marcela Vergne, Ruben E. Martinez, E. Irene Vega

Abstract: We present polarimetric observations in the UBVRI bands of 72 stars located in the direction of the medium age open cluster NGC 5617. Our intention is to use polarimetry as a tool membership identification, by building on previous investigations intended mainly to determine the cluster's general characteristics rather than provide membership suitable for studies such as stellar content and metalli… ▽ More We present polarimetric observations in the UBVRI bands of 72 stars located in the direction of the medium age open cluster NGC 5617. Our intention is to use polarimetry as a tool membership identification, by building on previous investigations intended mainly to determine the cluster's general characteristics rather than provide membership suitable for studies such as stellar content and metallicity, as well as study the characteristics of the dust lying between the Sun and the cluster. The obsevations were carried out using the five-channel photopolarimeter of the Torino Astronomical Observatory attached to the 2.15m telescope at the Complejo Astronómico El Leoncito (CASLEO; Argentina. We are able to add 32 stars to the list of members of NGC 5617, and review the situation for others listed in the literature. In particular, we find that five blue straggler stars in the region of the cluster are located behind the same dust as the member stars are and we confirm the membership of two red giants. The proposed polarimetric memberships are compared with those derived by photometric and kinematical methods, with excellent results. Among the observed stars, we identify 10 with intrinsic polarization in their light. NGC 5617 can be polarimetrically characterized with $P_{max}= 4.40%$ and $ θ_{v}= 73^\circ.1$. The spread in polarization values for the stars observed in the direction of the cluster seems to be caused by the uneven distribution of dust in front of the cluster's face. Finally, we find that in the direction of the cluster, the interstellar medium is apparently free of dust, from the Sun's position up to the Carina-Sagittarius arm, where NGC 5617 seems to be located at its farthest border. △ Less

Submitted 15 March, 2010; originally announced March 2010.

A Remark on the Convolution with Box Splines

Authors: Michele Vergne

Abstract: The semi-discrete convolution with the Box Spline is an important tool in approximation theory. We give a formula for the difference between semi-discrete convolution and convolution with the Box Spline. This formula involves multiple Bernoulli polynomials. The semi-discrete convolution with the Box Spline is an important tool in approximation theory. We give a formula for the difference between semi-discrete convolution and convolution with the Box Spline. This formula involves multiple Bernoulli polynomials. △ Less

Submitted 8 March, 2010; originally announced March 2010.

Optical polarization observations in the Scorpius region: NGC 6124

Authors: M. Marcela Vergne, Carlos Feinstein, Ruben Martinez, Ana Maria Orsatti, Maria Paula Alvarez

Abstract: We have obtained optical multicolour (UBVRI) linear polarimetric data for 46 of the brightest stars in the area of the open cluster NGC 6124 in order to investigate the properties of the interstellar medium (ISM) that lies along the line of sight toward the cluster. Our data yield a mean polarization efficiency of $P_V/E_{B-V}=3.1\pm$0.62, i.e., a value lower than the polarization produced by th… ▽ More We have obtained optical multicolour (UBVRI) linear polarimetric data for 46 of the brightest stars in the area of the open cluster NGC 6124 in order to investigate the properties of the interstellar medium (ISM) that lies along the line of sight toward the cluster. Our data yield a mean polarization efficiency of $P_V/E_{B-V}=3.1\pm$0.62, i.e., a value lower than the polarization produced by the ISM with normal efficiency for an average color excess of $E_{B-V}=0.80$ as that found for NGC 6124. Besides, the polarization shows an orientation of $θ\sim 8^\circ$.1 which is not parallel to the Galactic Disk,an effect that we think may be caused by the Lupus Cloud. Our analysis also indicates that the observed visual extinction in NGC 6124 is caused by the presence of three different absorption sheets located between the Sun and NGC 6124. The values of the internal dispersion of the polarization ($ΔP_V\sim 1.3% $) and of the colour excess ($ΔE_{B-V}\sim 0.29$ mag) for the members of NGC 6124 seem to be compatible with the presence of an intra-cluster dust component. Only six stars exhibit some evidence of intrinsic polarization.Our work also shows that polarimetry provides an excellent tool to distinguish between member and non-member stars of a cluster. △ Less

Submitted 5 March, 2010; originally announced March 2010.

Summing a polynomial function over integral points of a polygon. User's guide

Authors: Velleda Baldoni, Nicole Berline, Michèle Vergne

Abstract: This document is a companion for the Maple program \textbf{Summing a polynomial function over integral points of a polygon}. It contains two parts. First, we see what this programs does. In the second part, we briefly recall the mathematical background. This document is a companion for the Maple program \textbf{Summing a polynomial function over integral points of a polygon}. It contains two parts. First, we see what this programs does. In the second part, we briefly recall the mathematical background. △ Less

Submitted 12 May, 2009; originally announced May 2009.

Highest coefficients of weighted Ehrhart quasi-polynomials for a rational polytope

Authors: Velleda Baldoni, Nicole Berline, Michèle Vergne

Abstract: We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope. We describe a method for computing the highest degree coefficients of a weighted Ehrhart quasi-polynomial for a rational simple polytope. △ Less

Submitted 2 October, 2010; v1 submitted 9 April, 2009; originally announced April 2009.

Comments: This paper has been withdrawn by the authors. This paper will be replaced soon by a more complete article with more authors

MSC Class: 52B20

How to Integrate a Polynomial over a Simplex

Authors: Velleda Baldoni, Nicole Berline, Jesus De Loera, Matthias Köppe, Michèle Vergne

Abstract: This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and Straus. On the other hand, if the polynomial depends only on a fixed number of variables, while its degree and the dimension of the simplex are allowed to vary… ▽ More This paper settles the computational complexity of the problem of integrating a polynomial function f over a rational simplex. We prove that the problem is NP-hard for arbitrary polynomials via a generalization of a theorem of Motzkin and Straus. On the other hand, if the polynomial depends only on a fixed number of variables, while its degree and the dimension of the simplex are allowed to vary, we prove that integration can be done in polynomial time. As a consequence, for polynomials of fixed total degree, there is a polynomial time algorithm as well. We conclude the article with extensions to other polytopes, discussion of other available methods and experimental results. △ Less

Submitted 13 February, 2009; v1 submitted 11 September, 2008; originally announced September 2008.

Comments: Tables added with new experimental results. References added

Journal ref: Mathematics of Computation 80, 273 (2011) 297-325

Vector partition functions and index of transversally elliptic operators

Authors: Corrado De Concini, Claudio C. Procesi, Michele Vergne

Abstract: Let G be a torus acting linearly on a complex vector space M, and let X be the list of weights of G in M. We determine the equivariant K-theory of the open subset of M consisting of points with finite stabilizers. We identify it to the space DM(X) of functions on the lattice of weights of G, satisfying the cocircuit difference equations associated to X, introduced by Dahmen--Micchelli in the con… ▽ More Let G be a torus acting linearly on a complex vector space M, and let X be the list of weights of G in M. We determine the equivariant K-theory of the open subset of M consisting of points with finite stabilizers. We identify it to the space DM(X) of functions on the lattice of weights of G, satisfying the cocircuit difference equations associated to X, introduced by Dahmen--Micchelli in the context of the theory of splines in order to study vector partition functions. This allows us to determine the range of the index map from G-transversally elliptic operators on M to generalized functions on G and to prove that the index map is an isomorphism on the image. This is a setting studied by Atiyah-Singer which is in a sense universal for index computations. △ Less

Submitted 19 August, 2008; originally announced August 2008.

Vector partition function and generalized Dahmen-Micchelli spaces

Authors: C. De Concini, C. Procesi, M. Vergne

Abstract: This is the first of two papers on partition functions and the index theory of transversally elliptic operators. In this paper we only discuss algebraic and combinatorial issues related to partition functions. The applications to index theory will appear in a subsequent paper. This is the first of two papers on partition functions and the index theory of transversally elliptic operators. In this paper we only discuss algebraic and combinatorial issues related to partition functions. The applications to index theory will appear in a subsequent paper. △ Less

Submitted 17 August, 2008; v1 submitted 19 May, 2008; originally announced May 2008.

Comments: 21 pages. New title. Various, mostly notational, improvements

Index of transversally elliptic operators

Authors: Paul-Emile Paradan, Michèle Vergne

Abstract: In 1996, Berline and Vergne gave a cohomological formula for the index of a transversally elliptic operator. In this paper we propose a new point of view where the cohomological formulae make use of equivariant Chern characters with generalized coefficients and with compact suppport. This kind of Chern characters was studied by the authors in a previous paper (see arXiv:0801.2822). In 1996, Berline and Vergne gave a cohomological formula for the index of a transversally elliptic operator. In this paper we propose a new point of view where the cohomological formulae make use of equivariant Chern characters with generalized coefficients and with compact suppport. This kind of Chern characters was studied by the authors in a previous paper (see arXiv:0801.2822). △ Less

Submitted 8 April, 2008; originally announced April 2008.

Comments: 41 pages

Paradan's wall crossing formula for partition functions and Khovanski-Pukhlikov differential operator

Authors: Arzu Boysal, Michele Vergne

Abstract: We give an elementary algebraic proof of Paradan's wall crossing formulae for partition functions. We also express such jumps in volume and partition functions by one dimensional residue formulae. Subsequently we reprove the relation between them as given by the application of a generalized Khovanskii-Pukhlikov differential operator. We give an elementary algebraic proof of Paradan's wall crossing formulae for partition functions. We also express such jumps in volume and partition functions by one dimensional residue formulae. Subsequently we reprove the relation between them as given by the application of a generalized Khovanskii-Pukhlikov differential operator. △ Less

Submitted 19 March, 2008; originally announced March 2008.

Equivariant Chern characters with generalized coefficients

Authors: Paul-Emile Paradan, Michèle Vergne

Abstract: These notes form the next episode in a series of articles dedicated to a detailed proof of a cohomological index formula for transversally elliptic pseudo-differential operators and applications. The first two chapters are already available as math.DG/0702575 and arXiv:0711.3898. In this episode, we construct the relative equivariant Chern character of a morphism of vector bundles, localized by… ▽ More These notes form the next episode in a series of articles dedicated to a detailed proof of a cohomological index formula for transversally elliptic pseudo-differential operators and applications. The first two chapters are already available as math.DG/0702575 and arXiv:0711.3898. In this episode, we construct the relative equivariant Chern character of a morphism of vector bundles, localized by a one form, and we prove a multiplicativity property of this generalized Chern character △ Less

Submitted 18 January, 2008; originally announced January 2008.

Comments: 63 pages