Related papers: Setting the scene for Betti characters
{\tt AbstractSimplicialComplexes.m2} is a computer algebra package written for the computer algebra system {\tt Macaulay2} \cite{M2}. It provides new infrastructure to work with abstract simplicial complexes and related homological…
We use the notion of fixity for representations of finite groups to construct free and smooth actions on products of spheres. In particular we show that a finite p-group (for p>3) will act freely and smoothly on a product of two spheres if…
We study finite dimensional representations of the projective modular group. Various explicit dimension formulas are given.
A discussion of character formulae for positive energy unitary irreducible representations of the the conformal group is given, employing Verma modules and Weyl group reflections. Product formulae for various conformal group representations…
We prove a Tits alternative theorem for groups acting on CAT(0) cubical complexes. Namely, suppose that $G$ is a group for which there is a bound on the orders of its finite subgroups. We prove that if $G$ acts properly on a…
We describe gradings by finite abelian groups on the associative algebras of infinite matrices with finitely many nonzero entries, over an algebraically closed field of characteristic zero.
In this paper, we present several algorithms for dealing with graded components of Laurent polynomial rings. To be more precise, let $S$ be the Laurent polynomial ring $k[x_1,...,x_{r},x_{r+1}^{\pm 1},..., x_n^{\pm 1}]$, $k$ algebraicaly…
We describe a software package for constructing minimal free resolutions of GL_n(Q)-equivariant graded modules M over Q[x_1, ..., x_n] such that for all i, the ith syzygy module of M is generated in a single degree. We do so by describing…
We describe the package "IncidenceCorrespondenceCohomology" for the computer algebra system Macaulay2. The main feature concerns the computation of characters and dimensions for the cohomology groups of line bundles on the incidence…
This is an English translation of the author's Ph.D. thesis, accumulating his results on a construction of Cohen-Macaulay modules over a polynomial ring that appeared in the study of Cauchy-Fueter equations. This construction is generalized…
Let $H$ denote a finite index subgroup of the modular group $\Gamma$ and let $\rho$ denote a finite-dimensional complex representation of $H.$ Let $M(\rho)$ denote the collection of holomorphic vector-valued modular forms for $\rho$ and let…
We establish the existence and uniqueness of finite free resolutions - and their attendant Betti numbers - for graded commuting d-tuples of Hilbert space operators. Our approach is based on the notion of free cover of a (perhaps…
We introduce the $\textit{Macaulay2}$ package $\texttt{OIGroebnerBases}$ for working with OI-modules over Noetherian polynomial OI-algebras. The main methods implement OI-analogues of Buchberger's algorithm and Schreyer's theorem to compute…
We define the notion of "projective" multiresolution analyses, for which, by definition, the initial space corresponds to a finitely generated projective module over the algebra $C(\btn)$ of continuous complex-valued functions on an…
This is Chapter 24 in the "AutoMathA" handbook. Finite automata have been used effectively in recent years to define infinite groups. The two main lines of research have as their most representative objects the class of automatic groups…
The MultiplicitySequence package for Macaulay2 computes the multiplicity sequence of a graded ideal in a standard graded ring over a field, as well as several invariants of monomial ideals related to integral dependence. We discuss two…
It is known that characters of irreducible representations of finite Lie algebras can be obtained using theWeyl character formula including Weyl group summations which make actual calculations almost impossible except for a few Lie algebras…
These course notes are about computing modular forms and some of their arithmetic properties. Their aim is to explain and prove the modular symbols algorithm in as elementary and as explicit terms as possible, and to enable the devoted…
It is well-known that characters classify linear representations of finite groups, that is if characters of two representations of a finite group are the same, these representations are equivalent. It is also well-known that, in general,…
We introduce tautological system defined by prehomogenous actions of reductive algebraic groups. If the complement of the open orbit is a linear free divisor satisfying a certain finiteness condition, we show that these systems underly…