arXiv research

We prove a spanning result for vector-valued Poincaré series on a bounded symmetric domain. We associate a sequence of holomorphic automorphic forms to a submanifold of the domain. When the domain is the unit ball in ${\Bbb{C}}^n$, we provide estimates for the norms of these automorphic forms and we find asymptotics of…

Classifies 3D manifolds with specific structures and automorphisms.

We study the structure of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion. It was known before that the invariant is expressed as the Petersson norm of an automorphic form on the moduli space. When the rank of the invariant sublattice of the K3-lattice with respect to …

Conditions are given under which an infinitesimal automorphism of a torsion-free connection preserving a symplectic form is necessarily a symplectic vector field. An example is given of a compact symplectic manifold admitting a flat symplectic connection and an infinitesimal automorphism that is not symplectic.

In this paper we present a summarizing description of the connection between Dirac operators on conformally flat manifolds and automorphic forms based on a series of joint work with John Ryan over the last fifteen years. We also outline applications to boundary value problems.

Study of quadratic form associated with surface automorphisms and its applications to singularity theory.

In the paper `Automorphic functions for a Whitehead-complement group', [Osaka J Math 43 (2006) 63-77] Matsumoto, Nishi and Yoshida constructed automorphic functions on real 3-dimensional hyperbolic space for a Kleinian group called the Whitehead-link-complement group. For a Kleinian group (of the first kind), no automo…

It is shown that the geometry of locally homogeneous multisymplectic manifolds (that is, smooth manifolds equipped with a closed nondegenerate form of degree > 1, which is locally homogeneous of degree k with respect to a local Euler field) is characterized by their automorphisms. Thus, locally homogeneous multisymplec…

New universal automorphic functions capture monstrous moonshine.

The study examines groups with a specific automorphism property using BNS-invariant.

Based on a normal form for braid group elements suggested by Dehornoy, we prove several representations of braid groups by automorphisms of a free group to be faithful. This includes a simple proof of the standard Artin's representation being faithful.

We prove a theorem relating the automorphism group of a Cartan geometry to the group on which the geometry is modeled: a component of the adjoint representation of the first embeds in the adjoint representation of the second. Consequences of the theorem include general bounds on the rank and nilpotence degree of an aut…

New examples of translation surfaces on hyperelliptic curves with many automorphisms.

The automorphisms of free groups with boundaries form a family of groups A_{n,k} closely related to mapping class groups, with the standard automorphisms of free groups as A_{n,0} and (essentially) the symmetric automorphisms of free groups as A_{0,k}. We construct a contractible space L_{n,k} on which A_{n,k} acts wit…

New proof shows maximal arithmetic groups are finite.

Study of generalized vector bundles and their geometric tools.

This book is made of two parts. The first is concerned with the differential form spectrum of congruence hyperbolic manifolds. We prove Selberg type theorems on the first eigenvalue of the laplacian on differential forms. The method of proof is representation theoritic, we hope the different chapters may as well serve …

We prove the automorphic property of the invariant of K3 surfaces with involution, which we obtained using equivariant analytic torsion, in the case where the dimension of the moduli space is less than or equal to 2.

We embed arbitrary groups into regular graphs with prescribed automorphisms.

A {1}-structure on a Banach manifold M (with model space E) is an E-valued 1-form on M that induces on each tangent space an isomorphism onto E. Given a Banach principal bundle P with connected base space and a {1}-structure on P, we show that its automorphism group can be turned into a Banach-Lie group acting smoothly…

Let $M$ be a closed, oriented, smooth $4-$manifold with intersection form $Γ$, $A(Γ)$ the automorphism group of $Γ$ and $D(M)$ the subgroup induced by orientation-preserving diffeomorphisms of $M$. In this note we study the question when $D(M)$ is of infinite index in $A(Γ)$ for a symplectic 4-manifold.

Derives Selberg trace formula on Riemann surfaces and generalizes to other spaces.

We analyze the mapping class group of extendible automorphisms of the exterior boundary W of a compression body of dimension 3 or 4, which extend over the compression body (Q,V), where V is the interior boundary. Those that extend as automorphisms of (Q,V) rel V are called discrepant automorphisms, forming the mapping …

Automorphisms of finite order and real forms of "smooth" affine Kac-Moody algebras are studied, i.e. of 2-dimensional extensions of the algebra of smooth loops in a simple Lie algebra. It is shown that they can be parametrized by certain invariants and that in particular the classification of involutions essentially fo…

Let $\mathcal{J}^1$ be the real form of complex simple Jordan algebra with the automorphism group $G$ of type $F_{4(-20)}$. Explicitly, we give the orbit decomposition of $\mathcal{J}^1$ under the action of $G$ and determine the Lie group structure of stabilizer for each $G$-orbit on $\mathcal{J}^1$.

Let G be a semisimple Lie group with no compact factors, K a maximal compact subgroup of G, and $Γ$ a lattice in G. We study automorphic forms for $Γ$ if G is of real rank one with some additional assumptions, using dynamical approach based on properties of the homogeneous flow on $Γ\backslash G$ and a Livshitz type th…

The thesis shows how automorphisms of hyperbolic groups can be represented by train track maps.

If $G$ is a free product of finite groups, let $ΣAut_1(G)$ denote all (necessarily symmetric) automorphisms of $G$ that do not permute factors in the free product. We show that a McCullough-Miller [D. McCullough and A. Miller, {\em Symmetric Automorphisms of Free Products}, Mem. Amer. Math. Soc. 122 (1996), no. 582] an…

The reduced norm-one group G of a central simple algebra is an inner form of the special linear group, and an involution on the algebra induces an automorphism of G. We study the action of such automorphisms in the cohomology of arithmetic subgroups of G. The main result is a precise formula for Lefschetz numbers of au…

Let $\operatorname{Aut}(H_1(N_g;\mathbb Z_2),\cdot )$ be the group of automorphisms on the first homology group with $\mathbb Z_2$ coefficient of a closed non-orientable surface $N_g$ preserving the mod $2$ intersection form. In this paper, we obtain a finite presentation for $\operatorname{Aut}(H_1(N_g;\mathbb Z_2),\c…

In this note we give a direct method to classify all stable forms on $\R^n$ as well as to determine their automorphism groups. We show that in dimension 6,7,8 stable forms coincide with non-degnerate forms. We present necessary conditions and sufficient conditions for a manifold to admit a stable form. We also discuss …

For a right-angled Artin group $A_Γ$, the untwisted outer automorphism group $U(A_Γ)$ is the subgroup of $Out(A_Γ)$ generated by all of the Laurence-Servatius generators except twists (where a {\em twist} is an automorphisms of the form $v\mapsto vw$ with $vw=wv$). We define a space $Σ_Γ$ on which $U(A_Γ)$ acts properl…

We will survey the work on the topology of $Out(F_n)$ in the last 20 years or so. Much of the development is driven by the tantalizing analogy with mapping class groups. Unfortunately, $Out(F_n)$ is more complicated and less well-behaved. Culler and Vogtmann constructed Outer Space $X_n$, the analog of Teichmüller spac…

Let $\mathcal{J}^1$ be the real form of a complex simple Jordan algebra such that the automorphism group is $\mathrm{F}_{4(-20)}$. By using some orbit types of $\mathrm{F}_{4(-20)}$ on $\mathcal{J}^1$, for $\mathrm{F}_{4(-20)}$, explicitly, we give the Iwasawa decomposition, the Oshima--Sekiguchi's $K_ε-$Iwasawa decomp…

Study on opers over complex manifolds of dimension one.

Let M be the product of \C P^m and \C P^n, with the standard integral symplectic form. We prove that the inclusion map from the group of symplectic automorphisms of M to its diffeomorphism group is not surjective on homotopy groups. More precisely, it is not surjective on π_j for all odd j \leq \max\{2m-1,2n-1\}. This …

In many Lagrangian field theories, there is a Poisson bracket on the space of local functionals. One may identify the fields of such theories as sections of a vector bundle. It is known that the Poisson bracket induces an sh-Lie structure on the graded space of horizontal forms on the jet bundle of the relevant vector …

We consider locally homogeneous $CR$ manifolds and show that, under a condition only depending on their underlying contact structure, their $CR$ automorphisms form a finite dimensional Lie group.

We determine the group of conformal automorphisms of the self-dual metrics on n#CP^2 due to LeBrun for n>2, and Poon for n=2. These metrics arise from an ansatz involving a circle bundle over hyperbolic three-space H^3 minus a finite number of points, called monopole points. We show that for n>2 connected sums, any con…

In this paper we study Clifford and harmonic analysis on some conformal flat spin manifolds. In particular we treat manifolds that can be parametrized by $U / Γ$ where $U$ is a simply connected subdomain of either $S^{n}$ or $R^{n}$ and $Γ$ is a Kleinian group acting discontinuously on $U$. Examples of such manifolds t…

We describe explicitly Lie superalgebra isomorphisms between the Lie superalgebras of first-order superdifferential operators on supermanifolds, showing in particular that any such isomorphism induces a diffeomorphism of the supermanifolds. We also prove that the group of automorphisms of such a Lie superalgebra is a s…

In this paper we show how hypercomplex function theoretical objects can be used to construct explicitly self-dual SU(2)-Yang-Mills instanton solutions on certain classes of conformally flat 4-manifolds. We use a hypercomplex argument principle to establish a natural link between the fundamental solutions of $D Δf = 0$ …

Wall's result extended to 4-manifolds with definite intersection forms.

Consider a fibred compact Kähler manifold X endowed with a relatively ample line bundle, such that each fibre admits a constant scalar curvature Kähler metric and has discrete automorphism group. Assuming the base of the fibration admits a twisted extremal metric where the twisting form is a certain Weil-Petersson type…

Completed realizations of automorphisms and subgroups in exceptional Lie group $E_8$.

We classify tube domains in $\mathbb C^{n+1}$ ($n\ge 1$) with affinely homogeneous base of their boundary and a.) with positive definite Levi form and b.) with Lorentzian type Levi form and affine isotropy of dimension at least $\frac{(n-2)(n-3)}2$.

For a complex Lie group $G$ with a real form $G_0\subset G$, we prove that any Hamiltionian automorphism $φ$ of a coadjoint orbit $\mathcal O_0$ of $G_0$ whose connected components are simply connected, may be approximated by holomorphic $\mathcal O_0$-invariant symplectic automorphism of the corresponding coadjoint or…

Hurwitz transformations are defined as specific automorphisms of a Cayley-Dickson algebra. These transformations generate quadratic and nonquadratic forms. We investigate here the Hurwitz transformations corresponding to Cayley-Dickson algebras of dimensions 2m = 2, 4 and 8. The Hurwitz transformations which lead to qu…