Showing 1–17 of 17 results for author: Kosakowska, J

Abelian p-groups with a fixed elementary subgroup or with a fixed elementary quotient

Authors: Justyna Kosakowska, Markus Schmidmeier, Martin Schreiner

Abstract: In his 1934 paper, G.\ Birkhoff poses the problem of classifying pairs $(G,U)$ where $G$ is an abelian group and $U\subset G$ a subgroup, up to automorphisms of $G$. In general, Birkhoff's Problem is not considered feasible. In this note, we fix a prime number $p$ and assume that $G$ is a direct sum of cyclic $p$-groups and $U\subset G$ is a subgroup. Under the assumption that the factor group… ▽ More In his 1934 paper, G.\ Birkhoff poses the problem of classifying pairs $(G,U)$ where $G$ is an abelian group and $U\subset G$ a subgroup, up to automorphisms of $G$. In general, Birkhoff's Problem is not considered feasible. In this note, we fix a prime number $p$ and assume that $G$ is a direct sum of cyclic $p$-groups and $U\subset G$ is a subgroup. Under the assumption that the factor group $G/U$ is an elementary abelian $p$-group, we show that the pair $(G,U)$ always has a direct sum decomposition into pairs of type $(\mathbb Z/(p^n),\mathbb Z/(p^n))$ or $(\mathbb Z/(p^n), (p))$. Surprisingly, in the dual situation we need an additional condition. If we assume that $U$ itself is an elementary subgroup of $G$, then we show that the pair $(G,U)$ has a direct sum decomposition into pairs of type $(\mathbb Z/(p^n),0)$ or $(\mathbb Z/(p^n), (p^{n-1}))$ if and only if $G/U$ is a~direct sum of cyclic $p$-groups. We generalize the above results to modules over commutative discrete valuation rings. △ Less

Submitted 11 April, 2025; v1 submitted 3 December, 2023; originally announced December 2023.

MSC Class: 20K27; 13C05; 47A15

Two partial orders on Standard Young Tableaux with applications to invariant subspaces of nilpotent linear operators

Authors: Mariusz Kaniecki, Justyna Kosakowska

Abstract: In the paper we investigate two partial orders on standard Young tableaux and show their applications in the theory of invariant subspaces of nilpotent linear operators. In the paper we investigate two partial orders on standard Young tableaux and show their applications in the theory of invariant subspaces of nilpotent linear operators. △ Less

Submitted 8 November, 2023; originally announced November 2023.

Comments: 29 pages

MSC Class: 2010: 05E10; 20K27; 47A15

The existence of Hall polynomials for $x^2$-bounded invariant subspaces of nilpotent linear operators

Authors: Stanisław Kasjan, Justyna Kosakowska

Abstract: We prove the existence of Hall polynomials for $x^2$-bounded invariant subspaces of nilpotent linear operators. We prove the existence of Hall polynomials for $x^2$-bounded invariant subspaces of nilpotent linear operators. △ Less

Submitted 23 December, 2020; originally announced December 2020.

MSC Class: 16G10; 47A15

The socle tableau as a dual version of the Littlewood-Richardson tableau

Authors: Justyna Kosakowska, Markus Schmidmeier

Abstract: Like the LR-tableau, a socle tableau is given as a skew diagram with certain entries. Unlike in the LR-tableau, the entries in the socle tableau are weakly increasing in each row, strictly increasing in each column and satisfy a modified lattice permutation property. In the study of embeddings of a subgroup in a finite abelian $p$-group, socle tableaux occur as isomorphism invariants, they are giv… ▽ More Like the LR-tableau, a socle tableau is given as a skew diagram with certain entries. Unlike in the LR-tableau, the entries in the socle tableau are weakly increasing in each row, strictly increasing in each column and satisfy a modified lattice permutation property. In the study of embeddings of a subgroup in a finite abelian $p$-group, socle tableaux occur as isomorphism invariants, they are given by the socle series of the subgroup. We show that each socle tableau can be realized by some embedding. Moreover, the socle tableau of an embedding and the LR-tableau of the dual embedding determine each other. △ Less

