Showing 1–45 of 45 results for author: Im, M S

Two-dimensional topological quantum field theories of rank two over Dedekind domains

Authors: Fabian Espinoza, Mee Seong Im, Mikhail Khovanov

Abstract: We give examples of Frobenius algebras of rank two over ground Dedekind rings which are projective but not free and discuss possible applications of these algebras to link homology. We give examples of Frobenius algebras of rank two over ground Dedekind rings which are projective but not free and discuss possible applications of these algebras to link homology. △ Less

Submitted 28 February, 2025; v1 submitted 6 February, 2025; originally announced February 2025.

Comments: Minor sign typo in the first equation in (4.8), and the derived proceeding equations, have been fixed. 20 pages, 2 figures

MSC Class: Primary: 11R04; 57K16; 18M05; 16L60

Entropy, cocycles, and their diagrammatics

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via ov… ▽ More The first part of the paper explains how to encode a one-cocycle and a two-cocycle on a group $G$ with values in its representation by networks of planar trivalent graphs with edges labelled by elements of $G$, elements of the representation floating in the regions, and suitable rules for manipulation of these diagrams. When the group is a semidirect product, there is a similar presentation via overlapping networks for the two subgroups involved. M. Kontsevich and J.-L. Cathelineau have shown how to interpret the entropy of a finite random variable and infinitesimal dilogarithms, including their four-term functional relations, via 2-cocycles on the group of affine symmetries of a line. We convert their construction into a diagrammatical calculus evaluating planar networks that describe morphisms in suitable monoidal categories. In particular, the four-term relations become equalities of networks analogous to associativity equations. The resulting monoidal categories complement existing categorical and operadic approaches to entropy. △ Less

Submitted 8 October, 2024; v1 submitted 12 September, 2024; originally announced September 2024.

Comments: In v2, expanded Remarks 4.6, 4.8 and added more references. 82 pages, many figures

MSC Class: Primary: 94A17; 20J06; 18M10; 18M30; Secondary: 18B40; 37A20; 18G45

Foams with flat connections and algebraic K-theory

Authors: David Gepner, Mee Seong Im, Mikhail Khovanov, Nitu Kitchloo

Abstract: This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will beco… ▽ More This paper proposes a connection between algebraic K-theory and foam cobordisms, where foams are stratified manifolds with singularities of a prescribed form. We consider $n$-dimensional foams equipped with a flat bundle of finitely-generated projective $R$-modules over each facet of the foam, together with gluing conditions along the subfoam of singular points. In a suitable sense which will become clear, a vertex (or the smallest stratum) of an $n$-dimensional foam replaces an $(n+1)$-simplex with a total ordering of vertices. We show that the first K-theory group of a ring $R$ can be identified with the cobordism group of decorated 1-foams embedded in the plane. A similar relation between the $n$-th algebraic K-theory group of a ring $R$ and the cobordism group of decorated $n$-foams embedded in $\mathbb{R}^{n+1}$ is expected for $n>1$. An analogous correspondence is proposed for arbitrary exact categories. Modifying the embedding and other conditions on the foams may lead to new flavors of K-theory groups. △ Less

Submitted 23 May, 2024; originally announced May 2024.

Comments: 57 pages, many figures

MSC Class: Primary: 57R90; 19B99; 19D06; 18M05; Secondary: 19A99; 55N22

Foam cobordism and the Sah-Arnoux-Fathi invariant

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: This is the first in a series of papers where scissor congruence and K-theoretical invariants are related to cobordism groups of foams in various dimensions. A model example is provided where the cobordism group of weighted one-foams is identified, via the Sah-Arnoux-Fathi invariant, with the first homology of the group of interval exchange automorphisms and with the Zakharevich first K-group of t… ▽ More This is the first in a series of papers where scissor congruence and K-theoretical invariants are related to cobordism groups of foams in various dimensions. A model example is provided where the cobordism group of weighted one-foams is identified, via the Sah-Arnoux-Fathi invariant, with the first homology of the group of interval exchange automorphisms and with the Zakharevich first K-group of the corresponding assembler. Several variations on this cobordism group are computed as well. △ Less

Submitted 9 March, 2024; originally announced March 2024.

Comments: 38 pages, many figures

MSC Class: 37E05; 37E99; 18M30; 19D99

Boolean TQFTs with accumulating defects, sofic systems, and automata for infinite words

Authors: Paul Gustafson, Mee Seong Im, Mikhail Khovanov

Abstract: Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $ω$-automata. Any finite state automaton gives rise to a Boolean one-dimensional TQFT with defects and inner endpoints of cobordisms. This paper extends the correspondence to Boolean TQFTs where defects accumulate toward inner endpoints, relating such TQFTs and topological theories to sofic systems and $ω$-automata. △ Less

Submitted 25 December, 2023; originally announced December 2023.

Comments: 31 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M05; 37B10; Secondary: 06A12; 68Q70; 18B20

From finite state automata to tangle cobordisms: a TQFT journey from one to four dimensions

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up. This is a brief introduction to link homology theories that categorify Reshetikhin--Turaev $\mathsf{SL}(N)$-quantum link invariants. A recently discovered surprising connection between finite state automata and Boolean TQFTs in dimension one is explained as a warm-up. △ Less

Submitted 17 September, 2023; v1 submitted 1 September, 2023; originally announced September 2023.

Comments: 40 pages, many figures, corrected minor misprints. To appear in Contemporary Mathematics, conference proceedings "From Representation Theory to Mathematical Physics and Back"

MSC Class: Primary: 57K16; 57K18; 57K45; 68Q45; 18M30; Secondary: 68Q70; 18B20

Universal construction in monoidal and non-monoidal settings, the Brauer envelope, and pseudocharacters

Authors: Mee Seong Im, Mikhail Khovanov, Victor Ostrik

