A generalised block decomposition theorem

Jan-Paul Lerch

2024-02-29

Abstract:We discuss a class of linear representations of the product poset of totally ordered sets $P= T_1 \times \cdots \times T_n$ which decompose into interval representations for block intervals. These can be characterised in terms of a homological property which is called middle exactness.

Representation Theory,Combinatorics

What problem does this paper attempt to address?

Block decompositions for $p$-adic classical groups and their inner forms

David Helm,Robert Kurinczuk,Daniel Skodlerack,Shaun Stevens

2024-05-22

Abstract:For an inner form $\mathrm{G}$ of a general linear group or classical group over a non-archimedean local field of odd residue characteristic, we decompose the category of smooth representations on $\mathbb{Z}[\mu_{p^{\infty}},1/p]$-modules by endo-parameter. We prove that parabolic induction preserves these decompositions, and hence that it preserves endo-parameters. Moreover, we show that the decomposition by endo-parameter is the $\overline{\mathbb{Z}}[1/p]$-block decomposition; and, for $\mathrm{R}$ an integral domain, introduce a graph whose connected components parameterize the $\mathrm{R}$-blocks, in particular including the cases $\mathrm{R}=\overline{\mathbb{Z}}_{\ell}$ and $\mathrm{R}=\overline{\mathbb{F}}_\ell$ for $\ell\neq p$. From our description, we deduce that the $\overline{\mathbb{Z}_\ell}$-blocks and $\overline{\mathbb{F}_\ell}$-blocks of $\mathrm{G}$ are in natural bijection, as had long been expected. Our methods also apply to the trivial endo-parameter (i.e., the depth zero subcategory) of any connected reductive $p$-adic group, providing an alternative approach to results of Dat and Lanard in depth zero. Finally, under a technical assumption (known for inner forms of general linear groups) we reduce the $\mathrm{R}$-block decomposition of $\mathrm{G}$ to depth zero.

Representation Theory,Number Theory
Block Stanley decompositions I. Elementary and gnomon decompositions

James Murdock,Theodore Murdock

DOI: https://doi.org/10.48550/arXiv.1512.01831

2015-12-06

Commutative Algebra

Abstract:Stanley decompositions are used in invariant theory and the theory of normal forms for dynamical systems to provide a unique way of writing each invariant as a polynomial in the Hilbert basis elements. Since the required Stanley decompositions can be very long, we introduce a more concise notation called a block decomposition, along with three notions of shortness (incompressibility, minimality of Stanley spaces, and minimality of blocks) for block decompositions. We give two algorithms that generate different block decompositions, which we call elementary and gnomon decompositions, and give examples. Soleyman-Jahan's criterion for a Stanley decomposition to come from a prime filtration is reformulated to apply to block decompositions. We simplify his proof, and apply the theorem to show that elementary and gnomon decompositions come from "subprime" filtrations. In a sequel to this paper we will introduce two additional algorithms that generate block decompositions that may not always be subprime, but are always incompressible.
The interval posets of permutations seen from the decomposition tree perspective

Mathilde Bouvel,Lapo Cioni,Benjamin Izart

2024-06-08

Abstract:The interval poset of a permutation is the set of intervals of a permutation, ordered with respect to inclusion. It has been introduced and studied recently in [B. Tenner, <a class="link-https" data-arxiv-id="2007.06142" href="https://arxiv.org/abs/2007.06142">arXiv:2007.06142</a>]. We study this poset from the perspective of the decomposition trees of permutations, describing a procedure to obtain the former from the latter. We then give alternative proofs of some of the results in [B. Tenner, <a class="link-https" data-arxiv-id="2007.06142" href="https://arxiv.org/abs/2007.06142">arXiv:2007.06142</a>], and we solve the open problems that it posed (and some other enumerative problems) using techniques from symbolic and analytic combinatorics. Finally, we compute the Möbius function on such posets.

Combinatorics
Generalised Indiscernibles, Dividing Lines, and Products of Structures

