-
arXiv:2505.08024 [pdf, ps, other]
The "Shape" of q-Binomial Coefficients
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.
-
arXiv:2407.19132 [pdf, ps, other]
Tensor spaces and the geometry of polynomial representations
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
-
arXiv:2402.02312 [pdf, ps, other]
Higher Congruences in Character Tables
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!
-
arXiv:2308.06660 [pdf, ps, other]
Arboreal tensor categories
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
-
arXiv:2304.05375 [pdf, ps, other]
Discrete pre-Tannakian categories
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
-
arXiv:2303.10814 [pdf, ps, other]
The circular Delannoy category
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
-
arXiv:2301.13784 [pdf, ps, other]
Pre-Galois categories and Fraïssé's theorem
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
-
arXiv:2211.15392 [pdf, ps, other]
The Delannoy category
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
-
arXiv:2207.09626 [pdf, ps, other]
Ultrahomogeneous tensor spaces
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
-
arXiv:2206.13769 [pdf, ps, other]
A Tensor-Cube Version of the Saxl Conjecture
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
-
arXiv:2204.04526 [pdf, ps, other]
Oligomorphic groups and tensor categories
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
-
arXiv:2105.10492 [pdf, ps, other]
The indecomposable objects in the center of Deligne's category $Rep(S_t)$
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
-
arXiv:1912.12536 [pdf, ps, other]
Modular functions and resolvent problems
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
-
arXiv:1902.05603 [pdf, ps, other]
Effective and Infinite-Rank Superrigidity in the Context of Representation Stability
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
-
arXiv:1901.05080 [pdf, ps, other]
Classification of simple algebras in Deligne category $Rep(S_t)$
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.
-
arXiv:1804.04702 [pdf, ps, other]
Representations of monomial matrices and restriction from $GL_n$ to $S_n$
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
-
arXiv:1607.04271 [pdf, ps, other]
Virtual Specht stability for $FI$-modules in positive characteristic
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
-
arXiv:1605.06543 [pdf, ps, other]
Dimensions of irreducible modules for partition algebras and tensor power multiplicities for symmetric and alternating groups
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
-
arXiv:1604.07811 [pdf, ps, other]
Counting SET-free sets
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
-
arXiv:1601.06110 [pdf, ps, other]
Quantum integer-valued polynomials
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
-
arXiv:1601.03426 [pdf, ps, other]
Deligne categories as limits in rank and characteristic
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
-
arXiv:1510.04339 [pdf, ps, other]
$p$-adic dimensions in symmetric tensor categories in characteristic $p$
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
-
arXiv:1509.06414 [pdf, ps, other]
Stability and periodicity in the modular representation theory of symmetric groups
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
-
arXiv:1410.1786 [pdf, ps, other]
Generators for the representation rings of certain wreath products
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
-
arXiv:1012.0450 [pdf, ps, other]
Isoperimetric problems in sectors with density
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
-
arXiv:0911.1938 [pdf, ps, other]
Steiner and Schwarz symmetrization in warped products and fiber bundles with density
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