Abstract: This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid s… ▽ More This paper clarifies basic definitions in the universal construction of topological theories and monoidal categories. The definition of the universal construction is given for various types of monoidal categories, including rigid and symmetric. It is also explained how to set up the universal construction for non-monoidal categories. The second part of the paper explains how to associate a rigid symmetric monoidal category to a small category, a sort of the Brauer envelope of a category. The universal construction for the Brauer envelopes generalizes some earlier work of the first two authors on automata, power series and topological theories. Finally, the theory of pseudocharacters (or pseudo-representations), which is an essential tool in modern number theory, is interpreted via one-dimensional topological theories and TQFTs with defects. The notion of a pseudocharacter is studied for Brauer categories and the lifting property to characters of semisimple representations is established in characteristic 0 for Brauer categories with at most countably many objects. The paper contains a brief discussion of pseudo-holonomies, which are functions from loops in a manifold to real numbers similar to traces of the holonomies along loops of a connection on a vector bundle on the manifold. It concludes with a classification of pseudocharacters (pseudo-TQFTs) and their generating functions for the category of oriented two-dimensional cobordisms in the characteristic 0 case. △ Less

Submitted 5 March, 2023; originally announced March 2023.

Comments: 59 pages, many figures

MSC Class: Primary: 57K16; 18M05; 18M30; Secondary: 15A15

Automata and one-dimensional TQFTs with defects

Authors: Paul Gustafson, Mee Seong Im, Remy Kaldawy, Mikhail Khovanov, Zachary Lihn

Abstract: This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their val… ▽ More This paper explains how any nondeterministic automaton for a regular language $L$ gives rise to a one-dimensional oriented Topological Quantum Field Theory (TQFT) with inner endpoints and zero-dimensional defects labelled by letters of the alphabet for $L$. The TQFT is defined over the Boolean semiring $\mathbb{B}$. Different automata for a fixed language $L$ produce TQFTs that differ by their values on decorated circles, while the values on decorated intervals are described by the language $L$. The language $L$ and the TQFT associated to an automaton can be given a path integral interpretation. In this TQFT the state space of a one-point 0-manifold is a free module over $\mathbb{B}$ with the basis of states of the automaton. Replacing a free module by a finite projective $\mathbb{B}$-module $P$ allows to generalize automata and this type of TQFT to a structure where defects act on open subsets of a finite topological space. Intersection of open subsets induces a multiplication on $P$ allowing to extend the TQFT to a TQFT for one-dimensional foams (oriented graphs with defects modulo a suitable equivalence relation). A linear version of these constructions is also explained, with the Boolean semiring replaced by a commutative ring. △ Less

Submitted 27 February, 2023; v1 submitted 2 January, 2023; originally announced January 2023.

Comments: Corollary 3.5 added. 36 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M10; 18M30; Secondary: 06A12; 68Q70; 18B20

One-dimensional topological theories with defects: the linear case

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the theory. The Karoubi envelope is then equivalent to the quotient of the Frobenius-Brauer category of K modulo the ideal of negligible morphisms. Symmetric Frobe… ▽ More The paper studies the Karoubi envelope of a one-dimensional topological theory with defects and inner endpoints, defined over a field. It turns out that the Karoubi envelope is determined by a symmetric Frobenius algebra K associated to the theory. The Karoubi envelope is then equivalent to the quotient of the Frobenius-Brauer category of K modulo the ideal of negligible morphisms. Symmetric Frobenius algebras, such as K, describe two-dimensional TQFTs for the category of thin flat surfaces, and elements of the algebra can be turned into defects on the side boundaries of these surfaces. We also explain how to couple K to the universal construction restricted to closed surfaces to define a topological theory of open-closed two-dimensional cobordisms which is usually not an open-closed 2D TQFT. △ Less

Submitted 4 April, 2023; v1 submitted 1 October, 2022; originally announced October 2022.

Comments: 38 pages, Figure 2.3.4 corrected. Many figures

MSC Class: 18M05; 18M30; 57K16; 16W60; 15A63

Computational complexity reduction of deep neural networks

Authors: Mee Seong Im, Venkat R. Dasari

Abstract: Deep neural networks (DNN) have been widely used and play a major role in the field of computer vision and autonomous navigation. However, these DNNs are computationally complex and their deployment over resource-constrained platforms is difficult without additional optimizations and customization. In this manuscript, we describe an overview of DNN architecture and propose methods to reduce comp… ▽ More Deep neural networks (DNN) have been widely used and play a major role in the field of computer vision and autonomous navigation. However, these DNNs are computationally complex and their deployment over resource-constrained platforms is difficult without additional optimizations and customization. In this manuscript, we describe an overview of DNN architecture and propose methods to reduce computational complexity in order to accelerate training and inference speeds to fit them on edge computing platforms with low computational resources. △ Less

Submitted 29 July, 2022; originally announced July 2022.

Comments: 10 pages, 9 figures

Journal ref: Mathematica Militaris, 25 (2022), no. 1, 1-10

Topological theories and automata

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labell… ▽ More The paper explains the connection between topological theories for one-manifolds with defects and values in the Boolean semiring and automata and their generalizations. Finite state automata are closely related to regular languages. To each pair of a regular language and a circular regular language we associate a topological theory for one-dimensional manifolds with zero-dimensional defects labelled by letters of the language. This theory takes values in the Boolean semiring. Universal construction of topological theories gives rise in this case to a monoidal category of Boolean semilinear combinations of one-dimensional cobordisms with defects modulo skein relations. The latter category can be interpreted as a semilinear rigid monoidal closure of standard structures associated to a regular language, including minimal deterministic and nondeterministic finite state automata for the language and the syntactic monoid. The circular language plays the role of a regularizer, allowing to define the rigid closure of these structures. When the state space of a single point for a regular language describes a distributive lattice, there is a unique associated circular language such that the resulting theory is a Boolean TQFT. △ Less

Submitted 27 February, 2022; originally announced February 2022.

Comments: 70 pages, many figures

MSC Class: Primary: 57K16; 68Q45; 18M10; 18M30; Secondary: 06A12; 68Q70; 18B20

Foams, iterated wreath products, field extensions and Sylvester sums

Authors: Mee Seong Im, Mikhail Khovanov

Abstract: Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the ap… ▽ More Certain foams and relations on them are introduced to interpret functors and natural transformations in categories of representations of iterated wreath products of cyclic groups of order two. We also explain how patched surfaces with defect circles and foams relate to separable field extensions and Galois theory and explore a relation between overlapping foams and Sylvester double sums. In the appendix, joint with Lev Rozansky, we compare traces in two-dimensional TQFTs coming from matrix factorizations with those in field extensions. △ Less

