共查询到20条相似文献,搜索用时 46 毫秒
1.
Kathleen L. Petersen 《Proceedings of the American Mathematical Society》2008,136(7):2387-2393
Let be a number field with real places and complex places, and let be the ring of integers of . The quotient has cusps, where is the class number of . We show that under the assumption of the generalized Riemann hypothesis that if is not or an imaginary quadratic field and if , then has infinitely many maximal subgroups with cusps. A key element in the proof is a connection to Artin's Primitive Root Conjecture.
2.
It is an observation due to J. J. Kohn that for a smooth bounded pseudoconvex domain in there exists such that the -Neumann operator on maps (the space of -forms with coefficient functions in -Sobolev space of order ) into itself continuously. We show that this conclusion does not hold without the smoothness assumption by constructing a bounded pseudoconvex domain in , smooth except at one point, whose -Neumann operator is not bounded on for any .
3.
Lucian Badescu 《Proceedings of the American Mathematical Society》2008,136(5):1505-1513
Let be a submanifold of dimension of the complex projective space . We prove results of the following type.i) If is irregular and , then the normal bundle is indecomposable. ii) If is irregular, and , then is not the direct sum of two vector bundles of rank . iii) If , and is decomposable, then the natural restriction map is an isomorphism (and, in particular, if is embedded Segre in , then is indecomposable). iv) Let and , and assume that is a direct sum of line bundles; if assume furthermore that is simply connected and is not divisible in . Then is a complete intersection. These results follow from Theorem 2.1 below together with Le Potier's vanishing theorem. The last statement also uses a criterion of Faltings for complete intersection. In the case when this fact was proved by M. Schneider in 1990 in a completely different way.
4.
We consider an invertible operator on a Banach space whose spectrum is an interpolating set for Hölder classes. We show that if , , with and , then for all , assuming that satisfies suitable regularity conditions. When is a Hilbert space and (i.e. is a contraction), we show that under the same assumptions, is unitary and this is sharp.
5.
We prove the following result concerning the degree spectrum of the atom relation on a computable Boolean algebra. Let be a computable Boolean algebra with infinitely many atoms and be the Turing degree of the atom relation of . If is a c.e. degree such that , then there is a computable copy of where the atom relation has degree . In particular, for every c.e. degree , any computable Boolean algebra with infinitely many atoms has a computable copy where the atom relation has degree .
6.
Vigleik Angeltveit 《Proceedings of the American Mathematical Society》2008,136(7):2323-2332
We define the notion of an enriched Reedy category and show that if is a -Reedy category for some symmetric monoidal model category and is a -model category, the category of -functors and -natural transformations from to is again a model category.
7.
8.
Paola Bonacini 《Proceedings of the American Mathematical Society》2008,136(7):2289-2297
If is an integral curve and an algebraically closed field of characteristic 0, it is known that the points of the general plane section of are in uniform position. From this it follows easily that the general minimal curve containing is irreducible. If char, the points of may not be in uniform position. However, we prove that the general minimal curve containing is still irreducible.
9.
Let be the set of all positive integers , where are primes and possibly two, but not all three of them are equal. For any , define a function by where is the largest prime factor of . It is clear that if , then . For any , define , for . An element is semi-periodic if there exists a nonnegative integer and a positive integer such that . We use ind to denote the least such nonnegative integer . Wushi Goldring [Dynamics of the function and primes, J. Number Theory 119(2006), 86-98] proved that any element is semi-periodic. He showed that there exists such that , ind, and conjectured that ind can be arbitrarily large.
In this paper, it is proved that for any we have ind , and the Green-Tao Theorem on arithmetic progressions in the primes is employed to confirm Goldring's above conjecture.
10.
Anders J. Frankild Sean Sather-Wagstaff 《Proceedings of the American Mathematical Society》2008,136(7):2303-2312
Motivated by work of C. U. Jensen, R.-O. Buchweitz, and H. Flenner, we prove the following result. Let be a commutative noetherian ring and an ideal in the Jacobson radical of . Let be the -adic completion of . If is a finitely generated -module such that for all , then is -adically complete.
11.
Steve Hofmann 《Proceedings of the American Mathematical Society》2008,136(12):4223-4233
We consider divergence form elliptic operators , defined in , where the coefficient matrix is , uniformly elliptic, complex and -independent. Using recently obtained results concerning the boundedness and invertibility of layer potentials associated to such operators, we show that if in , then for any vector-valued we have the bilinear estimate where and where is the usual non-tangential maximal operator. The result is new even in the case of real symmetric coefficients and generalizes an analogous result of Dahlberg for harmonic functions on Lipschitz graph domains. We also identify the domain of the generator of the Poisson semigroup for the equation in
12.
M. C. Stanley 《Proceedings of the American Mathematical Society》2007,135(8):2619-2622
In , assume that is a strong limit cardinal and . Let be the set of approachable ordinals less than . An open question of M. Foreman is whether can be non-stationary in some and preserving extension of . It is shown here that if is such an outer model, then is infinite, for each positive integer .
13.
Kamal Bahmanpour Reza Naghipour 《Proceedings of the American Mathematical Society》2008,136(7):2359-2363
In this note we show that if is an ideal of a Noetherian ring and is a finitely generated -module, then for any minimax submodule of the -module is finitely generated, whenever the modules are minimax. As a consequence, it follows that the associated primes of are finite. This generalizes the main result of Brodmann and Lashgari (2000).
14.
Piotr Kot 《Proceedings of the American Mathematical Society》2007,135(12):3895-3903
We consider a circular, bounded, strictly convex domain with boundary of class . For any compact subset of we construct a sequence of homogeneous polynomials on which are big at each point of . As an application for any circular subset of type we construct a holomorphic function which is square integrable on and such that where denotes unit disc in .
15.
Dan Coman Evgeny A. Poletsky 《Proceedings of the American Mathematical Society》2008,136(11):3993-4002
Suppose that and belong to the algebra generated by the rational functions and an entire function of finite order on and that has algebraic polar variety. We show that either or , where is a polynomial and are rational functions. In the latter case, belongs to the algebra generated by the rational functions, and .
The stability property is related to the problem of algebraic dependence of entire functions over the ring of polynomials. The case of algebraic dependence over of two entire or meromorphic functions on is completely resolved in this paper.
16.
Evgueni Doubtsov 《Proceedings of the American Mathematical Society》2008,136(6):2177-2182
Let be an inner function in the unit ball , . Assume that where and is the radial derivative. Then, for all , the set has a non-zero real Hausdorff -content, and it has a non-zero complex Hausdorff -content.
17.
Heekyoung Hahn 《Proceedings of the American Mathematical Society》2007,135(8):2391-2401
Let SL be a genus zero Fuchsian group of the first kind with as a cusp, and let be the holomorphic Eisenstein series of weight on that is nonvanishing at and vanishes at all the other cusps (provided that such an Eisenstein series exists). Under certain assumptions on and on a choice of a fundamental domain , we prove that all but possibly of the nontrivial zeros of lie on a certain subset of . Here is a constant that does not depend on the weight, is the upper half-plane, and is the canonical hauptmodul for
18.
Clinton P. Curry John C. Mayer E. D. Tymchatyn 《Proceedings of the American Mathematical Society》2008,136(11):4045-4055
We show that a plane continuum is indecomposable iff has a sequence of not necessarily distinct complementary domains satisfying the double-pass condition: for any sequence of open arcs, with and , there is a sequence of shadows , where each is a shadow of , such that . Such an open arc divides into disjoint subdomains and , and a shadow (of ) is one of the sets .
19.
Stefano Meda Peter Sjö gren Maria Vallarino 《Proceedings of the American Mathematical Society》2008,136(8):2921-2931
We prove that if is in , is a Banach space, and is a linear operator defined on the space of finite linear combinations of -atoms in with the property that then admits a (unique) continuous extension to a bounded linear operator from to . We show that the same is true if we replace -atoms by continuous -atoms. This is known to be false for -atoms.
20.
Let and be relatively prime monic irreducible polynomials in (). In this paper, we give an elementary proof for the following law of quadratic reciprocity in : where is the Legendre symbol.