Nadav Meir,Aris Papadopoulos,Pierre Touchard

2024-08-12

Abstract:Generalised indiscernibles highlight a strong link between model theory and structural Ramsey theory. In this paper, we use generalised indiscernibles as tools to prove results in both these areas. More precisely, we first show that a reduct of an ultrahomogenous $\aleph_0$-categorical structure which has higher arity than the original structure cannot be Ramsey. In particular, the only nontrivial Ramsey reduct of the generically ordered random $k$-hypergraph is the linear order. We then turn our attention to model-theoretic dividing lines that are characterised by collapsing generalised indiscernibles, and prove, for these dividing lines, several transfer principles in (full and lexicographic) products of structures. As an application, we construct new algorithmically tame classes of graphs.

Logic
A geometric model for blocks of Frobenius kernels

Pramod N. Achar,Simon Riche

2024-03-25

Abstract:Building on a geometric counterpart of Steinberg's tensor product formula for simple representations of a connected reductive algebraic group $G$ over a field of positive characteristic, and following an idea of Arkhipov--Bezrukavnikov--Braverman--Gaitsgory--Mirković, we define and initiate the study of some categories of perverse sheaves on the affine Grassmannian of the Langlands dual group to $G$ that should provide geometric models for blocks of representations of the Frobenius kernel $G_1$ of $G$. In particular, we show that these categories admit enough projective and injective objects, which are closely related to some tilting perverse sheaves, and that they are highest weight categories in an appropriate generalized sense.

Representation Theory
Interval Posets and Polygon Dissections

Eli Bagno,Estrella Eisenberg,Shulamit Reches,Moriah Sigron

DOI: https://doi.org/10.4204/EPTCS.403.11

2024-06-24

Abstract:The Interval poset of a permutation is an effective way of capturing all the intervals of the permutation and the inclusions between them and was introduced recently by Tenner. Thi paper explores the geometric interpretation of interval posets of permutations. We present a bijection between tree interval posets and convex polygons with non-crossing diagonals, offering a novel geometric perspective on this purely combinatorial concept. Additionally, we provide an enumeration of interval posets using this bijection and demonstrate its application to block-wise simple permutations.

Discrete Mathematics
Permutation groups, partition lattices and block structures

Marina Anagnostopoulou-Merkouri,R. A. Bailey,Peter J. Cameron

2024-10-21

Abstract:Let $G$ be a transitive permutation group on $\Omega$. The $G$-invariant partitions form a sublattice of the lattice of all partitions of $\Omega$, having the further property that all its elements are uniform (that is, have all parts of the same size). If, in addition, all the equivalence relations defining the partitions commute, then the relations form an \emph{orthogonal block structure}, a concept from statistics; in this case the lattice is modular. If it is distributive, then we have a \emph{poset block structure}, whose automorphism group is a \emph{generalised wreath product}. We examine permutation groups with these properties, which we call the \emph{OB property} and \emph{PB property} respectively, and in particular investigate when direct and wreath products of groups with these properties also have these properties. A famous theorem on permutation groups asserts that a transitive imprimitive group $G$ is embeddable in the wreath product of two factors obtained from the group (the group induced on a block by its setwise stabiliser, and the group induced on the set of blocks by~$G$). We extend this theorem to groups with the PB property, embeddng them into generalised wreath products. We show that the map from posets to generalised wreath products preserves intersections and inclusions. We have included background and historical material on these concepts.

Group Theory,Combinatorics,Statistics Theory
Landau's Theorem for pi-blocks of pi-separable groups

Benjamin Sambale

DOI: https://doi.org/10.48550/arXiv.1810.05827

2018-10-13

Abstract:Slattery has generalized Brauer's theory of p-blocks of finite groups to pi-blocks of pi-separable groups where pi is a set of primes. In this setting we show that the order of a defect group of a pi-block B is bounded in terms of the number of irreducible characters in B. This is a variant of Brauer's Problem 21 and generalizes Külshammer's corresponding theorem for p-blocks of p-solvable groups. At the same time, our result generalizes Landau's classical theorem on the number of conjugacy classes of an arbitrary finite group. The proof relies on the classification of finite simple groups.

