Related papers: Homogeneous Functions and Algebraic $K$--theory

Let $A = K[x_1, ..., x_n]$ denote the polynomial ring in $n$ variables over a field $K$ with each $\deg x_i = 1$. Let $I$ be a homogeneous ideal of $A$ with $I \ne A$ and $H_{A/I}$ the Hilbert function of the quotient algebra $A / I$. Given…

The filtered derived category of an abelian category has played a useful role in subjects including geometric representation theory, mixed Hodge modules, and the theory of motives. We develop a natural generalization using current methods…

For an algebraically closed field K, let G be a finite abelian group of K-linear automorphisms of a finite-dimensional path algebra KQ of a quiver Q. Under certain assumptions on the action of G, we show the existence of a certain kind of…

We prove Sarnak's M\"obius disjointness conjecture for all unipotent translations on homogeneous spaces of real connected Lie groups. Namely, we show that if $G$ is any such group, $\Gamma\subset G$ a lattice, and $u\in G$ an Ad-unipotent…

A group is known as `large' if some finite index subgroup admits a surjective homomorphism onto a non-abelian free group. The main theorem of the paper is as follows. Let G be a finitely generated, large group and let g_1,...,g_r be a…

Let $G$ be a finitely generated torsion-free nilpotent group. The representation zeta function $\zeta_G(s)$ of $G$ enumerates twist isoclasses of finite-dimensional irreducible complex representations of $G$. We prove that $\zeta_G(s)$ has…

Let $\mathbb{k}$ be an algebraically closed field of characteristic zero. Let $D$ be a division algebra of degree $d$ over its center $Z(D)$. Assume that $\mathbb{k}\subset Z(D)$. We show that a finite group $G$ faithfully grades $D$ if and…

For any finite group G and integer i, let $\mathcal{H}^i(G)$ be the set of all the isomorphism classes of the Galois cohomology groups $\hat{H}^i(K/k,E_K)$, where K/k runs over all the unramified G-extension of number fields and E_K denotes…

A group G is (finitely) co-Hopfian if it does not contain any proper (finite-index) subgroups isomorphic to itself. We study finitely generated groups G that admit a descending chain of proper normal finite-index subgroups, each of which is…

We study the Jensen functional equations on a group $G$ with values in an abelian group $H$: \begin{align} \tag{J1}\label{eq:J1} f(xy)+f(xy^{-1})&=2f(x)\qquad(\forall\,x,y\in G),\\ \tag{J2}\label{eq:J2}…

Let $G$ be a finite group and $\alpha(G)=\frac{|C(G)|}{|G|}$\,, where $C(G)$ denotes the set of cyclic subgroups of $G$. In this short note, we prove that $\alpha(G)\leq\alpha(Z(G))$ and we describe the groups $G$ for which the equality…

Ergodic theory, Higher order Fourier analysis and the hyper graph regularity method are three possible approaches to Szemer\'edi type theorems in abelian groups. In this paper we develop an algebraic theory that creates a connection between…

Let g and n be integers at least two, and let G be the pure braid group with n strands on a closed orientable surface of genus g. We describe any injective homomorphism from a finite index subgroup of G into G. As a consequence, we show…

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,…

For every finite abelian group $G$, there are positive integers $n$ and $d$ such that $G$ is isomorphic to the multiplicative group of $d$-th powers of reduced residues modulo $n$.

We describe a new approach for classifying conjugacy classes of elementary abelian subgroups in simple algebraic groups over an algebraically closed field, and understanding the normaliser and centraliser structure of these. For toral…

We introduce the classical theory of the interplay between group theory and topology into the context of operads and explore some applications to homotopy theory. We first propose a notion of a group operad and then develop a theory of…

Using algebraic and topological K-theory together with complex C^*-algebras, we prove that every abelian group may be realized as the centre of a strongly torsion generated group whose integral homology is zero in dimension one and…

We show that a differential algebraic group can be filtered by a finite subnormal series of differential algebraic groups such that successive quotients are almost simple, that is have no normal subgroups of the same type. We give a…

A semigroup is completely simple if it has no proper ideals and contains a primitive idempotent. We say that a completely simple semigroup $S$ is a homogeneous completely simple semigroup if any isomorphism between finitely generated…