-
Dual pairs in $PGL(n,\mathbb{C})$
Authors:
Marisa Gaetz
Abstract:
In Roger Howe's seminal 1989 paper "Remarks on classical invariant theory," he introduces the notion of Lie algebra dual pairs, and its natural analog in the groups context: a pair $(G_1,G_2)$ of reductive subgroups of an algebraic group $G$ is a dual pair in $G$ if $G_1$ and $G_2$ equal each other's centralizers in $G$. While reductive dual pairs in the complex reductive Lie algebras have been cl…
▽ More
In Roger Howe's seminal 1989 paper "Remarks on classical invariant theory," he introduces the notion of Lie algebra dual pairs, and its natural analog in the groups context: a pair $(G_1,G_2)$ of reductive subgroups of an algebraic group $G$ is a dual pair in $G$ if $G_1$ and $G_2$ equal each other's centralizers in $G$. While reductive dual pairs in the complex reductive Lie algebras have been classified, much less is known about algebraic group dual pairs, which were only fully classified in the context of certain classical matrix groups. In this paper, we classify the reductive dual pairs in $PGL(n,\mathbb{C})$.
△ Less
Submitted 12 October, 2024;
originally announced October 2024.
-
An explicit classification of dual pairs in exceptional Lie algebras
Authors:
Marisa Gaetz
Abstract:
The primary goal of this paper is to explicitly write down all semisimple dual pairs in the exceptional Lie algebras. (A dual pair in a reductive Lie algebra $\mathfrak{g}$ is a pair of subalgebras such that each member equals the other's centralizer in $\mathfrak{g}$.) In a 1994 paper, H. Rubenthaler outlined a process for generating a complete list of candidate dual pairs in each of the exceptio…
▽ More
The primary goal of this paper is to explicitly write down all semisimple dual pairs in the exceptional Lie algebras. (A dual pair in a reductive Lie algebra $\mathfrak{g}$ is a pair of subalgebras such that each member equals the other's centralizer in $\mathfrak{g}$.) In a 1994 paper, H. Rubenthaler outlined a process for generating a complete list of candidate dual pairs in each of the exceptional Lie algebras. However, the process of checking whether each of these candidate dual pairs is in fact a dual pair is not easy, and requires several distinct insights and methods. In this paper, we carry out this process and explain the relevant concepts as we go. We also give plenty of examples with the hopes of making Rubenthaler's 1994 result not only more complete but more usable and understandable.
△ Less
Submitted 2 October, 2024;
originally announced October 2024.
-
Disconnected reductive groups
Authors:
Marisa Gaetz,
David Vogan
Abstract:
In this paper, we describe the possible disconnected complex reductive algebraic groups $E$ with component group $Γ= E/E_0$. We show that there is a natural bijection between such groups $E$ and algebraic extensions of $Γ$ by $Z(E_0)$.
In this paper, we describe the possible disconnected complex reductive algebraic groups $E$ with component group $Γ= E/E_0$. We show that there is a natural bijection between such groups $E$ and algebraic extensions of $Γ$ by $Z(E_0)$.
△ Less
Submitted 1 February, 2024; v1 submitted 29 September, 2023;
originally announced October 2023.
-
Dual pairs in complex classical groups and Lie algebras
Authors:
Marisa Gaetz
Abstract:
In Roger Howe's 1989 paper, ``Remarks on classical invariant theory," Howe introduces the notion of a dual pair of Lie subalgebras: a pair $(\mathfrak{g}_1, \mathfrak{g}_2)$ of reductive Lie subalgebras of a Lie algebra $\mathfrak{g}$ such that $\mathfrak{g}_1$ and $\mathfrak{g}_2$ are each other's centralizers in $\mathfrak{g}$. This notion has a natural analog for algebraic groups: a dual pair o…
▽ More
In Roger Howe's 1989 paper, ``Remarks on classical invariant theory," Howe introduces the notion of a dual pair of Lie subalgebras: a pair $(\mathfrak{g}_1, \mathfrak{g}_2)$ of reductive Lie subalgebras of a Lie algebra $\mathfrak{g}$ such that $\mathfrak{g}_1$ and $\mathfrak{g}_2$ are each other's centralizers in $\mathfrak{g}$. This notion has a natural analog for algebraic groups: a dual pair of subgroups is a pair $(G_1, G_2)$ of reductive subgroups of an algebraic group $G$ such that $G_1$ and $G_2$ are each other's centralizers in $G$. In this paper, we classify the dual pairs in the complex classical groups ($GL(n,\mathbb{C})$, $SL(n,\mathbb{C})$, $Sp(2n,\mathbb{C})$, $O(n,\mathbb{C})$, and $SO(n,\mathbb{C})$) and in the corresponding Lie algebras ($\mathfrak{gl}(n,\mathbb{C})$, $\mathfrak{sl}(n,\mathbb{C})$, $\mathfrak{sp}(2n,\mathbb{C})$, and $\mathfrak{so}(n,\mathbb{C})$). We also present substantial progress towards classifying the dual pairs in the projective counterparts of the complex classical groups ($PGL(n,\mathbb{C})$, $PSp(2n,\mathbb{C})$, $PO(n,\mathbb{C})$, and $PSO(n,\mathbb{C})$).
△ Less
Submitted 21 January, 2024; v1 submitted 16 October, 2019;
originally announced October 2019.
-
Enumeration and Extensions of Word-representants
Authors:
Marisa Gaetz,
Caleb Ji
Abstract:
Given a finite word $w$ over a finite alphabet $V$, consider the graph with vertex set $V$ and with an edge between two elements of $V$ if and only if the two elements alternate in the word $w$. Such a graph is said to be word-representable or 11-representable by the word $w$; this latter terminology arises from the phenomenon that the condition of two elements $x$ and $y$ alternating in a word…
▽ More
Given a finite word $w$ over a finite alphabet $V$, consider the graph with vertex set $V$ and with an edge between two elements of $V$ if and only if the two elements alternate in the word $w$. Such a graph is said to be word-representable or 11-representable by the word $w$; this latter terminology arises from the phenomenon that the condition of two elements $x$ and $y$ alternating in a word $w$ is the same as the condition of the subword of $w$ induced by $x$ and $y$ avoiding the pattern 11. In this paper, we first study minimal length words which word-represent graphs, giving an explicit formula for both the length and the number of such words in the case of trees and cycles. We then extend the notion of word-representability (or 11-representability) of graphs to $t$-representability of graphs, for any pattern $t$ on two letters. We prove that every graph is $t$-representable for any pattern $t$ on two letters (except for possibly one class of $t$). Finally, we pose a few open problems for future consideration.
△ Less
Submitted 14 January, 2021; v1 submitted 30 August, 2019;
originally announced September 2019.
-
Quantifying CDS Sortability of Permutations by Strategic Pile Size
Authors:
Marisa Gaetz,
Bethany Flanagan,
Marion Scheepers,
Meghan Shanks
Abstract:
The special purpose sorting operation, context directed swap (CDS), is an example of the block interchange sorting operation studied in prior work on permutation sorting. CDS has been postulated to model certain molecular sorting events that occur in the genome maintenance program of some species of ciliates. We investigate the mathematical structure of permutations not sortable by the CDS sorting…
▽ More
The special purpose sorting operation, context directed swap (CDS), is an example of the block interchange sorting operation studied in prior work on permutation sorting. CDS has been postulated to model certain molecular sorting events that occur in the genome maintenance program of some species of ciliates. We investigate the mathematical structure of permutations not sortable by the CDS sorting operation. In particular, we present substantial progress towards quantifying permutations with a given strategic pile size, which can be understood as a measure of CDS non-sortability. Our main results include formulas for the number of permutations in $\textsf{S}_n$ with maximum size strategic pile. More generally, we derive a formula for the number of permutations in $\textsf{S}_n$ with strategic pile size $k$, in addition to an algorithm for computing certain coefficients of this formula, which we call merge numbers.
△ Less
Submitted 28 November, 2018;
originally announced November 2018.
-
Anti-power $j$-fixes of the Thue-Morse word
Authors:
Marisa Gaetz
Abstract:
Recently, Fici, Restivo, Silva, and Zamboni introduced the notion of a $k$-anti-power, which is defined as a word of the form $w^{(1)} w^{(2)} \cdots w^{(k)}$, where $w^{(1)}, w^{(2)}, \ldots, w^{(k)}$ are distinct words of the same length. For an infinite word $w$ and a positive integer $k$, define $AP_j(w,k)$ to be the set of all integers $m$ such that $w_{j+1} w_{j+2} \cdots w_{j+km}$ is a $k$-…
▽ More
Recently, Fici, Restivo, Silva, and Zamboni introduced the notion of a $k$-anti-power, which is defined as a word of the form $w^{(1)} w^{(2)} \cdots w^{(k)}$, where $w^{(1)}, w^{(2)}, \ldots, w^{(k)}$ are distinct words of the same length. For an infinite word $w$ and a positive integer $k$, define $AP_j(w,k)$ to be the set of all integers $m$ such that $w_{j+1} w_{j+2} \cdots w_{j+km}$ is a $k$-anti-power, where $w_i$ denotes the $i$-th letter of $w$. Define also $\mathcal{F}_j(k) = (2 \mathbb{Z}^+ - 1) \cap AP_j(\mathbf{t},k)$, where $\mathbf{t}$ denotes the Thue-Morse word. For all $k \in \mathbb{Z}^+$, $γ_j(k) = \min (AP_j(\mathbf{t},k))$ is a well-defined positive integer, and for $k \in \mathbb{Z}^+$ sufficiently large, $Γ_j(k) = \sup ((2 \mathbb{Z}^+ -1) \setminus \mathcal{F}_j(k))$ is a well-defined odd positive integer. In his 2018 paper, Defant shows that $γ_0(k)$ and $Γ_0(k)$ grow linearly in $k$. We generalize Defant's methods to prove that $γ_j(k)$ and $Γ_j(k)$ grow linearly in $k$ for any nonnegative integer $j$. In particular, we show that $\displaystyle 1/10 \leq \liminf_{k \rightarrow \infty} (γ_j(k)/k) \leq 9/10$ and $\displaystyle 1/5 \leq \limsup_{k \rightarrow \infty} (γ_j(k)/k) \leq 3/2$. Additionally, we show that $\displaystyle \liminf_{k \rightarrow \infty} (Γ_j(k)/k) = 3/2$ and $\displaystyle \limsup_{k \rightarrow \infty} (Γ_j(k)/k) = 3$.
△ Less
Submitted 22 February, 2021; v1 submitted 4 August, 2018;
originally announced August 2018.
-
Support Equalities Among Ribbon Schur Functions
Authors:
Marisa Gaetz,
Will Hardt,
Shruthi Sridhar
Abstract:
In 2007, McNamara proved that two skew shapes can have the same Schur support only if they have the same number of $k\times \ell$ rectangles as subdiagrams. This implies that two ribbons can have the same Schur support only if one is obtained by permuting row lengths of the other. We present substantial progress towards classifying when a permutation $π\in S_m$ of row lengths of a ribbon $α$ produ…
▽ More
In 2007, McNamara proved that two skew shapes can have the same Schur support only if they have the same number of $k\times \ell$ rectangles as subdiagrams. This implies that two ribbons can have the same Schur support only if one is obtained by permuting row lengths of the other. We present substantial progress towards classifying when a permutation $π\in S_m$ of row lengths of a ribbon $α$ produces a ribbon $α_π$ with the same Schur support as $α$; when this occurs for all $π\in S_m$, we say that $α$ has "full equivalence class." Our main results include a sufficient condition for a ribbon $α$ to have full equivalence class. Additionally, we prove a separate necessary condition, which we conjecture to be sufficient.
△ Less
Submitted 21 October, 2018; v1 submitted 9 September, 2017;
originally announced September 2017.
-
Three-person impartial avoidance games for generating finite cyclic, dihedral, and nilpotent groups
Authors:
Bret Benesh,
Marisa Gaetz
Abstract:
We study a three-player variation of the impartial avoidance game introduced by Anderson and Harary. Three players take turns selecting previously-unselected elements of a finite group. The losing player is the one who selects an element that causes the set of jointly-selected elements to be a generating set for the group, with the previous player winning and the remaining player coming in second…
▽ More
We study a three-player variation of the impartial avoidance game introduced by Anderson and Harary. Three players take turns selecting previously-unselected elements of a finite group. The losing player is the one who selects an element that causes the set of jointly-selected elements to be a generating set for the group, with the previous player winning and the remaining player coming in second place. We describe the winning strategy for these games on cyclic, dihedral, and nilpotent groups.
△ Less
Submitted 21 July, 2016;
originally announced July 2016.
