共查询到20条相似文献,搜索用时 31 毫秒
1.
2.
3.
4.
5.
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 . 相似文献
6.
We give a geometric interpretation of the Weil representation of the metaplectic group, placing it in the framework of the geometric Langlands program.For a smooth projective curve X we introduce an algebraic stack of metaplectic bundles on X. It also has a local version , which is a gerbe over the affine Grassmanian of G. We define a categorical version of the (nonramified) Hecke algebra of the metaplectic group. This is a category of certain perverse sheaves on , which act on by Hecke operators. A version of the Satake equivalence is proved describing as a tensor category. Further, we construct a perverse sheaf on corresponding to the Weil representation and show that it is a Hecke eigen-sheaf with respect to . 相似文献
7.
Humio Ichimura 《Journal of Number Theory》2008,128(4):858-864
Let p be a prime number. We say that a number field F satisfies the condition when for any cyclic extension N/F of degree p, the ring of p-integers of N has a normal integral basis over . It is known that F=Q satisfies for any p. It is also known that when p?19, any subfield F of Q(ζp) satisfies . In this paper, we prove that when p?23, an imaginary subfield F of Q(ζp) satisfies if and only if and p=43, 67 or 163 (under GRH). For a real subfield F of Q(ζp) with F≠Q, we give a corresponding but weaker assertion to the effect that it quite rarely satisfies . 相似文献
8.
Let and be standard operator algebras on infinite dimensional complex Banach spaces X and Y, respectively, and let Φ be a unital additive surjection from onto . We introduce thirteen parts of the spectrum for elements in and , and prove that if Φ preserves any one of these parts of the spectrum, then it is either an isomorphism or an anti-isomorphism. 相似文献
9.
10.
Dominic Joyce 《Advances in Mathematics》2008,217(1):125-204
This is the last in a series on configurations in an abelian category A. Given a finite poset (I,?), an (I,?)-configuration (σ,ι,π) is a finite collection of objects σ(J) and morphisms ι(J,K) or in A satisfying some axioms, where J,K are subsets of I. Configurations describe how an object X in A decomposes into subobjects.The first paper defined configurations and studied moduli spaces of configurations in A, using Artin stacks. It showed well-behaved moduli stacks ObjA,MA(I,?) of objects and configurations in A exist when A is the abelian category coh(P) of coherent sheaves on a projective scheme P, or mod-KQ of representations of a quiver Q. The second studied algebras of constructible functions and stack functions on ObjA.The third introduced stability conditions(τ,T,?) on A, and showed the moduli space of τ-semistable objects in class α is a constructible subset in ObjA, so its characteristic function is a constructible function. It formed algebras , , , of constructible and stack functions on ObjA, and proved many identities in them.In this paper, if (τ,T,?) and are stability conditions on A we write in terms of the , and deduce the algebras are independent of (τ,T,?). We study invariants or Iss(I,?,κ,τ) ‘counting’ τ-semistable objects or configurations in A, which satisfy additive and multiplicative identities. We compute them completely when A=mod-KQ or A=coh(P) for P a smooth curve. We also find invariants with special properties when A=coh(P) for P a smooth surface with nef, or a Calabi-Yau 3-fold. 相似文献
11.
The Bohl-Bohr-Amerio-Kadets theorem states that the indefinite integral y=Pφ of an almost periodic (ap) is again ap if y is bounded and the Banach space X does not contain a subspace isomorphic to c0. This is here generalized in several directions: Instead of it holds also for φ defined only on a half-line , instead of ap functions abstract classes with suitable properties are admissible, can be weakened to φ in some “mean” class , then ; here contains all f∈L1loc with in for all h>0 (usually strictly); furthermore, instead of boundedness of y mean boundedness, y in some , or in , ergodic functions, suffices. The Loomis-Doss result on the almost periodicity of a bounded Ψ for which all differences Ψ(t+h)−Ψ(t) are ap for h>0 is extended analogously, also to higher order differences. Studying “difference spaces” in this connection, we obtain decompositions of the form: Any bounded measurable function is the sum of a bounded ergodic function and the indefinite integral of a bounded ergodic function. The Bohr-Neugebauer result on the almost periodicity of bounded solutions y of linear differential equations P(D)y=φ of degree m with ap φ is extended similarly for ; then provided, for example, y is in some with U=L∞ or is totally ergodic and, for the half-line, Reλ?0 for all eigenvalues P(λ)=0. Analogous results hold for systems of linear differential equations. Special case: φ bounded and Pφ ergodic implies Pφ bounded. If all Reλ>0, there exists a unique solution y growing not too fast; this y is in if , for quite general . 相似文献
12.
Geir Agnarsson 《Discrete Applied Mathematics》2008,156(10):1918-1928
We consider vertex coloring of an acyclic digraph in such a way that two vertices which have a common ancestor in receive distinct colors. Such colorings arise in a natural way when bounding space for various genetic data for efficient analysis. We discuss the corresponding down-chromatic number and derive an upper bound as a function of , the maximum number of descendants of a given vertex, and the degeneracy of the corresponding hypergraph. Finally, we determine an asymptotically tight upper bound of the down-chromatic number in terms of the number of vertices of and . 相似文献
13.
Let H be a hereditary abelian k-category with tilting object and denote the bounded derived category of H. This paper is devoted to a study of suspended subcategories of by means of their Ext-projectives. 相似文献
14.
15.
Given a graph G, we construct an auxiliary graph with vertices such that the set of all stable sets of is in one-to-one correspondence with the set of all colorings of G. Then, we show that the Max-Coloring problem in G reduces to the Maximum Weighted Stable set problem in . 相似文献
16.
We show that the system , with f,g polynomials of degree 1 and 3 respectively cannot have simultaneously an algebraic invariant curve and a limit cycle. 相似文献
17.
We consider tensors T=fg on the pseudo-euclidean space Rn and on the hyperbolic space Hn, where n?3, g is the standard metric and f is a differentiable function. For such tensors, we consider, in both spaces, the problems of existence of a Riemannian metric , conformal to g, such that , and the existence of such a metric which satisfies , where is the scalar curvature of . We find the restrictions on the Ricci candidate for solvability and we construct the solutions when they exist. We show that these metrics are unique up to homothety, we characterize those globally defined and we determine the singularities for those which are not globally defined. None of the non-homothetic metrics , defined on Rn or Hn, are complete. As a consequence of these results, we get positive solutions for the equation , where g is the pseudo-euclidean metric. 相似文献
18.
19.
Nguyen Huy Chieu 《Journal of Mathematical Analysis and Applications》2008,341(1):247-258
We compute the limiting subdifferential of the indefinite integral of the form where f is an essentially bounded measurable function, or a function continuous on an interval containing (except for, possibly, ), or a step-function which has a countable number of steps around . The related problem of computing the Aumann integral of the limiting subdifferential mapping ∂f(⋅), where f is a Lipschitz real function defined on an open set U⊂Rn, is also investigated. 相似文献