共查询到20条相似文献,搜索用时 46 毫秒
1.
We give a characterization of exponentiable monomorphisms in the categories of ω-complete posets, of directed complete posets and of continuous directed complete posets as those monotone maps f that are convex and that lift an element (and then a queue) of any directed set (ω-chain in the case of ) whose supremum is in the image of f (Theorem 1.9). Using this characterization, we obtain that a monomorphism f:X→B in (, ) exponentiable in w.r.t. the Scott topology is exponentiable also in (, ). We prove that the converse is true in the category , but neither in , nor in . 相似文献
2.
We show that the π-equivariant chain complex (), , associated to a Morse-theoretic minimal CW-structure X on the complement of an arrangement , is independent of X. The same holds for all scalar extensions, , a field, where X is an arbitrary minimal CW-structure on a space M. When is a section of another arrangement , we show that the divisibility properties of the first Betti number of the Milnor fiber of obstruct the homotopy realization of as a subcomplex of a minimal structure on .If is aspherical and is a sufficiently generic section of , then may be described in terms of π, L and , for an arbitrary local system L; explicit computations may be done, when is fiber-type. In this case, explicit -presentations of arbitrary abelian scalar extensions of the first non-trivial higher homotopy group of , πp(M), may also be obtained. For nonresonant abelian scalar extensions, the -rank of is combinatorially determined. 相似文献
3.
Eli Aljadeff 《Advances in Mathematics》2008,218(5):1453-1495
To any cleft Hopf Galois object, i.e., any algebra obtained from a Hopf algebra H by twisting its multiplication with a two-cocycle α, we attach two “universal algebras” and . The algebra is obtained by twisting the multiplication of H with the most general two-cocycle σ formally cohomologous to α. The cocycle σ takes values in the field of rational functions on H. By construction, is a cleft H-Galois extension of a “big” commutative algebra . Any “form” of can be obtained from by a specialization of and vice versa. If the algebra is simple, then is an Azumaya algebra with center . The algebra is constructed using a general theory of polynomial identities that we set up for arbitrary comodule algebras; it is the universal comodule algebra in which all comodule algebra identities of are satisfied. We construct an embedding of into ; this embedding maps the center of into when the algebra is simple. In this case, under an additional assumption, , thus turning into a central localization of . We completely work out these constructions in the case of the four-dimensional Sweedler algebra. 相似文献
4.
5.
6.
Mitsuru Uchiyama 《Journal of Functional Analysis》2006,231(1):221-244
Let P+ be the set of all non-negative operator monotone functions defined on [0,∞), and put . Then and . For a function and a strictly increasing function h we write if is operator monotone. If and and if and , then . We will apply this result to polynomials and operator inequalities. Let and be non-increasing sequences, and put for t≧a1 and for t≧b1. Then v+?u+ if m≦n and : in particular, for a sequence of orthonormal polynomials, (pn-1)+?(pn)+. Suppose 0<r,p and s=0 or 1≦s≦1+p/r. Then 0≦A≦B implies for 0<α≦r/(p+r). 相似文献
7.
Various properties of the regression vector produced by cyclic subspace regression with regard to the meancentered linear regression equation are put forth. In particular, the subspace associated with the creation of is shown to contain a basis that maximizes certain covariances with respect to , the orthogonal projection of onto a specific subspace of the range of X. This basis is constructed. Moreover, this paper shows how the maximum covariance values effect the . Several alternative representations of are also developed. These representations show that is a modified version of the l-factor principal components regression vector , with the modification occurring by a nonorthogonal projection. Additionally, these representations enable prediction properties associated with to be explicitly identified. Finally, methods for choosing factors are spelled out. 相似文献
8.
9.
Xiang-dong Hou 《Journal of Combinatorial Theory, Series A》2007,114(3):522-544
Let Ψn be the number of inequivalent self-dual codes in . We prove that , where . Let Δn be the number of inequivalent doubly even self-dual codes in . We also prove that . 相似文献
10.
We show that, if E is a commutative MU-algebra spectrum such that is Landweber exact over , then the category of -comodules is equivalent to a localization of the category of -comodules. This localization depends only on the heights of E at the integer primes p. It follows, for example, that the category of -comodules is equivalent to the category of -comodules. These equivalences give simple proofs and generalizations of the Miller-Ravenel and Morava change of rings theorems. We also deduce structural results about the category of -comodules. We prove that every -comodule has a primitive, we give a classification of invariant prime ideals in , and we give a version of the Landweber filtration theorem. 相似文献
11.
12.
Janez Mr?un 《Journal of Pure and Applied Algebra》2007,210(1):267-282
For any étale Lie groupoid G over a smooth manifold M, the groupoid convolution algebra of smooth functions with compact support on G has a natural coalgebra structure over the commutative algebra which makes it into a Hopf algebroid. Conversely, for any Hopf algebroid A over we construct the associated spectral étale Lie groupoid over M such that is naturally isomorphic to G. Both these constructions are functorial, and is fully faithful left adjoint to . We give explicit conditions under which a Hopf algebroid is isomorphic to the Hopf algebroid of an étale Lie groupoid G. 相似文献
13.
14.
We exhibit a genus-2 curve defined over which admits two independent morphisms to a rank-1 elliptic curve defined over . We describe completely the set of -rational points of the curve and obtain a uniform bound on the number of -rational points of a rational specialization of the curve for a certain (possibly infinite) set of values . Furthermore, for this set of values we describe completely the set of -rational points of the curve . Finally, we show how these results can be strengthened assuming a height conjecture of Lang. 相似文献
15.
16.
17.
18.
19.
20.
Consider two types of translation-invariant functionals and on , and a sequence of functions fn whose corresponding symmetric rearrangements are convergent. We show that fn themselves converge up to translations if either or . These compactness results lead to applications in variational problems and stability problems in stellar dynamics. 相似文献