Submitted 16 July, 2021; originally announced July 2021.

Comments: 78 pages, many figures

MSC Class: 57K16; 18M30; 20E22 (Primary) 18N25; 13P15; 57K99; 20C99 (Secondary)

Natural transformations between induction and restriction on iterated wreath product of symmetric group of order $2$

Authors: Mee Seong Im, Can Ozan Oğuz

Abstract: Let $\mathbb{C}\mathsf{A}_n = \mathbb{C}[S_2\wr S_2 \wr\cdots \wr S_2]$ be the group algebra of $n$-step iterated wreath product. We prove some structural properties of $\mathsf{A}_n$ such as their centers, centralizers, right and double cosets. We apply these results to explicitly write down Mackey theorem for groups $\mathsf{A}_n$ and give a partial description of the natural transformations bet… ▽ More Let $\mathbb{C}\mathsf{A}_n = \mathbb{C}[S_2\wr S_2 \wr\cdots \wr S_2]$ be the group algebra of $n$-step iterated wreath product. We prove some structural properties of $\mathsf{A}_n$ such as their centers, centralizers, right and double cosets. We apply these results to explicitly write down Mackey theorem for groups $\mathsf{A}_n$ and give a partial description of the natural transformations between induction and restriction functors on the representations of the iterated wreath product tower by computing certain hom spaces of the category of $\displaystyle \bigoplus_{m\geq 0}(\mathsf{A}_m, \mathsf{A}_n)-$bimodules. A complete description of the category is an open problem. △ Less

Submitted 9 October, 2022; v1 submitted 14 June, 2021; originally announced June 2021.

Comments: 20 pages, to appear in Mathematical Physics, MDPI

MSC Class: 16G99; 20C30 (Primary) 18N25; 20B35 (Secondary)

One-dimensional topological theories with defects and linear generating functions

Authors: Mee Seong Im, Paul Zimmer

Abstract: We study the Gram determinant and construct bases of hom spaces for the one-dimensional topological theory of decorated unoriented one-dimensional cobordisms, as recently defined by Khovanov, when the pair of generating functions is linear. We study the Gram determinant and construct bases of hom spaces for the one-dimensional topological theory of decorated unoriented one-dimensional cobordisms, as recently defined by Khovanov, when the pair of generating functions is linear. △ Less

Submitted 17 May, 2021; originally announced May 2021.

Comments: 14 pages

Journal ref: Involve 15 (2022) 319-331

Irreducible components of two-row Springer fibers for all classical types

Authors: Mee Seong Im, Chun-Ju Lai, Arik Wilbert

Abstract: We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all cl… ▽ More We give an explicit description of the irreducible components of two-row Springer fibers for all classical types using cup diagrams. Cup diagrams can be used to label the irreducible components of two-row Springer fibers. Given a cup diagram, we explicitly write down all flags contained in the component associated to the cup diagram. This generalizes results by Stroppel--Webster and Fung to all classical types. △ Less

Submitted 30 January, 2022; v1 submitted 26 November, 2020; originally announced November 2020.

Comments: 15 pages. To appear in Proc. Amer. Math. Soc. Some of the results contained were originally available in the unpublished manuscript arXiv:1910.03010 via Nakajima quiver varieties. We would like to thank Dongkwan Kim for pointing out that it can be obtained more efficiently without using the quiver variety. It has therefore been split off from the original preprint

A study of irreducible components of Springer fibers using quiver varieties

Authors: Mee Seong Im, Chun-Ju Lai, Arik Wilbert

Abstract: It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. T… ▽ More It is a remarkable theorem by Maffei--Nakajima that the Slodowy variety, which is a subvariety of the resolution of the nilpotent cone, can be realized as a Nakajima quiver variety of type A. However, the isomorphism is rather implicit as it takes to solve a system of equations in which the variables are linear maps. In this paper, we construct solutions to this system under certain assumptions. This establishes an explicit and efficient way to compute the image of a complete flag contained in the Slodowy variety under the Maffei--Nakajima isomorphism and describe these flags in terms of quiver representations. As Slodowy varieties contain Springer fibers naturally, we can use these results to provide an explicit description of the irreducible components of two-row Springer fibers in terms of a family of kernel relations via quiver representations. △ Less

Submitted 27 October, 2021; v1 submitted 16 September, 2020; originally announced September 2020.

Comments: 23 pages, 5 figures. v2: reference to the accompanying paper (arXiv:2011.13138) added. Note: This paper proves a stronger version of the first goal in the manuscript arXiv:1910.03010 (not intended for publication), and hence has a text overlap. v3: to appear in Journal of Algebra. Title is changed. Lemma 4.1 is clarified

Journal ref: J. Algebra 591 (2022), 217-248

Genetic optimization algorithms applied toward mission computability models

Authors: Mee Seong Im, Venkat R. Dasari

Abstract: Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and mutation to obtain a feasible solution to computational problems. In this paper, we describe our genetic optimization algorithms to a mission-critical and cons… ▽ More Genetic algorithms are modeled after the biological evolutionary processes that use natural selection to select the best species to survive. They are heuristics based and low cost to compute. Genetic algorithms use selection, crossover, and mutation to obtain a feasible solution to computational problems. In this paper, we describe our genetic optimization algorithms to a mission-critical and constraints-aware computation problem. △ Less

Submitted 26 May, 2020; originally announced May 2020.

Comments: 11 pages

Towards the affine and geometric invariant theory quotients of the Borel moment map

Authors: Mee Seong Im, Meral Tosun