Representation Theory
Local characterization of block-decomposability for multiparameter persistence modules

Vadim Lebovici,Jan-Paul Lerch,Steve Oudot

2024-06-05

Abstract:Local conditions for the direct summands of a persistence module to belong to a certain class of indecomposables have been proposed in the 2-parameter setting, notably for the class of indecomposables called block modules, which plays a prominent role in levelset persistence. Here we generalize the local condition for decomposability into block modules to the n-parameter setting, and prove a corresponding structure theorem. Our result holds in the generality of pointwise finite-dimensional modules over finite products of arbitrary totally ordered sets. Our proof extends the one by Botnan and Crawley-Boevey from 2 to n parameters, which requires some crucial adaptations at places where their proof is fundamentally tied to the 2-parameter setting.

Representation Theory,Algebraic Topology
Stable functorial equivalence of blocks

Serge Bouc,Deniz Yılmaz

2023-03-13

Abstract:Let $k$ be an algebraically closed field of characteristic $p>0$, let $R$ be a commutative ring and let $\mathcal{F}$ be an algebraically closed field of characteristic $0$. We introduce the category $\overline{\mathcal{F}_{Rpp_k}}$ of stable diagonal $p$-permutation functors over $R$. We prove that the category $\overline{\mathcal{F}_{\mathbb{F}pp_k}}$ is semisimple and give a parametrization of its simple objects in terms of the simple diagonal $p$-permutation functors. We also introduce the notion of a stable functorial equivalence over $R$ between blocks of finite groups. We prove that if $G$ is a finite group and if $b$ is a block idempotent of $kG$ with an abelian defect group $D$ and Frobenius inertial quotient $E$, then there exists a stable functorial equivalence over $\mathbb{F}$ between the pairs $(G,b)$ and $(D\rtimes E,1)$.

Group Theory
Posets arising from decompositions of objects in a monoidal category

Kevin Ivan Piterman,Volkmar Welker

2024-01-17

Abstract:Given a symmetric monoidal category $C$ with product $\sqcup$, where the neutral element for the product is an initial object, we consider the poset of $\sqcup$-complemented subobjects of a given object $X$. When this poset has finite height, we define decompositions and partial decompositions of $X$ which are coherent with $\sqcup$, and order them by refinement. From these posets, we define complexes of frames and partial bases, augmented Bergman complexes and related ordered versions. We propose a unified approach to the study of their combinatorics and homotopy type, establishing various properties and relations between them. Via explicit homotopy formulas, we will be able to transfer structural properties, such as Cohen-Macaulayness.

Combinatorics,Group Theory,Geometric Topology
Decomposition Complexes

Martin Dlugosch

DOI: https://doi.org/10.48550/arXiv.1301.4017

2013-01-17

Abstract:We introduce decomposition complexes of posets, which generalize order complexes. The main advantage of our construction is that decomposition complexes are closed under taking products. Other special instances of this theory include nested set complexes as well as Bergman complexes.

Combinatorics
Compactly-aligned discrete product systems, and generalizations of O_\infty

Neal J. Fowler

DOI: https://doi.org/10.48550/arXiv.math/9809181

1998-09-30

Abstract:The universal C*-algebras of discrete product systems generalize the Toeplitz- Cuntz algebras and the Toeplitz algebras of discrete semigroups. We consider a semigroup P which is quasi-lattice ordered in the sense of Nica, and, for a product system p:E\to P, we study those representations of E, called covariant, which respect the lattice structure of P. We identify a class of product systems, which we call compactly aligned, for which there is a purely C*-algebraic characterization of covariance, and study the algebra C*_{cov}(P,E) which is universal for covariant representations of E. Our main theorem is a characterization of the faithful representations of C*_{cov}(P,E) when P is the positive cone of a free product of totally-ordered amenable groups.

