Geometric quantization for proper moment maps: the Vergne conjecture

In addition to seeking encodings of single objects, a central goal of our work is to also encode information about classes of objects (for example the class of objects in some

However, in addition to a “raw” translation from Alloy to Coq, we wanted our tool to provide some support to ease the proof in Coq of the assertions of an Alloy model.. Such a

The even-like θ-duadic codes of length mk given by the multiplier −r are Hermitian self-orthogonal θ-cyclic

We show that the orthogonal free quantum groups are not inner amenable and we construct an explicit proper cocycle weakly contained in the regular representation.. This strengthens

In a first step, we express the transversal index as an Atiyah-Patodi-Singer (APS) type index on corresponding manifolds with boundary.. Then in a second step, we construct a

Two of the main results of this paper are an extension of the Atiyah–Singer Index Theorem on the equality of the topological and analytic index and an extension of Theorem 1

Here, we follow a different approach and we are going to extend the Atiyah-Singer topological index map using Connes’ ideas on tangent groupoid actions on euclidean spaces; moreover

(2011), who used a fixed number of extreme conditional quantile estimators to estimate the conditional tail index, for instance using the Hill (Hill, 1975) and Pickands (Pickands,