A descriptive view of unitary group representations

Simon Thomas

Displaying similar documents to “A descriptive view of unitary group representations”

Products of conjugacy classes in finite unitary groups $G U (3, q^{2})$ and $S U (3, q^{2})$

S.Yu. Orevkov (2013)

Annales de la faculté des sciences de Toulouse Mathématiques

Similarity:

For the groups $G U (3)$ , $S U (3)$ , $G L (3)$ , $S U (3)$ over a finite field we solve the class product problem, i.e., we give a complete list of $m$ -tuples of conjugacy classes whose product does not contain the identity matrix.

Locally analytic vectors of unitary principal series of ${GL}_{2} (ℚ_{p})$

Ruochuan Liu, Bingyong Xie, Yuancao Zhang (2012)

Annales scientifiques de l'École Normale Supérieure

Similarity:

The $p$ -adic local Langlands correspondence for ${GL}_{2} (ℚ_{p})$ attaches to any $2$ -dimensional irreducible $p$ -adic representation $V$ of $G_{ℚ_{p}}$ an admissible unitary representation $Π (V)$ of ${GL}_{2} (ℚ_{p})$ . The unitary principal series of ${GL}_{2} (ℚ_{p})$ are those $Π (V)$ corresponding to trianguline representations. In this article, for $p > 2$ , using the machinery of Colmez, we determine the space of locally analytic vectors $Π {(V)}_{an}$ for all non-exceptional unitary principal series $Π (V)$ of ${GL}_{2} (ℚ_{p})$ by proving a conjecture of Emerton.

On the complexity of subspaces of $S_{ω}$

Carlos Uzcátegui (2003)

Fundamenta Mathematicae

Similarity:

Let (X,τ) be a countable topological space. We say that τ is an analytic (resp. Borel) topology if τ as a subset of the Cantor set $2^{X}$ (via characteristic functions) is an analytic (resp. Borel) set. For example, the topology of the Arkhangel’skiĭ-Franklin space $S_{ω}$ is $F_{σ δ}$ . In this paper we study the complexity, in the sense of the Borel hierarchy, of subspaces of $S_{ω}$ . We show that $S_{ω}$ has subspaces with topologies of arbitrarily high Borel rank and it also has subspaces with a non-Borel topology....

Failure of the Factor Theorem for Borel pre-Hilbert spaces

Tadeusz Dobrowolski, Witold Marciszewski (2002)

Fundamenta Mathematicae

Similarity:

In every infinite-dimensional Fréchet space X, we construct a linear subspace E such that E is an $F_{σ δ σ}$ -subset of X and contains a retract R so that $R \times E^{ω}$ is not homeomorphic to $E^{ω}$ . This shows that Toruńczyk’s Factor Theorem fails in the Borel case.

Infinite-Dimensionality modulo Absolute Borel Classes

Vitalij Chatyrko, Yasunao Hattori (2008)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

For each ordinal 1 ≤ α < ω₁ we present separable metrizable spaces $X_{α}$ , $Y_{α}$ and $Z_{α}$ such that (i) $f X_{α}, f Y_{α}, f Z_{α} = ω ₀$ , where f is either trdef or ₀-trsur, (ii) $A (α) - t r i n d X_{α} = \infty$ and $M (α) - t r i n d X_{α} = - 1$ , (iii) $A (α) - t r i n d Y_{α} = - 1$ and $M (α) - t r i n d Y_{α} = \infty$ , and (iv) $A (α) - t r i n d Z_{α} = M (α) - t r i n d Z_{α} = \infty$ and $A (α + 1) \cap M (α + 1) - t r i n d Z_{α} = - 1$ . We also show that there exists no separable metrizable space $W_{α}$ with $A (α) - t r i n d W_{α} \neq \infty$ , $M (α) - t r i n d W_{α} \neq \infty$ and $A (α) \cap M (α) - t r i n d W_{α} = \infty$ , where A(α) (resp. M(α)) is the absolutely additive (resp. multiplicative) Borel class.

Borel classes of uniformizations of sets with large sections

Petr Holický (2010)

