Search

The nilCoxeter algebra $\mathcal{N}S_n$ of the symmetric group $S_n$ is the algebra over $\mathbb{Z}$ with generators $Y_i$ ($1\leqslant i\leqslant n-1$), satisfying the braid relations $Y_iY_{i+1}Y_i=Y_{i+1}Y_iY_{i+1}$, $Y_iY_j=Y_jY_i$ ($|j-i|\geqslant 2$), together with the relations $Y_i^2=0$. We describe an explicit presentation for the cohomology ring $Z\cong\mathsf{Ext}^*_{\mathcal{N}S_n}(\mathbb{Z},\mathbb{Z})$, with $n-i$ new generators in degree $i$ for $0< i

Algebras defined over fields of characteristic zero and positive characteristic usually do not behave the same way. However, for certain algebras, for example the group algebras, they behave the same way as the characteristic zero case at good enough prime. In this paper, we initiate the study of this topic by imposing increasingly strong hypotheses on basic algebras. When the algebras satisfy the right hypotheses, we have equalities of the dimensions of their cohomology groups between simple modules and equalities of graded Cartan numbers. The examples include the Solomon descent algebras of finite Coxeter groups at large enough primes, nil-Coxeter algebra, and certain finite semigroup algebras at an arbitrary prime.

Let $G$ be a finite group and $\mathsf{k}$ a field of characteristic $p$. It is conjectured in a paper of the first author and John Greenlees that the thick subcategory of the stable module category StMod$(\mathsf{k}G)$ consisting of modules whose cohomology is finitely generated over $\mathsf{H}^*(G,\mathsf{k})$ is generated by finite dimensional modules and modules with no cohomology. If the centraliser of every element of order $p$ in $G$ is $p$-nilpotent, this statement follows from previous work. Our purpose here is to prove this conjecture in two cases with non $p$-nilpotent centralisers. The groups involved are ${\mathbb Z}/3^r\times\Sigma_3$ ($r> 0$) in characteristic three and ${\mathbb Z}/2\times A_4$ in characteristic two. As a consequence, in these cases the bounded derived category of $C^*BG$ (cochains on $BG$ with coefficients in $\mathsf{k}$) is generated by $C^*BS$, where $S$ is a Sylow $p$-subgroup of $G$., Comment: 11 pages

We are given a finite group $H$, an automorphism $\tau$ of $H$ of order $r$, a Galois extension $L/K$ of fields of characteristic zero with cyclic Galois group $\langle\sigma\rangle$ of order $r$, and an absolutely irreducible representation $\rho\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $\tau$ on the character of $\rho$ is the same as the action of $\sigma$. Then the following are equivalent. $\bullet$ $\rho$ is equivalent to a representation $\rho'\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $\sigma$ on the entries of the matrices corresponds to the action of $\tau$ on $H$, and $\bullet$ the induced representation $\operatorname{\sf ind}_{H,H\rtimes\langle\tau\rangle}(\rho)$ has Schur index one; that is, it is similar to a representation over $K$. As examples, we discuss a three dimensional irreducible representation of $A_5$ over $\mathbb{Q}[\sqrt5]$ and a four dimensional irreducible representation of the double cover of $A_7$ over $\mathbb{Q}[\sqrt{-7}]$., Comment: 6 pages

Let $G$ be a finite group and $k$ a field of characteristic $p$. We conjecture that if $M$ is a $kG$-module with $H^*(G,M)$ finitely generated as a module over $H^*(G,k)$ then as an element of the stable module category $\mathsf{StMod}(kG)$, $M$ is contained in the thick subcategory generated by the finitely generated $kG$-modules and the modules $M'$ with $H^*(G,M')=0$. We show that this is equivalent to a conjecture of the second author about generation of the bounded derived category of cochains $C^*(BG;k)$, and we prove the conjecture in the case where the centraliser of every element of $G$ of order $p$ is $p$-nilpotent. In this case some stronger statements are true, that probably fail for more general finite groups., Comment: HIM-Spectral-22, 15 pages

Let $G$ be a finite $p$-group, and $\alpha$ an automorphism of the group algebra ${\mathbb F}_pG$. Then $\alpha$ fixes the socle of ${\mathbb F}_pG$ pointwise. More generally, if $k$ is a field of characteristic $p$, and $\alpha$ is a $k$-algebra automorphism of $kG$, then $\alpha$ induces a linear action on the dimension subquotients of the group, and the action on the socle is scalar multiplication by the $(p-1)$st power of the product of the determinants of this action. The scalar is thus an element of $(k^\times)^{p-1}$., Comment: 3 pages

Thanks to the work of Karin Erdmann, we know a great deal about the representation theory of blocks of finite groups with tame representation type. Our purpose here is to examine the $p$-completed classifying spaces of these blocks and their loop spaces. We pay special attention to the $A_\infty$ algebra structures, and singularity and cosingularity categories., Comment: 120 pages

