On the Kashiwara–Vergne conjecture

Let G be a connected Lie group, with Lie algebra . In 1977, Duflo constructed a homomorphism of -modules , which restricts to an algebra isomorphism on invariants. Kashiwara and Vergne (1978) proposed a conjecture on the Campbell-Hausdorff series, which (among other things) extends the Duflo theorem to germs of bi-invariant distributions on the Lie group G. The main results of the present paper are as follows. (1) Using a recent result of Torossian (2002), we establish the Kashiwara–Vergne conjecture for any Lie group G. (2) We give a reformulation of the Kashiwara–Vergne property in terms of Lie algebra cohomology. As a direct corollary, one obtains the algebra isomorphism , as well as a more general statement for distributions.     

On triviality of the Kashiwara–Vergne problem for quadratic Lie algebras

We show that the Kashiwara–Vergne (KV) problem for quadratic Lie algebras (that is, Lie algebras admitting an invariant scalar product) reduces to the problem of representing the Campbell–Hausdorff series in the form $\ln (e^x{e}^y)=x+y+[x,a(x,y)]+[y,b(x,y)]$, where $a(x,y)$ and $b(x,y)$ are Lie series in x and y. This observation explains the existence of explicit rational solutions of the quadratic KV problem, whereas constructing an explicit rational solution of the full KV problem would probably require the knowledge of a rational Drinfeld associator. It also gives, in the case of quadratic Lie algebras, a direct proof of the Duflo theorem (implied by the KV problem). To cite this article: A. Alekseev, C. Torossian, C. R. Acad. Sci. Paris, Ser. I 347 (2009).     

On the connection between the Hilger and Radon–Nikodym derivatives

We show that the Hilger derivative on time scales is a special case of the Radon–Nikodym derivative with respect to the natural measure associated with every time scale. Moreover, we show that the concept of delta absolute continuity agrees with the one from measure theory in this context.     

Higher genus Kashiwara–Vergne problems and the Goldman–Turaev Lie bialgebra

We define a family ${\mathrm{KV}}^{(g,n+1)}$ of Kashiwara–Vergne problems associated with compact connected oriented 2-manifolds of genus g with $n+1$ boundary components. The problem ${\mathrm{KV}}^{(0,3)}$ is the classical Kashiwara–Vergne problem from Lie theory. We show the existence of solutions to ${\mathrm{KV}}^{(g,n+1)}$ for arbitrary g and n. The key point is the solution to ${\mathrm{KV}}^{(1,1)}$ based on the results by B. Enriquez on elliptic associators. Our construction is motivated by applications to the formality problem for the Goldman–Turaev Lie bialgebra ${\mathfrak{g}}^{(g,n+1)}$. In more detail, we show that every solution to ${\mathrm{KV}}^{(g,n+1)}$ induces a Lie bialgebra isomorphism between ${\mathfrak{g}}^{(g,n+1)}$ and its associated graded $\mathrm{gr}{\mathfrak{g}}^{(g,n+1)}$. For $g=0$, a similar result was obtained by G. Massuyeau using the Kontsevich integral. For $g\ge 1$, $n=0$, our results imply that the obstruction to surjectivity of the Johnson homomorphism provided by the Turaev cobracket is equivalent to the Enomoto–Satoh obstruction.     

Drinfeld associators, Braid groups and explicit solutions of the Kashiwara–Vergne equations

The Kashiwara–Vergne (KV) conjecture states the existence of solutions of a pair of equations related with the Campbell–Baker–Hausdorff series. It was solved by Meinrenken and the first author over ℝ, and in a formal version, by two of the authors over a field of characteristic 0. In this paper, we give a simple and explicit formula for a map from the set of Drinfeld associators to the set of solutions of the formal KV equations. Both sets are torsors under the actions of prounipotent groups, and we show that this map is a morphism of torsors. When specialized to the KZ associator, our construction yields a solution over ℝ of the original KV conjecture.     

On a conjecture of Erd?s, Graham and Spencer, II