Abstract: We study the Borel moment map $μ_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, given by $(r,s,i,j)\mapsto [r,s]+ij$, and describe our algorithm to construct the geometric invariant theory (GIT) quotients $μ_B^{-1}(0)/\!\!/_{\det}B$ and $μ_B^{-1}(0)/\!\!/_{\det^{-1}}B$, and the affine quotient $μ_B^{-1}(0)/\!\!/B$. We also provide an insight of the singular locus of $2^n$ irred… ▽ More We study the Borel moment map $μ_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, given by $(r,s,i,j)\mapsto [r,s]+ij$, and describe our algorithm to construct the geometric invariant theory (GIT) quotients $μ_B^{-1}(0)/\!\!/_{\det}B$ and $μ_B^{-1}(0)/\!\!/_{\det^{-1}}B$, and the affine quotient $μ_B^{-1}(0)/\!\!/B$. We also provide an insight of the singular locus of $2^n$ irreducible components of $μ_B$. Finally, analogous to the Hilbert--Chow morphism, we discuss that the GIT quotient for the Borel setting is a resolution of singularities. △ Less

Submitted 27 January, 2020; originally announced January 2020.

Comments: 12 pages

Suggestions to study affine and GIT quotients of the extended Grothendieck--Springer resolution

Authors: Mee Seong Im

Abstract: We define filtered ADHM data and connect a notion of filtered quiver representations to Grothendieck--Springer resolutions. We also provide current developments and give a list of research problems to further study filtered ADHM equation. We define filtered ADHM data and connect a notion of filtered quiver representations to Grothendieck--Springer resolutions. We also provide current developments and give a list of research problems to further study filtered ADHM equation. △ Less

Submitted 20 December, 2019; originally announced December 2019.

Comments: 11 pages

Examples relating to Green's conjecture in low characteristics and genera

Authors: Topik Teguh Estu, Mee Seong Im, Benjamin Manning, Zachary Michaels, Joseph Pasko, William Rulla, Nishan Wijesinghe

Abstract: We exhibit approximately fifty Betti diagrams of free resolutions of rings of smooth, connected canonical curves of genera $9$-$14$ in prime characteristics between $2$ and $11$. Generic Green's conjecture is verified for genera $9$ and $10$ for characteristics $2$, $5$, $7$, and $11$. We exhibit approximately fifty Betti diagrams of free resolutions of rings of smooth, connected canonical curves of genera $9$-$14$ in prime characteristics between $2$ and $11$. Generic Green's conjecture is verified for genera $9$ and $10$ for characteristics $2$, $5$, $7$, and $11$. △ Less

Submitted 12 December, 2019; originally announced December 2019.

Comments: 15 pages

A short proof on the transition matrix from the Specht basis to the Kazhdan-Lusztig basis

Authors: Mee Seong Im

Abstract: We provide a short proof on the change-of-basis coefficients from the Specht basis to the Kazhdan-Lusztig basis, using Kazhdan-Lusztig theory for parabolic Hecke algebra. We provide a short proof on the change-of-basis coefficients from the Specht basis to the Kazhdan-Lusztig basis, using Kazhdan-Lusztig theory for parabolic Hecke algebra. △ Less

Submitted 8 December, 2019; originally announced December 2019.

Comments: 7 pages, submitted

Nonstandard approach to Hausdorff outer measure

Authors: Mee Seong Im

Abstract: We use nonstandard techniques, in the sense of Abraham Robinson, to give the exact Hausdorff outer measure. We use nonstandard techniques, in the sense of Abraham Robinson, to give the exact Hausdorff outer measure. △ Less

Submitted 30 November, 2019; originally announced December 2019.

Comments: 8 pages, submitted

The Grothendieck ring of the periplectic Lie supergroup and supersymmetric functions

Authors: Mee Seong Im, Shifra Reif, Vera Serganova

Abstract: We show that the Grothendieck ring of finite-dimensional representations of the periplectic Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. We show that the Grothendieck ring of finite-dimensional representations of the periplectic Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. △ Less

Submitted 22 November, 2019; originally announced November 2019.

Comments: 9 pages, submitted. arXiv admin note: substantial text overlap with arXiv:1906.01948

Transitioning between tableaux and spider bases for Specht modules

Authors: Mee Seong Im, Jieru Zhu

Abstract: Regarding the Specht modules associated to the two-row partition $(n,n)$, we provide a combinatorial path model to study the transitioning matrix from the tableau basis to the $A_1$-web basis (i.e. cup diagrams), and prove that the entries in this matrix are positive in the upper-triangular portion with respect to a certain partial order. Regarding the Specht modules associated to the two-row partition $(n,n)$, we provide a combinatorial path model to study the transitioning matrix from the tableau basis to the $A_1$-web basis (i.e. cup diagrams), and prove that the entries in this matrix are positive in the upper-triangular portion with respect to a certain partial order. △ Less

Submitted 2 September, 2020; v1 submitted 12 November, 2019; originally announced November 2019.

Comments: 11 pages, referee's suggestions incorporated

Irreducible components of two-row Springer fibers and Nakajima quiver varieties

Authors: Mee Seong Im, Chun-Ju Lai, Arik Wilbert

Abstract: We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover rela… ▽ More We give an explicit description of the irreducible components of two-row Springer fibers in type A as closed subvarieties in certain Nakajima quiver varieties in terms of quiver representations. By taking invariants under a variety automorphism, we obtain an explicit algebraic description of the irreducible components of two-row Springer fibers of classical type. As a consequence, we discover relations on isotropic flags that describe the irreducible components. △ Less

Submitted 1 December, 2020; v1 submitted 7 October, 2019; originally announced October 2019.

Comments: 38 pages. v3: Not intended for publication; we would like to thank Dongkwan Kim for pointing out that the second goal of this paper can be obtained more efficiently without using the fixed-point subvarieties. This manuscript has therefore been split into the two preprints arXiv:2009.08778 and arXiv:2011.13138

Denominator identities for the periplectic Lie superalgebra

Authors: Crystal Hoyt, Mee Seong Im, Shifra Reif

Abstract: We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras. We prove denominator identities for the periplectic Lie superalgebra $\mathfrak{p}(n)$, thereby completing the problem of finding denominator identities for all simple classical finite-dimensional Lie superalgebras. △ Less

Submitted 19 June, 2019; originally announced June 2019.

Comments: 11 pages

Irreducible calibrated representations of periplectic Brauer algebras and hook representations of the symmetric group

Authors: Mee Seong Im, Emily Norton

