Related papers: Quantifying Quillen's Uniform $\mathcal{F}_p$-isom…

Let $p$ be a prime number and $F$ a totally real number field unramified at places above $p$. Let $\bar{r}:\operatorname{Gal}(\bar F/F)\rightarrow\operatorname{GL}_2(\bar{\mathbb{F}_p})$ be a modular Galois representation which satisfies…

By using a ``quantum-to-classical" reduction formula on the Gromov-Witten invariants of flag vaireities $F\ell_n$, we provide a new proof of the Seidel operator on the quantum cohomology ring $QH^*(F\ell_n)$. Further, we reprove a quantum…

We classify up to isomorphism the quantum generalized Weyl algebras and determine their automorphism groups in all cases in a uniform way, including those where the parameter q is a root of unity, thereby completing the results obtained by…

An important combinatorial result in equivariant cohomology and $K$-theory Schubert calculus is represented by the formulas of Billey and Graham-Willems for the localization of Schubert classes at torus fixed points. These formulas work…

The "quantum duality principle" states that a quantisation of a Lie bialgebra provides also a quantisation of the dual formal Poisson group and, conversely, a quantisation of a formal Poisson group yields a quantisation of the dual Lie…

We study two important numerical invariants, Hilbert--Kunz multiplicity and $F$-signature, on the spectrum of a Noetherian $\mathbf{F}_p$-algebra $R$ that is not necessarily $F$-finite. When $R$ is excellent, we show that the limits…

We construct a general cohomological induction isomorphism from a uniform measure equivalence of locally compact, second countable, unimodular groups which, as a special case, yields that the graded cohomology rings of quasi-isometric,…

We prove a homotopy invariance result for the first cohomology group of the special unitary group $\mathrm{SU}_3(F[t])$ with coefficients in irreducible representations of $\mathrm{PGL}_2(F)$. The main theorem establishes that this…

This is the second installment of an exposition of an ACL2 formalization of finite group theory. The first, which was presented at the 2022 ACL2 workshop, covered groups and subgroups, cosets, normal subgroups, and quotient groups,…

Let $G$ be a complex, connected, reductive algebraic group. In this paper we show analogues of the computations by Borho and MacPherson of the invariants and anti-invariants of the cohomology of the Springer fibres of the cone of nilpotent…

Let p be a prime number and G a finite group of order divisible by p. Quillen showed that the Brown poset of nonidentity p-subgroups of G is homotopy equivalent to its subposet of nonidentity elementary abelian subgroups. We show here that…

We make explicit some conditions on a semi-abelian category D such that, for any abelian group A in D and any object Y in D, the cohomology group homomorphisms with coefficients in A, induced by the inclusion of the abelian objects of D at…

We prove uniform boundedness of certain boundary representations on appropriate fractional Sobolev spaces $W^{s,p}$ with $p>1$ for arbitrary Gromov hyperbolic groups. These are closed subspaces of $L^p$ and in particular Hilbert spaces in…

We prove that Friedlander's generalized isomorphism conjecture on the cohomology of algebraic groups, and hence the Isomorphism Conjecture for the cohomology of the complex algebraic Lie group G(C) made discrete, are equivalent to the…

Let $U$ be a smooth affine curve over a number field $K$ with a compactification $X$ and let $\mathbb L$ be a rank $2$, geometrically irreducible $\bar{\mathbb Q}_\ell$-local system on $U$ with cyclotomic determinant that extends to an…

We prove a new upper bound for the dimension of the space of cohomological automorphic forms of fixed level and growing parallel weight on $\mathrm{GL}_2$ over a number field which is not totally real, improving the one obtained by…

In [16] the fundamental relationship between stable quotient invariants and the B-model for local P2 in all genera was studied under some specialization of equivariant variables. We generalize the argument of [16] to full equivariant…

We prove that if $G$ is finite 2-generated $p$-group of nilpotence class at most 2 then the group algebra of $G$ with coefficients in the field with $p$ elements determines $G$ up to isomorphisms.

A classical theorem due to Quillen (1969) identifies the unitary bordism ring with the Lazard ring, which classifies the universal one-dimensional commutative formal group law. We prove an equivariant generalization of this result by…

Let $p$ be an odd prime. For a compact Lie group $G$ and an elementary abelian $p$-group $A$ of $G$, one may define the Weyl group $W_A$ of $A$ in a similar fashion as defining the Weyl group of a maximal torus, such that $W_A$ acts on…