It is conjectured by Erd?s, Graham and Spencer that if 1≤a₁≤a₂≤?≤a_s are integers with , then this sum can be decomposed into n parts so that all partial sums are ≤1. This is not true for as shown by a₁=?=a_n−2=1, . In 1997 Sandor proved that Erd?s-Graham-Spencer conjecture is true for . Recently, Chen proved that the conjecture is true for . In this paper, we prove that Erd?s-Graham-Spencer conjecture is true for .     

On the Brezis–Nirenberg problem on S3, and a conjecture of Bandle–Benguria

We consider the following Brezis–Nirenberg problem on ${\mathbf{S}}^3$

$?{\mathrm{\Delta }}_{{\mathbf{S}}^3}u=\lambda u+u^5\text{in}D,u>0\text{in}D\text{and}u=0\text{on }?D,$

where D is a geodesic ball on ${\mathbf{S}}^3$ with geodesic radius ${\theta }_1$, and ${\mathrm{\Delta }}_{{\mathbf{S}}^3}$ is the Laplace–Beltrami operator on ${\mathbf{S}}^3$. We prove that for any $\lambda <?\frac{3}{4}$ and for every ${\theta }_1<\pi$ with $\pi ?{\theta }_1$ sufficiently small (depending on λ), there exists bubbling solution to the above problem. This solves a conjecture raised by Bandle and Benguria [J. Differential Equations 178 (2002) 264–279] and Brezis and Peletier [C. R. Acad. Sci. Paris, Ser. I 339 (2004) 291–394]. To cite this article: W. Chen, J. Wei, C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

On the Auslander–Reiten conjecture for Cohen–Macaulay rings and path algebras

In this note, it is shown that the validity of the Auslander–Reiten conjecture for a given d-dimensional Cohen–Macaulay local ring R depends on its validity for all direct summands of d-th syzygy of R-modules of finite length, provided R is an isolated singularity. Based on this result, it is shown that under a mild assumption on the base ring R, satisfying the Auslander–Reiten conjecture behaves well under completion and reduction modulo regular elements. In addition, it will turn out that, if R is a commutative Noetherian ring and 𝒬 a finite acyclic quiver, then the Auslander–Reiten conjecture holds true for the path algebra R𝒬, whenever so does R. Using this result, examples of algebras satisfying the Auslander–Reiten conjecture are presented.     

On the Mumford–Tate conjecture for 1-motives

We show that the statement analogous to the Mumford–Tate conjecture for Abelian varieties holds for 1-motives on unipotent parts. This is done by comparing the unipotent part of the associated Hodge group and the unipotent part of the image of the absolute Galois group with the unipotent part of the motivic fundamental group.     

CR foliations,the strip-problem and Globevnik–Stout conjecture

We characterize CR functions on planar domains and real hypersurfaces in ${\mathbb{C}}^2$ in terms of analytic extendibility into attached analytic discs. It is done by studying propagation, from the boundary into interior, of degeneracy of CR foliations of solid torus-like manifolds. In particular, we answer, for smooth functions, two open questions mentioned in the title: about characterization of analytic functions in the complex plane and about characterization of boundary values of holomorphic functions in bounded domains in ${\mathbb{C}}^n$. To cite this article: M. Agranovsky, C. R. Acad. Sci. Paris, Ser. I 343 (2006).     

On the relationship between Semi-Lagrangian and Lagrange–Galerkin schemes

Following a previous result stating their equivalence under constant advection speed, Semi-Lagrangian and Lagrange–Galerkin schemes are compared in this paper in the situation of variable coefficient advection equations. Once known that Semi-Lagrangian schemes can be proved to be equivalent to area-weighted Lagrange–Galerkin schemes via a suitable definition of the basis functions, we will further prove that area-weighted Lagrange–Galerkin schemes represent a “small” (more precisely, an $O(\Delta t$ )) perturbation of exact Lagrange–Galerkin schemes. This equivalence implies a general result of stability for Semi-Lagrangian schemes.     

On the Lang–Trotter conjecture for two elliptic curves

The Ramanujan Journal - We extend the author’s earlier computation and give coefficient formulas for the (quasimodular) Poincaré square series of weight 3&nbsp;/&nbsp;2 and...