Related papers: A geometric take on Kostant's Convexity Theorem
Let $\partial \,\mathcal{C}$ be the boundary of a compact convex body $\mathcal{C}$ in $\mathbb{R}^n,\, n\geq 2$, and $O$ be an interior point of $\mathcal C$. Every straight line $l$ containing $O$ cuts from $\mathcal{C}$ a segment $[AB]$…
Previous studies of the vacuum polarization on de Sitter have demonstrated that there is a simple, noncovariant representation of it in which the physics is transparent. There is also a cumbersome, covariant representation in which the…
We develop a relative version of Kostant's harmonic theory and use this to prove a relative version of Kostant's theorem on Lie algebra (co)homology. These are associated to two nested parabolic subalgebras in a semisimple Lie algebra. We…
The current form of quantum mechanics is very successful and is almost certainly correct. It is remarkable, however, that the entire structure-from the mass, spin and charge labels on particlelike states to antisymmetry to broken internal…
Let $V$ be a symmetric space over a connected reductive Lie algebra $G$, with Lie algebra $\mathfrak{g}$ and discriminant $\delta\in \mathbb{C}[V]$. A fundamental object is the invariant holonomic system $\mathcal{G} =\mathcal{D}(V)\Big/…
Given any representation V of a complex linear reductive Lie group G_0, we show that a larger semi-simple Lie group G with g=g_0 + V + V* + ..., exists precisely when V has a finite number of G_0-orbits. In particular, V admits an open…
Let $G$ be a real reductive Lie group, $L$ a compact subgroup, and $\pi$ an irreducible admissible representation of $G$. In this article we prove a necessary and sufficient condition for the finiteness of the multiplicities of $L$-types…
We consider a planar convex body $C$ and we prove several analogs of Roth's theorem on irregularities of distribution. When $\partial C$ is $\mathcal{C}% ^{2}$ regardless of curvature, we prove that for every set $\mathcal{P}_{N}$ of $N$…
In the paper we consider convex cones in infinite-dimensional real vector spaces which are endowed with no topology. The main purpose is to study an internal geometric structure of convex cones and to obtain an analytical description of…
We give a proof of Kontsevich's formality theorem for a general manifold using Fedosov resolutions of algebras of polydifferential operators and polyvector fields. The main advantage of our construction of the formality quasi-isomorphism is…
Convex sets appear in various mathematical theories, and are used to define notions such as convex functions and hulls. As an abstraction from the usual definition of convex sets in vector spaces, we formalize in Coq an intrinsic…
The Local-to-Global-Principle used in the proof of convexity theorems for momentum maps has been extracted as a statement of pure topology enriched with a structure of convexity. We extend this principle to not necessarily closed maps…
We show that one can lift locally real analytic curves from the orbit space of a compact Lie group representation, and that one can lift smooth curves even globally, but under an assumption.
We study the problem of decomposing (i.e. partitioning and covering) polygons into components that are $\alpha$-fat, which means that the aspect ratio of each subpolygon is at most $\alpha$. We consider decompositions without Steiner…
The article is devoted to the question whether the orbit space of a compact linear group is a topological manifold and a homological manifold. In the paper, the case of a simple three-dimensional group is considered. An upper bound is…
In this paper, we prove some convexity results associated to orbit projection of non-compact real reductive Lie groups.
In this survey, we report on the state of the art of some of the fundamental problems in the Lie theory of Lie groups modeled on locally convex spaces, such as integrability of Lie algebras, integrability of Lie subalgebras to Lie…
We show that a finite volume deformation retract $\mathcal{T}_{\varepsilon_t}^{-}(\mathcal{N}_g)/\mathrm{MCG}(\mathcal{N}_g)$ of the moduli space $\mathcal{M}(\mathcal{N}_g)$ of non-orientable surfaces $\mathcal{N}_g$ behaves like the…
For a locally convex vector space (l.c.v.s.) $E$ and an absolutely convex neighborhood $V$ of zero, a bounded subset $A$ of $E$ is said to be $V$-dentable (respectively, $V$-f-dentable) if for any $\epsilon>0$ there exists an $x\in A$ so…
Let $G$ be a real algebraic semi-simple Lie group and $\Gamma$ be the fundamental group of a compact negatively curved manifold. In this article we study the limit cone, introduced by Benoist, and the growth indicator function, introduced…