We answer in the negative a question of Hartley about representations of finite groups, by constructing examples of finite simple groups with arbitrarily large representations whose endomorphism ring consists of just the scalars. We show as a consequence that there are finite simple groups of automorphisms of the locally finite simple group $SL(\infty,\mathbb{F}_q)$ with trivial centraliser. The smallest of our examples is $A_6$ with $q=9$., Comment: 10 pages

Let $k$ be a field of characteristic $p > 0$. For $G$ an elementary abelian $p$-group, there exist collections of permutation module such that if $C^*$ is any exact bounded complex whose terms are sums of copies of modules from the collection, then $C^*$ is contractible. A consequence is that if $G$ is any finite group whose Sylow $p$-subgroups are not cyclic or quaternion, and if $C^*$ is a bounded exact complex such that each $C^i$ is direct sum of one dimensional modules and projective modules, then $C^*$ is contractible., Comment: 7 pages

We study the evolution of high amplitude stress pulses in periodic dissipative laminates taking into account the nonlinear constitutive equations of the components and their dissipative behavior. Aluminum and Tungsten laminate was taken as an example due to the large difference in acoustic impedances of aluminum and tungsten, the significant nonlinearity of aluminum constitutive equation at the investigated range of stresses, and its possible practical applications. Laminates with different cell size, which controls internal time scale, impacted by the plates with different thicknesses, determining the incoming pulse duration, were investigated. It has been observed that the ratio of the duration of the incoming pulse to the internal characteristic time determines the nature of the high amplitude dissipative propagating waves, the oscillatory shock like profile, the train of localized pulses or a single localized pulse. These localized quasistationary waves resemble solitary waves even in the presence of dissipation: the similar pulses emerged from different initial conditions, indicating that they are inherent properties of the corresponding laminates, their characteristic length scale is determined by the mesostructural scale and the stress amplitude, and they mostly recover their shapes after collision with phase shift and a linear relationship exists between their speed and amplitude. A theoretical description approximating the shape, length scale and speed of these high amplitude dissipative pulses was proposed based on the Korteweg de Vries type equation with a dispersive term dictated by the mesostructure. The nonlinear term is derived from nonlinear constitutive equations of Aluminum and Tungsten, which were extracted from their Hugoniot curves., Comment: 56 pages, 24 figures

Let E be an elementary abelian p-group of rank r and let k be a field of characteristic p. We introduce functors F_i from finitely generated kE-modules of constant Jordan type to vector bundles over projective space of dimension r-1. The fibers of these functors encode complete information about the Jordan type of the module. We prove that given any vector bundle of rank s on P^{r-1}, there is a kE-module M of stable constant Jordan type [1]^s such that the functor F_1 applied to M yields the original vector bundle for p=2 and the Frobenius twist of the original vector bundle for p>2. We also prove that the theorem cannot be improved if p is odd, because if M is any module of stable constant Jordan type [1]^s then the Chern numbers c_1, ... ,c_{p-2} of F_1(M) are divisible by p., Comment: 14 pages

Freyd's generating hypothesis, interpreted in the stable module category of a finite p-group G, is the statement that a map between finite-dimensional kG-modules factors through a projective if the induced map on Tate cohomology is trivial. We show that Freyd's generating hypothesis holds for a non-trivial finite p-group G if and only if G is either C_2 or C_3. We also give various conditions which are equivalent to the generating hypothesis., Comment: 6 pages, fixed minor typos, to appear in J. Algebra

Let A be a separable unital nuclear purely infinite simple C*-algebra satisfying the Universal Coefficient Theorem, and such that the K_0-class of the identity is zero. We prove that every automorphism of order two of the K-theory of A is implemented by an automorphism of A of order two. As a consequence, we prove that every countable Z/2Z-graded module over the representation ring of Z/2Z is isomorphic to the equivariant K-theory for some action of Z/2Z on a separable unital nuclear purely infinite simple C*-algebra. Along the way, we prove that every not necessarily finitely generated module over the group ring of Z/2Z which is free as an abelian group has a direct sum decomposition with only three kinds of summands, namely the group ring itself and Z on which the nontrivial element of Z/2Z acts either trivially or by multiplication by -1., Comment: 18 pages, AMSLaTeX

This presentation outlines the preliminary design review (PDR) propellant slosh analysis done for the Europa Clipper Mission. It provides sample results for both high acceleration pendulum-damper models and low acceleration pendulum-spring-damper models. The high acceleration pendulum-damper models were derived from STAR-CCM+ computational fluid dynamic (CFD) simulations and the low acceleration pendulum-spring-damper models were derived from Surface Evolver models.

Without an adequate understanding of propellant slosh, the spacecraft attitude control system may be inadequate to control the spacecraft or there may be an unexpected loss of science observation time due to higher slosh settling times. Computational fluid dynamics (CFD) is used to model propellant slosh. STAR-CCM+ is a commercially available CFD code. This paper seeks to validate the CFD modeling approach via a comparison between STAR-CCM+ liquid slosh modeling results and experimental, empirically, and analytically derived results. The geometries examined are a bare right cylinder tank and a right cylinder with a single ring baffle.