G-Ham Sandwich Theorems: Balancing measures by finite subgroups of spheres

Equivariant Ham Sandwich Theorems are obtained for the classical algebras $\mathbb{F}=\mathbb{R},\mathbb{C}\text{, and}\mathbb{H}$ and the finite subgroups G of their unit spheres. Given any n $\mathbb{F}$-valued Borel measures on ${\mathbb{F}}^n$ and any n-dimensional free $\mathbb{F}$-unitary representation of G, it is shown that there exists a Voronoi partition of ${\mathbb{F}}^n$ naturally determined by G which “G-balances” each measure, as realized by the simultaneous vanishing of each “G-average” of the measures of the partition?s isometric fundamental domains. Applications for real measures follow, among them that any n signed mass distributions on ${\mathbb{C}}^{(p?1)n/2}$ can be equipartitioned by a single complex regular p-fan if p is an odd prime.     

A1-homotopy groups,excision, and solvable quotients

We study some properties of ${\mathbb{A}}^1$-homotopy groups: geometric interpretations of connectivity, excision results, and a re-interpretation of quotients by free actions of connected solvable groups in terms of covering spaces in the sense of ${\mathbb{A}}^1$-homotopy theory. These concepts and results are well suited to the study of certain quotients via geometric invariant theory. As a case study in the geometry of solvable group quotients, we investigate ${\mathbb{A}}^1$-homotopy groups of smooth toric varieties. We give simple combinatorial conditions (in terms of fans) guaranteeing vanishing of low degree ${\mathbb{A}}^1$-homotopy groups of smooth (proper) toric varieties. Finally, in certain cases, we can actually compute the “next” non-vanishing ${\mathbb{A}}^1$-homotopy group (beyond ${\pi }_1^{{\mathbb{A}}^1}$) of a smooth toric variety. From this point of view, ${\mathbb{A}}^1$-homotopy theory, even with its exquisite sensitivity to algebro-geometric structure, is almost “as tractable” (in low degrees) as ordinary homotopy for large classes of interesting varieties.     

On boundaries of Levi-flat hypersurfaces in Cn

Let S be a smooth 2-codimensional real compact submanifold of ${\mathbb{C}}^n$, $n>2$. We address the problem of finding a compact hypersurface M, with boundary S, such that $M?S$ is Levi-flat. We prove the following theorem. Assume that (i) S is nonminimal at every CR point, (ii) every complex point of S is flat and elliptic and there exists at least one such point, (iii) S does not contain complex submanifolds of dimension $n?2$. Then there exists a Levi-flat $(2n?1)$-subvariety $\stackrel{?}{M}?\mathbb{C}\times {\mathbb{C}}^n$ with negligible singularities and boundary $\stackrel{?}{S}$ (in the sense of currents) such that the natural projection $\pi :\mathbb{C}\times {\mathbb{C}}^n\to {\mathbb{C}}^n$ restricts to a CR diffeomorphism between S and $\stackrel{?}{S}$. To cite this article: P. Dolbeault et al., C. R. Acad. Sci. Paris, Ser. I 341 (2005).     

Logarithmic potentials on Pn

We study the projective logarithmic potential ${\mathbb{G}}_{\mu }$ of a probability measure μ on the complex projective space ${\mathbb{P}}^n$. We prove that the range of the operator $\mu ?{\mathbb{G}}_{\mu }$ is contained in the (local) domain of definition of the complex Monge–Ampère operator acting on the class of quasi-plurisubharmonic functions on ${\mathbb{P}}^n$ with respect to the Fubini–Study metric. Moreover, when the measure μ has no atom, we show that the complex Monge–Ampère measure of its logarithmic potential is an absolutely continuous measure with respect to the Fubini–Study volume form on ${\mathbb{P}}^n$.