We study regularity of solutions to on a relatively compact domain in a complex manifold of dimension , where is a form. Assume that there are either negative or positive Levi eigenvalues at each point of boundary . Under the necessary condition that a locally solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain derivative when and is in the Hölder–Zygmund space with . For , the same regularity for the solutions is achieved when is either sufficiently smooth or of positive Levi eigenvalues everywhere on .
more »
« less
Minimal covers in the Weihrauch degrees
In this paper, we study the existence of minimal covers and strong minimal covers in the Weihrauch degrees. We characterize when a problem is a minimal cover or strong minimal cover of a problem . We show that strong minimal covers only exist in the cone below and that the Weihrauch lattice above is dense. From this, we conclude that the degree of is first-order definable in the Weihrauch degrees and that the first-order theory of the Weihrauch degrees is computably isomorphic to third-order arithmetic.
more »
« less
- Award ID(s):
- 2053848
- PAR ID:
- 10611589
- Publisher / Repository:
- AMS
- Date Published:
- Journal Name:
- Proceedings of the American Mathematical Society
- Volume:
- 152
- Issue:
- 785
- ISSN:
- 0002-9939
- Page Range / eLocation ID:
- 4893 to 4901
- Format(s):
- Medium: X
- Sponsoring Org:
- National Science Foundation
More Like this
-
-
Suppose is a -finite and -pure -Gorenstein local ring of prime characteristic . We show that an ideal is uniformly compatible ideal (with all -linear maps) if and only if exists a module finite ring map such that the ideal is the sum of images of all -linear maps . In other words, the set of uniformly compatible ideals is exactly the set of trace ideals of finite ring maps.more » « less
-
Let be a standard graded algebra over a field. We investigate how the singularities of or affect the -vector of , which is the coefficient of the numerator of its Hilbert series. The most concrete consequence of our work asserts that if satisfies Serre’s condition and has reasonable singularities (Du Bois on the punctured spectrum or -pure), then , …, . Furthermore the multiplicity of is at least . We also prove that equality in many cases forces to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and -pure singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others.more » « less
-
Motivated by recent work on optimal approximation by polynomials in the unit disk, we consider the following noncommutative approximation problem: for a polynomial in freely noncommuting arguments, find a free polynomial , of degree at most , to minimize . (Here the norm is the norm on coefficients.) We show that if and only if is nonsingular in a certain nc domain (the row ball), and prove quantitative bounds. As an application, we obtain a new proof of the characterization of polynomials cyclic for the -shift.more » « less
-
We investigate a conjecture due to Haefliger and Thurston in the context of foliated manifold bundles. In this context, Haefliger-Thurston’s conjecture predicts that every -bundle over a manifold where is cobordant to a flat -bundle. In particular, we study the bordism class of flat -bundles over low dimensional manifolds, comparing a finite dimensional Lie group with .more » « less
An official website of the United States government
