Related papers: Kobayashi's conjecture on associated varieties for…

The author classifies Klein four symmetric pairs of holomorphic type for non-compact Lie group $\mathrm{E}_{6(-14)}$, which gives a class of pairs $(G,G')$ of real reductive Lie group $G$ and its reductive subgroup $G'$ such that there…

Let $G$ be a noncompact connected simple Lie group, and $(G,G^\Gamma)$ a Klein four symmetric pair. In this paper, the author shows a necessary condition for the discrete decomposability of unitarizable simple $(\mathfrak{g},K)$-modules for…

We give a classification of irreducible four-dimensional symmetric spaces $G/H$ which admit compact Clifford-Klein forms, where $G$ is the transvection group of $G/H$. For this, we develop a method that applies to particular 1-connected…

Let $(G,G^\Gamma)$ be a Klein four symmetric pair. The author wants to classify all the Klein four symmetric pairs $(G,G^\Gamma)$ such that there exists at least one nontrivial unitarizable simple $(\mathfrak{g},K)$-module $\pi_K$ that is…

The author classifies Klein four symmetric pairs of holomorphic type for the non-compact Lie group of Hermitian type $\mathrm{E}_{7(-25)}$, and applies the results to branching rules.

We give a complete classification of the reductive symmetric pairs (G,H) for which the homogeneous space $(G \times H)/diag(H)$ is real spherical in the sense that a minimal parabolic subgroup has an open orbit. Combining with a criterion…

We prove the BMM symmetrising trace conjecture for the exceptional complex reflection groups $G_4,\,G_5,\,G_6,\,G_7,\,G_8$ using a combination of algorithms programmed in different languages (C++, SAGE, GAP3, Mathematica). Our proof depends…

Let $N(\Gamma,G)$ be the number of homomorphisms from $\Gamma$ to $G$ up to conjugation by $G$. Physics of four-dimensional $\mathcal{N}=4$ supersymmetric gauge theories predicts that $N(\Gamma,G)=N(\Gamma , \tilde G)$ when $\Gamma$ is a…

T. Kobayashi conjectured in the 36th Geometry Symposium in Japan (1989) that a homogeneous space G/H of reductive type does not admit a compact Clifford-Klein form if rank G - rank K < rank H - rank K_H. We solve this conjecture…

Exceptional groups of type $E_6$ contain dual pairs where one member is $\mathrm{Spin}(8)$, and the other is $T\rtimes \mathbb Z/2\mathbb Z$, where $T$ is a two-dimensional torus and the non-trivial element in $\mathbb Z/2\mathbb Z$ acts on…

We first prove, for pairs consisting of a simply connected complex reductive group together with a connected subgroup, the equivalence between two different notions of Gelfand pairs. This partially answers a question posed by Gross, and…

We study Gushel-Mukai (GM) varieties of dimension 4 or 6 in characteristic $p$. Our main result is the Tate conjecture for all such varieties over finitely generated fields of characteristic $p\geq 5$. In the case of GM sixfolds, we follow…

Up to equivalence, this paper classifies all the irreducible unitary representations with non-zero Dirac cohomology for the simple Lie group $E_{6(-14)}$, which is of Hermitian symmetric type. Each FS-scattered Dirac series of $E_{6(-14)}$…

The compact simply connected Riemannian 4-symmetric spaces were classified by J.A. Jim{\'{e}}nez. As homogeneous manifolds, these spaces are of the $G/H$, where $G$ is a connected compact simple Lie group with an automorphism…

A. Takahashi suggested a conjectural method to find mirror symmetric pairs consisting of invertible polynomials and symmetry groups generated by some diagonal symmetries and some permutations of variables. Here we generalize the Saito…

Let $E$ be a cubic \'etale extension of the rational numbers which is totally real, i.e., $E \otimes \mathbf{R} \simeq \mathbf{R} \times \mathbf{R} \times \mathbf{R}$. There is an algebraic $\mathbf{Q}$-group $S_E$ defined in terms of $E$,…

We prove Kawaguchi-Silverman conjecture (KSC) and Shibata's conjecture on ample canonical heights for endomorphisms on several classes of algebraic varieties including varieties of Fano type and projective toric varieties. We also prove KSC…

The Moore-Tachikawa conjecture is that each connected complex semisimple group $G$ determines a two-dimensional TQFT in a category of Hamiltonian symplectic varieties. While it would be worthwhile to prove this conjecture outright, our…

Of the five exceptional groups, $\mathrm{E}_6$ is considered the most attractive for unification due to the following reasons: (i) it contains both $\mathrm{Spin} (10) \times \mathrm{U}(1)$ and $\mathrm{SU} (3) \times \mathrm{SU}(3) \times…

The Gromov-Lawson-Rosenberg conjecture for a group G states that a compact spin manifold with fundamental group G admits a metric of positive scalar curvature if and only if a certain topological obstruction vanishes. It is known to be true…