Related papers: More Arithmetic Fundamental Lemma conjectures: the…

We prove that an additive track category with strong coproducts is equivalent to the category of pseudomodels for the algebraic theory of $\nil_2$ groups. This generalizes the classical statement that the category of models for the…

In \cite{Ha}, Neal Harris has given a refined Gross-Prasad conjecture for unitary group as an analogue of Ichino and Ikeda's paper \cite{Ich} concerning special orthogonal groups. In his paper, he stated a conjecture under the assumption…

Let G be an arbitrary finite group and let S and T be two subsets such that |S|>1, |T|>1, and |TS|< |T|+|S|< |G|-1. We show that if |S|< |G|-4|G|^{1/2}+1 then either S is a geometric progression or there exists a non-trivial subgroup H such…

We give a conjectural description for the kernel of the map assigning to each finite $\mathbb Z_p$-free $G\times\mathbb Z_p$-set its rational permutation module where G is a finite p-group. We prove that this conjecture is true when G is an…

We show that there are infinitely many commensurability classes of pseudomodular groups, thus answering a question raised by Long and Reid. These are Fuchsian groups whose cusp set is all of the rationals but which are not commensurable to…

Let G be any reductive p-adic group. We discuss several conjectures, some of them new, that involve the representation theory and the geometry of G. At the heart of these conjectures are statements about the geometric structure of Bernstein…

We introduce the notion of splitting subgroups of quasireducitve supergroups, and explain their significance. For $GL(m|n)$, $Q(n)$, and defect one basic classical supergroups, we give explicit splitting subgroups. We further prove they are…

We consider the possibility of semisimple tensor categories whose fusion rule includes exactly one noninvertible simple object. Conditions are given for the existence or nonexistence of coherent associative structures for such fusion rules,…

We study a more general version of the gluings of hyperbolic orbifolds in the spirit of Gromov and Piatetski-Shapiro, where the gluing pieces, called the building blocks, are no longer assumed to be arithmetic or incommensurable. We prove…

Motivated by intuitive properties of physical quantities, the notion of a non-anomalous semigroup is formulated. These are totally ordered semigroups where there are no `infinitesimally close' elements. The real numbers are then defined as…

Let $G$ be a semisimple algebraic group over an algebraically closed field $k$ of positive characteristic $p$. Under some restrictions on the size of $p$, the present paper establishes new results on the $G$-module structure of…

The Grothendieck--Serre conjecture predicts that every generically trivial torsor under a reductive group over a regular semilocal ring is itself trivial. Extending the work of \v{C}esnavi\v{c}ius and Fedorov, we prove a non-noetherian…

We introduce a new semantics for justification logic based on subset relations. Instead of using the established and more symbolic interpretation of justifications, we model justifications as sets of possible worlds. We introduce a new…

A paradigm for a global algebraic number theory of the reals is formulated with the purpose of providing a unified setting for algebraic and transcendental number theory. This is achieved through the study of subgroups of nonstandard models…

In its most general formulation a quantum kinematical system is described by a Heisenberg group; the "configuration space" in this case corresponds to a maximal isotropic subgroup. We study irreducible models for Heisenberg groups based on…

We classify the irreducible representations of smooth, connected affine algebraic groups over a field, by tackling the case of pseudo-reductive groups. We reduce the problem of calculating the dimension for pseudo-split pseudo-reductive…

We formulate a general conjecture relating Chern classes of subbundles of Gauss-Manin bundles in Arakelov geometry to logarithmic derivatives of Artin L-functions of number fields. This conjecture may be viewed as a far-reaching…

Pregroup grammars were developed in 1999 and stayed Lambek's preferred algebraic model of grammar. The set-theoretic semantics of pregroups, however, faces an ambiguity problem. In his latest book, Lambek suggests that this problem might be…

Using a recent result of Bartels and Lueck (arXiv:0901.0442) we deduce that the Farrell-Jones Fibered Isomorphism conjecture in L-theory is true for any group which contains a finite index strongly poly-free normal subgroup, in particular,…

In a previous paper the authors develop an intersection theory for subspaces of rational functions on an algebraic variety X over complex numbers. In this note, we first extend this intersection theory to an arbitrary algebraically closed…