skip to main content


Title: BLOCKS WITH NORMAL ABELIAN DEFECT AND ABELIAN $p^{\prime }$ INERTIAL QUOTIENT
Abstract

Let $k$ be an algebraically closed field of characteristic $p$, and let ${\mathcal{O}}$ be either $k$ or its ring of Witt vectors $W(k)$. Let $G$ be a finite group and $B$ a block of ${\mathcal{O}} G$ with normal abelian defect group and abelian $p^{\prime}$ inertial quotient $L$. We show that $B$ is isomorphic to its second Frobenius twist. This is motivated by the fact that bounding Frobenius numbers is one of the key steps towards Donovan’s conjecture. For ${\mathcal{O}}=k$, we give an explicit description of the basic algebra of $B$ as a quiver with relations. It is a quantized version of the group algebra of the semidirect product $P\rtimes L$.

 
more » « less
NSF-PAR ID:
10121732
Author(s) / Creator(s):
 ;  ;  
Publisher / Repository:
Oxford University Press
Date Published:
Journal Name:
The Quarterly Journal of Mathematics
ISSN:
0033-5606
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract

    Harmonic Hilbert spaces on locally compact abelian groups are reproducing kernel Hilbert spaces (RKHSs) of continuous functions constructed by Fourier transform of weighted$$L^2$$L2spaces on the dual group. It is known that for suitably chosen subadditive weights, every such space is a Banach algebra with respect to pointwise multiplication of functions. In this paper, we study RKHSs associated with subconvolutive functions on the dual group. Sufficient conditions are established for these spaces to be symmetric Banach$$^*$$-algebras with respect to pointwise multiplication and complex conjugation of functions (here referred to as RKHAs). In addition, we study aspects of the spectra and state spaces of RKHAs. Sufficient conditions are established for an RKHA on a compact abelian groupGto have the same spectrum as the$$C^*$$C-algebra of continuous functions onG. We also consider one-parameter families of RKHSs associated with semigroups of self-adjoint Markov operators on$$L^2(G)$$L2(G), and show that in this setting subconvolutivity is a necessary and sufficient condition for these spaces to have RKHA structure. Finally, we establish embedding relationships between RKHAs and a class of Fourier–Wermer algebras that includes spaces of dominating mixed smoothness used in high-dimensional function approximation.

     
    more » « less
  2. We present a family of electron-based coupled-wire models of bosonic orbifold topological phases, referred to as twist liquids, in two spatial dimensions. All local fermion degrees of freedom are gapped and removed from the topological order by many-body interactions. Bosonic chiral spin liquids and anyonic superconductors are constructed on an array of interacting wires, each supports emergent massless Majorana fermions that are non-local (fractional) and constitute the S O ( N ) Kac-Moody Wess-Zumino-Witten algebra at level 1. We focus on the dihedral D k symmetry of S O ( 2 n ) 1 , and its promotion to a gauge symmetry by manipulating the locality of fermion pairs. Gauging the symmetry (sub)group generates the C / G twist liquids, where G = Z 2 for C = U ( 1 ) l , S U ( n ) 1 , and G = Z 2 , Z k , D k for C = S O ( 2 n ) 1 . We construct exactly solvable models for all of these topological states. We prove the presence of a bulk excitation energy gap and demonstrate the appearance of edge orbifold conformal field theories corresponding to the twist liquid topological orders. We analyze the statistical properties of the anyon excitations, including the non-Abelian metaplectic anyons and a new class of quasiparticles referred to as Ising-fluxons. We show an eight-fold periodic gauging pattern in S O ( 2 n ) 1 / G by identifying the non-chiral components of the twist liquids with discrete gauge theories. 
    more » « less
  3. Abstract We prove an inequality that unifies previous works of the authors on the properties of the Radon transform on convex bodies including an extension of the Busemann–Petty problem and a slicing inequality for arbitrary functions. Let $K$ and $L$ be star bodies in ${\mathbb R}^n,$ let $0<k<n$ be an integer, and let $f,g$ be non-negative continuous functions on $K$ and $L$, respectively, so that $\|g\|_\infty =g(0)=1.$ Then $$\begin{align*} & \frac{\int_Kf}{\left(\int_L g\right)^{\frac{n-k}n}|K|^{\frac kn}} \le \frac n{n-k} \left(d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)\right)^k \max_{H} \frac{\int_{K\cap H} f}{\int_{L\cap H} g}, \end{align*}$$where $|K|$ stands for volume of proper dimension, $C$ is an absolute constant, the maximum is taken over all $(n-k)$-dimensional subspaces of ${\mathbb R}^n,$ and $d_{\textrm{ovr}}(K,\mathcal{B}\mathcal{P}_k^n)$ is the outer volume ratio distance from $K$ to the class of generalized $k$-intersection bodies in ${\mathbb R}^n.$ Another consequence of this result is a mean value inequality for the Radon transform. We also obtain a generalization of the isomorphic version of the Shephard problem. 
    more » « less
  4. Abstract

    Let $G$ be a reductive group over a non-archimedean local field $k$. We provide necessary conditions and sufficient conditions for all tori of $G$ to split over a tamely ramified extension of $k$. We then show the existence of good semisimple elements in every Moy–Prasad filtration coset of the group $G(k)$ and its Lie algebra, assuming the above sufficient conditions are met.

     
    more » « less
  5. Abstract Let $X$ be a measure space with a measure-preserving action $(g,x) \mapsto g \cdot x$ of an abelian group $G$. We consider the problem of understanding the structure of measurable tilings $F \odot A = X$ of $X$ by a measurable tile $A \subset X$ translated by a finite set $F \subset G$ of shifts, thus the translates $f \cdot A$, $f \in F$ partition $X$ up to null sets. Adapting arguments from previous literature, we establish a “dilation lemma” that asserts, roughly speaking, that $F \odot A = X$ implies $F^{r} \odot A = X$ for a large family of integer dilations $r$, and use this to establish a structure theorem for such tilings analogous to that established recently by the second and fourth authors. As applications of this theorem, we completely classify those random tilings of finitely generated abelian groups that are “factors of iid”, and show that measurable tilings of a torus ${\mathbb{T}}^{d}$ can always be continuously (in fact linearly) deformed into a tiling with rational shifts, with particularly strong results in the low-dimensional cases $d=1,2$ (in particular resolving a conjecture of Conley, the first author, and Pikhurko in the $d=1$ case). 
    more » « less