arXiv subjects
Publications and source records attributed to Takayuki Okuda.
Cohn--Conway--Elkies--Kumar [Experiment. Math. (2007)] described that one can construct a family of designs on $S^{2n-1}$ from a design on $\mathbb{CP}^{n-1}$. In this paper, we prove their claim for the case where $n=2$. That is, we give an algorithm to construct $2t$-designs on $S^{3}$ as products through a Hopf map $S^3 \rightarrow S^2$ of a $t$-design on $S^2$ and a $2t$-design on $S^1$.
In the study of discontinuous groups for non-Riemannian homogeneous spaces, the idea of "continuous analogue" gives a powerful method (T. Kobayashi [Math. Ann. 1989]). For example, a semisimple symmetric space G/H admits a discontinuous group which is not virtually abelian if and only if G/H admits a proper SL(2,R)-action (T. Okuda [J. Differential Geom. 2013]). However, the action of discrete subgroups is not always approximated by that of connected groups. In this paper, we show that the theorem cannot be extended to general homogeneous spaces G/H of reductive type. We give a counterexample in the case G = SL(5,R).
We show that there are no tight nonholomorphic maps from irreducible domains into exceptional codomains, the only exception being the already known tight nonholomorphic maps from the Poincare disc. This follows up on previous work by the first author where this was shown for classical codomains.
We give a new upper bound of the cardinality of a set of equiangular lines in $\R^n$ with a fixed angle $θ$ for each $(n,θ)$ satisfying certain conditions. Our techniques are based on semi-definite programming methods for spherical codes introduced by Bachoc--Vallentin [J.Amer.Math.Soc.2008]. As a corollary to our bound, we show the nonexistence of spherical tight designs of harmonic index 4 on $S^{n-1}$ with $n \geq 3$.
Let us fix a complex simple Lie algebra and its non-compact real form. This paper focuses on non-zero adjoint nilpotent orbits in the complex simple Lie algebra meeting the real form. We show that the poset consisting of such nilpotent orbits equipped with the closure ordering has the minimum. Furthermore, we determine such the minimum orbit in terms of the Dynkin--Kostant classification even in the cases where the orbit does not coincide with the minimal nilpotent orbit in the complex simple Lie algebra. We also prove that the intersection of the orbit and the real form is the union of all minimal nilpotent orbits in the real form.
Spherical $t$-design is a finite subset on sphere such that, for any polynomial of degree at most $t$, the average value of the integral on sphere can be replaced by the average value at the finite subset. It is well-known that an equivalent condition of spherical design is given in terms of harmonic polynomials. In this paper, we define a spherical design of harmonic index $t$ from the viewpoint of this equivalent condition, and we give its construction and a Fisher type lower bound on the cardinality. Also we investigate whether there is a spherical design of harmonic index attaining the bound.
The aim of this paper is a characterization of great antipodal sets of complex Grassmannian manifolds as certain designs with the smallest cardinalities.
We give a complete classification of irreducible symmetric spaces for which there exist proper SL(2,R)-actions as isometries, using the criterion for proper actions by T. Kobayashi [Math. Ann. '89] and combinatorial techniques of nilpotent orbits. In particular, we classify irreducible symmetric spaces that admit surface groups as discontinuous groups, combining this with Benoist's theorem [Ann. Math. '96].