Skip to main content

Showing 1–26 of 26 results for author: Harman, N

Searching in archive math. Search in all archives.
.
  1. arXiv:2505.08024  [pdf, ps, other

    math.CO

    The "Shape" of q-Binomial Coefficients

    Authors: Nate Harman

    Abstract: This is an informal and mostly expository note describing some asymptotic behavior and qualitative properties of the q-binomial coefficients. The results are mostly not new, but the overall story we present does not seem to be well known -- and the diagrams are all new.

    Submitted 12 May, 2025; originally announced May 2025.

  2. arXiv:2407.19132  [pdf, ps, other

    math.RT math.AG math.LO

    Tensor spaces and the geometry of polynomial representations

    Authors: Nate Harman, Andrew Snowden

    Abstract: A "tensor space" is a vector space equipped with a finite collection of multi-linear forms. In previous work, we showed that (for each signature) there exists a universal homogeneous tensor space, which is unique up to isomorphism. Here we generalize that result: we show that each Zariski class of tensor spaces contains a weakly homogeneous space, which is unique up to isomorphism; here, we say th… ▽ More

    Submitted 26 July, 2024; originally announced July 2024.

    Comments: 20 pages

  3. arXiv:2402.02312  [pdf, ps, other

    math.RT math.CO math.GR

    Higher Congruences in Character Tables

    Authors: Nate Harman, Joshua Mundinger

    Abstract: Motivated by recent work of Peluse and Soundararajan on divisibility properties of the entries of the character tables of symmetric groups, we investigate the question: For a finite group G, when are two columns of the character table of G congruent to one another modulo a power of a prime?

    Submitted 16 May, 2024; v1 submitted 3 February, 2024; originally announced February 2024.

    Comments: 12 pages. Comments welcome!

  4. arXiv:2308.06660  [pdf, ps, other

    math.RT

    Arboreal tensor categories

    Authors: Nate Harman, Ilia Nekrasov, Andrew Snowden

    Abstract: We introduce some new symmetric tensor categories based on the combinatorics of trees: a discrete family $\mathcal{D}(n)$, for $n \ge 3$ an integer, and a continuous family $\mathcal{C}(t)$, for $t \ne 1$ a complex number. The construction is based on the general oligomorphic theory of Harman--Snowden, but relies on two non-trivial results we establish. The first determines the measures for the cl… ▽ More

    Submitted 17 March, 2024; v1 submitted 12 August, 2023; originally announced August 2023.

    Comments: 37 pages

  5. arXiv:2304.05375  [pdf, ps, other

    math.RT

    Discrete pre-Tannakian categories

    Authors: Nate Harman, Andrew Snowden

    Abstract: Pre-Tannakian categories are a natural class of tensor categories that can be viewed as generalizations of algebraic groups. We define a pre-Tannkian category to be discrete if it is generated by an étale commutative algebra; these categories generalize finite groups. The main theorem of this paper establishes a rough classification of these categories: we show that any discrete pre-Tannakian… ▽ More

    Submitted 11 April, 2023; originally announced April 2023.

    Comments: 29 pages

  6. arXiv:2303.10814  [pdf, ps, other

    math.RT

    The circular Delannoy category

    Authors: Nate Harman, Andrew Snowden, Noah Snyder

    Abstract: Let $G$ (resp. $H$) be the group of orientation preserving self-homeomorphisms of the unit circle (resp. real line). In previous work, the first two authors constructed pre-Tannakian categories $\underline{\mathrm{Rep}}(G)$ and $\underline{\mathrm{Rep}}(H)$ associated to these groups. In the predecessor to this paper, we analyzed the category $\underline{\mathrm{Rep}}(H)$ (which we named the ``Del… ▽ More

    Submitted 19 March, 2023; originally announced March 2023.

    Comments: 38 pages

  7. arXiv:2301.13784  [pdf, ps, other

    math.RT math.CT

    Pre-Galois categories and Fraïssé's theorem

    Authors: Nate Harman, Andrew Snowden

    Abstract: Galois categories can be viewed as the combinatorial analog of Tannakian categories. We introduce the notion of pre-Galois category, which can be viewed as the combinatorial analog of pre-Tannakian categories. Given an oligomorphic group $G$, the category $\mathbf{S}(G)$ of finitary smooth $G$-sets is pre-Galois. Our main theorem (approximately) says that these examples are exhaustive; this result… ▽ More

    Submitted 25 February, 2024; v1 submitted 31 January, 2023; originally announced January 2023.

    Comments: 28 pages

  8. arXiv:2211.15392  [pdf, ps, other

    math.RT math.CT

    The Delannoy category

    Authors: Nate Harman, Andrew Snowden, Noah Snyder

    Abstract: 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 f… ▽ More

    Submitted 6 January, 2023; v1 submitted 28 November, 2022; originally announced November 2022.

    Comments: 50 pages

  9. arXiv:2207.09626  [pdf, ps, other

    math.LO math.RT

    Ultrahomogeneous tensor spaces

    Authors: Nate Harman, Andrew Snowden

    Abstract: A cubic space is a vector space equipped with a symmetric trilinear form. Using categorical Fraïssé theory, we show that there is a universal ultrahomogeneous cubic space $V$ of countable infinite dimension, which is unique up to isomorphism. The automorphism group $G$ of $V$ is quite large and, in some respects, similar to the infinite orthogonal group. We show that $G$ is a linear-oligomorphic g… ▽ More

    Submitted 22 August, 2023; v1 submitted 19 July, 2022; originally announced July 2022.

    Comments: 33 pages

  10. arXiv:2206.13769  [pdf, ps, other

    math.RT math.CO

    A Tensor-Cube Version of the Saxl Conjecture

    Authors: Nate Harman, Christopher Ryba

    Abstract: 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 t… ▽ More

    Submitted 8 July, 2022; v1 submitted 28 June, 2022; originally announced June 2022.

    Comments: 4 pages. Added an independent second proof of the main theorem

  11. arXiv:2204.04526  [pdf, ps, other

    math.RT math.CO math.LO

    Oligomorphic groups and tensor categories

    Authors: Nate Harman, Andrew Snowden

    Abstract: Given an oligomorphic group $G$ and a measure $μ$ for $G$ (in a sense that we introduce), we define a rigid tensor category $\underline{\mathrm{Perm}}(G; μ)$ of "permutation modules," and, in certain cases, an abelian envelope $\underline{\mathrm{Rep}}(G; μ)$ of this category. When $G$ is the infinite symmetric group, this recovers Deligne's interpolation category. Other choices for $G$ lead to fu… ▽ More

    Submitted 2 April, 2024; v1 submitted 9 April, 2022; originally announced April 2022.

    Comments: 135 pages

  12. arXiv:2105.10492  [pdf, ps, other

    math.RT math.QA

    The indecomposable objects in the center of Deligne's category $Rep(S_t)$

    Authors: Johannes Flake, Nate Harman, Robert Laugwitz

    Abstract: We classify the indecomposable objects in the monoidal center of Deligne's interpolation category $Rep(S_t)$ by viewing $Rep(S_t)$ as a model-theoretic limit in rank and characteristic. We further prove that the center of $Rep(S_t)$ is semisimple if and only if $t$ is not a non-negative integer. In addition, we identify the associated graded Grothendieck ring of this monoidal center with that of t… ▽ More

    Submitted 20 January, 2023; v1 submitted 21 May, 2021; originally announced May 2021.

    Comments: v2: Final accepted manuscript after minor edits, to appear in Proceedings of the LMS

    MSC Class: 18M15 (Primary) 05E10 (Secondary)

    Journal ref: Proc. Lond. Math. Soc. (3) 126 (2023), no. 4, 1134--1181

  13. arXiv:1912.12536  [pdf, ps, other

    math.AG math.NT

    Modular functions and resolvent problems

    Authors: Benson Farb, Mark Kisin, Jesse Wolfson. Appendix by Nate Harman

    Abstract: The link between modular functions and algebraic functions was a driving force behind the 19th century study of both. Examples include the solutions by Hermite and Klein of the quintic via elliptic modular functions and the general sextic via level $2$ hyperelliptic functions. This paper aims to apply modern arithmetic techniques to the circle of ``resolvent problems'' formulated and pursued by Kl… ▽ More

    Submitted 28 December, 2019; originally announced December 2019.

    Comments: 33 pages

  14. arXiv:1902.05603  [pdf, ps, other

    math.RT

    Effective and Infinite-Rank Superrigidity in the Context of Representation Stability

    Authors: Nate Harman

    Abstract: We discuss certain effective improvements on superrigidity for $SL_n(\mathbb{Z})$ for finite $n>2$. Using these ideas we then use superrigidity to prove a representation stability theorem about pointwise finite dimensional $VIC(\mathbb{Z})$-modules, which itself can be viewed as a superrigidity theorem for $VIC(\mathbb{Z})$ and $GL_\infty(\mathbb{Z})$

    Submitted 14 February, 2019; originally announced February 2019.

    Comments: 40 pages

  15. arXiv:1901.05080  [pdf, ps, other

    math.RT math.CT

    Classification of simple algebras in Deligne category $Rep(S_t)$

    Authors: Nate Harman, Daniil Kalinov

    Abstract: We classify simple associative and Lie algebras inside the Deligne categories $Rep(S_t)$, answering a question posed by Etingof.

    Submitted 2 July, 2019; v1 submitted 15 January, 2019; originally announced January 2019.

  16. arXiv:1804.04702  [pdf, ps, other

    math.RT math.CO

    Representations of monomial matrices and restriction from $GL_n$ to $S_n$

    Authors: Nate Harman

    Abstract: We outline an approach to understanding restrictions of polynomial representations of $GL_n(\mathbb{C})$ to $S_n$ by first restricting to $T \rtimes S_n$, the subgroup of $n \times n$ monomial matrices. Using this approach we give a combinatorial interpretation for the decomposition of a tensor product of symmetric powers of the defining representation.

    Submitted 12 April, 2018; originally announced April 2018.

    Comments: 24 pages

  17. arXiv:1607.04271  [pdf, ps, other

    math.RT

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

    Authors: Nate Harman

    Abstract: 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.

    Submitted 6 September, 2016; v1 submitted 14 July, 2016; originally announced July 2016.

    Comments: 10 pages

  18. arXiv:1605.06543  [pdf, ps, other

    math.RT math.CO

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

    Authors: Georgia Benkart, Tom Halverson, Nate Harman

    Abstract: 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 dimens… ▽ More

    Submitted 31 May, 2016; v1 submitted 20 May, 2016; originally announced May 2016.

    Comments: 27 page main document with 4 page appendix; Similar to version 1, but with new author, a new positive formula for Theorem 5.5, and a new bijective proof in Section 5.3

    MSC Class: 05E10; 11B73; 20C15

  19. arXiv:1604.07811  [pdf, ps, other

    math.CO

    Counting SET-free sets

    Authors: Nate Harman

    Abstract: 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.

    Submitted 26 April, 2016; originally announced April 2016.

    Comments: 8 pages, largely expository

  20. arXiv:1601.06110  [pdf, ps, other

    math.RA math.CO math.QA

    Quantum integer-valued polynomials

    Authors: Nate Harman, Sam Hopkins

    Abstract: We define a $q$-deformation of the classical ring of integer-valued polynomials which we call the ring of quantum integer-valued polynomials. We show that this ring has a remarkable combinatorial structure and enjoys many positivity properties: for instance, the structure constants for this ring with respect to its basis of $q$-binomial coefficient polynomials belong to $\mathbb{N}[q]$. We then cl… ▽ More

    Submitted 22 January, 2016; originally announced January 2016.

    Comments: 32 pages, 1 figure

    Journal ref: Journal of Algebraic Combinatorics, 45(2), 2017

  21. arXiv:1601.03426  [pdf, ps, other

    math.RT

    Deligne categories as limits in rank and characteristic

    Authors: Nate Harman

    Abstract: 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$ g… ▽ More

    Submitted 1 March, 2016; v1 submitted 13 January, 2016; originally announced January 2016.

    Comments: 10 pages

  22. arXiv:1510.04339  [pdf, ps, other

    math.RT math.CT math.QA

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

    Authors: Pavel Etingof, Nate Harman, Victor Ostrik

    Abstract: 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… ▽ More

    Submitted 25 May, 2020; v1 submitted 14 October, 2015; originally announced October 2015.

    Comments: 20 pages, latex; added Proposition 2.9, Remark 2.11 in the new version; subsection 3.4 rewritten, small error pointed out by K. Coulembier corrected in proof of Proposition 3.6 and a another small error in Remark 3.3

  23. arXiv:1509.06414  [pdf, ps, other

    math.RT

    Stability and periodicity in the modular representation theory of symmetric groups

    Authors: Nate Harman

    Abstract: 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… ▽ More

    Submitted 3 October, 2016; v1 submitted 21 September, 2015; originally announced September 2015.

    Comments: Removed a unnecessary restriction on characteristic. Fixed some few minor errors and clarified the exposition in places

  24. arXiv:1410.1786  [pdf, ps, other

    math.RT

    Generators for the representation rings of certain wreath products

    Authors: Nate Harman

    Abstract: 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.

    Submitted 23 February, 2015; v1 submitted 7 October, 2014; originally announced October 2014.

    Comments: 11 pages

  25. arXiv:1012.0450  [pdf, ps, other

    math.DG math.MG

    Isoperimetric problems in sectors with density

    Authors: Alexander Díaz, Nate Harman, Sean Howe, David Thompson

    Abstract: 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$.

    Submitted 2 December, 2010; originally announced December 2010.

    Comments: 29 pages

  26. arXiv:0911.1938  [pdf, ps, other

    math.DG math.MG

    Steiner and Schwarz symmetrization in warped products and fiber bundles with density

    Authors: Frank Morgan, Sean Howe, Nate Harman

    Abstract: We provide very general symmetrization theorems in arbitrary dimension and codimension, in products, warped products, and certain fiber bundles such as lens spaces, including Steiner, Schwarz, and spherical symmetrization and admitting density.

    Submitted 10 November, 2009; originally announced November 2009.

    Comments: 9 pages

    MSC Class: 49Q10; 53C12