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.

Generalized symmetry classes of tensors

Gholamreza Rafatneshan, Yousef Zamani (2020)

Czechoslovak Mathematical Journal

Similarity:

Let $V$ be a unitary space. For an arbitrary subgroup $G$ of the full symmetric group $S_{m}$ and an arbitrary irreducible unitary representation $Λ$ of $G$ , we study the generalized symmetry class of tensors over $V$ associated with $G$ and $Λ$ . Some important properties of this vector space are investigated.

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.

Characterizing projective general unitary groups ${PGU}_{3} (q^{2})$ by their complex group algebras

Farrokh Shirjian, Ali Iranmanesh (2017)

Czechoslovak Mathematical Journal

Similarity:

Let $G$ be a finite group. Let $X_{1} (G)$ be the first column of the ordinary character table of $G$ . We will show that if $X_{1} (G) = X_{1} ({PGU}_{3} (q^{2}))$ , then $G ≅ {PGU}_{3} (q^{2})$ . As a consequence, we show that the projective general unitary groups ${PGU}_{3} (q^{2})$ are uniquely determined by the structure of their complex group algebras.

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...

Remarks on WDC sets

Dušan Pokorný, Luděk Zajíček (2021)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

We study WDC sets, which form a substantial generalization of sets with positive reach and still admit the definition of curvature measures. Main results concern WDC sets $A \subset ℝ^{2}$ . We prove that, for such $A$ , the distance function $d_{A} = dist (\cdot, A)$ is a “DC aura” for $A$ , which implies that each closed locally WDC set in $ℝ^{2}$ is a WDC set. Another consequence is that compact WDC subsets of $ℝ^{2}$ form a Borel subset of the space of all compact sets.

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...

Invariant symbolic calculus for semidirect products

Benjamin Cahen (2018)

Commentationes Mathematicae Universitatis Carolinae

Similarity:

Let $G$ be the semidirect product $V ⋊ K$ where $K$ is a connected semisimple non-compact Lie group acting linearly on a finite-dimensional real vector space $V$ . Let $π$ be a unitary irreducible representation of $G$ which is associated by the Kirillov-Kostant method of orbits with a coadjoint orbit of $G$ whose little group is a maximal compact subgroup of $K$ . We construct an invariant symbolic calculus for $π$ , under some technical hypothesis. We give some examples including the Poincaré group. ...

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...