Fundamenta Mathematicae

Similarity:

We give several refinements of known theorems on Borel uniformizations of sets with “large sections”. In particular, we show that a set B ⊂ [0,1] × [0,1] which belongs to $Σ ⁰_{α}$ , α ≥ 2, and which has all “vertical” sections of positive Lebesgue measure, has a $Π ⁰_{α}$ uniformization which is the graph of a $Σ ⁰_{α}$ -measurable mapping. We get a similar result for sets with nonmeager sections. As a corollary we derive an improvement of Srivastava’s theorem on uniformizations for Borel sets with $G_{δ}$ sections. ...

Decomposing Borel functions using the Shore-Slaman join theorem

Takayuki Kihara (2015)

Fundamenta Mathematicae

Similarity:

Jayne and Rogers proved that every function from an analytic space into a separable metrizable space is decomposable into countably many continuous functions with closed domains if and only if the preimage of each $F_{σ}$ set under that function is again $F_{σ}$ . Many researchers conjectured that the Jayne-Rogers theorem can be generalized to all finite levels of Borel functions. In this paper, by using the Shore-Slaman join theorem on the Turing degrees, we show the following variant of the Jayne-Rogers...

Hyperspaces of Finite Sets in Universal Spaces for Absolute Borel Classes

Kotaro Mine, Katsuro Sakai, Masato Yaguchi (2005)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

By Fin(X) (resp. $F i n^{k} (X)$ ), we denote the hyperspace of all non-empty finite subsets of X (resp. consisting of at most k points) with the Vietoris topology. Let ℓ₂(τ) be the Hilbert space with weight τ and $ℓ ₂^{f} (τ)$ the linear span of the canonical orthonormal basis of ℓ₂(τ). It is shown that if $E = ℓ ₂^{f} (τ)$ or E is an absorbing set in ℓ₂(τ) for one of the absolute Borel classes $_{α} (τ)$ and $_{α} (τ)$ of weight ≤ τ (α > 0) then Fin(E) and each $F i n^{k} (E)$ are homeomorphic to E. More generally, if X is a connected E-manifold then Fin(X)...

The rectifiable distance in the unitary Fredholm group

Esteban Andruchow, Gabriel Larotonda (2010)

Studia Mathematica

Similarity:

Let $U_{c} ()$ = u: u unitary and u-1 compact stand for the unitary Fredholm group. We prove the following convexity result. Denote by $d_{\infty}$ the rectifiable distance induced by the Finsler metric given by the operator norm in $U_{c} ()$ . If $u ₀, u ₁, u \in U_{c} ()$ and the geodesic β joining u₀ and u₁ in $U_{c} ()$ satisfy $d_{\infty} (u, β) < π / 2$ , then the map $f (s) = d_{\infty} (u, β (s))$ is convex for s ∈ [0,1]. In particular, the convexity radius of the geodesic balls in $U_{c} ()$ is π/4. The same convexity property holds in the p-Schatten unitary groups $U_{p} ()$ = u: u unitary and u-1 in the p-Schatten...

Linear maps preserving $A$ -unitary operators

Abdellatif Chahbi, Samir Kabbaj, Ahmed Charifi (2016)

Mathematica Bohemica

Similarity:

Let $ℋ$ be a complex Hilbert space, $A$ a positive operator with closed range in $ℬ (ℋ)$ and $ℬ_{A} (ℋ)$ the sub-algebra of $ℬ (ℋ)$ of all $A$ -self-adjoint operators. Assume $φ : ℬ_{A} (ℋ)$ onto itself is a linear continuous map. This paper shows that if $φ$ preserves $A$ -unitary operators such that $φ (I) = P$ then $ψ$ defined by $ψ (T) = P φ (P T)$ is a homomorphism or an anti-homomorphism and $ψ (T^{♯}) = ψ {(T)}^{♯}$ for all $T \in ℬ_{A} (ℋ)$ , where $P = A^{+} A$ and $A^{+}$ is the Moore-Penrose inverse of $A$ . A similar result is also true if $φ$ preserves $A$ -quasi-unitary operators in both directions such that there...

