Source author record

Ronald G. Douglas

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

ResearcherUnclaimed source record

Catalog footprint

What is connected

22works
9topics
4close collaborators

Actions

Connect this record

Log in to claim

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.

Published work

22 published item(s)

preprint2022arXiv

On the $p$-essential normality of principal submodules of the Bergman module on strongly pseudoconvex domains

In this paper, we show that under a mild condition, a principal submodule of the Bergman module on a bounded strongly pseudoconvex domain with smooth boundary in $\mathbb{C}^n$ is $p$-essentially normal for all $p>n$. This improves a previous result by the first author and K. Wang, in which it was shown that any polynomial-generated principal submodule of the Bergman module on the unit ball $\mathbb{B}_n$ is $p$-essentially normal for all $p>n$. As a consequence, we show that the submodule of $L_a^2(\mathbb{B}_n)$ consisting of functions vanishing on an analytic subset of pure codimension $1$ is $p$-essentially normal for all $p>n$.

preprint2020arXiv

Hermitian geometry on resolvent set(I)

For a tuple $A=(A_1,\ A_2,\ ...,\ A_n)$ of elements in a unital Banach algebra ${\mathcal B}$, its projective joint spectrum $P(A)$ is the collection of $z\in {\mathbb C}^n$ such that $A(z)=z_1A_1+z_2A_2+\cdots +z_nA_n$ is not invertible. It is known that the ${\mathcal B}$-valued $1$-form $ω_A(z)=A^{-1}(z)dA(z)$ contains much topological information about the joint resolvent set $P^c(A)$. This paper studies geometric properties of $P^c(A)$ with respect to Hermitian metrics defined through the ${\mathcal B}$-valued {\em fundamental form} $Ω_A=-ω^*_A\wedge ω_A$ and its coupling with faithful states $ϕ$ on ${\mathcal B}$, i.e. $ϕ(Ω_A)$. The connection between the tuple $A$ and the metric is the main subject of this paper. In particular, it shows that the Kählerness of the metric is tied with the commutativity of the tuple, and its completeness is related to the Fuglede-Kadison determinant.

preprint2016arXiv

Geometric Arveson-Douglas Conjecture and Holomorphic Extension

In this paper we introduce techniques from complex harmonic analysis to prove a weaker version of the Geometric Arveson-Douglas Conjecture for complex analytic subsets that is smooth on the boundary of the unit ball and intersects transversally with it. In fact, we prove that the projection operator onto the corresponding quotient module is in the Toeplitz algebra $\mathcal{T}(L^{\infty})$, which implies the essential normality of the quotient module. Combining some other techniques we actually obtain the $p$-essential normality for $p>2d$, where $d$ is the complex dimension of the analytic subset. Finally, we show that our results apply for the closure of a radical polynomial ideal $I$ whose zero variety satisfies the above conditions. A key technique is defining a right inverse operator of the restriction map from the unit ball to the analytic subset generalizing the result of Beatrous's paper "$L^p$-estimates for extensions of holomorphic functions".

preprint2014arXiv

An Analytic Grothendieck Riemann Roch Theorem

We extend the Boutet de Monvel Toeplitz index theorem to complex manifold with isolated singularities following the relative $K$-homology theory of Baum, Douglas, and Taylor for manifold with boundary. We apply this index theorem to study the Arveson-Douglas conjecture. Let $\ball^m$ be the unit ball in $\mathbb{C}^m$, and $I$ an ideal in the polynomial algebra $\mathbb{C}[z_1, \cdots, z_m]$. We prove that when the zero variety $Z_I$ is a complete intersection space with only isolated singularities and intersects with the unit sphere $\mathbb{S}^{2m-1}$ transversely, the representations of $\mathbb{C}[z_1, \cdots, z_m]$ on the closure of $I$ in $L^2_a(\ball^m)$ and also the corresponding quotient space $Q_I$ are essentially normal. Furthermore, we prove an index theorem for Toeplitz operators on $Q_I$ by showing that the representation of $\mathbb{C}[z_1, \cdots, z_m]$ on the quotient space $Q_I$ gives the fundamental class of the boundary $Z_I\cap \mathbb{S}^{2m-1}$. In the appendix, we prove with Kai Wang that if $f\in L^2_a(\ball^m)$ vanishes on $Z_I\cap \ball ^m$, then $f$ is contained inside the closure of the ideal $I$ in $L^2_a(\ball^m)$.

preprint2014arXiv

Generalized Bundle Shift with Application to Multiplication operator on the Bergman space

Following upon results of Putinar, Sun, Wang, Zheng and the first author, we provide models for the restrictions of the multiplication by a finite Balschke product on the Bergman space in the unit disc to its reducing subspaces. The models involve a generalization of the notion of bundle shift on the Hardy space introduced by Abrahamse and the first author to the Bergman space. We develop generalized bundle shifts on more general domains. While the characterization of the bundle shift is rather explicit, we have not been able to obtain all the earlier results appeared, in particular, the facts that the number of the minimal reducing subspaces equals the number of connected components of the Riemann surface $B(z)=B(w)$ and the algebra of commutant of $T_{B}$ is commutative, are not proved. Moreover, the role of the Riemann surface is not made clear also.

