
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 Adsemisimple subsemigroup of $G$ are bounded,
form a hyperplane absolute winning set.

We prove that for any countably many oneparameter 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 nondegenerate 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 twodimensional $(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, SwinnertonDyer, 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/2winning for Schmidt's game. As a consequence, we remove a technical
assumption in a recent theorem of BadziahinPollingtonVelani 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 nonextendable. 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
nonunimodular $\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 Gorbits
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
Ainvariant 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 BanachLie groups, as well as Weil's local
rigidity for homomorphisms from finitely generated groups to BanachLie groups.

We prove that Adsemisimple 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 Adsemisimple 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 1semisimple 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
1semisimple, 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.