Related papers: On Vlasenko's formal group laws
Suppose that a finite group $G$ admits a Frobenius group of automorphisms FH of coprime order with cyclic kernel F and complement H such that the fixed point subgroup $C_G(H)$ of the complement is nilpotent of class $c$. It is proved that…
If in a given rank $r$, there is an irreducible complex local system with torsion determinant and quasi-unipotent monodromies at infinity on a smooth quasi-projective variety, then for every prime number $\ell$, there is an absolutely…
Consider the Grothendieck group of finite type projective modular representations of the symmetric groups on n letters, or more generally, of its wreath product with a finite group. They form a graded group, with a product defined using…
We give a simplified proof of J. A. Wolf's classification of finite groups that can act freely and isometrically on a round sphere of some dimension. We slightly improve the classification by removing some non-obvious redundancy. The groups…
For a prime number p>2, we give a direct proof of Breuil's classification of killed by p finite flat group schemes over the valuation ring of a p-adic field with perfect residue field. As application we prove that the Galois modules of…
The Steinberg tensor product theorem is a fundamental result in the modular representation theory of reductive algebraic groups. It describes any finite-dimensional simple module of highest weight $\lambda$ over such a group as the tensor…
Let R be a local Artin ring with residue field k of positive characteristic. We prove that every finite flat group scheme over R whose special fiber belongs to a certain explicit family of non-commutative k-group schemes is killed by its…
We derive a formula for the the modular class of a Lie algebroid with a regular twisted Poisson structure in terms of a canonical Lie algebroid representation of the image of the Poisson map. We use this formula to compute the modular…
We define an algebraic group over a group $G$ to be a variety - that is, a subset of $G^d$ defined by equations over $G$ - endowed with a group law whose coordinates can be expressed as word maps. In the case where $G$ is a torsion-free…
Abel's quadratures for integrable Hamiltonian systems are defined up to a group law of the corresponding Abelian variety $A$. If $A$ is isogenous to a direct product of Abelian varieties $A\cong A_1\times\cdots\times A_k$, the group law can…
Motivated by logarithmic conformal field theory and Gromov-Witten theory, we introduce a notion of a twisted module of a vertex algebra under an arbitrary (not necessarily semisimple) automorphism. Its main feature is that the twisted…
In "Frobenius Categories versus Brauer Blocks", Progress in Math. 274, we have introduced the Frobenius categories F over a finite p-group P, and we have associated to F - suitably endowed with some central k*-extensions - a "Grothendieck…
We associate to any convenient nondegenerate Laurent polynomial on the complex torus (C^*)^n a canonical Frobenius-Saito structure on the base space of its universal unfolding. According to the method of K. Saito (primitive forms) and of M.…
We define the notion of index-module for a couple of A-lattices in a vector space, A being a Dedekind ring. We apply this notion to prove by elementary means that a weak Gras conjecture (i.e for irreducible nontrivial Q-characters) holds…
We define cylindric generalisations of skew Macdonald functions when one of their parameters is set to zero. We define these functions as weighted sums over cylindric skew tableaux: fixing two integers n>2 and k>0 we shift an ordinary skew…
For a countable amenable group \Gamma and an element f in the integral group ring Z\Gamma being invertible in the group von Neumann algebra of \Gamma, we show that the entropy of the shift action of \Gamma on the Pontryagin dual of the…
Previous formulations of group theory in ACL2 and Nqthm, based on either "encapsulate" or "defn-sk", have been limited by their failure to provide a path to proof by induction on the order of a group, which is required for most interesting…
Let $A$ be an abelian variety over a finite field $k$ with $|k|=q=p^m$. Let $\pi\in \text{End}_k(A)$ denote the Frobenius and let $v=\frac{q}{\pi}$ denote Verschiebung. Suppose the Weil $q$-polynomial of $A$ is irreducible. When…
We study the structure of the formal groups associated to the Morava $K$-theories of integral Eilenberg-Mac Lane spaces. The main result is that every formal group in the collection $\{K(n)^*K({\mathbb Z}, q), q=2,3,...\}$ for a fixed $n$…
Lewis, Reiner, and Stanton conjectured a Hilbert seriesfor a space of invariants under an action of finite general linear groups using $(q,t)$-binomial coefficients. This work gives an analog in positive characteristic of theorems relating…