共查询到20条相似文献,搜索用时 625 毫秒
1.
Brian Harbourne Sandeep Holay Stephanie Fitchett 《Transactions of the American Mathematical Society》2003,355(2):593-608
The notion of a quasiuniform fat point subscheme is introduced and conjectures for the Hilbert function and minimal free resolution of the ideal defining are put forward. In a large range of cases, it is shown that the Hilbert function conjecture implies the resolution conjecture. In addition, the main result gives the first determination of the resolution of the th symbolic power of an ideal defining general points of when both and are large (in particular, for infinitely many for each of infinitely many , and for infinitely many for every 2$">). Resolutions in other cases, such as ``fat points with tails', are also given. Except where an explicit exception is made, all results hold for an arbitrary algebraically closed field . As an incidental result, a bound for the regularity of is given which is often a significant improvement on previously known bounds.
2.
Let be an integer base, a digit set and the set of radix expansions. It is well known that if has nonvoid interior, then can tile with some translation set ( is called a tile and a tile digit set). There are two fundamental questions studied in the literature: (i) describe the structure of ; (ii) for a given , characterize so that is a tile.
We show that for a given pair , there is a unique self-replicating translation set , and it has period for some . This completes some earlier work of Kenyon. Our main result for (ii) is to characterize the tile digit sets for when are distinct primes. The only other known characterization is for , due to Lagarias and Wang. The proof for the case depends on the techniques of Kenyon and De Bruijn on the cyclotomic polynomials, and also on an extension of the product-form digit set of Odlyzko.
3.
Xavier Tolsa 《Transactions of the American Mathematical Society》2003,355(1):315-348
Let be a Radon measure on , which may be nondoubling. The only condition that must satisfy is the size condition , for some fixed . Recently, some spaces of type and were introduced by the author. These new spaces have properties similar to those of the classical spaces and defined for doubling measures, and they have proved to be useful for studying the boundedness of Calderón-Zygmund operators without assuming doubling conditions. In this paper a characterization of the new atomic Hardy space in terms of a maximal operator is given. It is shown that belongs to if and only if , and , as in the usual doubling situation.
4.
Manuel Blickle 《Transactions of the American Mathematical Society》2003,355(4):1647-1668
Let be a regular ring, essentially of finite type over a perfect field . An -module is called a unit -module if it comes equipped with an isomorphism , where denotes the Frobenius map on , and is the associated pullback functor. It is well known that then carries a natural -module structure. In this paper we investigate the relation between the unit -structure and the induced -structure on . In particular, it is shown that if is algebraically closed and is a simple finitely generated unit -module, then it is also simple as a -module. An example showing the necessity of being algebraically closed is also given.
5.
Scott Ahlgren Matthew Papanikolas 《Transactions of the American Mathematical Society》2003,355(4):1521-1535
We study the arithmetic properties of higher Weierstrass points on modular curves for primes . In particular, for , we obtain a relationship between the reductions modulo of the collection of -Weierstrass points on and the supersingular locus in characteristic .
6.
Heng Huat Chan Kok Seng Chua Patrick Solé 《Transactions of the American Mathematical Society》2003,355(4):1505-1520
In this paper, properties of the functions , and are derived. Specializing at and , we construct two new quadratic iterations to . These are analogues of previous iterations discovered by the Borweins (1987), J. M. Borwein and F. G. Garvan (1997), and H. H. Chan (2002). Two new transformations of the hypergeometric series are also derived.
7.
Cristian Rios 《Transactions of the American Mathematical Society》2003,355(2):665-687
We consider the Dirichlet problem
for two second-order elliptic operators , , in a bounded Lipschitz domain . The coefficients belong to the space of bounded mean oscillation with a suitable small modulus. We assume that is regular in for some , , that is, for all continuous boundary data . Here is the surface measure on and is the nontangential maximal operator. The aim of this paper is to establish sufficient conditions on the difference of the coefficients that will assure the perturbed operator to be regular in for some , .
for two second-order elliptic operators , , in a bounded Lipschitz domain . The coefficients belong to the space of bounded mean oscillation with a suitable small modulus. We assume that is regular in for some , , that is, for all continuous boundary data . Here is the surface measure on and is the nontangential maximal operator. The aim of this paper is to establish sufficient conditions on the difference of the coefficients that will assure the perturbed operator to be regular in for some , .
8.
Leon Takhtajan Peter Zograf 《Transactions of the American Mathematical Society》2003,355(5):1857-1867
We show that the real-valued function on the moduli space of pointed rational curves, defined as the critical value of the Liouville action functional on a hyperbolic -sphere with conical singularities of arbitrary orders , generates accessory parameters of the associated Fuchsian differential equation as their common antiderivative. We introduce a family of Kähler metrics on parameterized by the set of orders , explicitly relate accessory parameters to these metrics, and prove that the functions are their Kähler potentials.
9.
J. Migliore R. M. Miró -Roig 《Transactions of the American Mathematical Society》2003,355(1):1-36
Let and let be the ideal of generically chosen forms of degrees . We give the precise graded Betti numbers of in the following cases:
- ;
- and is even;
- , is odd and ;
- is even and all generators have the same degree, , which is even;
- is even and ;
- is odd, is even, and .
10.
Using the Beilinson-Lusztig-MacPherson construction of the quantized enveloping algebra of and its associated monomial basis, we investigate -Schur algebras as ``little quantum groups". We give a presentation for and obtain a new basis for the integral -Schur algebra , which consists of certain monomials in the original generators. Finally, when , we interpret the Hecke algebra part of the monomial basis for in terms of Kazhdan-Lusztig basis elements.
11.
F. Cabello Sá nchez J. M. F. Castillo N. J. Kalton D. T. Yost 《Transactions of the American Mathematical Society》2003,355(11):4523-4541
If is a separable Banach space, we consider the existence of non-trivial twisted sums , where or For the case we show that there exists a twisted sum whose quotient map is strictly singular if and only if contains no copy of . If we prove an analogue of a theorem of Johnson and Zippin (for ) by showing that all such twisted sums are trivial if is the dual of a space with summable Szlenk index (e.g., could be Tsirelson's space); a converse is established under the assumption that has an unconditional finite-dimensional decomposition. We also give conditions for the existence of a twisted sum with with strictly singular quotient map.
12.
Nikolai A. Krylov 《Transactions of the American Mathematical Society》2003,355(1):99-117
The paper contains a proof that the mapping class group of the manifold is isomorphic to a central extension of the (full) Jacobi group by the group of 7-dimensional homotopy spheres. Using a presentation of the group and the -invariant of the homotopy spheres, we give a presentation of this mapping class group with generators and defining relations. We also compute the cohomology of the group and determine 2-cocycles that correspond to the mapping class group of .
13.
J. Marshall Ash Stefan Catoiu 《Transactions of the American Mathematical Society》2008,360(2):959-987
For , a one-parameter family of symmetric quantum derivatives is defined for each order of differentiation as are two families of Riemann symmetric quantum derivatives. For , symmetrization holds, that is, whenever the th Peano derivative exists at a point, all of these derivatives of order also exist at that point. The main result, desymmetrization, is that conversely, for , each symmetric quantum derivative is a.e. equivalent to the Peano derivative of the same order. For and , each th symmetric quantum derivative coincides with both corresponding th Riemann symmetric quantum derivatives, so, in particular, for and , both th Riemann symmetric quantum derivatives are a.e. equivalent to the Peano derivative.
14.
Let be a given set of positive rational primes. Assume that the value of the Dedekind zeta function of a number field is less than or equal to zero at some real point in the range . We give explicit lower bounds on the residue at of this Dedekind zeta function which depend on , the absolute value of the discriminant of and the behavior in of the rational primes . Now, let be a real abelian number field and let be any real zero of the zeta function of . We give an upper bound on the residue at of which depends on , and the behavior in of the rational primes . By combining these two results, we obtain lower bounds for the relative class numbers of some normal CM-fields which depend on the behavior in of the rational primes . We will then show that these new lower bounds for relative class numbers are of paramount importance for solving, for example, the exponent-two class group problem for the non-normal quartic CM-fields. Finally, we will prove Brauer-Siegel-like results about the asymptotic behavior of relative class numbers of CM-fields.
15.
Wai Kiu Chan Byeong-Kweon Oh 《Transactions of the American Mathematical Society》2003,355(6):2385-2396
An integral quadratic form of variables is said to be -regular if globally represents all quadratic forms of variables that are represented by the genus of . For any , it is shown that up to equivalence, there are only finitely many primitive positive definite integral quadratic forms of variables that are -regular. We also investigate similar finiteness results for almost -regular and spinor -regular quadratic forms. It is shown that for any , there are only finitely many equivalence classes of primitive positive definite spinor or almost -regular quadratic forms of variables. These generalize the finiteness result for 2-regular quaternary quadratic forms proved by Earnest (1994).
16.
Eric Mortenson 《Transactions of the American Mathematical Society》2003,355(3):987-1007
Fernando Rodriguez-Villegas has conjectured a number of supercongruences for hypergeometric Calabi-Yau manifolds of dimension . For manifolds of dimension , he observed four potential supercongruences. Later the author proved one of the four. Motivated by Rodriguez-Villegas's work, in the present paper we prove a general result on supercongruences between values of truncated hypergeometric functions and Gaussian hypergeometric functions. As a corollary to that result, we prove the three remaining supercongruences.
17.
18.
19.
Hans-Christian Graf v. Bothmer 《Transactions of the American Mathematical Society》2007,359(2):465-488
We prove that for a general canonical curve of genus , the space of th (last) scrollar syzygies is isomorphic to the Brill-Noether locus . Schreyer has conjectured that these scrollar syzygies span the space of all th (last) syzygies of . Using Mukai varieties we prove this conjecture for genus , and .
20.
Takae Tsuji 《Transactions of the American Mathematical Society》2003,355(9):3699-3714
For a prime number and a number field , let denote the projective limit of the -parts of the ideal class groups of the intermediate fields of the cyclotomic -extension over . It is conjectured that is finite if is totally real. When is an odd prime and is a real abelian field, we give a criterion for the conjecture, which is a generalization of results of Ichimura and Sumida. Furthermore, in a special case where divides the degree of , we also obtain a rather simple criterion.