Abstract: We construct an infinite tower of irreducible calibrated representations of periplectic Brauer algebras on which the cup-cap generators act by nonzero matrices. As representations of the symmetric group, these are exterior powers of the standard representation (i.e. hook representations). Our approach uses the recently-defined degenerate affine periplectic Brauer algebra, which plays a role simila… ▽ More We construct an infinite tower of irreducible calibrated representations of periplectic Brauer algebras on which the cup-cap generators act by nonzero matrices. As representations of the symmetric group, these are exterior powers of the standard representation (i.e. hook representations). Our approach uses the recently-defined degenerate affine periplectic Brauer algebra, which plays a role similar to that of the degenerate affine Hecke algebra in representation theory of the symmetric group. We write formulas for the representing matrices in the basis of Jucys--Murphy eigenvectors and we completely describe the spectrum of these representations. The tower formed by these representations provides a new, non-semisimple categorification of Pascal's triangle. Along the way, we also prove some basic results about calibrated representations of the degenerate affine periplectic Brauer algebra. △ Less

Submitted 18 June, 2019; originally announced June 2019.

Comments: 38 pages, several figures

Grothendieck rings of periplectic Lie superalgebras

Authors: Mee Seong Im, Shifra Reif, Vera Serganova

Abstract: We describe explicitly the Grothendieck rings of finite-dimensional representations of the periplectic Lie superalgebras. In particular, the Grothendieck ring of the Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. We describe explicitly the Grothendieck rings of finite-dimensional representations of the periplectic Lie superalgebras. In particular, the Grothendieck ring of the Lie supergroup $P(n)$ is isomorphic to the ring of symmetric polynomials in $x_1^{\pm 1}, \ldots, x_n^{\pm 1}$ whose evaluation $x_1=x_2^{-1}=t$ is independent of $t$. △ Less

Submitted 5 June, 2019; originally announced June 2019.

Comments: 13 pages

On calibrated representations of the degenerate affine periplectic Brauer algebra

Authors: Zajj Daugherty, Iva Halacheva, Mee Seong Im, Emily Norton

Abstract: We initiate the representation theory of the degenerate affine periplectic Brauer algebra on $n$ strands by constructing its finite-dimensional calibrated representations when $n=2$. We show that any such representation that is indecomposable and does not factor through a representation of the degenerate affine Hecke algebra occurs as an extension of two semisimple representations with one-dimensi… ▽ More We initiate the representation theory of the degenerate affine periplectic Brauer algebra on $n$ strands by constructing its finite-dimensional calibrated representations when $n=2$. We show that any such representation that is indecomposable and does not factor through a representation of the degenerate affine Hecke algebra occurs as an extension of two semisimple representations with one-dimensional composition factors; and furthermore, we classify such representations with regular eigenvalues up to isomorphism. △ Less

Submitted 13 May, 2019; originally announced May 2019.

Comments: 11 pages, no figures

The regularity of almost-commuting partial Grothendieck--Springer resolutions and parabolic analogs of Calogero--Moser varieties

Authors: Mee Seong Im, Travis Scrimshaw

Abstract: Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that… ▽ More Consider the moment map $μ\colon T^*(\mathfrak{p} \times \mathbb{C}^n) \to \mathfrak{p}^*$ for a parabolic subalgebra $\mathfrak{p}$ of $\mathfrak{gl}_n(\mathbb{C})$. We prove that the preimage of $0$ under $μ$ is a complete intersection when $\mathfrak{p}$ has finitely many $P$-orbits, where $P\subseteq \operatorname{GL}_n(\mathbb{C})$ is a parabolic subgroup such that $\operatorname{Lie}(P) = \mathfrak{p}$, and give an explicit description of the irreducible components. This allows us to study nearby fibers of $μ$ as they are equidimensional, and one may also construct GIT quotients $μ^{-1}(0) /\!\!/_χ P$ by varying the stability condition $χ$. Finally, we study a variety analogous to the scheme studied by Wilson with connections to a Calogero--Moser phase space where only some of particles interact. △ Less

Submitted 29 July, 2020; v1 submitted 5 December, 2018; originally announced December 2018.

Comments: 18 pages, to appear in Journal of Lie Theory

MSC Class: 14M10; 53D20; 17B08; 14L30; 14L24; 20G20

Journal ref: J. Lie Theory, 31(1) (2021) pp. 127-148

Nonstandard approach to Hausdorff measure theory and an analysis of some sets of dimension less than $1$

Authors: Mee Seong Im

Abstract: We study various measure theories using the classical approach and then compute the Hausdorff dimension of some simple objects and self-similar fractals. We then develop a nonstandard approach to these measure theories and examine the Hausdorff measure in more detail. We choose to study Hausdorff measure over any other measures since it is well-defined for all sets, and widely used in many differe… ▽ More We study various measure theories using the classical approach and then compute the Hausdorff dimension of some simple objects and self-similar fractals. We then develop a nonstandard approach to these measure theories and examine the Hausdorff measure in more detail. We choose to study Hausdorff measure over any other measures since it is well-defined for all sets, and widely used in many different areas in mathematics, physics, probability theory, and so forth. Finally we generate a particular set and compute its upper and lower Hausdorff dimension. We compare our set with box-counting dimension and other well-known fractal behaviors to analyze the set in a greater detail. △ Less

Submitted 5 December, 2018; originally announced December 2018.

Comments: 103 pages. This was the author's Master of Philosophy thesis. Theorem 5.2.2. is the main result

On the module structure of the center of hyperelliptic Krichever-Novikov algebras II

Authors: Ben Cox, Xiangqian Guo, Mee Seong Im, Kaiming Zhao