Submitted 8 December, 2020; v1 submitted 23 July, 2020; originally announced July 2020.

MSC Class: 2010: 05E10; 20K27; 47A15; 16G20

Journal ref: J. London Math. Soc (2) 106 (2022), 1357-1379

Combinatorial algorithms for binary operations on LR-tableaux with entries equal to 1 with applications to nilpotent linear operators

Authors: Mariusz Kaniecki, Justyna Kosakowska

Abstract: In the paper we investigate an algorithmic associative binary operation $*$ on the set $\mathcal{LR}_1$ of Littlewood-Richardson tableaux with entries equal to one. We extend $*$ to an algorithmic nonassociative binary operation on the set $\mathcal{LR}_1\times \mathbb{N}$ and show that it is equivalent to the operation of taking the generic extensions of objects in the category of homomorphisms f… ▽ More In the paper we investigate an algorithmic associative binary operation $*$ on the set $\mathcal{LR}_1$ of Littlewood-Richardson tableaux with entries equal to one. We extend $*$ to an algorithmic nonassociative binary operation on the set $\mathcal{LR}_1\times \mathbb{N}$ and show that it is equivalent to the operation of taking the generic extensions of objects in the category of homomorphisms from semisimple nilpotent linear operators to nilpotent linear operators. Thus we get a combinatorial algorithm computing generic extensions in this category. △ Less

Submitted 22 April, 2020; originally announced April 2020.

Finite direct sums of cyclic embeddings

Authors: Justyna Kosakowska, Markus Schmidmeier

Abstract: In this paper we generalize Kaplansky's combinatorial characterization of the isomorphism types of embeddings of a cyclic subgroup in a finite abelian group given in his 1951 book ``Infinite Abelian Groups''. For this we introduce partial maps on Littlewood-Richardson tableaux and show that they characterize the isomorphism types of finite direct sums of such cyclic embeddings. In this paper we generalize Kaplansky's combinatorial characterization of the isomorphism types of embeddings of a cyclic subgroup in a finite abelian group given in his 1951 book ``Infinite Abelian Groups''. For this we introduce partial maps on Littlewood-Richardson tableaux and show that they characterize the isomorphism types of finite direct sums of such cyclic embeddings. △ Less

Submitted 14 May, 2019; originally announced May 2019.

Comments: arXiv admin note: substantial text overlap with arXiv:1607.05640

MSC Class: 05E10; 20K27; 47A15

Applications of Littlewood-Richardson tableaux to computing generic extension of semisimple invariant subspaces of nilpotent linear operators

Authors: Mariusz Kaniecki, Justyna Kosakowska

Abstract: The main aim of the paper is to present a~combinatorial algorithm that, applying Littlewood-Richardson tableaux with entries equal to $1$, computes generic extensions of semisimple invariant subspaces of nilpotent linear operators. Moreover, we discuss geometric properties of generic extensions and their connections with combinatorics. The main aim of the paper is to present a~combinatorial algorithm that, applying Littlewood-Richardson tableaux with entries equal to $1$, computes generic extensions of semisimple invariant subspaces of nilpotent linear operators. Moreover, we discuss geometric properties of generic extensions and their connections with combinatorics. △ Less

Submitted 22 April, 2020; v1 submitted 13 November, 2018; originally announced November 2018.

MSC Class: 16G20; 47A15; 05A17; 16Z05

Operations on Arc Diagrams and Degenerations for Invariant Subspaces of Linear Operators. Part II

Authors: Mariusz Kaniecki, Justyna Kosakowska, Markus Schmidmeier

