arXiv Science⌕ Search

arXiv subjects

Andrew Raich

Publications and source records attributed to Andrew Raich.

At least 19 recordsLinked to original sources
arXiv2024

Global regularity for the $\bar\partial$-Neumann problem on pseudoconvex manifolds

We establish general sufficient conditions for exact (and global) regularity in the $\bar\partial$-Neumann problem on $(p,q)$-forms, $0 \leq p \leq n$ and $1\leq q \leq n$, on a pseudoconvex domain $\Omega$ with smooth boundary $b\Omega$ in an $n$-dimensional complex manifold $M$. Our hypotheses include two assumptions: 1) $M$ admits a function that is strictly plurisubharmonic acting on $(p_0,q_0)$-forms in a neighborhood of $b\Omega$ for some fixed $0 \leq p_0 \leq n$, $1 \leq q_0 \leq n$, or $M$ is a K\"ahler metric whose holomorphic bisectional curvature acting $(p,q)$-forms is positive; and 2) there exists a family of vector fields $T_\epsilon$ that are transverse to the boundary $b\Omega$ and generate one forms, which when applied to $(p,q)$-forms, $0 \leq p \leq n$ and $q_0 \leq q \leq n$, satisfy a "weak form" of the compactness estimate. We also provide examples and applications of our main theorems.

math.CV↗
arXiv2024

The $\bar\partial$-problem on $Z(q)$-domains

Given a complex manifold containing a relatively compact $Z(q)$ domain, we give sufficient geometric conditions on the domain so that its $L^2$-cohomology in degree $(p,q)$ (known to be finite dimensional) vanishes. The condition consists of the existence of a smooth weight function in a neighborhood of the closure of the domain, where the complex Hessian of the weight has a prescribed number of eigenvalues of a particular sign, along with good interaction at the boundary of the Levi form with the complex Hessian, encoded in a subbundle of common positive directions for the two Hermitian forms.

math.CV↗
arXiv2022

Maximal Estimates for the $\bar\partial$-Neumann Problem on Non-pseudoconvex domains

It is well known that elliptic estimates fail for the $\bar\partial$-Neumann problem. Instead, the best that one can hope for is that derivatives in every direction but one can be estimated by the associated Dirichlet form, and when this happens, we say that the $\bar\partial$-Neumann problem satisfies maximal estimates. In the pseudoconvex case, a necessary and sufficient geometric condition for maximal estimates has been derived by Derridj (for $(0,1)$-forms) and Ben Moussa (for $(0,q)$-forms when $q\geq 1$). In this paper, we explore necessary conditions and sufficient conditions for maximal estimates in the non-pseudoconvex case. We also discuss when the necessary conditions and sufficient conditions agree and provide examples. Our results subsume the earlier known results from the pseudoconvex case.

math.CV↗
arXiv2021

The Fundamental Solution to $\Box_b$ on Quadric Manifolds -- Part 4. Nonzero Eigenvalues

This paper is the fourth of a multi-part series in which we study the geometric and analytic properties of the Kohn Laplacian and its inverse on general quadric submanifolds of $\mathbb{C}^n\times\mathbb{C}^m$. The goal of this article is explore the complex Green operator in the case that the eigenvalues of the directional Levi forms are nonvanishing. We 1) investigate the geometric conditions on $M$ which the eigenvalue condition forces, 2) establish optimal pointwise upper bounds on complex Green operator and its derivatives, 3) explore the $L^p$ and $L^p$-Sobolev mapping properties of the associated kernels, and 4) provide examples.

math.CV↗
arXiv2021

The Fundamental Solution to $\Box_b$ on Quadric Manifolds -- Part 1. General Formulas

This paper is the first of a three part series in which we explore geometric and analytic properties of the Kohn Laplacian and its inverse on general quadric submanifolds of $\mathbb{C}^n\times\mathbb{C}^m$. In this paper, we present a streamlined calculation for a general integral formula for the complex Green operator $N$ and the projection onto the nullspace of $\Box_b$. The main application of our formulas is the critical case of codimension two quadrics in $\mathbb{C}^4$ where we discuss the known solvability and hypoellipticity criteria of Peloso and Ricci \cite{PeRi03}. We also provide examples to show that our formulas yield explicit calculations in some well-known cases: the Heisenberg group and a Cartesian product of Heisenberg groups.

