• We prove a number field analogue of W. M. Schmidt's conjecture on the intersection of weighted badly approximable vectors and use this to prove an instance of a conjecture of An, Guan and Kleinbock. Namely, let $G := SL_2(\mathbb{R}) \times \dots \times SL_2(\mathbb{R}) $ and $\Gamma$ be a lattice in $G$. We show that the set of points on $G/\Gamma$ whose forward orbits under a one parameter Ad-semisimple subsemigroup of $G$ are bounded, form a hyperplane absolute winning set.
  • We prove that for any countably many one-parameter diagonalizable subgroups $F_n$ of $\rm{SL}_3(\mathbb{R})$, the set of $\Lambda\in\rm{SL}_3(\mathbb{R})/\rm{SL}_3(\mathbb{Z})$ such that all the orbits $F_n\Lambda$ are bounded has full Hausdorff dimension.
  • For any i,j>0 with i+j =1, let Bad(i,j) denote the set of points (x,y) \in R^2 such that max \{ ||qx||^{1/i}, \, ||qy||^{1/j} \} > c/q for some positive constant c = c(x,y) and all q in N. We show that \Bad(i,j) \cap C is winning in the sense of Schmidt games for a large class of planar curves C, namely, everywhere non-degenerate planar curves and straight lines satisfying a natural Diophantine condition. This strengthens recent results solving a problem of Davenport from the sixties. In short, within the context of Davenport's problem, the winning statement is best possible. Furthermore, we obtain the inhomogeneous generalizations of the winning results for planar curves and lines and also show that the inhomogeneous form of Bad(i,j) is winning for two dimensional Schmidt games.
  • We prove that for any pair $(s,t)$ of nonnegative numbers with $s+t=1$, the set of two-dimensional $(s,t)$-badly approximable vectors is winning for Schmidt's game. As a consequence, we give a direct proof of Schmidt's conjecture using his game.
  • We prove that a hypothesis of Cassels, Swinnerton-Dyer, recast by Margulis as statement on the action of the diagonal group $A$ on the space of unimodular lattices, is equivalent to several assertions about minimal sets for this action. More generally, for a maximal $\mathbb{R}$-diagonalizable subgroup $A$ of a reductive group $G$ and a lattice $\Gamma$ in $G$, we give a sufficient condition for a compact $A$-minimal subset $Y$ of $G/\Gamma$ to be of a simple form, which is also necessary if $G$ is $\mathbb{R}$-split. We also show that the stabilizer of $Y$ has no nontrivial connected unipotent subgroups.
  • We prove that for any $s,t\ge0$ with $s+t=1$ and any $\theta\in\mathbb{R}$ with $\inf_{q\in\mathbb{N}}q^{\frac{1}{s}}\|q\theta\|>0$, the set of $y\in\mathbb{R}$ for which $(\theta,y)$ is $(s,t)$-badly approximable is 1/2-winning for Schmidt's game. As a consequence, we remove a technical assumption in a recent theorem of Badziahin-Pollington-Velani on simultaneous Diophantine approximation.
  • By using a Borel density theorem for algebraic quotients, we prove a theorem concerning isometric actions of a Lie group $G$ on a smooth or analytic manifold $M$ with a rigid $\mathrm{A}$-structure $\sigma$. It generalizes Gromov's centralizer and representation theorems to the case where $R(G)$ is split solvable and $G/R(G)$ has no compact factors, strengthens a special case of Gromov's open dense orbit theorem, and implies that for smooth $M$ and simple $G$, if Gromov's representation theorem does not hold, then the local Killing fields on $\widetilde{M}$ are highly non-extendable. As applications of the generalized centralizer and representation theorems, we prove (1) a structural property of $\mathrm{Iso}(M)$ for simply connected compact analytic $M$ with unimodular $\sigma$, (2) three results illustrating the phenomena that if $G$ is split solvable and large then $\pi_1(M)$ is also large, and (3) two fixed point theorems for split solvable $G$ and compact analytic $M$ with non-unimodular $\sigma$.
  • A subspace of the space, L(n), of traceless complex $n\times n$ matrices can be specified by requiring that the entries at some positions $(i,j)$ be zero. The set, $I$, of these positions is a (zero) pattern and the corresponding subspace of L(n) is denoted by $L_I(n)$. A pattern $I$ is universal if every matrix in L(n) is unitarily similar to some matrix in $L_I(n)$. The problem of describing the universal patterns is raised, solved in full for $n\le3$, and partial results obtained for $n=4$. Two infinite families of universal patterns are constructed. They give two analogues of Schur's triangularization theorem.
  • For a representation of a connected compact Lie group G in a finite dimensional real vector space U and a subspace V of U, invariant under a maximal torus of G, we obtain a sufficient condition for V to meet all G-orbits in U, which is also necessary in certain cases. The proof makes use of the cohomology of flag manifolds and the invariant theory of Weyl groups. Then we apply our condition to the conjugation representations of U(n), Sp(n), and SO(n) in the space of $n\times n$ matrices over C, H, and R, respectively. In particular, we obtain an interesting generalization of Schur's triangularization theorem.
  • Given a Lie group $G$ with finitely many components and a compact Lie group A which acts on $G$ by automorphisms, we prove that there always exists an A-invariant maximal compact subgroup K of G, and that for every such K, the natural map $H^1(A,K)\to H^1(A,G)$ is bijective. This generalizes a classical result of Serre [6] and a recent result in [1].
  • Making use of nonabelian harmonic analysis and representation theory, we solve the functional equation $$f_1(xy)+f_2(yx)+f_3(xy^{-1})+f_4(y^{-1}x)=f_5(x)f_6(y)$$ on arbitrary compact groups. The structure of its general solution is completely described. Consequently, several special cases of the above equation, in particular, the Wilson equation and the d'Alembert long equation, are solved on compact groups.
  • We define the holomorphic Fourier transform of holomorphic functions on complex reductive groups, prove some properties like the Fourier inversion formula, and give some applications. The definition of the holomorphic Fourier transform makes use of the notion of $K$-admissible measures. We prove that $K$-admissible measures are abundant, and the definition of holomorphic Fourier transform is independent of the choice of $K$-admissible measures.
  • We prove that a $C^2$ diffeomorphism $f$ of a compact manifold $M$ satisfies Axiom A and the strong transversality condition if and only if it is H\"{o}lder stable, that is, any $C^1$ diffeomorphism $g$ of $M$ sufficiently $C^1$ close to $f$ is conjugate to $f$ by a homeomorphism which is H\"{o}lder on the whole manifold.
  • We prove a generalized implicit function theorem for Banach spaces, without the usual assumption that the subspaces involved being complemented. Then we apply it to the problem of parametrization of fibers of differentiable maps, the Lie subgroup problem for Banach-Lie groups, as well as Weil's local rigidity for homomorphisms from finitely generated groups to Banach-Lie groups.
  • We prove that Ad-semisimple conjugacy classes in a connected Lie group $G$ are closed embedded submanifolds of $G$. We also prove that if $\alpha:H\to G$ is a homomorphism of connected Lie groups such that the kernel of $\alpha$ is discrete in $H$, then for an Ad-semisimple conjugacy class $C$ in $G$, every connected component of $\alpha^{-1}(C)$ is a conjugacy class in $H$. Corresponding results for adjoint orbits in real Lie algebras are also proved.
  • For a cyclic group $A$ and a connected Lie group $G$ with an $A$-module structure (with the additional conditions that $G$ is compact and the $A$-module structure on $G$ is 1-semisimple if $A\cong\ZZ$), we define the twisted Weyl group $W=W(G,A,T)$, which acts on $T$ and $H^1(A,T)$, where $T$ is a maximal compact torus of $G_0^A$, the identity component of the group of invariants $G^A$. We then prove that the natural map $W\backslash H^1(A,T)\to H^1(A,G)$ is a bijection, reducing the calculation of $H^1(A,G)$ to the calculation of the action of $W$ on $T$. We also prove some properties of the twisted Weyl group $W$, one of which is that $W$ is a finite group. A new proof of a known result concerning the ranks of groups of invariants with respect to automorphisms of a compact Lie group is also given.
  • In this paper we prove some properties of the nonabelian cohomology $H^1(A,G)$ of a group $A$ with coefficients in a connected Lie group $G$. When $A$ is finite, we show that for every $A$-submodule $K$ of $G$ which is a maximal compact subgroup of $G$, the canonical map $H^1(A,K)\to H^1(A,G)$ is bijective. In this case we also show that $H^1(A,G)$ is always finite. When $A=\ZZ$ and $G$ is compact, we show that for every maximal torus $T$ of the identity component $G_0^\ZZ$ of the group of invariants $G^\ZZ$, $H^1(\ZZ,T)\to H^1(\ZZ,G)$ is surjective if and only if the $\ZZ$-action on $G$ is 1-semisimple, which is also equivalent to that all fibers of $H^1(\ZZ,T)\to H^1(\ZZ,G)$ are finite. When $A=\Zn$, we show that $H^1(\Zn,T)\to H^1(\Zn,G)$ is always surjective, where $T$ is a maximal compact torus of the identity component $G_0^{\Zn}$ of $G^{\Zn}$. When $A$ is cyclic, we also interpret some properties of $H^1(A,G)$ in terms of twisted conjugate actions of $G$.
  • In this paper we generalize a result in [1], showing that an arbitrary Riemannian symmetric space can be realized as a closed submanifold of a covering group of the Lie group defining the symmetric space. Some properties of the subgroups of fixed points of involutions are also proved.
  • In this paper we present a criterion for the covering condition of the generalized random matrix ensemble, which enable us to verify the covering condition for the seven classes of generalized random matrix ensemble in an unified and simpler way.
  • Using a strong version of the Curve Selection Lemma for real semianalytic sets, we prove that for an arbitrary connected Lie group $G$, each connected component of the set $E_n(G)$ of all elements of order $n$ in $G$ is a conjugacy class in $G$. In particular, all conjugacy classes of finite order in $G$ are closed. Some properties of connected components of $E_n(G)$ are also given.
  • In this paper we give a realization of some symmetric space G/K as a closed submanifold P of G. We also give several equivalent representations of the submanifold P. Some properties of the set gK\cap P are also discussed, where gK is a coset space in G.
  • We give a generalization of the random matrix ensembles, including all lassical ensembles. Then we derive the joint density function of the generalized ensemble by one simple formula, which give a direct and unified way to compute the density functions for all classical ensembles and various kinds of new ensembles. An integration formula associated with the generalized ensemble is also given. We also give a classification scheme of the generalized ensembles, which will include all classical ensembles and some new ensembles which were not considered before.
  • According to the classification scheme of the generalized random matrix ensembles, we present various kinds of concrete examples of the generalized ensemble, and derive their joint density functions in an unified way by one simple formula which was proved in [2]. Particular cases of these examples include Gaussian ensemble, chiral ensemble, new transfer matrix ensembles, circular ensemble, Jacobi ensembles, and so on. The associated integration formulae are also given, which are just many classical integration formulae or their variation forms.