Related papers: Equivariant correspondences and the inductive Alpe…

An inductive inference system for proving validity of formulas in the initial algebra $T_{\mathcal{E}}$ of an order-sorted equational theory $\mathcal{E}$ is presented. It has 20 inference rules, but only 9 of them require user interaction;…

We study the distribution of products of conjugacy classes in finite simple groups, obtaining various effective uniformity results, which give rise to an approximation to a conjecture of Thompson. Our results, combined with work of Gowers…

We prove weighted $L^p$-Liouville theorems for a class of second order hypoelliptic partial differential operators $\mathcal{L}$ on Lie groups $\mathbb{G}$ whose underlying manifold is $n$-dimensional space. We show that a natural weight is…

This article focuses on the study of zero-sum invariants of finite non-abelian groups. We address two main problems: the first centers on the ordered Davenport constant and the second on Gao's constant. We establish a connection between the…

We confirm the Jamneshan-Tao conjecture for finite abelian groups of rank at most a fixed integer $R$ (i.e. finite abelian groups generated by at most $R$ elements), by proving an inverse theorem for 1-bounded functions of non-trivial…

A version of Paley-Wiener like theorem for connected, simply connected nilpotent Lie groups is proven.

The purpose of this article is proving the equality of two natural $\mathcal L$-invariants attached to the adjoint representation of a weigth one cusp form, each defined by purely analytic, respectively algebraic means. The proof departs…

Recently Ritter and Weiss introduced an equivariant "main conjecture" than generalizes and refines the Main Conjecture of Iwasawa theory. In this paper, we show that, for the prime 2 and a dihedral extension of order 8 over Q, this…

We show that the refinement of Alperin's Conjecture proposed in "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, can be proved by checking that this refinement holds on any central k*-extension of a finite group H…

We study the Weak Gravity Conjecture in the presence of scalar fields. The Weak Gravity Conjecture is a consistency condition for a theory of quantum gravity asserting that for a U(1) gauge field, there is a particle charged under this…

We obtain new evidence for the Purely Wild Inertia Conjecture posed by Abhyankar and for its generalization. We show that this generalized conjecture is true for any product of simple Alternating groups in odd characteristics, and for any…

We sharpen the orbit method for finite groups of small nilpotence class by associating representations to functionals on the corresponding Lie rings. This amounts to describing compatible intertwiners between representations parameterized…

We prove the Baum--Connes conjecture with arbitrary coefficients for some classes of groups: (1) Linear algebraic groups over a non-archimedean local field. (2) Linear algebraic groups over the adeles of a global field k, provided that at…

Let $K\in L^1(\mathbb R)$ and let $f\in L^\infty(\mathbb R)$ be two functions on $\mathbb R$. The convolution $$(K\ast f)(x)=\int_{\mathbb R}K(x-y)f(y)dy$$ can be considered as an average of $f$ with weight defined by $K$. Wiener's…

For any finite abelian group G, the equivariant Gromov-Witten invariants of C^r/G can be viewed as a certain kind of abelian Hurwitz-Hodge integrals. In this note, we use Tseng's orbifold quantum Riemann-Roch theorem to express this kind of…

Let G be a cocompact lattice in a virtually connected Lie group or the fundamental group of a 3-manifold. We prove the K-theoretic Farrell-Jones Conjecture (up to dimension one) and the L-theoretic Farrell-Jones Conjecture for G, where we…

Lie group theory states that knowledge of a $m$-parameters solvable group of symmetries of a system of ordinary differential equations allows to reduce by $m$ the number of equations. We apply this principle by finding some \emph{affine…

We give a new proof of Quillen's conjecture for solvable groups via a geometric and explicit method. For p-solvable groups, we provide both a new proof using the Classification of Finite Simple Groups and an asymptotic version without…

Amenable groups are those admitting an invariant mean -- a finitely additive probability mean that assigns equal ``weight'' to any two translates of the same set. We introduce coset correct means (CCMs), a class of finitely additive means…

We prove Lusztig's conjectures ${\bf P1}$-${\bf P15}$ for the affine Weyl group of type $\tilde{C}_2$ for all choices of positive weight function. Our approach to computing Lusztig's $\mathbf{a}$-function is based on the notion of a…