共查询到20条相似文献,搜索用时 578 毫秒
1.
By means of the fundamental group functor, a co-H-space structure or a co-H-group structure on a wedge of circles is seen to be equivalent to a comultiplication or a cogroup structure on a free group . We consider individual comultiplications on and their properties such as associativity, coloop structure, existence of inverses, etc. as well as the set of all comultiplications of . For a comultiplication of we define a subset of quasi-diagonal elements which is basic to our investigation of associativity. The subset can be determined algorithmically and contains the set of diagonal elements . We show that is a basis for the largest subgroup of on which is associative and that is a free factor of . We also give necessary and sufficient conditions for a comultiplication on to be a coloop in terms of the Fox derivatives of with respect to a basis of . In addition, we consider inverses of a comultiplication, the collection of cohomomorphisms between two free groups with comultiplication and the action of the group on the set of comultiplications of . We give many examples to illustrate these notions. We conclude by translating these results from comultiplications on free groups to co-H-space structures on wedges of circles. 相似文献
2.
Let be a commutative ring, a finitely generated free -module and a finite group acting naturally on the graded symmetric algebra . Let denote the minimal number , such that the ring of invariants can be generated by finitely many elements of degree at most . For and , the -fold direct sum of the natural permutation module, one knows that , provided that is invertible in . This was used by E. Noether to prove if . In this paper we prove for arbitrary commutative rings and show equality for a prime power and or any ring with . Our results imply for any ring with . 相似文献
3.
For the past forty years or so topological incidence geometers and mathematicians interested in interpolation have been studying very similar objects. Nevertheless no communication between these two groups of mathematicians seems to have taken place during that time. The main goal of this paper is to draw attention to this fact and to demonstrate that by combining results from both areas it is possible to gain many new insights about the fundamentals of both areas. In particular, we establish the existence of nested orthogonal arrays of strength , for short nested -OAs, that are natural generalizations of flat affine planes and flat Laguerre planes. These incidence structures have point sets that are ``flat' topological spaces like the Möbius strip, the cylinder, and strips of the form , where is an interval of . Their circles (or lines) are subsets of the point sets homeomorphic to the circle in the first two cases and homeomorphic to in the last case. Our orthogonal arrays of strength arise from -unisolvent sets of half-periodic functions, -unisolvent sets of periodic functions, and -unisolvent sets of functions , respectively. Associated with every point of a nested -OA, , is a nested -OA-the derived -OA at the point . We discover that, in our examples that arise from -unisolvent sets of times differentiable functions that solve the Hermite interpolation problem, deriving in our geometrical sense coincides with deriving in the analytical sense. 相似文献
4.
For each Gorenstein cover of degree we define a scheme and a generically finite map of degree called the discriminant of . Using this construction we deal with smooth degree covers with . Moreover we also generalize the trigonal construction of S. Recillas. 相似文献
5.
Let denote the classical equilibrium distribution (of total charge ) on a convex or -smooth conductor in with nonempty interior. Also, let be any th order ``Fekete equilibrium distribution' on , defined by point charges at th order ``Fekete points'. (By definition such a distribution minimizes the energy for -tuples of point charges on .) We measure the approximation to by for by estimating the differences in potentials and fields, both inside and outside the conductor . For dimension we obtain uniform estimates at distance from the outer boundary of . Observe that throughout the interior of (Faraday cage phenomenon of electrostatics), hence on the compact subsets of . For the exterior of the precise results are obtained by comparison of potentials and energies. Admissible sets have to be regular relative to capacity and their boundaries must allow good Harnack inequalities. For the passage to interior estimates we develop additional machinery, including integral representations for potentials of measures on Lipschitz boundaries and bounds on normal derivatives of interior and exterior Green functions. Earlier, one of us had considered approximations to the equilibrium distribution by arbitrary distributions of equal point charges on . In that context there is an important open problem for the sphere which is discussed at the end of the paper. 相似文献
6.
The present paper is devoted to the classification of irregular surfaces of general type with and nonbirational bicanonical map. Our main result is that, if is such a surface and if is minimal with no pencil of curves of genus , then is the symmetric product of a curve of genus , and therefore and . Furthermore we obtain some results towards the classification of minimal surfaces with . Such surfaces have , and we show that if and only if is the symmetric product of a curve of genus . We also classify the minimal surfaces with with a pencil of curves of genus , proving in particular that for those one has . 相似文献
7.
We introduce the notion of the crossed product of a -algebra by a Hilbert -bimodule . It is shown that given a -algebra which carries a semi-saturated action of the circle group (in the sense that is generated by the spectral subspaces and ), then is isomorphic to the crossed product . We then present our main result, in which we show that the crossed products and are strongly Morita equivalent to each other, provided that and are strongly Morita equivalent under an imprimitivity bimodule satisfying as Hilbert -bimodules. We also present a six-term exact sequence for -groups of crossed products by Hilbert -bimodules. 相似文献
8.
Let be a finite set of rational primes. We denote the maximal Galois extension of in which all totally decompose by . We also denote the fixed field in of elements in the absolute Galois group of by . We denote the ring of integers of a given algebraic extension of by . We also denote the set of all valuations of (resp., which lie over ) by (resp., ). If , then denotes the ring of integers of a Henselization of with respect to . We prove that for almost all , the field satisfies the following local global principle: Let be an affine absolutely irreducible variety defined over . Suppose that for each and for each . Then . We also prove two approximation theorems for . 相似文献
9.
We investigate the energy of arrangements of points on the surface of the unit sphere in that interact through a power law potential where and is Euclidean distance. With denoting the minimal energy for such -point arrangements we obtain bounds (valid for all ) for in the cases when and . For , we determine the precise asymptotic behavior of as . As a corollary, lower bounds are given for the separation of any pair of points in an -point minimal energy configuration, when . For the unit sphere in , we present two conjectures concerning the asymptotic expansion of that relate to the zeta function for a hexagonal lattice in the plane. We prove an asymptotic upper bound that supports the first of these conjectures. Of related interest, we derive an asymptotic formula for the partial sums of when (the divergent case). 相似文献
10.
Suppose we have an -jet field on which is a Whitney field on the nonsingular part of . We show that, under certain hypotheses about the relationship between geodesic and euclidean distance on , if the field is flat enough at the singular part , then it is a Whitney field on (the order of flatness required depends on the coefficients in the hypotheses). These hypotheses are satisfied when is subanalytic. In Section II, we show that a function on can be extended to one on if the differential goes to faster than the order of divergence of the principal curvatures of and if the first covariant derivative of is sufficiently flat. For the general case of functions with , we give a similar result for in Section III. 相似文献
11.
We prove that for every rational map on the Riemann sphere , if for every -critical point whose forward trajectory does not contain any other critical point, the growth of is at least of order for an appropriate constant as , then . Here is the so-called essential, dynamical or hyperbolic dimension, is Hausdorff dimension of and is the minimal exponent for conformal measures on . If it is assumed additionally that there are no periodic parabolic points then the Minkowski dimension (other names: box dimension, limit capacity) of also coincides with . We prove ergodicity of every -conformal measure on assuming has one critical point , no parabolic, and . Finally for every -conformal measure on (satisfying an additional assumption), assuming an exponential growth of , we prove the existence of a probability absolutely continuous with respect to , -invariant measure. In the Appendix we prove also for every non-renormalizable quadratic polynomial with not in the main cardioid in the Mandelbrot set. 相似文献
12.
The classical Whitney extension theorem describes the trace of the space of -jets generated by functions from to an arbitrary closed subset . It establishes existence of a bounded linear extension operator as well. In this paper we investigate a similar problem for the space of functions whose higher derivatives satisfy the Zygmund condition with majorant . The main result states that the vector function belongs to the corresponding trace space if the trace to every subset of cardinality , where , can be extended to a function and . The number generally speaking cannot be reduced. The Whitney theorem can be reformulated in this way as well, but with a two-pointed subset . The approach is based on the theory of local polynomial approximations and a result on Lipschitz selections of multivalued mappings. 相似文献
13.
Let be a bounded, strongly measurable function with values in a Banach space , and let be the singular set of the Laplace transform in . Suppose that is countable and uniformly for , as , for each in . It is shown that as , for each in ; in particular, if is uniformly continuous. This result is similar to a Tauberian theorem of Arendt and Batty. It is obtained by applying a result of the authors concerning local stability of bounded semigroups to the translation semigroup on , and it implies several results concerning stability of solutions of Cauchy problems. 相似文献
14.
For a compact subset of symmetric with respect to conjugation and a continuous function, we obtain sharp conditions on and that insure that can be approximated uniformly on by polynomials with nonnegative coefficients. For a real Banach space, a closed but not necessarily normal cone with , and a bounded linear operator with , we use these approximation theorems to investigate when the spectral radius of belongs to its spectrum . A special case of our results is that if is a Hilbert space, is normal and the 1-dimensional Lebesgue measure of is zero, then . However, we also give an example of a normal operator (where is unitary and ) for which and . 相似文献
15.
Let be the arrangement of hyperplanes consisting of the reflecting hyperplanes for the root system . Let be the Varchenko matrix for this arrangement with all hyperplane parameters equal to . We show that is the matrix with rows and columns indexed by permutations with entry equal to where is the number of inversions of . Equivalently is the matrix for left multiplication on by Clearly commutes with the right-regular action of on . A general theorem of Varchenko applied in this special case shows that is singular exactly when is a root of for some between and . In this paper we prove two results which partially solve the problem (originally posed by Varchenko) of describing the -module structure of the nullspace of in the case that is singular. Our first result is that in the case that where Lie denotes the multilinear part of the free Lie algebra with generators. Our second result gives an elegant formula for the determinant of restricted to the virtual -module with characteristic the power sum symmetric function . 相似文献
18.
Let be an irreducible 3-manifold with a torus boundary component , and suppose that are the boundary slopes on of essential punctured tori in , with their boundaries on . We show that the intersection number of and is at most . Moreover, apart from exactly four explicit manifolds , which contain pairs of essential punctured tori realizing and 6 respectively, we have . It follows immediately that if is atoroidal, while the manifolds obtained by - and -Dehn filling on are toroidal, then , and unless is one of the four examples mentioned above. Let be the class of 3-manifolds such that is irreducible, atoroidal, and not a Seifert fibre space. By considering spheres, disks and annuli in addition to tori, we prove the following. Suppose that , where has a torus component , and . Let be slopes on such that . Then . The exterior of the Whitehead sister link shows that this bound is best possible. 相似文献
19.
Let be a second order elliptic differential operator in with no zero order terms and let be a bounded domain in with smooth boundary . We say that a function is -harmonic if in . Every positive -harmonic function has a unique representation where is the Poisson kernel for and is a finite measure on . We call the trace of on . Our objective is to investigate positive solutions of a nonlinear equation for [the restriction is imposed because our main tool is the -superdiffusion which is not defined for ]. We associate with every solution a pair , where is a closed subset of and is a Radon measure on . We call the trace of on . is empty if and only if is dominated by an -harmonic function. We call such solutions moderate. A moderate solution is determined uniquely by its trace. In general, many solutions can have the same trace. We establish necessary and sufficient conditions for a pair to be a trace, and we give a probabilistic formula for the maximal solution with a given trace. 相似文献
20.
The Sobolev-type Laguerre polynomials are orthogonal with respect to the inner product where , and . In 1990 the first and second author showed that in the case and the polynomials are eigenfunctions of a unique differential operator of the form where are independent of . This differential operator is of order if is a nonnegative integer, and of infinite order otherwise. In this paper we construct all differential equations of the form where the coefficients , and are independent of and the coefficients , and are independent of , satisfied by the Sobolev-type Laguerre polynomials . Further, we show that in the case and the polynomials are eigenfunctions of a linear differential operator, which is of order if is a nonnegative integer and of infinite order otherwise. Finally, we show that in the case and the polynomials are eigenfunctions of a linear differential operator, which is of order if is a nonnegative integer and of infinite order otherwise. 相似文献
|