Let$S$be a closed Shimura variety uniformized by the complex$n$-ball associated with a standard unitary group. The Hodge conjecture predicts that every Hodge class in $${H^{2k} (S, \mathbb{Q})}$$ , $${k=0,\dots, n}$$ , is algebraic. We show that this holds for all degrees$k$away from the neighborhood $${\bigl]\tfrac13n,\tfrac23n\bigr[}$$ of the middle degree. We also prove the Tate conjecture for the same degrees as the Hodge conjecture and the generalized form of the Hodge conjecture in degrees away from an interval (depending on the codimension$c$of the subvariety) centered at the middle dimension of S. These results are derived from a general theorem that applies to all Shimura varieties associated with standard unitary groups of any signature. The proofs make use of Arthur’s endoscopic classification of automorphic representations of classical groups. As such our results rely on the stabilization of the trace formula for the (disconnected) groups $${GL (N) \rtimes \langle \theta \rangle}$$ associated with base change.

This talk will give a very brief outline how a portion of geometric analysis was carried out in relation to geometry, nonlinear partial differential equations and mathematical physics. My personal experience is that this is a beautiful subject with great depth and it touches almost all branch of mathematics.

We introduce new boundary conditions for differential forms on symplectic manifolds with boundary. These boundary conditions, dependent on the symplectic structure, allows us to write down elliptic boundary value problems for both second-order and fourth-order symplectic Laplacians and establish Hodge theories for the cohomologies of primitive forms on manifolds with boundary. We further use these boundary conditions to define a relative version of the primitive cohomologies and to relate primitive cohomologies with Lefschetz maps on manifolds with boundary. As we show, these cohomologies of primitive forms can distinguish certain Kahler structures of Kahler manifolds with boundary.

Alzheimer's disease (AD) is a no-cure disease that has been frustrating the scientists for many years. Analyzing the disease has become an important but challenging research topic. The shape analysis of the sub-cortical structure of AD patients has been commonly used to understand this disease. In this paper, we assess the feasibility of using shape information on the hippocampal (HP) surfaces to detect some sub-structural changes in AD patients. We propose a quasi-conformal statistical shape analysis model, which allows us to study local regional geometric changes in the HPs amongst normal control (NC) and AD groups. A shape index defined by the quasi-conformality and surface curvatures is used to characterize region-specific shape variations of the HP surfaces. Feature vectors can be extracted for each HPs, with which a classification model can be built using machine learning methods to classify HPs into NC and AD subjects. Experiments have been carried out on 99 normal controls and 41 patients with AD. Results demonstrate that the proposed quasi-conformal based model is effective for classifying HPs into NC and AD groups with high classification accuracy (with highest overall classification accuracy reaching 87.86% in a leave-one-out experiment using the whole dataset).

We apply a study of orders in quaternion algebras, to the differential geometry of Riemann surfaces. The least length of a closed geodesic on a hyperbolic surface is called its systole,and denoted sysπ1. P. Buser and P. Sarnak constructed Riemann surfaces X whose systole behaves logarithmically in the genus g(X). The Fuchsian groups in their examples are principal congruence subgroups of a fixed arithmetic group with rational trace field. We generalize their construction to principal congruence subgroups of arbitrary arithmetic surfaces. The key tool is a new trace estimate valid for an arbitrary ideal in a quaternion algebra. We obtain a particularly sharp bound for a principal congruence tower of Hurwitz surfaces (PCH), namely the 4/3bound sysπ1(XPCH) ≥ 43 log(g(XPCH)). Similar results are obtained for the systole of hyperbolic 3-manifolds, relative to their simplicial volume.