Source author record

Nate Harman

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

math.RT math.CO math.CT math.DG math.MG math.QA

Catalog footprint

Research overview

10works

6topics

4close collaborators

Actions

Is this your work?

Open graph Browse papers

preprint2023arXiv

The Delannoy category

Let $G$ be the group of all order-preserving self-maps of the real line. In previous work, the first two authors constructed a pre-Tannakian category $\underline{\mathrm{Rep}}(G)$ associated to $G$ . The present paper is a detailed study of this category, which we name the Delannoy category. We classify the simple objects, determine branching rules to open subgroups, and give a combinatorial rule for tensor products. The Delannoy category has some remarkable features: it is semi-simple in all characteristics; all simples have categorical dimension $\pm 1$ ; and the Adams operations on its Grothendieck group are trivial. We also give a combinatorial model for $\underline{\mathrm{Rep}}(G)$ based on Delannoy paths.

preprint2022arXiv

A Tensor-Cube Version of the Saxl Conjecture

Let $n$ be a positive integer, and let $ρ_n = (n, n-1, n-2, \ldots, 1)$ be the ``staircase'' partition of size $N = {n+1 \choose 2}$ . The Saxl conjecture asserts that every irreducible representation $S^λ$ of the symmetric group $S_N$ appears as a subrepresentation of the tensor square $S^{ρ_n} \otimes S^{ρ_n}$ . In this short note we show that every irreducible representation of $S_N$ appears in the tensor cube $S^{ρ_n} \otimes S^{ρ_n} \otimes S^{ρ_n}$ .

preprint2020arXiv

$p$ -adic dimensions in symmetric tensor categories in characteristic $p$

To every object $X$ of a symmetric tensor category over a field of characteristic $p>0$ we attach $p$ -adic integers $\text{Dim}_+(X)$ and $\text{Dim}_-(X)$ whose reduction modulo $p$ is the categorical dimension $\text{dim}(X)$ of $X$ , coinciding with the usual dimension when $X$ is a vector space. We study properties of $\text{Dim}_{\pm}(X)$ , and in particular show that they don't always coincide with each other, and can take any value in $\mathbb{Z}_p$ . We also discuss the connection of $p$ -adic dimensions with the theory of $λ$ -rings and Brauer characters.

preprint2016arXiv

Counting SET-free sets

We consider the following counting problem related to the card game SET: How many $k$ -element SET-free sets are there in an $n$ -dimensional SET deck? Through a series of algebraic reformulations and reinterpretations, we show the answer to this question satisfies two polynomiality conditions.

preprint2016arXiv

Deligne categories as limits in rank and characteristic

We give new interpretations of the Deligne categories $\underline{Rep}(GL_t)$ and $\underline{Rep}(S_t)$ (and their abelian envelopes) over $\mathbb{C}$ in terms of modular representations of general linear and symmetric groups of large rank in large characteristic. In particular we make sense of the sentence " $\underline{Rep}(S_n)$ is the limit of $Rep(S_{p+n})$ over $\bar{\mathbb{F}}_p$ as $p$ goes to infinity". We then give examples of how to pass results between these different settings.

preprint2016arXiv

Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups

The partition algebra $\mathsf{P}_k(n)$ and the symmetric group $\mathsf{S}_n$ are in Schur-Weyl duality on the $k$ -fold tensor power $\mathsf{M}_n^{\otimes k}$ of the permutation module $\mathsf{M}_n$ of $\mathsf{S}_n$ , so there is a surjection $\mathsf{P}_k(n) \to \mathsf{Z}_k(n) := \mathsf{End}_{\mathsf{S}_n}(\mathsf{M}_n^{\otimes k}),$ which is an isomorphism when $n \ge 2k$ . We prove a dimension formula for the irreducible modules of the centralizer algebra $\mathsf{Z}_k(n)$ in terms of Stirling numbers of the second kind. Via Schur-Weyl duality, these dimensions equal the multiplicities of the irreducible $\mathsf{S}_n$ -modules in $\mathsf{M}_n^{\otimes k}$ . Our dimension expressions hold for any $n \geq 1$ and $k\ge0$ . Our methods are based on an analog of Frobenius reciprocity that we show holds for the centralizer algebras of arbitrary finite groups and their subgroups acting on a finite-dimensional module. This enables us to generalize the above result to various analogs of the partition algebra including the centralizer algebra for the alternating group acting on $\mathsf{M}_n^{\otimes k}$ and the quasi-partition algebra corresponding to tensor powers of the reflection representation of $\mathsf{S}_n$ .

preprint2016arXiv

Stability and periodicity in the modular representation theory of symmetric groups

We study asymptotic properties of the modular representation theory of symmetric groups and investigate modular analogs of stabilization phenomena in characteristic zero. The main results are equivalences of categories between certain abelian subcategories of representations of $S_n$ and $S_m$ for different $n$ and $m$ . We apply these results to obtain a structural result for $FI$ -modules, and to prove a result conjectured by Deligne in a recent letter to Ostrik.

preprint2016arXiv

Virtual Specht stability for $FI$ -modules in positive characteristic

We define a notion of virtual Specht stability which is a relaxation of the Church-Farb notion of representation stability for sequences of symmetric group representations. Using a structural result of Nagpal, we show that $FI$ -modules over fields of positive characteristic exhibit virtual Specht stability.

preprint2015arXiv

Generators for the representation rings of certain wreath products

Working in the setting of Deligne categories, we generalize a result of Marin that hooks generate the representation ring of symmetric groups to wreath products of symmetric groups with a fixed finite group or Hopf algebra. In particular, when we take the finite group to be cyclic order 2 we recover a conjecture of Marin about Coxeter groups in type B.

preprint2010arXiv

Isoperimetric problems in sectors with density

We consider the isoperimetric problem in planar sectors with density $r^{p}$ , and with density $a>1$ inside the unit disk and $1$ outside. We characterize solutions as a function of sector angle. We also solve the isoperimetric problem in $\mathbb{R}^{n}$ with density $r^{p},\; p<0$ .

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.

Nate Harman

Research overview

Is this your work?

10 publications

The Delannoy category

A Tensor-Cube Version of the Saxl Conjecture

$p$ -adic dimensions in symmetric tensor categories in characteristic $p$

Counting SET-free sets

Deligne categories as limits in rank and characteristic

Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups

Stability and periodicity in the modular representation theory of symmetric groups

Virtual Specht stability for $FI$ -modules in positive characteristic

Generators for the representation rings of certain wreath products

Isoperimetric problems in sectors with density

See the researcher in context

Building this map preview

Nate Harman

Research overview

Is this your work?

10 publications

The Delannoy category

A Tensor-Cube Version of the Saxl Conjecture

ppp-adic dimensions in symmetric tensor categories in characteristic ppp

Counting SET-free sets

Deligne categories as limits in rank and characteristic

Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups

Stability and periodicity in the modular representation theory of symmetric groups

Virtual Specht stability for FIFIFI-modules in positive characteristic

Generators for the representation rings of certain wreath products

Isoperimetric problems in sectors with density

See the researcher in context

Building this map preview

$p$ -adic dimensions in symmetric tensor categories in characteristic $p$

Virtual Specht stability for $FI$ -modules in positive characteristic