math.CV↗
arXiv2019

Closed range estimates for $\bar\partial_b$ on CR manifolds of hypersurface type

The purpose of this paper is to establish sufficient conditions for closed range estimates on $(0,q)$-forms, for some fixed $q$, $1 \leq q \leq n-1$, for $\bar\partial_b$ in both $L^2$ and $L^2$-Sobolev spaces in embedded, not necessarily pseudoconvex CR manifolds of hypersurface type. The condition, named weak $Y(q)$, is both more general than previously established sufficient conditions and easier to check. Applications of our estimates include estimates for the Szeg\"o projection as well as an argument that the harmonic forms have the same regularity as the complex Green operator. We use a microlocal argument and carefully construct a norm that is well-suited for a microlocal decomposition of form. We do not require that the CR manifold is the boundary of a domain. Finally, we provide an example that demonstrates that weak $Y(q)$ is an easier condition to verify than earlier, less general conditions.

math.CV↗
arXiv2019

Strong Closed Range Estimates: Necessary Conditions and Applications

The $L^2$ theory of the $\bar\partial$ operator on domains in $\mathbb{C}^n$ is predicated on establishing a good basic estimate. Typically, one proves not a single basic estimate but a family of basic estimates that we call a family of strong closed range estimates. Using this family of estimates on $(0,q)$-forms as our starting point, we establish necessary geometric and potential theoretic conditions. The paper concludes with several applications. We investigate the consequences for compactness estimates for the $\bar\partial$-Neumann problem, and we also establish a generalization of Kohn's weighted theory via elliptic regularization. Since our domains are not necessarily pseudoconvex, we must take extra care with the regularization.

math.CV↗
arXiv2018

Boundary invariants and the closed range property for $\bar\partial$

This paper provides a connection between two distinct branches of research in CR geometry -- namely, analytic and geometric conditions that suffice to establish the closed range of the Cauchy-Riemann operator and CR invariants on CR manifolds. Specifically, we work on not necessarily pseudoconvex domains $\Omega\subset\mathbb{C}^n$ and define third and fourth order CR invariants on $\bd\Om$ and show that these invariants provide enough information to establish closed range for the $\bar\partial$-Laplacian in $L^2_{(0,q)}(\Omega)$ for a given, fixed $q$. The closed range estimates follow from our previously defined weak $Z(q)$ condition. We also develop powerful linear algebra machinery to translate the information from the invariants into information about the Levi form and its eigenvalues. We conclude with several examples that demonstrate the usefulness and ease of use of the new conditions.

math.CV↗
arXiv2017

The Bergman Kernel on Forms: General Theory

The goal of this note is to explore the Bergman projection on forms. In particular, we show that some of most basic facts used to construct the Bergman kernel on functions, such as pointwise evaluation in $L^2_{0,q}(\Omega)\cap\ker\bar\partial_q$, fail for $(0,q)$-forms, $q \geq 1$. We do, however, provide a careful construction of the Bergman kernel and explicitly compute the Bergman kernel on $(0,n-1)$-forms. For the ball in $\mathbb{C}^2$, we also show that the size of the Bergman kernel on $(0,1)$-forms is not governed by the control metric, in stark contrast to Bergman kernel on functions.

math.CV↗
arXiv2016

The Kohn-Laplace equation on abstract CR manifolds: Global regularity

Let $M$ be a compact, pseudoconvex-oriented, $(2n+1)$-dimensional, abstract CR manifold of hypersurface type, $n\geq 2$. We prove the following: (i) If $M$ admits a strictly CR-plurisubharmonic function on $(0,q_0)$-forms, then the complex Green operator $G_q$ exists and is continuous on $L^2_{0,q}(M)$ for degrees $q_0\le q\le n-q_0$. In the case that $q_0=1$, we also establish continuity for $G_0$ and $G_n$. Additionally, the $\bar\partial_b$-equation on $M$ can be solved in $C^\infty(M)$. (ii) If $M$ satisfies "a weak compactness property" on $(0,q_0)$-forms, then $G_q$ is a continuous operator on $H^s_{0,q}(M)$ and is therefore globally regular on $M$ for degrees $q_0\le q\le n-q_0$; and also for the top degrees $q=0$ and $q=n$ in the case $q_0=1$. We also introduce the notion of a "plurisubharmonic CR manifold" and show that it generalizes the notion of "plurisubharmonic defining function" for a a domain in $\mathbb C^N$ and implies that $M$ satisfies the weak compactness property.

