Dice Question Streamline Icon: https://streamlinehq.com

W1 vanishing on the Hartogs triangle in C2

Determine whether the Sobolev cohomology group H^{0,1}_{W^1}(T) vanishes for the Hartogs triangle T = {(z, w) ∈ C^2 : |z| < |w| < 1}.

Information Square Streamline Icon: https://streamlinehq.com

Background

The Hartogs triangle is a classical non-Lipschitz pseudoconvex domain where many regularity phenomena are subtle. While recent work proves vanishing of H{0,1}_{W{k,p}}(T) for k ∈ N and p > 4, the endpoint L2 case (W{1,2} = W1) is unresolved.

The authors state the problem and explicitly note that the L2 Sobolev case remains unknown; they also contrast this with related non-vanishing results on Hartogs triangles in CP2.

References

Determine if $$H{0,1}_{W1}(T)=0.$$ However, it is still not known if this holds for $W{1,2}(T)=W1(T).$

$L^2$-Sobolev Theory for $\bar\partial$ on Domains in $\Bbb {CP}^n$ (2507.19355 - Shaw, 25 Jul 2025) in Problem \ref{prob:T W1}, Section 6 (Open problems)