Operator Algebras
Generalized Dissections and Monsky's Theorem

Aaron Abrams,Jamie Pommersheim

DOI: https://doi.org/10.48550/arXiv.2006.04286

2020-06-08

Abstract:Monsky's celebrated equidissection theorem follows from his more general proof of the existence of a polynomial relation $f$ among the areas of the triangles in a dissection of the unit square. More recently, the authors studied a different polynomial $p$, also a relation among the areas of the triangles in such a dissection, that is invariant under certain deformations of the dissection. In this paper we study the relationship between these two polynomials. We first generalize the notion of dissection, allowing triangles whose orientation differs from that of the plane. We define a deformation space of these generalized dissections and we show that this space is an irreducible algebraic variety. We then extend the theorem of Monsky to the context of generalized dissections, showing that Monsky's polynomial $f$ can be chosen to be invariant under deformation. Although $f$ is not uniquely defined, the interplay between $p$ and $f$ then allows us to identify a canonical pair of choices for the polynomial $f$. In many cases, all of the coefficients of the canonical $f$ polynomials are positive. We also use the deformation-invariance of $f$ to prove that the polynomial $p$ is congruent modulo 2 to a power of the sum of its variables.

Metric Geometry,Algebraic Geometry
The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Jonathan Woolf

DOI: https://doi.org/10.1016/s0022-4049(03)00030-6

IF: 0.834

2003-08-01

Journal of Pure and Applied Algebra

Abstract:Suppose a connected reductive complex algebraic group G acts linearly on an irreducible complex projective variety X. We prove that if1→N→G→H→1is a short exact sequence of connected reductive groups and Xss the open set of semistable points for the action of N on X then IHH∗(XssN) is (non-canonically) a direct summand of IHG∗(Xss). The inclusion is provided by the decomposition theorem and certain resolutions of the action allow us to define projections.

mathematics, applied
Schubert calculus and shifting of interval positroid varieties

Allen Knutson

DOI: https://doi.org/10.48550/arXiv.1408.1261

2014-08-06

Algebraic Geometry

Abstract:Consider k x n matrices with rank conditions placed on intervals of columns. The ranks that are actually achievable correspond naturally to upper triangular partial permutation matrices, and we call the corresponding subvarieties of Gr(k,n) the _interval positroid varieties_, as this class lies within the class of positroid varieties studied in [Knutson-Lam-Speyer]. It includes Schubert and opposite Schubert varieties, and their intersections, and is Grassmann dual to the projection varieties of [Billey-Coskun]. Vakil's "geometric Littlewood-Richardson rule" [Vakil] uses certain degenerations to positively compute the H^*-classes of Richardson varieties, each summand recorded as a (2+1)-dimensional "checker game". We use his same degenerations to positively compute the K_T-classes of interval positroid varieties, each summand recorded more succinctly as a 2-dimensional "K-IP pipe dream". In Vakil's restricted situation these IP pipe dreams biject very simply to the puzzles of [Knutson-Tao]. We relate Vakil's degenerations to Erd\H os-Ko-Rado shifting, and include results about computing "geometric shifts" of general T-invariant subvarieties of Grassmannians.
The structure of interval orders with no infinite antichain

Maurice Pouzet,Imed Zaguia

2024-11-11

Abstract:We prove that every interval order $P$ with no infinite antichain has a Gallai decomposition. That is, $P$ is a lexicographical sum of proper interval orders over a chain, an antichain or a prime interval order. This is a consequence of the fact that the tree decomposition of a graph into robust modules, as introduced by Courcelle and Delhommé (Theoretical Computer Science \textbf{394} (2008) 1--38), is chain finite whenever the graph has no infinite independent sets. Next, we prove that every prime interval order with no infinite antichain is at most countable and scattered. Furthermore, for each countable ordinal $\alpha$ we exhibit an example of a well-quasi-ordered prime interval order $P_\alpha$ whose chain of maximal antichains has Hausdorff rank $\alpha$.

