Related papers: Diagonalisable p-groups cannot fix exactly one poi…

A group of bijections G acting on a set X is said with fixed points (abbreviated as gaf from the french "groupe {\`a} points fixes") if any element of G has at least one fixed point in X. The G group is said with a common fixed point…

An l-group G is an abelian group equipped with a translation invariant lattice order. Baker and Beynon proved that G is finitely generated projective iff it is finitely presented. A unital l-group is an l-group G with a distinguished order…

In this article we generalize a theorem of Benson for generalized quadrangles to strongly regular graphs and directed strongly regular graphs. The main result provides numerical restrictions on the number of fixed vertices and the number of…

We study the Siegel modular variety $\mathcal{A}_g \otimes \overline{\mathbb{F}}_p$ of genus $g$ and its supersingular locus $\mathcal{S}_g$. As our main result we determine precisely when $\mathcal{S}_g$ is irreducible, and we list all $x$…

We show that the homology of strata of abelian differentials stabilizes in a range where the number of simple zeros is large relative to the homological degree. In this range, we show that the rational cohomology agrees with the restriction…

It is well known that every finite subgroup of automorphism group of polynomial algebra of rank 2 over the field of zero characteristic is conjugated with a subgroup of linear automorphisms. We prove that it is not true for an arbitrary…

Let X be a smooth projective curve of genus >1 over a field K which is finitely generated over the rationals. The section conjecture in Grothendieck's anabelian geometry says that the sections of the canonical projection from the arithmetic…

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

We prove that the group of birational automorphisms of a geometrically irreducible algebraic surface over a finite field is Jordan. We show that the analogous statement fails in higher dimensions. Finally, we prove that groups of birational…

We consider a purely algebraic result. Then given a circle or cyclic group of prime order action on a manifold, we will use it to estimate the lower bound of the number of fixed points. We also give an obstruction to the existence of…

We study the Picard groups of moduli spaces in positive characteristics and we give a "$p$-adic" proof that the Picard group of moduli of vector bundles of fixed determinant is isomorphic to the group of integers. Along the way we prove…

Let $A$ be an abelian variety over the function field $K$ of a curve over a finite field. We describe several mild geometric conditions ensuring that the group $A(K^{\rm perf})$ is finitely generated and that the $p$-primary torsion…

A group is called square-like if it is universally equivalent to its direct square. It is known that the class of all square-like groups admits an explicit first order axiomatization but its theory is undecidable. We prove that the theory…

Let $\Bbbk$ be a perfect field with algebraic closure $\overline{\Bbbk}$. If $H$ is a subgroup of plane automorphisms over $\Bbbk$ and $p\in\overline{\Bbbk}^2$ is a point, we describe the subgroup consisting of plane automorphisms which…

One of the most studied algebraic structures with one operation is the Abelian group, which is defined as a structure whose operation satisfies the associative and commutative properties, has identical element and every element has an…

We classify pointed $p^3$-dimensional Hopf algebras $H$ over any algebraically closed field $k$ of prime characteristic $p>0$. In particular, we focus on the cases when the group $G(H)$ of group-like elements is of order $p$ or $p^2$, that…

We show that elementary abelian direct factors can be disregarded in the study of the modular isomorphism problem. Moreover, we obtain four new series of abelian invariants of the group base in the modular group algebra of a finite…

Let $A$ be a simple abelian variety of dimension $g$ defined over a finite field $\mathbb{F}_q$ with Frobenius endomorphism $\pi$. This paper describes the structure of the group of rational points $A(\mathbb{F}_{q^n})$, for all $n \geq 1$,…

In representation theory of finite groups an important role is played by irreducible characters of p-defect 0, for a prime p dividing the group order. These are exactly those vanishing at the p-singular elements. In this paper we generalize…

We give an analog of Frobenius' theorem about the factorization of the group determinant on the group algebra of finite abelian groups and we extend it into dihedral groups and generalized quaternion groups. Furthermore, we describe the…