Vector invariant ideals of abelian group algebras under the actions of the unitary groups and orthogonal groups

Lingli Zeng, Jizhu Nan (2016)

Czechoslovak Mathematical Journal

Similarity:

Let $F$ be a finite field of characteristic $p$ and $K$ a field which contains a primitive $p$ th root of unity and $char K \neq p$ . Suppose that a classical group $G$ acts on the $F$ -vector space $V$ . Then it can induce the actions on the vector space $V \oplus V$ and on the group algebra $K [V \oplus V]$ , respectively. In this paper we determine the structure of $G$ -invariant ideals of the group algebra $K [V \oplus V]$ , and establish the relationship between the invariant ideals of $K [V]$ and the vector invariant ideals of $K [V \oplus V]$ , if $G$ is a unitary group or orthogonal...

Effective decomposition of σ-continuous Borel functions

Gabriel Debs (2014)

Fundamenta Mathematicae

Similarity:

We prove that if a Δ¹₁ function f with Σ¹₁ domain X is σ-continuous then one can find a Δ¹₁ covering ${(A ₙ)}_{n \in ω}$ of X such that $f_{| A ₙ}$ is continuous for all n. This is an effective version of a recent result by Pawlikowski and Sabok, generalizing an earlier result of Solecki.

A nonsmooth exponential

Esteban Andruchow (2003)

Studia Mathematica

Similarity:

Let ℳ be a type II₁ von Neumann algebra, τ a trace in ℳ, and L²(ℳ,τ) the GNS Hilbert space of τ. If L²(ℳ,τ)₊ is the completion of the set $ℳ_{s a}$ of selfadjoint elements, then each element ξ ∈ L²(ℳ,τ)₊ gives rise to a selfadjoint unbounded operator $L_{ξ}$ on L²(ℳ,τ). In this note we show that the exponential exp: L²(ℳ,τ)₊ → L²(ℳ,τ), $e x p (ξ) = e^{i L_{ξ}}$ , is continuous but not differentiable. The same holds for the Cayley transform $C (ξ) = (L_{ξ} - i) {(L_{ξ} + i)}^{- 1}$ . We also show that the unitary group $U_{ℳ} \subset L ² (ℳ, τ)$ with the strong operator topology is not an...

Explicit construction of a unitary double product integral

R. L. Hudson, Paul Jones (2011)

Banach Center Publications

Similarity:

In analogy with earlier work on the forward-backward case, we consider an explicit construction of the forward-forward double stochastic product integral $\prod^{\to \to} (1 + d r)$ with generator $d r = λ (d A^{†} \otimes d A - d A \otimes d A^{†})$ . The method of construction is to approximate the product integral by a discrete double product $\prod_{(j, k) \in ℕ_{m} \times ℕ ₙ}^{\to \to} Γ (R_{m, n}^{(j, k)}) = Γ (\prod_{(j, k) \in ℕ_{m} \times ℕ ₙ}^{\to \to} (R_{m, n}^{(j, k)}))$ of second quantised rotations $R_{m, n}^{(j, k)}$ in different planes using the embedding of $ℂ^{m} \oplus ℂ ⁿ$ into L²(ℝ) ⊕ L²(ℝ) in which the standard orthonormal bases of $ℂ^{m}$ and ℂⁿ are mapped to the orthonormal sets consisting of normalised indicator...

On the infinite fern of Galois representations of unitary type

Gaëtan Chenevier (2011)

Annales scientifiques de l'École Normale Supérieure

Similarity:

Let $E$ be a CM number field, $p$ an odd prime totally split in $E$ , and let $X$ be the $p$ -adic analytic space parameterizing the isomorphism classes of $3$ -dimensional semisimple $p$ -adic representations of $Gal (\bar{E} / E)$ satisfying a selfduality condition “of type $U (3)$ ”. We study an analogue of the infinite fern of Gouvêa-Mazur in this context and show that each irreducible component of the Zariski-closure of the modular points in $X$ has dimension at least $3 [E : ℚ]$ . As important steps, and in any rank, we prove that any...