preprint2014arXiv

Transitivity and bundle shifts

A subalgebra $A$ of the algebra $B(\mathcal{H})$ of bounded linear operators on a separable Hilbert space $\mathcal{H}$ is said to be catalytic if every transitive subalgebra $\mathcal{T}\subset B(\mathcal{H})$ containing it is strongly dense. We show that for a hypo-Dirichlet or logmodular algebra, $A=H^{\infty}(m)$ acting on a generalized Hardy space $H^{2}(m)$ for a representing measure $m$ that defines a reproducing kernel Hilbert space is catalytic. For the case of a nice finitely-connected domain, we show that the "holomorphic functions" of a bundle shift yields a catalytic algebra, thus generalize a result of Bercovici, Foias, Pearcy and the first author[7].

preprint2012arXiv

Connections of the Corona Problem with Operator Theory and Complex Geometry

The corona problem was motivated by the question of the density of the open unit disk D in the maximal ideal space of the algebra, H1(D), of bounded holomorphic functions on D. In this note we study relationships of the problem with questions in operator theory and complex geometry. We use the framework of Hilbert modules focusing on reproducing kernel Hilbert spaces of holomorphic functions on a domain, in Cm. We interpret several of the approaches to the corona problem from this point of view. A few new observations are made along the way. 2012 MSC: 46515, 32A36, 32A70, 30H80, 30H10, 32A65, 32A35, 32A38 Keywords: corona problem, Hilbert modules, reproducing kernel Hilbert space, commutant lifting theorem 1

preprint2012arXiv

Curvature invariant and generalized canonical Operator models - I

One can view contraction operators given by a canonical model of Sz.-Nagy and Foias as being defined by a quotient module where the basic building blocks are Hardy spaces. In this note we generalize this framework to allow the Bergman and weighted Bergman spaces as building blocks, but restricting attention to the case in which the operator obtained is in the Cowen-Douglas class and requiring the multiplicity to be one. We view the classification of such operators in the context of complex geometry and obtain a complete classification up to unitary equivalence of them in terms of their associated vector bundles and their curvatures.

preprint2012arXiv

Some Remarks On Essentially Normal Submodules

Given a *-homomorphism $σ: C(M)\to \mathscr{L}(\mathcal{H})$ on a Hilbert space $\mathcal{H}$ for a compact metric space $M$, a projection $P$ onto a subspace $\mathcal{P}$ in $\mathcal{H}$ is said to be essentially normal relative to $σ$ if $[σ(φ),P]\in \mathcal{K}$ for $φ\in C(M)$, where $\mathcal{K}$ is the ideal of compact operators on $\mathcal{H}$. In this note we consider two notions of span for essentially normal projections $P$ and $Q$, and investigate when they are also essentially normal. First, we show the representation theorem for two projections, and relate these results to Arveson's conjecture for the closure of homogenous polynomial ideals on the Drury-Arveson space. Finally, we consider the relation between the relative position of two essentially normal projections and the $K$ homology elements defined for them.

preprint2012arXiv

Spectral multiplicity and odd K-theory-II

Let {D_x} be a family of unbounded self-adjoint Fredholm operators representing an element of K^1(M). Consider the first two components of the Chern character of the family. It is known that these correspond to the spectral flow of the family and the index gerbe. In this paper we consider descriptions of these classes, both of which are in the spirit of holonomy. These are then studied for families parametrized by a closed 3-manifold. A connection between the multiplicity of the spectrum (and how it varies) and these classes is developed.

preprint2011arXiv

A geometric approach to finite rank unitary perturbations

For a fixed natural number n, we consider a family of rank n unitary perturbations of a completely non-unitary contraction (cnu) with deficiency indices (n,n) on a separable Hilbert space. We relate the unitary dilation of such a contraction to its rank n unitary perturbations. Based on this construction, we prove that the spectra of the perturbed operators are purely singular if and only if the operator-valued characteristic function corresponding to the unperturbed operator is inner. In the case where n=1 the latter statement reduces to a well-known result in the theory of rank one perturbations. However, our method of proof via the theory of dilations extends to the case of arbitrary n. We find a formula for the operator-valued characteristic functions corresponding to a family of related cnu contractions. In the case where n=1, the characteristic function of the original contraction we obtain a simple expression involving the normalized Cauchy transform of a certain measure. An application of this representation then enables us to control the jump behavior of this normalized Cauchy transform "across" the unit circle.

preprint2011arXiv

A harmonic analysis approach to essential normality of principal submodules