Abstract: For a partition $β$, denote by $N_β$ the nilpotent linear operator of Jordan type $β$. Given partitions $β$, $γ$, we investigate the representation space ${}_2{\mathbb V}_γ^β$ of all short exact sequences $$ \mathcal E: 0\to N_α\to N_β\to N_γ\to 0$$ where $α$ is any partition with each part at most 2. Due to the condition on $α$, the isomorphism type of a sequence $\mathcal E$ is given by an arc d… ▽ More For a partition $β$, denote by $N_β$ the nilpotent linear operator of Jordan type $β$. Given partitions $β$, $γ$, we investigate the representation space ${}_2{\mathbb V}_γ^β$ of all short exact sequences $$ \mathcal E: 0\to N_α\to N_β\to N_γ\to 0$$ where $α$ is any partition with each part at most 2. Due to the condition on $α$, the isomorphism type of a sequence $\mathcal E$ is given by an arc diagram $Δ$; denote by ${\mathbb V}_Δ$ the subset of ${}_2{\mathbb V}_γ^β$ of all sequences isomorphic to $\mathcal E$. Thus, the space ${}_2{\mathbb V}_γ^β$ carries a stratification given by the subsets of type ${\mathbb V}_Δ$. We compute the dimension of each stratum and show that the boundary of a stratum ${\mathbb V}_Δ$ consists exactly of those ${\mathbb V}_{Δ'}$ where $Δ'$ is obtained from $Δ$ by a non-empty sequence of arc moves of five possible types {\bf (A) -- (E)}. The case where all three partitions are fixed has been studied in [3] and [4]. There, arc moves of types {\bf (A) -- (D)} suffice to describe the boundary of a ${\mathbb V}_Δ$ in ${\mathbb V}_{α,γ}^β$. Our fifth move {\bf (E)}, "explosion", is needed to break up an arc into two poles to allow for changes in the partition $α$. △ Less

Submitted 28 September, 2016; originally announced September 2016.

Journal ref: Communications in Algebra 46 (2018), 2243-2263

Box moves on Littlewood-Richardson tableaux and an application to invariant subspace varieties

Authors: Justyna Kosakowska, Markus Schmidmeier

Abstract: In his 1951 book "Infinite Abelian Groups", Kaplansky gives a combinatorial characterization of the isomorphism types of embeddings of a cyclic subgroup in a finite abelian group. In this paper we first use partial maps on Littlewood-Richardson tableaux to generalize this result to finite direct sums of such embeddings. We then focus on an application to invariant subspaces of nilpotent linear ope… ▽ More In his 1951 book "Infinite Abelian Groups", Kaplansky gives a combinatorial characterization of the isomorphism types of embeddings of a cyclic subgroup in a finite abelian group. In this paper we first use partial maps on Littlewood-Richardson tableaux to generalize this result to finite direct sums of such embeddings. We then focus on an application to invariant subspaces of nilpotent linear operators. We develop a criterion to decide if two irreducible components in the representation space are in the boundary partial order. △ Less

Submitted 14 May, 2019; v1 submitted 19 July, 2016; originally announced July 2016.

MSC Class: 16G10; 20K27; 14L30

Journal ref: Journal of Algebra 491 (2017), 241-264

Two Partial Orders for Standard Young Tableaux

Authors: Justyna Kosakowska, Markus Schmidmeier, Hugh Thomas

Abstract: In this manuscript we show that two partial orders defined on the set of standard Young tableaux of shape $α$ are equivalent. In fact, we give two proofs for the equivalence of the box order and the dominance order for {tableaux}. Both are algorithmic. The first of these proofs emphasizes links to the Bruhat order for the symmetric group and the second provides a more straightforward construction… ▽ More In this manuscript we show that two partial orders defined on the set of standard Young tableaux of shape $α$ are equivalent. In fact, we give two proofs for the equivalence of the box order and the dominance order for {tableaux}. Both are algorithmic. The first of these proofs emphasizes links to the Bruhat order for the symmetric group and the second provides a more straightforward construction of the cover relations. This work is motivated by the known result that the equivalence of the two combinatorial orders leads to a description of the geometry of the representation space of invariant subspaces of nilpotent linear operators. △ Less

Submitted 10 June, 2019; v1 submitted 31 March, 2015; originally announced March 2015.

Journal ref: The Electronic Journal of Combinatorics, 26 (3), #P3.20 (2019), 18 pp

The boundary of the irreducible components for invariant subspace varieties

Authors: Justyna Kosakowska, Markus Schmidmeier

Abstract: Given partitions $α$, $β$, $γ$, the short exact sequences $0\to N_α\to N_β\to N_γ\to 0$ of nilpotent linear operators of Jordan types $α$, $β$, $γ$, respectively, define a constructible subset $\mathbb V_{α,γ}^β$ of an affine variety. Geometrically, the varieties $\mathbb V_{α,γ}^β$ are of particular interest as they occur naturally and since they typically consist of several irreducible component… ▽ More Given partitions $α$, $β$, $γ$, the short exact sequences $0\to N_α\to N_β\to N_γ\to 0$ of nilpotent linear operators of Jordan types $α$, $β$, $γ$, respectively, define a constructible subset $\mathbb V_{α,γ}^β$ of an affine variety. Geometrically, the varieties $\mathbb V_{α,γ}^β$ are of particular interest as they occur naturally and since they typically consist of several irreducible components. In fact, each Littlewood-Richardson (LR-) tableau $Γ$ of shape $(α,β,γ)$ contributes one irreducible component $\overline{\mathbb V}_Γ$. We consider the partial order $Γ\leq_{\sf bound}^*\widetildeΓ$ on LR-tableaux which is the transitive closure of the relation given by $\mathbb V_{\widetildeΓ}\cap \overline{\mathbb V}_Γ\neq \emptyset$. In this paper we compare the boundary relation with partial orders given by algebraic, combinatorial and geometric conditions. It is known that in the case where the parts of $α$ are at most two, all those partial orders are equivalent. We prove that those partial orders are also equivalent in the case where $β\setminusγ$ is a horizontal and vertical strip. Moreover, we discuss how the orders differ in general. △ Less

Submitted 3 October, 2016; v1 submitted 30 August, 2014; originally announced September 2014.

MSC Class: 14L30; 16G20; 47A15

Journal ref: Mathematische Zeitschrift, 290 (2018), 953-972

The existence of Hall polynomials for posets of finite prinjective type

Authors: Justyna Kosakowska

Abstract: We prove the existence of Hall polynomials for prinjective representations of finite partially ordered sets of finite prinjective type. In Section 4 we shortly discuss consequences of the existence of Hall polynomials, in particular, we are able to define a generic Ringel-Hall algebra for prinjective representations of posets of finite prinjective type. We prove the existence of Hall polynomials for prinjective representations of finite partially ordered sets of finite prinjective type. In Section 4 we shortly discuss consequences of the existence of Hall polynomials, in particular, we are able to define a generic Ringel-Hall algebra for prinjective representations of posets of finite prinjective type. △ Less

Submitted 26 June, 2013; originally announced June 2013.

Journal ref: Journal of Algebra, 308 (2007), 654-665

Lie algebras associated with quadratic forms and their applications to Ringel-Hall algebras

Authors: Justyna Kosakowska

Abstract: We define and investigate nilpotent Lie algebras associated with quadratic forms. We also present their connections with Lie algebras and Ringel-Hall algebras associated with representation directed algebras. We define and investigate nilpotent Lie algebras associated with quadratic forms. We also present their connections with Lie algebras and Ringel-Hall algebras associated with representation directed algebras. △ Less

Submitted 26 June, 2013; originally announced June 2013.

Journal ref: Algebra and Discrete Math. 4 (2008), 49-79

Arc diagram varieties

Authors: Justyna Kosakowska, Markus Schmidmeier

Abstract: Let $k$ be an algebraically closed field and $α$, $β$, $γ$ be partitions. An algebraic group acts on the constructible set of short exact sequences of nilpotent $k$-linear operators of Jordan types $α$, $β$, and $γ$, respectively; we are interested in the stratification given by the orbits in the case where all parts of $α$ are at most 2. Geometric properties of the degeneration relation are contr… ▽ More Let $k$ be an algebraically closed field and $α$, $β$, $γ$ be partitions. An algebraic group acts on the constructible set of short exact sequences of nilpotent $k$-linear operators of Jordan types $α$, $β$, and $γ$, respectively; we are interested in the stratification given by the orbits in the case where all parts of $α$ are at most 2. Geometric properties of the degeneration relation are controlled by the combinatorics of arc diagrams. The extended bubble sort algorithm is used to construct chains of orbits such that subsequent strata have dimension difference equal to one. △ Less

Submitted 26 June, 2013; v1 submitted 25 November, 2012; originally announced November 2012.

MSC Class: 14L30; 05C85; 16G20; 47A15; 68P10

Journal ref: in: "Expository lectures on representation theory", Contemporary Mathematics 607, Amer. Math. Soc., Providence, RI, (2014), 205--224

Operations on Arc Diagrams and Degenerations for Invariant Subspaces of Linear Operators

Authors: Justyna Kosakowska, Markus Schmidmeier

Abstract: We study geometric properties of varieties associated with invariant subspaces of nilpotent operators. There are reductive algebraic groups acting on these varieties. We give dimensions of orbits of these actions. Moreover, a combinatorial characterization of the partial order given by degenerations is described. We study geometric properties of varieties associated with invariant subspaces of nilpotent operators. There are reductive algebraic groups acting on these varieties. We give dimensions of orbits of these actions. Moreover, a combinatorial characterization of the partial order given by degenerations is described. △ Less

Submitted 26 June, 2013; v1 submitted 13 February, 2012; originally announced February 2012.

MSC Class: 14L30; 16G20 (Primary) 16G70; 5C85; 47A15 (Secondary)

Journal ref: Trans. Amer. Math. Soc. 367 (2015), 5475-5505

Generic extensions of nilpotent $k[T]$-modules, monoids of partitions and constant terms of Hall polynomials

Authors: Justyna Kosakowska

Abstract: We prove that the monoid of generic extensions of finite dimensional nilpotent $k[T]$-modules is isomorphic to the monoid of partitions (with addition of partitions). Moreover we give a combinatorial algorithm that calculates constant terms of classical Hall polynomials. We prove that the monoid of generic extensions of finite dimensional nilpotent $k[T]$-modules is isomorphic to the monoid of partitions (with addition of partitions). Moreover we give a combinatorial algorithm that calculates constant terms of classical Hall polynomials. △ Less

Submitted 20 December, 2012; v1 submitted 12 September, 2011; originally announced September 2011.

Journal ref: Coll. Math. 128 (2012), 253-261

On Lie algebras associated with representation directed algebras

Authors: Stanisław Kasjan, Justyna Kosakowska

Abstract: Let $B$ be a representation-finite $\mathbb{C}$-algebra. The $\mathbb{Z}$-Lie algebra $L(B)$ associated with $B$ has been defined by Ch. Riedtmann. If $B$ is representation-directed there is another $\mathbb{Z}$-Lie algebra associated with $B$ defined by C. M. Ringel and denoted by $\CK(B)$. We prove that the Lie algebras $L(B)$ and $\CK(B)$ are isomorphic for any representation-directed… ▽ More Let $B$ be a representation-finite $\mathbb{C}$-algebra. The $\mathbb{Z}$-Lie algebra $L(B)$ associated with $B$ has been defined by Ch. Riedtmann. If $B$ is representation-directed there is another $\mathbb{Z}$-Lie algebra associated with $B$ defined by C. M. Ringel and denoted by $\CK(B)$. We prove that the Lie algebras $L(B)$ and $\CK(B)$ are isomorphic for any representation-directed $\mathbb{C}$-algebra $B$. △ Less

Submitted 19 February, 2009; originally announced February 2009.

Comments: 17 pages

MSC Class: 17B60; 16G20; 16G70

Journal ref: Journal of Pure and Applied Algebra 214(2010), 678-688