-
Projective Modules and Cohomology for Integral Basic Algebras
Authors:
David J. Benson,
Kay ** Lim
Abstract:
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…
▽ More
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.
△ Less
Submitted 7 July, 2024;
originally announced July 2024.
-
Locally dualisable modular representations and local regularity
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of…
▽ More
This work concerns the stable module category of a finite group over a field of characteristic dividing the group order. The minimal localising tensor ideals correspond to the non-maximal homogeneous prime ideals in the cohomology ring of the group. Given such a prime ideal, a number of characterisations of the dualisable objects in the corresponding tensor ideal are given. One characterisation of interest is that they are exactly the modules whose restriction along a corresponding $π$-point are finite dimensional plus projective. A key insight is the identification of a special property of the stable module category that controls the cohomological behaviour of local dualisable objects. This property, introduced in this work for general triangulated categories and called local regularity, is related to strong generation. A major part of the paper is devoted to develo** this notion and investigating its ramifications for various special classes of objects in tensor triangulated categories.
△ Less
Submitted 22 April, 2024;
originally announced April 2024.
-
Modules with finitely generated cohomology
Authors:
David J. Benson,
Jon F. Carlson
Abstract:
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 cen…
▽ More
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Σ_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$.
△ Less
Submitted 18 August, 2023;
originally announced August 2023.
-
Lattices over finite group schemes and stratification
Authors:
Tobias Barthel,
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triang…
▽ More
This work concerns representations of a finite flat group scheme $G$, defined over a noetherian commutative ring $R$. The focus is on lattices, namely, finitely generated $G$-modules that are projective as $R$-modules, and on the full subcategory of all $G$-modules projective over $R$ generated by the lattices. The stable category of such $G$-modules is a rigidly-compactly generated, tensor triangulated category. The main result is that this stable category is stratified and costratified by the natural action of the cohomology ring of $G$. Applications include formulas for computing the support and cosupport of tensor products and the module of homomorphisms, and a classification of the thick ideals in the stable category of lattices.
△ Less
Submitted 14 October, 2023; v1 submitted 30 July, 2023;
originally announced July 2023.
-
Matrices for finite group representations that respect Galois automorphisms
Authors:
David J. Benson
Abstract:
We are given a finite group $H$, an automorphism $τ$ of $H$ of order $r$, a Galois extension $L/K$ of fields of characteristic zero with cyclic Galois group $\langleσ\rangle$ of order $r$, and an absolutely irreducible representation $ρ\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $τ$ on the character of $ρ$ is the same as the action of $σ$. Then the following are equivalent.…
▽ More
We are given a finite group $H$, an automorphism $τ$ of $H$ of order $r$, a Galois extension $L/K$ of fields of characteristic zero with cyclic Galois group $\langleσ\rangle$ of order $r$, and an absolutely irreducible representation $ρ\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $τ$ on the character of $ρ$ is the same as the action of $σ$. Then the following are equivalent.
$\bullet$ $ρ$ is equivalent to a representation $ρ'\colon H\to\operatorname{\sf GL}(n,L)$ such that the action of $σ$ on the entries of the matrices corresponds to the action of $τ$ on $H$, and
$\bullet$ the induced representation $\operatorname{\sf ind}_{H,H\rtimes\langleτ\rangle}(ρ)$ 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}]$.
△ Less
Submitted 9 June, 2023;
originally announced June 2023.
-
Modules with finitely generated cohomology, and singularities of $C^*BG$
Authors:
David J. Benson,
John Greenlees
Abstract:
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 equ…
▽ More
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.
△ Less
Submitted 15 May, 2023;
originally announced May 2023.
-
The socle of the group algebra of a finite $p$-group
Authors:
David J. Benson
Abstract:
Let $G$ be a finite $p$-group, and $α$ an automorphism of the group algebra ${\mathbb F}_pG$. Then $α$ fixes the socle of ${\mathbb F}_pG$ pointwise. More generally, if $k$ is a field of characteristic $p$, and $α$ is a $k$-algebra automorphism of $kG$, then $α$ 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…
▽ More
Let $G$ be a finite $p$-group, and $α$ an automorphism of the group algebra ${\mathbb F}_pG$. Then $α$ fixes the socle of ${\mathbb F}_pG$ pointwise. More generally, if $k$ is a field of characteristic $p$, and $α$ is a $k$-algebra automorphism of $kG$, then $α$ 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}$.
△ Less
Submitted 17 March, 2023;
originally announced March 2023.
-
Local dualisable objects in local algebra
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed.
We discuss dualisable objects in minimal subcategories of compactly generated tensor triangulated categories, paying special attention to the derived category of a commutative noetherian ring. A cohomological criterion for detecting these local dualisable objects is established. Generalisations to other related contexts are discussed.
△ Less
Submitted 16 February, 2023;
originally announced February 2023.
-
Finite dimensional algebras not arising as blocks of group algebras
Authors:
Dave Benson,
Benjamin Sambale
Abstract:
We develop new techniques to classify basic algebras of blocks of finite groups over algebraically closed fields of prime characteristic. We apply these techniques to simplify and extend previous classifications by Linckelmann, Murphy and Sambale. In particular, we fully classify blocks with 16-dimensional basic algebra.
We develop new techniques to classify basic algebras of blocks of finite groups over algebraically closed fields of prime characteristic. We apply these techniques to simplify and extend previous classifications by Linckelmann, Murphy and Sambale. In particular, we fully classify blocks with 16-dimensional basic algebra.
△ Less
Submitted 25 January, 2023;
originally announced January 2023.
-
Hochschild cohomology of symmetric groups and generating functions,II
Authors:
David Benson,
Radha Kessar,
Markus Linckelmann
Abstract:
We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of de…
▽ More
We relate the generating functions of the dimensions of the Hochschild cohomology in any fixed degree of the symmetric groups with those of blocks of the symmetric groups. We show that the first Hochschild cohomology of a positive defect block of a symmetric group is non-zero, answering in the affirmative a question of the third author. To do this, we prove a formula expressing the dimension of degree one Hochschild cohomology as a sum of dimensions of centres of blocks of smaller symmetric groups. This in turn is a consequence of a general formula that makes more precise a theorem of our previous paper describing the generating functions for the dimensions of Hochschild cohomology of symmetric groups.
△ Less
Submitted 9 January, 2023;
originally announced January 2023.
-
Classifying spaces of finite groups of tame representation type
Authors:
David J. Benson
Abstract:
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.
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.
△ Less
Submitted 16 August, 2022;
originally announced August 2022.
-
Centralisers of finite groups in locally finite simple groups
Authors:
David J. Benson
Abstract:
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 s…
▽ More
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$.
△ Less
Submitted 7 August, 2022;
originally announced August 2022.
-
Formality of cochains on BG
Authors:
David Benson,
John Greenlees
Abstract:
Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^*(BG;k)$ is formal as an $A_\infty$ algebra, or equivalently as a DG algebra.
Let $G$ be a compact Lie group with maximal torus $T$. If $|N_G(T)/T|$ is invertible in the field $k$ then the algebra of cochains $C^*(BG;k)$ is formal as an $A_\infty$ algebra, or equivalently as a DG algebra.
△ Less
Submitted 19 May, 2022; v1 submitted 4 May, 2022;
originally announced May 2022.
-
Fibrewise stratification of group representations
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable catego…
▽ More
Given a finite cocommutative Hopf algebra $A$ over a commutative regular ring $R$, the lattice of localising tensor ideals of the stable category of Gorenstein projective $A$-modules is described in terms of the corresponding lattices for the fibres of $A$ over the spectrum of $R$. Under certain natural conditions on the cohomology of $A$ over $R$, this yields a stratification of the stable category. These results apply when $A$ is the group algebra over $R$ of a finite group, and also when $A$ is the exterior algebra on a finite free $R$-module.
△ Less
Submitted 13 June, 2022; v1 submitted 21 April, 2022;
originally announced April 2022.
-
Hochschild cohomology of symmetric groups in low degrees
Authors:
David Benson,
Radha Kessar,
Markus Linckelmann
Abstract:
We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the Hochschild cohomology of symmetric groups.
We compute the dimensions of the Hochschild cohomology of symmetric groups over prime fields in low degrees. This involves us in studying some partition identities and generating functions of the dimensions in any fixed degree of the Hochschild cohomology of symmetric groups.
△ Less
Submitted 21 April, 2022;
originally announced April 2022.
-
Parallelized Domain Decomposition for Multi-Dimensional Lagrangian Random Walk, Mass-Transfer Particle Tracking Schemes
Authors:
Lucas Schauer,
Michael J. Schmidt,
Nicholas B. Engdahl,
Stephen D. Pankavich,
David A. Benson,
Diogo Bolster
Abstract:
We develop a multi-dimensional, parallelized domain decomposition strategy (DDC) for mass-transfer particle tracking (MTPT) methods. These methods are a type of Lagrangian algorithm for simulating reactive transport and are able to be parallelized by employing large numbers of CPU cores to accelerate run times. In this work, we investigate different procedures for "tiling" the domain in two and th…
▽ More
We develop a multi-dimensional, parallelized domain decomposition strategy (DDC) for mass-transfer particle tracking (MTPT) methods. These methods are a type of Lagrangian algorithm for simulating reactive transport and are able to be parallelized by employing large numbers of CPU cores to accelerate run times. In this work, we investigate different procedures for "tiling" the domain in two and three dimensions, (2-d and 3-d), as this type of formal DDC construction is currently limited to 1-d. An optimal tiling is prescribed based on physical problem parameters and the number of available CPU cores, as each tiling provides distinct results in both accuracy and run time. We further extend the most efficient technique to 3-d for comparison, leading to an analytical discussion of the effect of dimensionality on strategies for implementing DDC schemes. Increasing computational resources (cores) within the DDC method produces a trade-off between inter-node communication and on-node work. For an optimally subdivided diffusion problem, the 2-d parallelized algorithm achieves nearly perfect linear speedup in comparison with the serial run up to around 2700 cores, reducing a 5-hour simulation to 8 seconds, and the 3-d algorithm maintains appreciable speedup up to 1700 cores.
△ Less
Submitted 7 April, 2022;
originally announced April 2022.
-
Structure of blocks with normal defect and abelian $p'$ inertial quotient
Authors:
David Benson,
Radha Kessar,
Markus Linckelmann
Abstract:
Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix algebra over a quantised version of the group algebra of a semidirect product of $P$ with a certain subgroup of $L$. To do this, we first examine the associated g…
▽ More
Let $k$ be an algebraically closed field of prime characteristic $p$. Let $kGe$ be a block of a group algebra of a finite group $G$, with normal defect group $P$ and abelian $p'$ inertial quotient $L$. Then we show that $kGe$ is a matrix algebra over a quantised version of the group algebra of a semidirect product of $P$ with a certain subgroup of $L$. To do this, we first examine the associated graded algebra, using a Jennings--Quillen style theorem.
As an example, we calculate the associated graded of the basic algebra of the non-principal block in the case of a semidirect product of an extraspecial $p$-group $P$ of exponent $p$ and order $p^3$ with a quaternion group of order eight with the centre acting trivially. In the case $p=3$ we give explicit generators and relations for the basic algebra as a quantised version of $kP$. As a second example, we give explicit generators and relations in the case of a group of shape $2^{1+4}:3^{1+2}$ in characteristic two.
△ Less
Submitted 27 January, 2022;
originally announced January 2022.
-
The singularity and cosingularity categories of $C^*BG$ for groups with cyclic Sylow $p$-subgroups
Authors:
Dave Benson,
John Greenlees
Abstract:
We construct a differential graded algebra (DGA) modelling certain $A_\infty$ algebras associated with a finite group $G$ with cyclic Sylow subgroups, namely $H^*BG$ and $H_*ΩBG^{^\wedge}_p$. We use our construction to investigate the singularity and cosingularity categories of these algebras. We give a complete classification of the indecomposables in these categories, and describe the Auslander-…
▽ More
We construct a differential graded algebra (DGA) modelling certain $A_\infty$ algebras associated with a finite group $G$ with cyclic Sylow subgroups, namely $H^*BG$ and $H_*ΩBG^{^\wedge}_p$. We use our construction to investigate the singularity and cosingularity categories of these algebras. We give a complete classification of the indecomposables in these categories, and describe the Auslander--Reiten quiver. The theory applies to Brauer tree algebras in arbitrary characteristic, and we end with an example in characteristic zero coming from the Hecke algebras of symmetric groups.
△ Less
Submitted 20 July, 2021;
originally announced July 2021.
-
A Computational Information Criterion for Particle-Tracking with Sparse or Noisy Data
Authors:
Nhat Thanh Tran,
David A. Benson,
Michael J. Schmidt,
Stephen D. Pankavich
Abstract:
Traditional probabilistic methods for the simulation of advection-diffusion equations (ADEs) often overlook the entropic contribution of the discretization, e.g., the number of particles, within associated numerical methods. Many times, the gain in accuracy of a highly discretized numerical model is outweighed by its associated computational costs or the noise within the data. We address the quest…
▽ More
Traditional probabilistic methods for the simulation of advection-diffusion equations (ADEs) often overlook the entropic contribution of the discretization, e.g., the number of particles, within associated numerical methods. Many times, the gain in accuracy of a highly discretized numerical model is outweighed by its associated computational costs or the noise within the data. We address the question of how many particles are needed in a simulation to best approximate and estimate parameters in one-dimensional advective-diffusive transport. To do so, we use the well-known Akaike Information Criterion (AIC) and a recently-developed correction called the Computational Information Criterion (COMIC) to guide the model selection process. Random-walk and mass-transfer particle tracking methods are employed to solve the model equations at various levels of discretization. Numerical results demonstrate that the COMIC provides an optimal number of particles that can describe a more efficient model in terms of parameter estimation and model prediction compared to the model selected by the AIC even when the data is sparse or noisy, the sampling volume is not uniform throughout the physical domain, or the error distribution of the data is non-IID Gaussian.
△ Less
Submitted 13 June, 2021;
originally announced June 2021.
-
Improved Bounds for the Oriented Radius of Mixed Multigraphs
Authors:
Jasine Babu,
Deepu Benson,
Deepak Rajendraprasad
Abstract:
A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each…
▽ More
A mixed multigraph is a multigraph which may contain both undirected and directed edges. An orientation of a mixed multigraph $G$ is an assignment of exactly one direction to each undirected edge of $G$. A mixed multigraph $G$ can be oriented to a strongly connected digraph if and only if $G$ is bridgeless and strongly connected [Boesch and Tindell, Am. Math. Mon., 1980]. For each $r \in \mathbb{N}$, let $f(r)$ denote the smallest number such that any strongly connected bridgeless mixed multigraph with radius $r$ can be oriented to a digraph of radius at most $f(r)$. We improve the current best upper bound of $4r^2+4r$ on $f(r)$ [Chung, Garey and Tarjan, Networks, 1985] to $1.5 r^2 + r + 1$. Our upper bound is tight upto a multiplicative factor of $1.5$ since, $\forall r \in \mathbb{N}$, there exists an undirected bridgeless graph of radius $r$ such that every orientation of it has radius at least $r^2 + r$ [Chvátal and Thomassen, J. Comb. Theory. Ser. B., 1978]. We prove a marginally better lower bound, $f(r) \geq r^2 + 3r + 1$, for mixed multigraphs. While this marginal improvement does not help with asymptotic estimates, it clears a natural suspicion that, like undirected graphs, $f(r)$ may be equal to $r^2 + r$ even for mixed multigraphs. En route, we show that if each edge of $G$ lies in a cycle of length at most $η$, then the oriented radius of $G$ is at most $1.5 r η$. All our proofs are constructive and lend themselves to polynomial time algorithms.
△ Less
Submitted 5 May, 2021;
originally announced May 2021.
-
Stratification and duality for unipotent finite supergroup schemes
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme.
We survey some methods developed in a series of papers, for classifying localising subcategories of tensor triangulated categories. We illustrate these methods by proving a new theorem, providing such a classification in the case of the stable module category of a unipotent finite supergroup scheme.
△ Less
Submitted 20 October, 2020;
originally announced October 2020.
-
Nonparametric, data-based kernel interpolation for particle-tracking simulations and kernel density estimation
Authors:
David A Benson,
Diogo Bolster,
Stephen Pankavich,
Michael J Schmidt
Abstract:
Traditional interpolation techniques for particle tracking include binning and convolutional formulas that use pre-determined (i.e., closed-form, parameteric) kernels. In many instances, the particles are introduced as point sources in time and space, so the cloud of particles (either in space or time) is a discrete representation of the Green's function of an underlying PDE. As such, each particl…
▽ More
Traditional interpolation techniques for particle tracking include binning and convolutional formulas that use pre-determined (i.e., closed-form, parameteric) kernels. In many instances, the particles are introduced as point sources in time and space, so the cloud of particles (either in space or time) is a discrete representation of the Green's function of an underlying PDE. As such, each particle is a sample from the Green's function; therefore, each particle should be distributed according to the Green's function. In short, the kernel of a convolutional interpolation of the particle sample "cloud" should be a replica of the cloud itself. This idea gives rise to an iterative method by which the form of the kernel may be discerned in the process of interpolating the Green's function. When the Green's function is a density, this method is broadly applicable to interpolating a kernel density estimate based on random data drawn from a single distribution. We formulate and construct the algorithm and demonstrate its ability to perform kernel density estimation of skewed and/or heavy-tailed data including breakthrough curves.
△ Less
Submitted 13 October, 2020;
originally announced October 2020.
-
Modular representation theory and commutative Banach algebras
Authors:
David Benson
Abstract:
In a recent paper of Benson and Symonds, a new invariant was introduced for modular representations of a finite group. An interpretation was given as a spectral radius with respect to a Banach algebra completion of the representation ring. Our purpose here is to take these notions further, and investigate the structure of the resulting Banach algebras. Some of the material in that paper is repeate…
▽ More
In a recent paper of Benson and Symonds, a new invariant was introduced for modular representations of a finite group. An interpretation was given as a spectral radius with respect to a Banach algebra completion of the representation ring. Our purpose here is to take these notions further, and investigate the structure of the resulting Banach algebras. Some of the material in that paper is repeated here in greater generality, and for clarity of exposition.
We give an axiomatic definition of an abstract representation ring, and representation ideal. The completion is then a commutative Banach algebra, and the techniques of Gelfand from the 1940s are applied in order to study the space of algebra homomorphisms to $\mathbb C$. One surprising consequence of this investigation is that the Jacobson radical and the nil radical of a (complexified) representation ring always coincide.
These notes are intended for representation theorists. So background material on commutative Banach algebras is given in detail, whereas representation theoretic background is more condensed.
△ Less
Submitted 30 April, 2022; v1 submitted 30 August, 2020;
originally announced August 2020.
-
On cohomology in symmetric tensor categories in prime characteristic
Authors:
David Benson,
Pavel Etingof
Abstract:
We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in \cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of…
▽ More
We describe graded commutative Gorenstein algebras ${\mathcal E}_n(p)$ over a field of characteristic $p$, and we conjecture that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)\cong{\mathcal E}_{n}(p)$, where $\mathsf{Ver}_{p^{n+1}}$ are the new symmetric tensor categories recently constructed in \cite{Benson/Etingof:2019a,Benson/Etingof/Ostrik,Coulembier}. We investigate the combinatorics of these algebras, and the relationship with Minc's partition function, as well as possible actions of the Steenrod operations on them.
Evidence for the conjecture includes a large number of computations for small values of $n$. We also provide some theoretical evidence. Namely, we use a Koszul construction to identify a homogeneous system of parameters in ${\mathcal E}_n(p)$ with a homogeneous system of parameters in $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)$. These parameters have degrees $2^i-1$ if $p=2$ and $2(p^i-1)$ if $p$ is odd, for $1\le i \le n$. This at least shows that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{p^{n+1}}}(1,1)$ is a finitely generated graded commutative algebra with the same Krull dimension as ${\mathcal E}_n(p)$. For $p=2$ we also show that $\mathrm{Ext}^\bullet_{\mathsf{Ver}_{2^{n+1}}}(1,1)$ has the expected rank $2^{n(n-1)/2}$ as a module over the subalgebra of parameters.
△ Less
Submitted 19 August, 2021; v1 submitted 30 August, 2020;
originally announced August 2020.
-
Rank varieties and $π$-points for elementary supergroup schemes
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even…
▽ More
We develop a support theory for elementary supergroup schemes, over a field of positive characteristic $p\ge 3$, starting with a definition of a $π$-point generalising cyclic shifted subgroups of Carlson for elementary abelian groups and $π$-points of Friedlander and Pevtsova for finite group schemes. These are defined in terms of maps from the graded algebra $k[t,τ]/(t^p-τ^2)$, where $t$ has even degree and $τ$ has odd degree. The strength of the theory is demonstrated by classifying the parity change invariant localising subcategories of the stable module category of an elementary supergroup scheme.
△ Less
Submitted 6 August, 2020;
originally announced August 2020.
-
Bounded complexes of permutation modules
Authors:
David J. Benson,
Jon F. Carlson
Abstract:
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 bound…
▽ More
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.
△ Less
Submitted 9 July, 2020;
originally announced July 2020.
-
Massey products in the homology of the loopspace of a p-completed classifying space: finite groups with cyclic Sylow p-subgroups
Authors:
John Greenlees,
Dave Benson
Abstract:
Let G be a finite group with cyclic Sylow p-subgroup, and let k be a field of characteristic p. Then H^*(BG;k) and H_*(ΩBG\phat;k) are A_{\infty} algebras whose structure we determine up to quasi-isomorphism.
Let G be a finite group with cyclic Sylow p-subgroup, and let k be a field of characteristic p. Then H^*(BG;k) and H_*(ΩBG\phat;k) are A_{\infty} algebras whose structure we determine up to quasi-isomorphism.
△ Less
Submitted 12 June, 2020;
originally announced June 2020.
-
On the BV structure of the Hochschild cohomology of finite group algebras
Authors:
Dave Benson,
Radha Kessar,
Markus Linckelmann
Abstract:
We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups.
We give a simple algebraic recipe for calculating the components of the BV operator $Δ$ on the Hochschild cohomology of a finite group algebra with respect to the centraliser decomposition. We use this to investigate the properties of $Δ$ and to make some computations for some particular finite groups.
△ Less
Submitted 19 April, 2021; v1 submitted 4 May, 2020;
originally announced May 2020.
-
New incompressible symmetric tensor categories in positive characteristic
Authors:
Dave Benson,
Pavel Etingof,
Victor Ostrik
Abstract:
We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm Ver}_{p^n}$, ${\rm Ver}_{p^n}^+$ of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for $p=2$ and by Gelfand-Kazhdan and Georgiev-Math…
▽ More
We propose a method of constructing abelian envelopes of symmetric rigid monoidal Karoubian categories over an algebraically closed field $\bf k$. If ${\rm char}({\bf k})=p>0$, we use this method to construct generalizations ${\rm Ver}_{p^n}$, ${\rm Ver}_{p^n}^+$ of the incompressible abelian symmetric tensor categories defined in arXiv:1807.05549 for $p=2$ and by Gelfand-Kazhdan and Georgiev-Mathieu for $n=1$. Namely, ${\rm Ver}_{p^n}$ is the abelian envelope of the quotient of the category of tilting modules for $SL_2(\bf k)$ by the $n$-th Steinberg module, and ${\rm Ver}_{p^n}^+$ is its subcategory generated by $PGL_2(\bf k)$-modules. We show that ${\rm Ver}_{p^n}$ are reductions to characteristic $p$ of Verlinde braided tensor categories in characteristic zero, which explains the notation. We study the structure of these categories in detail, and in particular show that they categorify the real cyclotomic rings $\mathbb{Z}[2\cos(2π/p^n)]$, and that ${\rm Ver}_{p^n}$ embeds into ${\rm Ver}_{p^{n+1}}$. We conjecture that every symmetric tensor category of moderate growth over $\bf k$ admits a fiber functor to the union ${\rm Ver}_{p^\infty}$ of the nested sequence ${\rm Ver}_{p}\subset {\rm Ver}_{p^2}\subset\cdots$. This would provide an analog of Deligne's theorem in characteristic zero and a generalization of the result of arXiv:1503.01492, which shows that this conjecture holds for fusion categories, and then moreover the fiber functor lands in ${\rm Ver}_p$.
△ Less
Submitted 10 November, 2021; v1 submitted 23 March, 2020;
originally announced March 2020.
-
Resolutions by permutation modules
Authors:
Paul Balmer,
Dave Benson
Abstract:
We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.
We prove that, up to adding a complement, every modular representation of a finite group admits a finite resolution by permutation modules.
△ Less
Submitted 9 March, 2020;
originally announced March 2020.
-
An Improvement to Chvátal and Thomassen's Upper Bound for Oriented Diameter
Authors:
Jasine Babu,
Deepu Benson,
Deepak Rajendraprasad,
Sai Nishant Vaka
Abstract:
An orientation of an undirected graph $G$ is an assignment of exactly one direction to each edge of $G$. The oriented diameter of a graph $G$ is the smallest diameter among all the orientations of $G$. The maximum oriented diameter of a family of graphs $\mathscr{F}$ is the maximum oriented diameter among all the graphs in $\mathscr{F}$. Chvátal and Thomassen [JCTB, 1978] gave a lower bound of…
▽ More
An orientation of an undirected graph $G$ is an assignment of exactly one direction to each edge of $G$. The oriented diameter of a graph $G$ is the smallest diameter among all the orientations of $G$. The maximum oriented diameter of a family of graphs $\mathscr{F}$ is the maximum oriented diameter among all the graphs in $\mathscr{F}$. Chvátal and Thomassen [JCTB, 1978] gave a lower bound of $\frac{1}{2}d^2+d$ and an upper bound of $2d^2+2d$ for the maximum oriented diameter of the family of $2$-edge connected graphs of diameter $d$. We improve this upper bound to $ 1.373 d^2 + 6.971d-1 $, which outperforms the former upper bound for all values of $d$ greater than or equal to $8$. For the family of $2$-edge connected graphs of diameter $3$, Kwok, Liu and West [JCTB, 2010] obtained improved lower and upper bounds of $9$ and $11$ respectively. For the family of $2$-edge connected graphs of diameter $4$, the bounds provided by Chvátal and Thomassen are $12$ and $40$ and no better bounds were known. By extending the method we used for diameter $d$ graphs, along with an asymmetric extension of a technique used by Chvátal and Thomassen, we have improved this upper bound to $21$.
△ Less
Submitted 29 January, 2020; v1 submitted 10 January, 2020;
originally announced January 2020.
-
Reactive Particle-tracking Solutions to a Benchmark Problem on Heavy Metal Cycling in Lake Sediments
Authors:
Michael J. Schmidt,
Stephen D. Pankavich,
Alexis Navarre-Sitchler,
Nicholas B. Engdahl,
Diogo Bolster,
David A. Benson
Abstract:
Geochemical systems are known to exhibit highly variable spatiotemporal behavior. This may be observed both in non-smooth concentration curves in space for a single sampling time and also in variability between samples taken from the same location at different times. However, most models that are designed to simulate these systems provide only single-solution smooth curves and fail to capture the…
▽ More
Geochemical systems are known to exhibit highly variable spatiotemporal behavior. This may be observed both in non-smooth concentration curves in space for a single sampling time and also in variability between samples taken from the same location at different times. However, most models that are designed to simulate these systems provide only single-solution smooth curves and fail to capture the noise and variability seen in the data. We apply a recently developed reactive particle-tracking method to a system that displays highly-complex geochemical behavior. When the method is made to most closely resemble a corresponding Eulerian method, in its unperturbed form, we see near-exact match between solutions of the two models. More importantly, we consider two approaches for perturbing the model and find that the spatially-perturbed condition is able to capture a greater degree of the variability present in the data. This method of perturbation is a task to which particle methods are uniquely suited and Eulerian models are not well-suited. Additionally, because of the nature of the algorithm, noisy spatial gradients can be highly resolved by a large number of mobile particles, and this incurs negligible computational cost, as compared to expensive chemistry calculations.
△ Less
Submitted 26 August, 2019;
originally announced August 2019.
-
Entropy: The former trouble with particles (including a new numerical model computational penalty for the Akaike information criterion)
Authors:
David A. Benson,
Stephen Pankavich,
Michael Schmidt,
Guillem Sole-Mari
Abstract:
Traditional random-walk particle-tracking (PT) models of advection and dispersion do not track entropy, because particle masses remain constant. Newer mass-transfer particle tracking (MTPT) models have the ability to do so because masses of all compounds may change along trajectories. Additionally, the probability mass functions (PMF) of these MTPT models may be compared to continuous solutions wi…
▽ More
Traditional random-walk particle-tracking (PT) models of advection and dispersion do not track entropy, because particle masses remain constant. Newer mass-transfer particle tracking (MTPT) models have the ability to do so because masses of all compounds may change along trajectories. Additionally, the probability mass functions (PMF) of these MTPT models may be compared to continuous solutions with probability density functions, when a consistent definition of entropy (or similarly, the dilution index) is constructed. This definition reveals that every numerical model incurs a computational entropy. Similar to Akaike's entropic penalty for larger numbers of adjustable parameters, the computational complexity of a model (e.g., number of nodes) adds to the entropy and, as such, must be penalized. The MTPT method can use a particle-collision based kernel or an SPH-derived adaptive kernel. The latter is more representative of a locally well-mixed system (i.e., one in which the dispersion tensor equally represents mixing and solute spreading), while the former better represents the separate processes of mixing versus spreading. We use computational means to demonstrate the viability of each of these methods.
△ Less
Submitted 23 April, 2019;
originally announced May 2019.
-
Representations and cohomology of a family of finite supergroup schemes
Authors:
Dave Benson,
Julia Pevtsova
Abstract:
We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules…
▽ More
We examine the cohomology and representation theory of a family of finite supergroup schemes of the form $(\mathbb G_a^-\times \mathbb G_a^-)\rtimes (\mathbb G_{a(r)}\times (\mathbb Z/p)^s)$. In particular, we show that a certain relation holds in the cohomology ring, and deduce that for finite supergroup schemes having this as a quotient, both cohomology mod nilpotents and projectivity of modules is detected on proper sub-super\-group schemes. This special case feeds into the proof of a more general detection theorem for unipotent finite supergroup schemes, in a separate work of the authors joint with Iyengar and Krause.
We also completely determine the cohomology ring in the smallest cases, namely $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb G_{a(1)}$ and $(\mathbb G_a^- \times \mathbb G_a^-) \rtimes \mathbb Z/p$. The computation uses the local cohomology spectral sequence for group cohomology, which we describe in the context of finite supergroup schemes.
△ Less
Submitted 8 May, 2019;
originally announced May 2019.
-
Local duality for the singularity category of a finite dimensional Gorenstein algebra
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homog…
▽ More
A duality theorem for the singularity category of a finite dimensional Gorenstein algebra is proved. It complements a duality on the category of perfect complexes, discovered by Happel. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the derived category, for each homogeneous prime ideal $\mathfrak{p}$ arising from the action of a commutative ring via Hochschild cohomology.
△ Less
Submitted 4 May, 2019;
originally announced May 2019.
-
The non-projective part of the tensor powers of a module
Authors:
Dave Benson,
Peter Symonds
Abstract:
Let $M$ be a finite dimensional modular representation of a finite group $G$. We consider the generating function for the non-projective part of the tensor powers of $M$, and we write $γ_G(M)$ for the reciprocal of the radius of convergence of this power series. We investigate the properties of the invariant $γ_G(M)$, using tools from representation theory, and from the theory of commutative Banac…
▽ More
Let $M$ be a finite dimensional modular representation of a finite group $G$. We consider the generating function for the non-projective part of the tensor powers of $M$, and we write $γ_G(M)$ for the reciprocal of the radius of convergence of this power series. We investigate the properties of the invariant $γ_G(M)$, using tools from representation theory, and from the theory of commutative Banach algebras.
△ Less
Submitted 14 December, 2019; v1 submitted 7 February, 2019;
originally announced February 2019.
-
Detecting nilpotence and projectivity over finite unipotent supergroup schemes
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It i…
▽ More
This work concerns the representation theory and cohomology of a finite unipotent supergroup scheme $G$ over a perfect field $k$ of positive characteristic $p\ge 3$. It is proved that an element $x$ in the cohomology of $G$ is nilpotent if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $x_K$ to $E$ is nilpotent. It is also shown that a $kG$-module $M$ is projective if and only if for every extension field $K$ of $k$ and every elementary sub-supergroup scheme $E\subseteq G_K$, the restriction of $M_K$ to $E$ is projective. The statements are motivated by, and are analogues of, similar results for finite groups and finite group schemes, but the structure of elementary supergroups schemes necessary for detection is more complicated than in either of these cases. One application is a detection theorem for the nilpotence of cohomology, and projectivity of modules, over finite dimensional Hopf subalgebras of the Steenrod algebra.
△ Less
Submitted 6 July, 2019; v1 submitted 24 January, 2019;
originally announced January 2019.
-
Numerical Equivalence Between SPH and Probabilistic Mass Transfer Methods for Lagrangian Simulation of Dispersion
Authors:
Guillem Sole-Mari,
Michael J. Schmidt,
Stephen D. Pankavich,
David A. Benson
Abstract:
Several Lagrangian methodologies have been proposed in recent years to simulate advection-dispersion of solutes in fluids as a mass exchange between numerical particles carrying the fluid. In this paper, we unify these methodologies, showing that mass transfer particle tracking (MTPT) algorithms can be framed within the context of smoothed particle hydrodynamics (SPH), provided the choice of a Gau…
▽ More
Several Lagrangian methodologies have been proposed in recent years to simulate advection-dispersion of solutes in fluids as a mass exchange between numerical particles carrying the fluid. In this paper, we unify these methodologies, showing that mass transfer particle tracking (MTPT) algorithms can be framed within the context of smoothed particle hydrodynamics (SPH), provided the choice of a Gaussian smoothing kernel whose bandwidth depends on the dispersion and the time discretization. Numerical simulations are performed for a simple dispersion problem, and they are compared to an analytical solution. Based on the results, we advocate for the use of a kernel bandwidth of the size of the characteristic dispersion length $\ell=\sqrt{2DΔt}$, at least given a "dense enough" distribution of particles, for in this case the mass transfer operation is not just an approximation, but in fact the exact solution, of the solute's displacement by dispersion in a time step.
△ Less
Submitted 22 February, 2019; v1 submitted 21 December, 2018;
originally announced December 2018.
-
Signature Cocycles on the Map** Class Group and Symplectic Groups
Authors:
Dave Benson,
Caterina Campagnolo,
Andrew Ranicki,
Carmen Rovi
Abstract:
Werner Meyer constructed a cocycle in $H^2(Sp(2g, \mathbb{Z}); \mathbb{Z})$ which computes the signature of a closed oriented surface bundle over a surface, with fibre a surface of genus g. By studying properties of this cocycle, he also showed that the signature of such a surface bundle is a multiple of 4. In this paper, we study the signature cocycles both from the geometric and algebraic points…
▽ More
Werner Meyer constructed a cocycle in $H^2(Sp(2g, \mathbb{Z}); \mathbb{Z})$ which computes the signature of a closed oriented surface bundle over a surface, with fibre a surface of genus g. By studying properties of this cocycle, he also showed that the signature of such a surface bundle is a multiple of 4. In this paper, we study the signature cocycles both from the geometric and algebraic points of view. We present geometric constructions which are relevant to the signature cocycle and provide an alternative to Meyer's decomposition of a surface bundle. Furthermore, we discuss the precise relation between the Meyer and Wall-Maslov index. The main theorem of the paper, Theorem 6.6, provides the necessary group cohomology results to analyze the signature of a surface bundle modulo any integer N. Using these results, we are able to give a complete answer for N = 2, 4 and 8, and based on a theorem of Deligne, we show that this is the best we can hope for using this method.
△ Less
Submitted 13 April, 2020; v1 submitted 22 November, 2018;
originally announced November 2018.
-
Accelerating and parallelizing Lagrangian simulations of mixing-limited reactive transport
Authors:
Nicholas B. Engdahl,
Michael J. Schmidt,
David A. Benson
Abstract:
Recent advances in random-walk particle-tracking have enabled direct simulation of mixing and reactions on particles by allowing the particles to interact with each other using a multi-point mass transfer scheme. The mass transfer scheme allows separation of mixing and spreading processes, among other advantages, but it is computationally expensive because its speed depends on the number of intera…
▽ More
Recent advances in random-walk particle-tracking have enabled direct simulation of mixing and reactions on particles by allowing the particles to interact with each other using a multi-point mass transfer scheme. The mass transfer scheme allows separation of mixing and spreading processes, among other advantages, but it is computationally expensive because its speed depends on the number of interacting particle pairs. This note explores methods for relieving the computational bottleneck caused by the mass transfer step, and we use these algorithms to develop a new parallel, interacting particle model. The new model is a combination of a sparse search algorithm and a novel domain-decomposition scheme, both of which offer significant speedup relative to the reference case--even when they are executed serially. We combine the strengths of these methods to create a parallel particle scheme that is highly accurate and efficient with run times that scale as $1 / P$ for a fixed number of particles, where $P$ is the number of computational cores being used. The new parallel model is a significant advance because it enables efficient simulation of large particle ensembles that are needed for environmental simulations, and also because it can naturally pair with parallel geochemical solvers to create a practical Lagrangian tool for simulating mixing and reactions in complex chemical systems.
△ Less
Submitted 7 February, 2019; v1 submitted 13 November, 2018;
originally announced November 2018.
-
On the separate treatment of mixing and spreading by the reactive-particle-tracking algorithm: An example of accurate upscaling of reactive Poiseuille flow
Authors:
David A. Benson,
Diogo Bolster,
Stephen Pankavich
Abstract:
The Eulerian advection-dispersion-reaction equation (ADRE) suffers the well-known scale-effect of reduced apparent reaction rates between chemically dissimilar fluids at larger scales (or dimensional averaging). The dispersion tensor in the ADRE must equally and simultaneously account for both solute mixing and spreading. Recent reactive-particle-tracking (RPT) algorithms can, by separate mechanis…
▽ More
The Eulerian advection-dispersion-reaction equation (ADRE) suffers the well-known scale-effect of reduced apparent reaction rates between chemically dissimilar fluids at larger scales (or dimensional averaging). The dispersion tensor in the ADRE must equally and simultaneously account for both solute mixing and spreading. Recent reactive-particle-tracking (RPT) algorithms can, by separate mechanisms, simulate 1) smaller-scale mixing by inter-particle mass transfer, and 2) mass spreading by traditional random walks. To test the supposition that the RPT can accurately track these separate mechanisms, we upscale reactive transport in Hagen-Poiseuille flow between two plates. The simple upscaled 1-D RPT model with one velocity value, an upscaled Taylor macro-dispersivity, and the local molecular diffusion coefficient matches the results obtained from a detailed 2-D model with fully described velocity and diffusion. Both models use the same thermodynamic reaction rate, because the rate is not forced to absorb the loss of information upon upscaling. Analytic and semi-analytic upscaling is also performed using volume averaging and ensemble streamtube techniques. Volume averaging does not perform as well as the RPT, while ensemble streamtubes (using an effective dispersion coefficient along with macro-dispersion) perform almost exactly the same as RPT.
△ Less
Submitted 23 October, 2018;
originally announced November 2018.
-
Blocks with normal abelian defect and abelian p' inertial quotient
Authors:
David Benson,
Radha Kessar,
Markus Linckelmann
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$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. 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…
▽ More
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$ a finite group and $B$ a block of $\mathcal{O}G$ with normal abelian defect group and abelian $p'$ inertial quotient. 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 quantised version of the group algebra of the semidirect product $P\rtimes L$.
△ Less
Submitted 22 August, 2018;
originally announced August 2018.
-
Symmetric tensor categories in characteristic 2
Authors:
Dave Benson,
Pavel Etingof
Abstract:
We construct and study a nested sequence of finite symmetric tensor categories ${\rm Vec}=\mathcal{C}_0\subset \mathcal{C}_1\subset\cdots\subset \mathcal{C}_n\subset\cdots$ over a field of characteristic $2$ such that $\mathcal{C}_{2n}$ are incompressible, i.e., do not admit tensor functors into tensor categories of smaller Frobenius--Perron dimension. This generalizes the category…
▽ More
We construct and study a nested sequence of finite symmetric tensor categories ${\rm Vec}=\mathcal{C}_0\subset \mathcal{C}_1\subset\cdots\subset \mathcal{C}_n\subset\cdots$ over a field of characteristic $2$ such that $\mathcal{C}_{2n}$ are incompressible, i.e., do not admit tensor functors into tensor categories of smaller Frobenius--Perron dimension. This generalizes the category $\mathcal{C}_1$ described by Venkatesh and the category $\mathcal{C}_2$ defined by Ostrik. The Grothendieck rings of the categories $\mathcal{C}_{2n}$ and $\mathcal{C}_{2n+1}$ are both isomorphic to the ring of real cyclotomic integers defined by a primitive $2^{n+2}$-th root of unity, $\mathcal{O}_n=\mathbb Z[2\cos(π/2^{n+1})]$.
△ Less
Submitted 27 May, 2020; v1 submitted 15 July, 2018;
originally announced July 2018.
-
A Lagrangian Method for Reactive Transport with Solid/Aqueous Chemical Phase Interaction
Authors:
Michael J. Schmidt,
Stephen D. Pankavich,
Alexis Navarre-Sitchler,
David A. Benson
Abstract:
A significant drawback of Lagrangian (particle-tracking) reactive transport models has been their inability to properly simulate interactions between solid and liquid chemical phases, such as dissolution and precipitation reactions. This work addresses that problem by implementing a mass-transfer algorithm between mobile and immobile sets of particles that allows aqueous species of reactant that a…
▽ More
A significant drawback of Lagrangian (particle-tracking) reactive transport models has been their inability to properly simulate interactions between solid and liquid chemical phases, such as dissolution and precipitation reactions. This work addresses that problem by implementing a mass-transfer algorithm between mobile and immobile sets of particles that allows aqueous species of reactant that are undergoing transport to interact with stationary solid species. This mass-transfer algorithm is demonstrated to solve the diffusion equation and thus does not introduce any spurious mixing. The algorithm is capable of simulating an arbitrarily small level of diffusion, and can be combined with diffusive random walks to simulate the desired level of diffusion in a reactive transport system.
△ Less
Submitted 7 February, 2019; v1 submitted 15 May, 2018;
originally announced May 2018.
-
On the accuracy of simulating mixing by random-walk particle-based mass-transfer algorithms
Authors:
Michael J. Schmidt,
Stephen D. Pankavich,
David A. Benson
Abstract:
Several algorithms have been used for mass transfer between particles undergoing advective and macro-dispersive random walks. The mass transfer between particles is required for general reactions on, and among, particles. The mass transfer is shown to be diffusive, and may be simulated using implicit, explicit, or mixed methods. All algorithms investigated are accurate to $\mathcal{O}(Δt)$. For…
▽ More
Several algorithms have been used for mass transfer between particles undergoing advective and macro-dispersive random walks. The mass transfer between particles is required for general reactions on, and among, particles. The mass transfer is shown to be diffusive, and may be simulated using implicit, explicit, or mixed methods. All algorithms investigated are accurate to $\mathcal{O}(Δt)$. For $N$ particles, the implicit and semi-implicit methods require inverse matrix solutions and $\mathcal{O}(N^3)$ calculations. The explicit methods use forward matrix solves and require only $\mathcal{O}(N^2)$ calculations. Practically, this means that naive implementations with more than about 5,000 particles run more reliably using explicit methods
△ Less
Submitted 9 May, 2018; v1 submitted 6 March, 2018;
originally announced March 2018.
-
Cohomology of symplectic groups and Meyer's signature theorem
Authors:
Dave Benson,
Caterina Campagnolo,
Andrew Ranicki,
Carmen Rovi
Abstract:
Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of $4$, and can be computed using an element of $H^2(\mathsf{Sp}(2g, \mathbb{Z}),\mathbb{Z})$. Denoting by $1 \to \mathbb{Z} \to \widetilde{\mathsf{Sp}(2g,\mathbb{Z})} \to \mathsf{Sp}(2g,\mathbb{Z}) \to 1$ the pullback of the universal cover of $\mathsf{ Sp}(2g,\mathbb{R})$, Deligne proved that every f…
▽ More
Meyer showed that the signature of a closed oriented surface bundle over a surface is a multiple of $4$, and can be computed using an element of $H^2(\mathsf{Sp}(2g, \mathbb{Z}),\mathbb{Z})$. Denoting by $1 \to \mathbb{Z} \to \widetilde{\mathsf{Sp}(2g,\mathbb{Z})} \to \mathsf{Sp}(2g,\mathbb{Z}) \to 1$ the pullback of the universal cover of $\mathsf{ Sp}(2g,\mathbb{R})$, Deligne proved that every finite index subgroup of $\widetilde{\mathsf {Sp}(2g, \mathbb{Z})}$ contains $2\mathbb{Z}$. As a consequence, a class in the second cohomology of any finite quotient of $\mathsf{Sp}(2g, \mathbb{Z})$ can at most enable us to compute the signature of a surface bundle modulo $8$. We show that this is in fact possible and investigate the smallest quotient of $\mathsf{Sp}(2g, \mathbb{Z})$ that contains this information. This quotient $\mathfrak{H}$ is a non-split extension of $\mathsf {Sp}(2g,2)$ by an elementary abelian group of order $2^{2g+1}$. There is a central extension $1\to \mathbb{Z}/2\to\tilde{\mathfrak{H}}\to\mathfrak{H}\to 1$, and $\tilde{\mathfrak{H}}$ appears as a quotient of the metaplectic double cover $\mathsf{Mp}(2g,\mathbb{Z})=\widetilde{\mathsf{Sp}(2g,\mathbb{Z})}/2\mathbb{Z}$. It is an extension of $\mathsf{Sp}(2g,2)$ by an almost extraspecial group of order $2^{2g+2}$, and has a faithful irreducible complex representation of dimension $2^g$. Provided $g\ge 4$, $\widetilde{\mathfrak{H}}$ is the universal central extension of $\mathfrak{H}$. Putting all this together, we provide a recipe for computing the signature modulo $8$, and indicate some consequences.
△ Less
Submitted 13 December, 2018; v1 submitted 13 October, 2017;
originally announced October 2017.
-
Fields of definition for representations of associative algebras
Authors:
Dave Benson,
Zinovy Reichstein
Abstract:
We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In particular, $F$ could be a finite field or $k(t)$ or $k((t))$,where $k$ is algebraically closed. We show that a unique minimal field of definition exists if (a)…
▽ More
We examine situations, where representations of a finite-dimensional $F$-algebra $A$ defined over a separable extension field $K/F$, have a unique minimal field of definition. Here the base field $F$ is assumed to be a $C_1$-field. In particular, $F$ could be a finite field or $k(t)$ or $k((t))$,where $k$ is algebraically closed. We show that a unique minimal field of definition exists if (a) $K/F$ is an algebraic extension or (b) $A$ is of finite representation type. Moreover, in these situations the minimal field of definition is a finite extension of $F$. This is not the case if $A$ is of infinite representation type or $F$ fails to be $C_1$. As a consequence, we compute the essential dimension of the functor of representations of a finite group, generalizing a theorem of N. Karpenko, J. Pevtsova and the second author.
△ Less
Submitted 21 February, 2017;
originally announced February 2017.
-
Local duality for representations of finite group schemes
Authors:
Dave Benson,
Srikanth B. Iyengar,
Henning Krause,
Julia Pevtsova
Abstract:
A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme.
A duality theorem for the stable module category of representations of a finite group scheme is proved. One of its consequences is an analogue of Serre duality, and the existence of Auslander-Reiten triangles for the $\mathfrak{p}$-local and $\mathfrak{p}$-torsion subcategories of the stable category, for each homogeneous prime ideal $\mathfrak{p}$ in the cohomology ring of the group scheme.
△ Less
Submitted 14 July, 2017; v1 submitted 13 November, 2016;
originally announced November 2016.
-
A Kernel-based Lagrangian Method for Imperfectly-mixed Chemical Reactions
Authors:
Michael Schmidt,
Stephen Pankavich,
David Benson
Abstract:
Current Lagrangian (particle-tracking) algorithms used to simulate diffusion-reaction equations must employ a certain number of particles to properly emulate the system dynamics---particularly for imperfectly-mixed systems. The number of particles is tied to the statistics of the initial concentration fields of the system at hand. Systems with shorter-range correlation and/or smaller concentration…
▽ More
Current Lagrangian (particle-tracking) algorithms used to simulate diffusion-reaction equations must employ a certain number of particles to properly emulate the system dynamics---particularly for imperfectly-mixed systems. The number of particles is tied to the statistics of the initial concentration fields of the system at hand. Systems with shorter-range correlation and/or smaller concentration variance require more particles, potentially limiting the computational feasibility of the method. For the well-known problem of bimolecular reaction, we show that using kernel-based, rather than Dirac-delta, particles can significantly reduce the required number of particles. We derive the fixed width of a Gaussian kernel for a given reduced number of particles that analytically eliminates the error between kernel and Dirac solutions at any specified time. We also show how to solve for the fixed kernel size by minimizing the squared differences between solutions over any given time interval. Numerical results show that the width of the kernel should be kept below about 12% of the domain size, and that the analytic equations used to derive kernel width suffer significantly from the neglect of higher-order moments. The simulations with a kernel width given by least squares minimization perform better than those made to match at one specific time. A heuristic time-variable kernel size, based on the previous results, performs on a par with the least squares fixed kernel size.
△ Less
Submitted 11 January, 2017; v1 submitted 7 October, 2016;
originally announced October 2016.
-
Structural transformations of Li2C2 at high pressures
Authors:
Ilias Efthimiopoulos,
Daryn E. Benson,
Sumit Konar,
Johanna Nylen,
Gunnar Svensson,
Ulrich Haussermann,
Stefan Liebig,
Uwe Ruschewitz,
Grigory V. Vazhenin,
Ingo Loa,
Michael Hanfland,
Karl Syassen
Abstract:
Structural changes of Li2C2 under pressure were studied by synchrotron x-ray diffraction in a diamond anvil cell under hydrostatic conditions and by using evolutionary search methodology for crystal structure prediction. We show that the high-pressure polymorph of Li2C2, which forms from the Immm ground-state structure (Z = 2) at around 15 GPa, adopts an orthorhombic Pnma structure with Z = 4. Ace…
▽ More
Structural changes of Li2C2 under pressure were studied by synchrotron x-ray diffraction in a diamond anvil cell under hydrostatic conditions and by using evolutionary search methodology for crystal structure prediction. We show that the high-pressure polymorph of Li2C2, which forms from the Immm ground-state structure (Z = 2) at around 15 GPa, adopts an orthorhombic Pnma structure with Z = 4. Acetylide C2 dumbbells characteristic of Immm Li2C2 are retained in Pnma Li2C2. The structure of Pnma Li2C2 relates closely to the anticotunnite-type structure. C2 dumbbell units are coordinated by nine Li atoms, as compared to eight in the antifluorite structure of Immm Li2C2. First-principles calculations predict a transition of Pnma Li2C2 at 32 GPa to a topologically identical phase with a higher Cmcm symmetry. The coordination of C2 dumbbell units by Li atoms is increased to 11. The structure of Cmcm Li2C2 relates closely to the Ni2 In-type structure. It is calculated that Cmcm Li2C2 becomes metallic at pressures above 40 GPa. In experiments, however, Pnma Li2C2 is susceptible to irreversible amorphization.
△ Less
Submitted 26 April, 2016;
originally announced April 2016.