Completely bounded lacunary sets for compact non-abelian groups

Kathryn Hare, Parasar Mohanty (2015)

Studia Mathematica

Similarity:

In this paper, we introduce and study the notion of completely bounded $Λ_{p}$ sets ( $Λ_{p}^{c b}$ for short) for compact, non-abelian groups G. We characterize $Λ_{p}^{c b}$ sets in terms of completely bounded $L^{p} (G)$ multipliers. We prove that when G is an infinite product of special unitary groups of arbitrarily large dimension, there are sets consisting of representations of unbounded degree that are $Λ_{p}$ sets for all p < ∞, but are not $Λ_{p}^{c b}$ for any p ≥ 4. This is done by showing that the space of completely bounded $L^{p} (G)$ ...

Borel parts of the spectrum of an operator and of the operator algebra of a separable Hilbert space

Piotr Niemiec (2012)

Studia Mathematica

Similarity:

For a linear operator T in a Banach space let $σ_{p} (T)$ denote the point spectrum of T, let $σ_{p, n} (T)$ for finite n > 0 be the set of all $λ \in σ_{p} (T)$ such that dim ker(T - λ) = n and let $σ_{p, \infty} (T)$ be the set of all $λ \in σ_{p} (T)$ for which ker(T - λ) is infinite-dimensional. It is shown that $σ_{p} (T)$ is $ℱ_{σ}$ , $σ_{p, \infty} (T)$ is $ℱ_{σ δ}$ and for each finite n the set $σ_{p, n} (T)$ is the intersection of an $ℱ_{σ}$ set and a $_{δ}$ set provided T is closable and the domain of T is separable and weakly σ-compact. For closed densely defined operators in a separable Hilbert space a more...

Dual Blobs and Plancherel Formulas

Ju-Lee Kim (2004)

Bulletin de la Société Mathématique de France

Similarity:

Let $k$ be a $p$ -adic field. Let $G$ be the group of $k$ -rational points of a connected reductive group $𝖦$ defined over $k$ , and let $𝔤$ be its Lie algebra. Under certain hypotheses on $𝖦$ and $k$ , wethe tempered dual $\hat{G}$ of $G$ via the Plancherel formula on $𝔤$ , using some character expansions. This involves matching spectral decomposition factors of the Plancherel formulas on $𝔤$ and $G$ . As a consequence, we prove that any tempered representation contains a good minimal $𝖪$ -type; we extend this result to irreducible...

$L_{p, q}$ spaces

Joseph Kupka

Similarity:

CONTENTS1. Introduction...................................................................................................... 52. Notation and basic terminology........................................................................... 73. Definition and basic properties of the $L_{p, q}$ spaces................................. 114. Integral representation of bounded linear functionals on $L_{p, q} (B)$ ........ 235. Examples in $L_{p, q}$ theory...................................................................................

Can $ℬ (ℓ^{p})$ ever be amenable?

Matthew Daws, Volker Runde (2008)

Studia Mathematica

Similarity:

It is known that $ℬ (ℓ^{p})$ is not amenable for p = 1,2,∞, but whether or not $ℬ (ℓ^{p})$ is amenable for p ∈ (1,∞) ∖ 2 is an open problem. We show that, if $ℬ (ℓ^{p})$ is amenable for p ∈ (1,∞), then so are $ℓ^{\infty} (ℬ (ℓ^{p}))$ and $ℓ^{\infty} ((ℓ^{p}))$ . Moreover, if $ℓ^{\infty} ((ℓ^{p}))$ is amenable so is $ℓ^{\infty} (, (E))$ for any index set and for any infinite-dimensional $ℒ^{p}$ -space E; in particular, if $ℓ^{\infty} ((ℓ^{p}))$ is amenable for p ∈ (1,∞), then so is $ℓ^{\infty} ((ℓ^{p} \oplus ℓ ²))$ . We show that $ℓ^{\infty} ((ℓ^{p} \oplus ℓ ²))$ is not amenable for p = 1,∞, but also that our methods fail us if p ∈ (1,∞). Finally, for p ∈ (1,2) and a free ultrafilter over...