Combinatorics
Order and interval topologies on complete Boolean algebras

Dominic van der Zypen

DOI: https://doi.org/10.48550/arXiv.1612.04652

2016-10-27

Abstract:We introduce and examine order convergence and the interval topology on partially ordered sets in general. Problem 76 of Birkhoff's "Lattice Theory" asks whether for complete Boolean algebras the order topology and the interval topology coincide. We answer this question in the negative.

Logic
The Schrijver system of the length polyhedron of an interval order

André E. Kézdy,Jenő Lehel

2024-12-01

Abstract:The length polyhedron of an interval order $P$ is the convex hull of integer vectors representing the interval lengths in possible interval representations of $P$ in which all intervals have integer endpoints. This polyhedron is an integral translation of a polyhedral cone, with its apex corresponding to the canonical interval representation of $P$ (also known as the minimal endpoint representation). In earlier work, we introduced an arc-weighted directed graph model, termed the key graph, inspired by this canonical representation. We showed that cycles in the key graph correspond, via Fourier-Motzkin elimination, to inequalities that describe supporting hyperplanes of the length polyhedron. These cycle inequalities derived from the key graph form a complete system of linear inequalities defining the length polyhedron. By applying a theorem due to Cook, we establish here that this system of inequalities is totally dual integral (TDI). Leveraging circulations, total dual integrality, and the special structure of the key graph, our main theorem demonstrates that a cycle inequality is a positive linear combination of other cycle inequalities if and only if it is a positive integral linear combination of smaller cycle inequalities (where `smaller' here refers a natural weak ordering among these cycle inequalities). This yields an efficient method to remove redundant cycle inequalities and ultimately construct the unique minimal TDI-system, also known as the Schrijver system, for the length polyhedron. Notably, if the key graph contains a polynomial number of cycles, this gives a polynomial-time algorithm to compute the Schrijver system for the length polyhedron. Lastly, we provide examples of interval orders where the Schrijver system has an exponential size.

Combinatorics,Discrete Mathematics
Decomposition matrices and blocks for the symplectic blob algebra over the complex field

Oliver H. King,Paul P. Martin,Alison E. Parker

2024-07-10

Abstract:The symplectic blob algebra is a physically motivated quotient of the Hecke algebra $H(\tilde{C}_n)$ with a diagram calculus. We find the blocks for the symplectic blob algebra for all specialisations of its parameters over the complex numbers. We determine Gram determinants for the cell modules with respect to a canonical contravariant form. We show in particular that the algebra is semisimple over the complex numbers unless at least one of the "quantisation" parameters, or the sum or difference of two of these parameters is integral, or the bulk parameter $q$ is a root of unity. We find decomposition numbers in many of the $q$-generic cases.

Representation Theory

A generalised block decomposition theorem

Block decompositions for $p$-adic classical groups and their inner forms

Block Stanley decompositions I. Elementary and gnomon decompositions

The interval posets of permutations seen from the decomposition tree perspective

Generalised Indiscernibles, Dividing Lines, and Products of Structures

A geometric model for blocks of Frobenius kernels

Interval Posets and Polygon Dissections

Permutation groups, partition lattices and block structures

Landau's Theorem for pi-blocks of pi-separable groups

Local characterization of block-decomposability for multiparameter persistence modules

Stable functorial equivalence of blocks

Posets arising from decompositions of objects in a monoidal category

Decomposition Complexes

Compactly-aligned discrete product systems, and generalizations of O_\infty

Generalized Dissections and Monsky's Theorem

The decomposition theorem and the intersection cohomology of quotients in algebraic geometry

Schubert calculus and shifting of interval positroid varieties

The structure of interval orders with no infinite antichain

Order and interval topologies on complete Boolean algebras

The Schrijver system of the length polyhedron of an interval order

Decomposition matrices and blocks for the symplectic blob algebra over the complex field