Abstract: Let $R := R_{2}(p)=\mathbb{C}[t^{\pm 1}, u : u^2 = t(t-α_1)\cdots (t-α_{2n})] $ be the coordinate ring of a nonsingular hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra. \color{black} Here $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$ and \begin{equation*} p(t)= t(t-α_1)\cdots (t-α_{2n})=\sum_{k=1}^{2n+1}a_kt^k. \end{e… ▽ More Let $R := R_{2}(p)=\mathbb{C}[t^{\pm 1}, u : u^2 = t(t-α_1)\cdots (t-α_{2n})] $ be the coordinate ring of a nonsingular hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra. \color{black} Here $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$ and \begin{equation*} p(t)= t(t-α_1)\cdots (t-α_{2n})=\sum_{k=1}^{2n+1}a_kt^k. \end{equation*} In earlier work, Cox and Im gave a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and they described how the center $Ω_R/dR$ of this universal central extension decomposes into a direct sum of irreducible representations when the automorphism group was the cyclic group $C_{2k}$ or the dihedral group $D_{2k}$. We give examples of $2n$-tuples $(α_1,\dots,α_{2n})$, which are the automorphism groups $\mathbb G_n=\text{Dic}_{n}$, $\mathbb U_n\cong D_n$ ($n$ odd), or $\mathbb U_n$ ($n$ even) of the hyperelliptic curves \begin{equation} S=\mathbb{C}[t, u: u^2 = t(t-α_1)\cdots (t-α_{2n})] \end{equation} given in [CGLZ17]. In the work below, we describe this decomposition when the automorphism group is $\mathbb U_n=D_n$, where $n$ is odd. △ Less

Submitted 2 December, 2018; originally announced December 2018.

Comments: 24 pages, submitted

Complexity and mission computability of adaptive computing systems

Authors: Venkat R. Dasari, Mee Seong Im, Billy Geerhart

Abstract: There is a subset of computational problems that are computable in polynomial time for which an existing algorithm may not complete due to a lack of high performance technology on a mission field. We define a subclass of deterministic polynomial time complexity class called mission class, as many polynomial problems are not computable in mission time. By focusing on such subclass of languages in t… ▽ More There is a subset of computational problems that are computable in polynomial time for which an existing algorithm may not complete due to a lack of high performance technology on a mission field. We define a subclass of deterministic polynomial time complexity class called mission class, as many polynomial problems are not computable in mission time. By focusing on such subclass of languages in the context for successful military applications, we also discuss their computational and communicational constraints. We investigate feasible (non)linear models that will minimize energy and maximize memory, efficiency, and computational power, and also provide an approximate solution obtained within a pre-determined length of computation time using limited resources so that an optimal solution to a language could be determined. △ Less

Submitted 28 August, 2018; originally announced August 2018.

Comments: 6 pages, 3 figures, submitted

Beta super-functions on super-Grassmannians

Authors: Mee Seong Im, Michal Zakrzewski

Abstract: Israel M. Gelfand gave a geometric interpretation for general hypergeometric functions as sections of the tautological bundle over a complex Grassmannian $G_{k,n}$. In particular, the beta function can be understood in terms of $G_{2,3}$. In this manuscript, we construct one of the simplest generalizations of the Euler beta function by adding arbitrary-many odd variables to the classical setting.… ▽ More Israel M. Gelfand gave a geometric interpretation for general hypergeometric functions as sections of the tautological bundle over a complex Grassmannian $G_{k,n}$. In particular, the beta function can be understood in terms of $G_{2,3}$. In this manuscript, we construct one of the simplest generalizations of the Euler beta function by adding arbitrary-many odd variables to the classical setting. We also relate the beta super-function to the gamma and the hypergeometric function. △ Less

Submitted 12 August, 2018; originally announced August 2018.

Comments: 18 pages, submitted

Categorification of Verma modules and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$

Authors: Ben Cox, Mee Seong Im

Abstract: We categorify Verma and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$ using a tensor product decomposition theorem of T. J. Enright and work of J. Chuang and R. Rouquier, A. Licata and A. Savage (Hecke algebras, finite general linear groups, and Heisenberg categorification) and M. Khovanov (Heisenberg algebra and a graphical ca… ▽ More We categorify Verma and indecomposable projective modules in the category $\mathcal I_{\mathfrak{g}}(\mathfrak{sl}_2)$ for $\mathfrak{sl}_2$ using a tensor product decomposition theorem of T. J. Enright and work of J. Chuang and R. Rouquier, A. Licata and A. Savage (Hecke algebras, finite general linear groups, and Heisenberg categorification) and M. Khovanov (Heisenberg algebra and a graphical calculus). △ Less

Submitted 7 June, 2018; originally announced June 2018.

Comments: 23 pages, submitted

The affine VW supercategory

Authors: Martina Balagovic, Zajj Daugherty, Inna Entova-Aizenbud, Iva Halacheva, Johanna Hennig, Mee Seong Im, Gail Letzter, Emily Norton, Vera Serganova, Catharina Stroppel

Abstract: We define the affine VW supercategory $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$, which arises from studying the action of the periplectic Lie superalgebra $\mathfrak{p}(n)$ on the tensor product $M\otimes V^{\otimes a}$ of an arbitrary representation $M$ with several copies of the vector representation $V$ of $\mathfrak{p}(n)$. It plays a role analogous to that of the degenerate affine… ▽ More We define the affine VW supercategory $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$, which arises from studying the action of the periplectic Lie superalgebra $\mathfrak{p}(n)$ on the tensor product $M\otimes V^{\otimes a}$ of an arbitrary representation $M$ with several copies of the vector representation $V$ of $\mathfrak{p}(n)$. It plays a role analogous to that of the degenerate affine Hecke algebras in the context of representations of the general linear group; the main obstacle was the lack of a quadratic Casimir element in $\mathfrak{p}(n)\otimes \mathfrak{p}(n)$. When $M$ is the trivial representation, the action factors through the Brauer supercategory $\mathit{s}\mathcal{B}\mathit{r}$. Our main result is an explicit basis theorem for the morphism spaces of $\mathit{s}\hspace{-0.7mm}\bigvee\mkern-15mu\bigvee$ and, as a consequence, of $\mathit{s}\mathcal{B}\mathit{r}$. The proof utilises the close connection with the representation theory of $\mathfrak{p}(n)$. As an application we explicitly describe the centre of all endomorphism algebras, and show that it behaves well under the passage to the associated graded and under deformation. △ Less

Submitted 12 January, 2018; originally announced January 2018.

Comments: 35 pages

MSC Class: 17A70; 17B20; 17B60; 18D10; 33D80

On the module structure of the center of hyperelliptic Krichever-Novikov algebras

Authors: Ben Cox, Mee Seong Im

Abstract: We consider the coordinate ring of a hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra where $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$. We give a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and d… ▽ More We consider the coordinate ring of a hyperelliptic curve and let $\mathfrak{g}\otimes R$ be the corresponding current Lie algebra where $\mathfrak g$ is a finite dimensional simple Lie algebra defined over $\mathbb C$. We give a generator and relations description of the universal central extension of $\mathfrak{g}\otimes R$ in terms of certain families of polynomials $P_{k,i}$ and $Q_{k,i}$ and describe how the center $Ω_R/dR$ decomposes into a direct sum of irreducible representations when the automorphism group is $C_{2k}$ or $D_{2k}$. △ Less

Submitted 8 September, 2018; v1 submitted 12 June, 2017; originally announced June 2017.

Comments: 34 pages

Journal ref: Representations of Lie Algebras, Quantum Groups and Related Topics, Contemp. Math. 713 (2018), 61-94

Translation functors and decomposition numbers for the periplectic Lie superalgebra $\mathfrak{p}(n)$

Authors: Martina Balagovic, Zajj Daugherty, Inna Entova-Aizenbud, Iva Halacheva, Johanna Hennig, Mee Seong Im, Gail Letzter, Emily Norton, Vera Serganova, Catharina Stroppel

Abstract: We study the category $\mathcal{F}_n$ of finite-dimensional integrable representations of the periplectic Lie superalgebra $\mathfrak{p}(n)$. We define an action of the Temperley--Lieb algebra with infinitely many generators and defining parameter $0$ on the category $\mathcal{F}_n$ by translation functors. We also introduce combinatorial tools, called weight diagrams and arrow diagrams for… ▽ More We study the category $\mathcal{F}_n$ of finite-dimensional integrable representations of the periplectic Lie superalgebra $\mathfrak{p}(n)$. We define an action of the Temperley--Lieb algebra with infinitely many generators and defining parameter $0$ on the category $\mathcal{F}_n$ by translation functors. We also introduce combinatorial tools, called weight diagrams and arrow diagrams for $\mathfrak{p}(n)$ resembling those for $\mathfrak{gl}(m|n)$. Using the Temperley--Lieb algebra action and the combinatorics of weight and arrow diagrams, we then calculate the multiplicities of standard and costandard modules in indecomposable projective modules and classify the blocks of $\mathcal{F}_n$. We also prove that indecomposable projective modules in this category are multiplicity-free. △ Less

Submitted 15 September, 2019; v1 submitted 26 October, 2016; originally announced October 2016.

Comments: v5: two typos in Section 8.4 fixed, as well as a few other minor typos; affiliation fixed. v4: revised version (e.g. added suggestions of a referee, minor typos fixed, funding acknowledgement updated). v3: Title changed!!! Content is the same as in the previous version

Unipotent invariants of filtered representations of quivers and the isospectral Hilbert scheme

Authors: Mee Seong Im, Lisa M. Jones

Abstract: Given any finite quiver, we consider a complete flag of vector spaces over each vertex. Consider the unipotent invariant subalgebra of the coordinate ring of the filtered quiver representation subspace. We prove that the dimension of the algebraic variety of the unipotent invariant subalgebra is finite. We also construct an ADHM analog for the Borel subalgebra setting, showing its birationality to… ▽ More Given any finite quiver, we consider a complete flag of vector spaces over each vertex. Consider the unipotent invariant subalgebra of the coordinate ring of the filtered quiver representation subspace. We prove that the dimension of the algebraic variety of the unipotent invariant subalgebra is finite. We also construct an ADHM analog for the Borel subalgebra setting, showing its birationality to the isospectral Hilbert scheme. Quiver-graded Steinberg varieties, quantum Hamiltonian reduction, and deformation quantization constructions for the nonreductive setting are discussed, ending with open problems. △ Less

Submitted 25 September, 2016; v1 submitted 7 August, 2016; originally announced August 2016.

Comments: 22 pages, exposition on symplectic reflection algebras expanded

On semi-invariants of filtered representations of quivers and the cotangent bundle of the enhanced Grothendieck-Springer resolution

Authors: Mee Seong Im

Abstract: We introduce the notion of filtered representations of quivers, which is related to usual quiver representations, but is a systematic generalization of conjugacy classes of $n\times n$ matrices to (block) upper triangular matrices up to conjugation by invertible (block) upper triangular matrices. With this notion in mind, we describe the ring of invariant polynomials for interesting families of qu… ▽ More We introduce the notion of filtered representations of quivers, which is related to usual quiver representations, but is a systematic generalization of conjugacy classes of $n\times n$ matrices to (block) upper triangular matrices up to conjugation by invertible (block) upper triangular matrices. With this notion in mind, we describe the ring of invariant polynomials for interesting families of quivers, namely, finite $ADE$-Dynkin quivers and affine type $\widetilde{A}$-Dynkin quivers. We then study their relation to an important and fundamental object in representation theory called the Grothendieck-Springer resolution, and we conclude by stating several conjectures, suggesting further research. △ Less

Submitted 7 July, 2016; originally announced July 2016.

Comments: Author's dissertation

The regular semisimple locus of the affine quotient of the cotangent bundle of the Grothendieck-Springer resolution

Authors: Mee Seong Im

Abstract: Let $G= GL_n(\mathbb{C})$, the general linear group over the complex numbers, and let $B$ be the set of invertible upper triangular matrices in $G$. Let $\mathfrak{b}=\text{Lie}(B)$. For $μ:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, where $\mathfrak{b}^*\cong \mathfrak{g}/\mathfrak{u}$ and $\mathfrak{u}$ being strictly upper triangular matrices in… ▽ More Let $G= GL_n(\mathbb{C})$, the general linear group over the complex numbers, and let $B$ be the set of invertible upper triangular matrices in $G$. Let $\mathfrak{b}=\text{Lie}(B)$. For $μ:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*$, where $\mathfrak{b}^*\cong \mathfrak{g}/\mathfrak{u}$ and $\mathfrak{u}$ being strictly upper triangular matrices in $\mathfrak{g}=\text{Lie}(G)$, we prove that the Hamiltonian reduction $μ^{-1}(0)^{rss}/\!\!/B$ of the extended regular semisimple locus $\mathfrak{b}^{rss}$ of the Borel subalgebra is smooth, affine, reduced, and scheme-theoretically isomorphic to a dense open locus of $\mathbb{C}^{2n}$. We also show that the $B$-invariant functions on the regular semisimple locus of the Hamiltonian reduction of $\mathfrak{b}\times \mathbb{C}^n$ arise as the trace of a certain product of matrices. △ Less

Submitted 22 May, 2018; v1 submitted 7 July, 2016; originally announced July 2016.

Comments: 17 pages, to appear in Journal of Geometry and Physics

Families of orthogonal Laurent polynomials, hyperelliptic Lie algebras and elliptic integrals

Authors: Ben Cox, Mee Seong Im

Abstract: We describe a family of polynomials discovered via a particular recursion relation, which have connections to Chebyshev polynomials of the first and the second kind, and the polynomial version of Pell's equation. Many of their properties are listed in Section 3. We show that these families of polynomials in the variable $t$ satisfy certain second order linear differential equations that may be of… ▽ More We describe a family of polynomials discovered via a particular recursion relation, which have connections to Chebyshev polynomials of the first and the second kind, and the polynomial version of Pell's equation. Many of their properties are listed in Section 3. We show that these families of polynomials in the variable $t$ satisfy certain second order linear differential equations that may be of interest to mathematicians in conformal field theory and number theory. We also prove that these families of polynomials in the setting of Date-Jimbo-Kashiwara-Miwa algebras when multiplied by a suitable power of $t$ are orthogonal with respect to explicitly-described kernels. Particular cases lead to new identities of elliptic integrals (see Section 5). △ Less

Submitted 8 September, 2018; v1 submitted 3 August, 2015; originally announced August 2015.

Comments: 22 pages

Journal ref: Integral Transforms Spec. Funct. 27 (2016), no. 11, 899-919

Semi-invariants of filtered quiver representations with at most two pathways

Authors: Mee Seong Im

Abstract: A pathway from one vertex of a quiver to another is a reduced path. We modify the classical definition of quiver representations and we prove that semi-invariant polynomials for filtered quiver representations come from diagonal entries if and only if the quiver has at most two pathways between any two vertices. Such class of quivers includes finite $ADE$-Dynkin quivers, affine… ▽ More A pathway from one vertex of a quiver to another is a reduced path. We modify the classical definition of quiver representations and we prove that semi-invariant polynomials for filtered quiver representations come from diagonal entries if and only if the quiver has at most two pathways between any two vertices. Such class of quivers includes finite $ADE$-Dynkin quivers, affine $\widetilde{A}\widetilde{D}\widetilde{E}$-Dynkin quivers, star-shaped and comet-shaped quivers. Next, we explicitly write all semi-invariant generators for filtered quiver representations for framed quivers with at most two pathways between any two vertices; this result may be used to study constructions analogous to Nakajima's affine quotient and quiver varieties, which are, in special cases, $\mathfrak{M}_0^{F^{\bullet}}(n,1) := μ_B^{-1}(0)/\!\!/B$ and $\mathfrak{M}^{F^{\bullet}}(n,1) := μ_B^{-1}(0)^s/B$, respectively, where $μ_B:T^*(\mathfrak{b}\times \mathbb{C}^n)\rightarrow \mathfrak{b}^*\cong \mathfrak{gl}_n^*/\mathfrak{u}$, $B$ is the set of invertible upper triangular $n\times n$ complex matrices, $\mathfrak{b}=\lie(B)$, and $\mathfrak{u}\subseteq \mathfrak{b}$ is the biggest unipotent subalgebra. △ Less

Submitted 2 September, 2014; originally announced September 2014.

Comments: 11 pages

Generalized iterated wreath products of symmetric groups and generalized rooted trees correspondence

Authors: Mee Seong Im, Angela Wu

Abstract: Consider the generalized iterated wreath product $S_{r_1}\wr \ldots \wr S_{r_k}$ of symmetric groups. We give a complete description of the traversal for the generalized iterated wreath product. We also prove an existence of a bijection between the equivalence classes of ordinary irreducible representations of the generalized iterated wreath product and orbits of labels on certain rooted trees. We… ▽ More Consider the generalized iterated wreath product $S_{r_1}\wr \ldots \wr S_{r_k}$ of symmetric groups. We give a complete description of the traversal for the generalized iterated wreath product. We also prove an existence of a bijection between the equivalence classes of ordinary irreducible representations of the generalized iterated wreath product and orbits of labels on certain rooted trees. We find a recursion for the number of these labels and the degrees of irreducible representations of the generalized iterated wreath product. Finally, we give rough upper bound estimates for fast Fourier transforms. △ Less

Submitted 8 September, 2018; v1 submitted 2 September, 2014; originally announced September 2014.

Comments: 18 pages, to appear in Advances in the Mathematical Sciences. arXiv admin note: text overlap with arXiv:1409.0603

Generalized iterated wreath products of cyclic groups and rooted trees correspondence

Authors: Mee Seong Im, Angela Wu

Abstract: Consider the generalized iterated wreath product $\mathbb{Z}_{r_1}\wr \mathbb{Z}_{r_2}\wr \ldots \wr \mathbb{Z}_{r_k}$ where $r_i \in \mathbb{N}$. We prove that the irreducible representations for this class of groups are indexed by a certain type of rooted trees. This provides a Bratteli diagram for the generalized iterated wreath product, a simple recursion formula for the number of irreducible… ▽ More Consider the generalized iterated wreath product $\mathbb{Z}_{r_1}\wr \mathbb{Z}_{r_2}\wr \ldots \wr \mathbb{Z}_{r_k}$ where $r_i \in \mathbb{N}$. We prove that the irreducible representations for this class of groups are indexed by a certain type of rooted trees. This provides a Bratteli diagram for the generalized iterated wreath product, a simple recursion formula for the number of irreducible representations, and a strategy to calculate the dimension of each irreducible representation. We calculate explicitly fast Fourier transforms (FFT) for this class of groups, giving literature's fastest FFT upper bound estimate. △ Less

Submitted 8 September, 2018; v1 submitted 1 September, 2014; originally announced September 2014.

Comments: 15 pages, to appear in Advances in the Mathematical Sciences