Complete pairs of coanalytic sets

Jean Saint Raymond (2007)

Fundamenta Mathematicae

Similarity:

Let X be a Polish space, and let C₀ and C₁ be disjoint coanalytic subsets of X. The pair (C₀,C₁) is said to be complete if for every pair (D₀,D₁) of disjoint coanalytic subsets of $ω^{ω}$ there exists a continuous function $f : ω^{ω} \to X$ such that $f^{- 1} (C ₀) = D ₀$ and $f^{- 1} (C ₁) = D ₁$ . We give several explicit examples of complete pairs of coanalytic sets.

More reflections on compactness

Lúcia R. Junqueira, Franklin D. Tall (2003)

Fundamenta Mathematicae

Similarity:

We consider the question of when $X_{M} = X$ , where $X_{M}$ is the elementary submodel topology on X ∩ M, especially in the case when $X_{M}$ is compact.

Spaces with property $(D C (ω_{1}))$

Wei-Feng Xuan, Wei-Xue Shi (2017)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We prove that if $X$ is a first countable space with property $(D C (ω_{1}))$ and with a $G_{δ}$ -diagonal then the cardinality of $X$ is at most $𝔠$ . We also show that if $X$ is a first countable, DCCC, normal space then the extent of $X$ is at most $𝔠$ .

$F_{σ}$ -mappings and the invariance of absolute Borel classes

Petr Holický, Jiří Spurný (2004)

Fundamenta Mathematicae

Similarity:

It is proved that $F_{σ}$ -mappings preserve absolute Borel classes, which improves results of R. W. Hansell, J. E. Jayne and C. A. Rogers. The proof is based on the fact that any $F_{σ}$ -mapping f: X → Y of an absolute Suslin metric space X onto an absolute Suslin metric space Y becomes a piecewise perfect mapping when restricted to a suitable $F_{σ}$ -set $X_{\infty} \subset X$ satisfying $f (X_{\infty}) = Y$ .

Relations between Shy Sets and Sets of $ν_{p}$ -Measure Zero in Solovay’s Model

G. Pantsulaia (2004)

Bulletin of the Polish Academy of Sciences. Mathematics

Similarity:

An example of a non-zero non-atomic translation-invariant Borel measure $ν_{p}$ on the Banach space $ℓ_{p} (1 \leq p \leq \infty)$ is constructed in Solovay’s model. It is established that, for 1 ≤ p < ∞, the condition " $ν_{p}$ -almost every element of $ℓ_{p}$ has a property P" implies that “almost every” element of $ℓ_{p}$ (in the sense of [4]) has the property P. It is also shown that the converse is not valid.

Product decompositions of quasirandom groups and a Jordan type theorem

Nikolay Nikolov, László Pyber (2011)

Journal of the European Mathematical Society

Similarity:

We first note that a result of Gowers on product-free sets in groups has an unexpected consequence: If $k$ is the minimal degree of a representation of the finite group $G$ , then for every subset $B$ of $G$ with $| B | > | G | / k^{1 / 3}$ we have $B^{3} = G$ . We use this to obtain improved versions of recent deep theorems of Helfgott and of Shalev concerning product decompositions of finite simple groups, with much simpler proofs. On the other hand, we prove a version of Jordan’s theorem which implies that if $k \geq 2$ , then $G$ has a...

Trivialization of $𝒞 (X)$ -algebras with strongly self-absorbing fibres

Marius Dadarlat, Wilhelm Winter (2008)

Bulletin de la Société Mathématique de France

Similarity:

Suppose $A$ is a separable unital $𝒞 (X)$ -algebra each fibre of which is isomorphic to the same strongly self-absorbing and $K_{1}$ -injective $C^{*}$ -algebra $𝒟$ . We show that $A$ and $𝒞 (X) \otimes 𝒟$ are isomorphic as $𝒞 (X)$ -algebras provided the compact Hausdorff space $X$ is finite-dimensional. This statement is known not to extend to the infinite-dimensional case.