Guo and the second author have shown that the closure $[I]$ in the Drury-Arveson space of a homogeneous principal ideal $I$ in $\mathbb{C}[z_1,...,z_n]$ is essentially normal. In this note, the authors extend this result to the closure of any principal polynomial ideal in the Bergman space. In particular, the commutators and cross-commutators of the restrictions of the multiplication operators are shown to be in the Schatten $p $-class for $p>n$. The same is true for modules generated by polynomials with vector-valued coefficients. Further, the maximal ideal space $X_I$ of the resulting $C^\ast$-algebra for the quotient module is shown to be contained in $Z(I)\cap \partial\mathbb{B}_n$, where $Z(I)$ is the zero variety for $I$, and to contain all points in $\partial\mathbb{B}_n$ that are limit points of $Z(I)\cap \mathbb{B}_n$. Finally, the techniques introduced enable one to study a certain class of weight Bergman spaces on the ball.

preprint2011arXiv

Every finitely generated group is weakly exact

We show that every finitely generated group admits weak analogues of an invariant expectation, whose existence characterizes exact groups. This fact has a number of applications. We show that Hopf $G$-modules are relatively injective, which implies that bounded cohomology groups with coefficients in all Hopf $G$-modules vanish in all positive degrees. We also prove a general fixed point theorem for actions of finitely generated groups on $\ell_{\infty}$-type spaces. Finally, we define the notion of weak exactness for certain Banach algebras.

preprint2011arXiv

Reducing subspaces for analytic multipliers of the Bergman space

We answer affirmatively the problem left open in \cite{DSZ,GSZZ} and prove that for a finite Blaschke product $ϕ$, the minimal reducing subspaces of the Bergman space multiplier $M_ϕ$ are pairwise orthogonal and their number is equal to the number $q$ of connected components of the Riemann surface of $ϕ^{-1}\circ ϕ$. In particular, the double commutant $\{M_ϕ,M_ϕ^\ast\}'$ is abelian of dimension $q$. An analytic/arithmetic description of the minimal reducing subspaces of $M_ϕ$ is also provided, along with a list of all possible cases in degree of $ϕ$ equal to eight.

preprint2010arXiv

Contractive Hilbert modules and their dilations

In this note, we show that a quasi-free Hilbert module R defined over the polydisk algebra with kernel function k(z, w) admits a unique minimal dilation (actually an isometric co-extension) to the Hardy module over the polydisk if and only if S^{-1}(z, w) k(z, w) is a positive kernel function, where S(z, w) is the Szegö kernel for the polydisk. Moreover, we establish the equivalence of such a factorization of the kernel function and a positivity condition, defined using the hereditary functional calculus, which was introduced earlier by Athavale \cite{Ath} and Ambrozie, Englis and Müller. An explicit realization of the dilation space is given along with the isometric embedding of the module R in it. The proof works for a wider class of Hilbert modules in which the Hardy module is replaced by more general quasi-free Hilbert modules such as the classical spaces on the polydisk or the unit ball in {C}^m. Some consequences of this more general result are then explored in the case of several natural function algebras.

preprint2010arXiv

Invariant expectations and vanishing of bounded cohomology for exact groups

We study exactness of groups and establish a characterization of exact groups in terms of the existence of a continuous linear operator, called an invariant expectation, whose properties make it a weak counterpart of an invariant mean on a group. We apply this operator to show that exactness of a finitely generated group $G$ implies the vanishing of the bounded cohomology of $G$ with coefficients in a new class of modules, which are defined using the Hopf algebra structure of $\ell_1(G)$.

preprint2010arXiv

Resolutions of Hilbert Modules and Similarity

Let H^2_m be the Drury-Arveson (DA) module which is the reproducing kernel Hilbert space with the kernel function (z, w) \in B^m \times B^m \raro (1 - <z,w>)^{-1}. We investigate for which multipliers θ: \mathbb{B}^m \raro \cll(\cle, \cle_*) the quotient module \clh_θ is similar to H^2_m \otimes \clf for some Hilbert space \clf, where M_θ is the corresponding multiplication operator in \cll(H^2_m \otimes \cle, H^2_m \otimes \cle_*) for Hilbert spaces \cle and \cle_* and \clh_θ is the quotient module (H^2_m \otimes \cle_*)/ {clos} [M_θ(H^2_m \otimes \cle)]. We show that a necessary condition is the existence of a multiplier $ψ$ in \clm(\cle_*, \cle) such that θψθ= θ. Moreover, we show that the converse is equivalent to a structure theorem for complemented submodules of H^2_m \otimes \cle for a Hilbert space \cle, which is valid for the case of m=1. The latter result generalizes a known theorem on similarity to the unilateral shift, but the above statement is new. Further, we show that a finite resolution of DA-modules of arbitrary multiplicity using partially isometric module maps must be trivial. Finally, we discuss the analogous questions when the underlying operator tuple or algebra is not necessarily commuting. In this case the converse to the similarity result is always valid.