Source author record

Frantisek Marko

Explore this author’s publications, collaborators and research topics. This catalog record has not been claimed by its author.

ResearcherUnclaimed source record

Catalog footprint

Research overview

13works
7topics
3close collaborators

Published work

13 publications

preprint2020arXiv

A combinatorial approach to Donkin-Koppinen filtrations of general linear supergroups

For a general linear supergroup G=GL(m∣n)G=GL(m|n), we consider a natural isomorphism ϕ:G→U−×Gev×U+ϕ: G \to U^-\times G_{ev} \times U^+, where GevG_{ev} is the even subsupergroup of GG, and U−U^-, U+U^+ are appropriate odd unipotent subsupergroups of GG. We compute the action of odd superderivations on the images ϕ∗(xij)ϕ^*(x_{ij}) of the generators of K[G]K[G]. We describe a specific ordering of the dominant weights X(T)+X(T)^+ of GL(m∣n)GL(m|n) for which there exists a Donkin-Koppinen filtration of the coordinate algebra K[G]K[G]. Let ΓΓ be a finitely generated ideal ΓΓ of X(T)+X(T)^+ and OΓ(K[G])O_Γ(K[G]) be the largest ΓΓ-subsupermodule of K[G]K[G] having simple composition factors of highest weights λ∈Γλ\in Γ. We apply combinatorial techniques, using generalized bideterminants, to determine a basis of GG-superbimodules appearing in Donkin-Koppinen filtration of OΓ(K[G])O_Γ(K[G]).

preprint2020arXiv

Donkin-Koppinen filtration for GL(m|n) and generalized Schur superalgebras

The paper contains results that characterize the Donkin-Koppinen filtration of the coordinate superalgebra K[G]K[G] of the general linear supergroup G=GL(m∣n)G=GL(m|n) by its subsupermodules CΓ=OΓ(K[G])C_Γ=O_Γ(K[G]). Here, the supermodule CΓC_Γ is the largest subsupermodule of K[G]K[G] whose composition factors are irreducible supermodules of highest weight λλ, where λλ belongs to a finitely-generated ideal ΓΓ of the poset X(T)+X(T)^+ of dominant weights of GG. A decomposition of GG as a product of subsuperschemes U−×Gev×U+U^-\times G_{ev}\times U^+ induces a superalgebra isomorphism ϕ∗:K[U−]⊗K[Gev]⊗K[U+]≃K[G]ϕ^* : K[U^-]\otimes K[G_{ev}]\otimes K[U^+]\simeq K[G]. We show that CΓ=ϕ∗(K[U−]⊗MΓ⊗K[U+])C_Γ=ϕ^*(K[U^-]\otimes M_Γ\otimes K[U^+]), where MΓ=OΓ(K[Gev])M_Γ=O_Γ(K[G_{ev}]). Using the basis of the module MΓM_Γ, given by generalized bideterminants, we describe a basis of CΓC_Γ. Since each CΓC_Γ is a subsupercoalgebra of K[G]K[G], its dual CΓ∗=SΓC_Γ^*=S_Γ is a (pseudocompact) superalgebra, called the generalized Schur superalgebra. There is a natural superalgebra morphism πΓ:Dist(G)→SΓπ_Γ:Dist(G)\to S_Γ such that the image of the distribution algebra Dist(G)Dist(G) is dense in SΓS_Γ. For the ideal X(T)l+X(T)^+_{l}, of all weights of fixed length ll, the generators of the kernel of πX(T)l+π_{X(T)^+_{l}} are described.

preprint2020arXiv

Symmetrizers for Schur superalgebras

