Source author record

Juan Tirao

Juan Tirao appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.

ResearcherUnclaimed source record

math.RT math.CA

Catalog footprint

What is connected

4works

2topics

4close collaborators

Actions

Connect this record

Open graph Browse works

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.

preprint2016arXiv

Reducibility of Matrix Weights

In this paper we discuss the notion of reducibility for matrix weights and introduce a real vector space $\mathcal C_\mathbb{R}$ which encodes all information about the reducibility of $W$. In particular a weight $W$ reduces if and only if there is a non-scalar matrix $T$ such that $TW=WT^*$. Also, we prove that reducibility can be studied by looking at the commutant of the monic orthogonal polynomials or by looking at the coefficients of the corresponding three term recursion relation. A matrix weight may not be expressible as direct sum of irreducible weights, but it is always equivalent to a direct sum of irreducible weights. We also establish that the decompositions of two equivalent weights as sums of irreducible weights have the same number of terms and that, up to a permutation, they are equivalent. We consider the algebra of right-hand-side matrix differential operators $\mathcal D(W)$ of a reducible weight $W$, giving its general structure. Finally, we make a change of emphasis by considering reducibility of polynomials, instead of reducibility of matrix weights.

preprint2015arXiv

Pre-sequences of matrix orthogonal polynomials

We introduce the notion of a pre-sequence of matrix orthogonal polynomials to mean a sequence {F_n} of matrix orthogonal functions with respect to a weight function W, satisfying a three term recursion relation and such that det(F_0) is not zero almost everywhere. By now there is a uniform construction of such sequences from irreducible spherical functions of some fixed K-types associated to compact symmetric pairs (G,K) of rank one. Our main result is that {Q_n=F_nF_0^{-1}} is a sequence of matrix orthogonal polynomials with respect to the weight function F_0WF_0*, see Theorem 2.1.

preprint2013arXiv

Spherical Functions Associated With the Three Dimensional Sphere

In this paper, we determine all irreducible spherical functions Φof any K -type associated to the pair (G,K)=(\SO(4),\SO(3)). This is accomplished by associating to Φa vector valued function H=H(u) of a real variable u, which is analytic at u=0 and whose components are solutions of two coupled systems of ordinary differential equations. By an appropriate conjugation involving Hahn polynomials we uncouple one of the systems. Then this is taken to an uncoupled system of hypergeometric equations, leading to a vector valued solution P=P(u) whose entries are Gegenbauer's polynomials. Afterward, we identify those simultaneous solutions and use the representation theory of \SO(4) to characterize all irreducible spherical functions. The functions P=P(u) corresponding to the irreducible spherical functions of a fixed K-type π_\ell are appropriately packaged into a sequence of matrix valued polynomials (P_w)_{w\ge0} of size (\ell+1)\times(\ell+1). Finally we proved that \widetilde P_w={P_0}^{-1}P_w is a sequence of matrix orthogonal polynomials with respect to a weight matrix W. Moreover we showed that W admits a second order symmetric hypergeometric operator \widetilde D and a first order symmetric differential operator \widetilde E.

preprint2011arXiv

The image of the Lepowsky homomorphism for the group $F_4$

Let $G_o$ be a semisimple Lie group, let $K_o$ be a maximal compact subgroup of $G_o$ and let $\mathfrak{k}\subset\mathfrak{g}$ denote the complexification of their Lie algebras. Let $G$ be the adjoint group of $\mathfrak{g}$ and let $K$ be the connected Lie subgroup of $G$ with Lie algebra $ad(\mathfrak{k})$. If $U(\mathfrak{g})$ is the universal enveloping algebra of $\mathfrak{g}$ then $U(\mathfrak{g})^K$ will denote the centralizer of $K$ in $U(\mathfrak{g})$. Also let $P:U(\mathfrak{g})\longrightarrow U(\mathfrak{k})\otimes U(\mathfrak{a})$ be the projection map corresponding to the direct sum $U(\mathfrak{g})=\bigl(U(\mathfrak{k})\otimes U(\mathfrak{a})\bigr)\oplus U(\mathfrak{g})\mathfrak{n}$ associated to an Iwasawa decomposition of $G_o$ adapted to $K_o$. In this paper we give a characterization of the image of $U(\mathfrak{g})^K$ under the injective antihomorphism $P:U(\mathfrak{g})^K\longrightarrow U(\mathfrak{k})^M\otimes U(\mathfrak{a})$, considered by Lepowsky, when $G_o$ is locally isomorphic to F$_4$.