Related papers: A Converse Theorem for Split $\mathrm{SO}_{2l}$ ov…

We use automated theorem provers to significantly shorten a formal development in higher order set theory. The development includes many standard theorems such as the fundamental theorem of arithmetic and irrationality of square root of…

In this article, we are concerned with the Langlands functoriality conjecture. Cogdell, Kim, Piatetski-Shapiro and Shahidi proved functioriality conjecture in the case of a globally generic cuspidal automorphic representation for the split…

We proved a new Siegel-Weil formula for orthogonal and symplectic groups, which will be used later to prove a generalization of Siegel-Weil formula for loop groups.

We discuss the possibility of lifting finite subgroups, and in particular finite cyclic subgroups, with respect to the canonical projections between automorphism and outer automorphism groups of free groups, surface groups and their…

We prove that the automorphism groups of simple polarized abelian varieties of odd prime dimension over finite fields are cyclic, and give a complete list of finite groups that can be realized as such automorphism groups.

Let $E/F$ be a quadratic extension of $p$-adic fields and $\textrm{U}_{2r+1}$ be the unitary group associated with $E/F$. We prove the following local converse theorem for $\textrm{U}_{2r+1}$: given two irreducible generic supercuspidal…

Let $F$ be a $p$-adic field and $E/F$ be a quadratic extension. In this paper, we prove the local converse theorem for generic representations of $\textrm{U}_{E/F}(2,2)$ if $E/F$ is unramified or the residue characteristic of $F$ is odd.…

In this paper, we establish a simple criterion for two $L$-functions $L_1$ and $L_2$ satisfying a functional equation (and some natural assumptions) to have infinitely many distinct zeros. Some related questions have already been answered…

The representation theory of semisimple algebraic groups over the complex numbers (equivalently, semisimple complex Lie algebras or Lie groups, or real compact Lie groups) and the question of whether a given representation is symplectic or…

In this paper we introduce a superclass of split digraphs, which we call spine digraphs. Those are the digraphs D whose vertex set can be partitioned into two sets X and Y such that the subdigraph induced by X is traceable and Y is a stable…

We prove two results on converse theorems for Hilbert modular forms over totally real fields of degree $r>1$. The first result recovers a Hilbert modular form (of some level) from an $L$-series satisfying functional equations twisted by all…

Second-order equations of motion on a group manifold that appear in a large class of so-called chiral theories are presented. These equations are presented and explicitely solved for cases of semi-simple, finite-dimensional Lie groups. With…

Miller's 1937 splitting theorem was proved for pairs of cardinals $(\n,\rho)$ in which $n$ is finite and $\rho$ is infinite. An extension of Miller's theorem is proved here in ZFC for pairs of cardinals $(\nu,\rho)$ in which $\nu$ is…

In this paper, we prove some new thickness theorems with partial derivatives. We give some applications. First, we give a simple criterion that can judge whether two scaled Cantor sets have non-empty intersection. Second, we prove under…

Given a finite graph G there is a corresponding group given by the presentation with generators the vertices of G and a relation [x,y]=1 for generators x and y precisely when (x,y) is an edge of G. Such groups are known as partially…

Ordering theorems, characterizing when partial orders of a group extend to total orders, are used to generate hypersequent calculi for varieties of lattice-ordered groups (l-groups). These calculi are then used to provide new proofs of…

In this paper, we prove new instances of the inverse Galois problem over global function fields for finite groups of Lie type. This is done by constructing compatible systems of $\ell$-adic Galois representations valued in a semisimple…

It is shown that a transformation in the special orthogonal group SO(V) of a nondefective quadratic space over a field K is bireflectional (product of 2 involutions) if and only if it is reversible (conjugate to its inverse). Furthermore,…

Tate's theorem (Invent. Math. 1966)implies that the Tate conjecture holds for any abelian variety over a finite field whose Q_l-algebra of Tate classes is generated by those of degree 1. We construct families of abelian varieties over…

An orthogonal involution on a central simple algebra becoming isotropic over any splitting field of the algebra, becomes isotropic over a finite odd degree extension of the base field (provided that the characteristic of the base field is…