math.CV↗
arXiv2015

A remark on boundary estimates on unbounded $Z(q)$ domains in $\mathbb{C}^n$

The goal of this note is to explore the relationship between the Folland-Kohn basic estimate and the $Z(q)$-condition. In particular, on unbounded pseudoconvex (resp., pseudoconcave) domains, we prove that the Folland-Kohn basic estimate is equivalent to uniform strict pseudoconvexity (resp., pseudoconcavity). As a corollary, we observe that despite the Siegel upper half space being strictly pseudoconvex and biholomorphic to a the unit ball, it fails to satisfy uniform strict pseudoconvexity and hence the Folland-Kohn basic estimate fails. On unbounded non-pseudoconvex domains, we show that the Folland-Kohn basic estimate on $(0,q)$-forms implies a uniform $Z(q)$ condition, and conversely, that a uniform $Z(q)$ condition with some additional hypotheses implies the Folland-Kohn basic estimate for $(0,q)$-forms.

math.CV↗
arXiv2015

Schr\"odinger Operators With $A_\infty$ Potentials

We study the heat kernel $p(x,y,t)$ associated to the real Schr\"odinger operator $H = -\Delta + V$ on $L^2(\mathbb{R}^n)$, $n \geq 1$. Our main result is a pointwise upper bound on $p$ when the potential $V \in A_\infty$. In the case that $V\in RH_\infty$, we also prove a lower bound. Additionally, we compute $p$ explicitly when $V$ is a quadratic polynomial.

math.AP↗
arXiv2015

Green's function asymptotics near the internal edges of spectra of periodic elliptic operators. Spectral gap interior

Precise asymptotics known for the Green function of the Laplacian have found their analogs for bounded below periodic elliptic operators of the second-order below and at the bottom of the spectrum. Due to the band-gap structure of the spectra of such operators, the question arises whether similar results can be obtained near or at the edges of spectral gaps. In a previous work, two of the authors considered the case of a spectral edge. The main result of this article is finding such asymptotics near a gap edge, for "generic" periodic elliptic operators of second-order with real coefficients in dimension $d \geq 2$, when the gap edge occurs at a symmetry point of the Brillouin zone.

math-ph↗
arXiv2015

Closed range of $\bar\partial$ on unbounded domains in $\mathbb C^n$

In this article, we establish a general sufficient condition for closed range of the Cauchy-Riemann operator $\bar\partial$ in appropriately weighted $L^2$ and $L^2$-Sobolev spaces on $(0,q)$-forms for a fixed $q$ on domains in $\mathbb{C}^n$. The domains we consider may be neither bounded nor pseudoconvex, and our condition is a generalization of the classical $Z(q)$ condition that we call weak $Z(q)$. We provide examples that explain the necessity of working in weighted spaces both for closed range in $L^2$ and even more critically, in $L^2$-Sobolev spaces.

math.CV↗
arXiv2014

The Szeg\"o kernel on a class of noncompact CR manifolds of high codimension

We generalize Nagel's formula for the Szeg\"o kernel and use it to compute the Szeg\"o kernel on a class of noncompact CR manifolds whose tangent space decomposes into one complex direction and several totally real directions. We also discuss the control metric on these manifolds and relate it to the size of the Szeg\"o kernel.

math.CV↗
arXiv2014

Local regularity of the Bergman projection on a class of pseudoconvex domains of finite type

The purpose of this paper is to prove that if a pseudoconvex domains $\Omega\subset\mathbb{C}^n$ satisfies Bell-Ligocka's Condition R and admits a ``good" dilation, then the Bergman projection has local $L^p$-Sobolev and H\"older estimates. The good dilation structure is phrased in terms of uniform $L^2$ pseudolocal estimates for the Bergman projection on a family of anisotropic scalings. We conclude the paper by showing that $h$-extendible domains satisfy our hypotheses.

math.CV↗