For the Schur superalgebra S=S(m∣n,r)S=S(m|n,r) over a ground field KK of characteristic zero, we define symmetrizers Tλ[i:j]T^λ[i:j] of the ordered pairs of tableaux Ti,TjT_i, T_j of the shape λλ and show that the KK-span Aλ,KA_{λ,K} of all symmetrizers Tλ[i:j]T^λ[i:j] has a basis consisting of Tλ[i:j]T^λ[i:j] for Ti,TjT_i,T_j semistandard. The SS-superbimodule Aλ,KA_{λ,K} is identified as %Δ(λ)∗⊗K∇(λ)Δ(λ)^*\otimes_K \nabla(λ), where Δ(λ)∗Δ(λ)^* is the dual of the standard supermodule %and ∇(λ)\nabla(λ) is the costandard supermodule of the highest weight λλ. Dλ⊗KDλoD_λ\otimes_K D^o_λ, where DλD_λ and DλoD^o_λ are left and right irreducible SS-supermodules of the highest weight λλ. We define modified symmetrizers Tλ{i:j}T^λ\{i:j\} and show that their Z\mathbb{Z}-span form a Z\mathbb{Z}-form Aλ,ZA_{λ,\mathbb{Z}} of Aλ,QA_{λ, \mathbb{Q}}. We show that every modified symmetrizer Tλ{i:j}T^λ\{i:j\} is a Z\mathbb{Z}-linear combination of symmetrizers Tλ{i:j}T^λ\{i:j\} for Ti,TjT_i, T_j semistandard. Using modular reduction to a field KK of characteristic p>2p>2, we obtain that Aλ,KA_{λ,K} has a basis consisting of modified symmetrizers Tλ{i:j}T^λ\{i:j\} for Ti,TjT_i, T_j semistandard.

preprint2016arXiv

Linkage principle for ortho-symplectic supergroups

The purpose of the paper is to derive linkage principle for modular representations of ortho-symplectic supergroups. We follow the approach of Doty and investigate in detail the representation theory of the orthosymplectic group OSP(2∣1)OSP(2|1) and that of its Frobenius thickening. Using the description of flags and adjacent Borel supersubgroups we derive first the strong linkage for the Frobenius thickening GrTG_rT of the orthosymplectic supergroup GG of type SpO(2m∣2n+1)SpO(2m|2n+1) and SpO(2m∣2n)SpO(2m|2n). Based on this, we derive the linkage principle for orthosymplectic supergroup SpO(2m∣2n+1)SpO(2m|2n+1) and SpO(2m∣2n)SpO(2m|2n).

preprint2016arXiv

Minimal degrees of invariants of (super)groups - a connection to cryptology

We investigate questions related to the minimal degree of invariants of finitely generated diagonalizable groups. These questions were raised in connection to security of a public key cryptosystem based on invariants of diagonalizable groups. We derive results for minimal degrees of invariants of finite groups, abelian groups and algebraic groups. For algebraic groups we relate the minimal degree of the group to the minimal degrees of its tori. Finally, we investigate invariants of certain supergroups that are superanalogs of tori. It is interesting to note that a basis of these invariants is not given by monomials.

preprint2016arXiv

Public-key cryptosystem based on invariants of diagonalizable groups

We develop a public key cryptosystem based on invariants of diagonalizable groups and investigate properties of such cryptosystem first over finite fields, then over number fields and finally over finite rings. We consider the security of these cryptosystem and show that it is necessary to restrict the set of parameters of the system to prevent various attacks (including linear algebra attacks and attacks based on Euclidean algorithm).

preprint2014arXiv

Routh's theorem for simplices

It is shown in our earlier paper that, using only tools of elementary geometry, the classical Routh's theorem for triangles can be fully extended to tetrahedra. In this article we first give another proof of Routh's theorem for tetrahedra where methods of elementary geometry are combined with the inclusion-exclusion principle. Then we generalize this approach to (n−1)−(n-1)- dimensional simplices. A comparison with the formula obtained using vector analysis yields an interesting algebraic identity.

preprint2013arXiv

Irreducibility of induced modules for general linear supergroups

In this note we determine when is an induced module H^0_G(λ), corresponding to a dominant integral highest weight λof the general linear supergroup G=GL(m|n) irreducible. Using the contravariant duality given by the supertrace we obtain a characterization of irreducibility of Weyl modules V(λ). This extends the result of Kac who proved that, for ground fields of characteristic zero, V(λ) is irreducible if and only if λis typical.

preprint2011arXiv

Pseudocompact algebras and highest weight categories

We develop a new approach to highest weight categories C\cal{C} with good (and cogood) posets of weights via pseudocompact algebras by introducing ascending (and descending) quasi-hereditary pseudocompact algebras. For C\cal{C} admitting a Chevalley duality, we define and investigate tilting modules and Ringel duals of the corresponding pseudocompact algebras. Finally, we illustrate all these concepts on an explicit example of the general linear supergroup GL(1∣1)GL(1|1).

Research graph

See the researcher in context

Open full explorer

Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.

Building this map preview

BZPEER is loading the nearby papers, people, topics and institutions for this page.