首页 | 本学科首页   官方微博 | 高级检索  
相似文献
 共查询到20条相似文献,搜索用时 31 毫秒
1.
We first recall using the Clifford bundle formalism (CBF) of differential forms and the theory of extensors acting on \({\mathcal{C}\ell}\) (M, g) (the Clifford bundle of differential forms) the formulation of the intrinsic geometry of a differential manifold M equipped with a metric field g of signature (p, q) and an arbitrary metric compatible connection \({\nabla}\) introducing the torsion (2?1)-extensor field \({\tau}\) , the curvature (2 ? 2) extensor field \({\Re}\) and (once fixing a gauge) the connection (1?2)-extensor \({\omega}\) and the Ricci operator \({\partial \bigwedge \partial}\) (where \({\partial}\) is the Dirac operator acting on sections of \({\mathcal{C}\ell(M, g)}\) ) which plays an important role in this paper. Next, using the CBF we give a thoughtful presentation the Riemann or the Lorentzian geometry of an orientable submanifold M (dim Mm) living in a manifold M? (such that M? \({\simeq \mathbb{R}^n}\) is equipped with a semi- Riemannian metric g? with signature (p?, q?) and p?+q? = n and its Levi- Civita connection D?) and where there is defined a metric gi*g?, where \({i : M \rightarrow}\) M? is the inclusion map. We prove several equivalent forms for the curvature operator \({\Re}\) of M. Moreover we show a very important result, namely that the Ricci operator of M is the (negative) square of the shape operator S of M (object obtained by applying the restriction on M of the Dirac operator ?? of \({\mathcal{C}\ell}\) (M?, g?) to the projection operator P). Also we disclose the relationship between the (1?2)-extensor \({\omega}\) and the shape biform \({\mathcal{S}}\) (an object related to S). The results obtained are used to give a mathematical formulation to Clifford’s theory of matter. It is hoped that our presentation will be useful for differential geometers and theoretical physicists interested, e.g., in string and brane theories and relativity theory by divulging, improving and expanding very important and so far unfortunately largely ignored results appearing in reference [13].  相似文献   

2.
We consider the well-known provability logic GLP. We prove that the GLP-provability problem for polymodal formulas without variables is PSPACE-complete. For a number n, let \({L^{n}_0}\) denote the class of all polymodal variable-free formulas without modalities \({\langle n \rangle,\langle n+1\rangle,...}\) . We show that, for every number n, the GLP-provability problem for formulas from \({L^{n}_0}\) is in PTIME.  相似文献   

3.
We prove that if m and \({\nu}\) are integers with \({0 \leq \nu \leq m}\) and x is a real number, then
  1. $$\sum_{k=0 \atop k+m \, \, odd}^{m-1} {m \choose k}{k+m \choose \nu} B_{k+m-\nu}(x) = \frac{1}{2} \sum_{j=0}^m (-1)^{j+m} {m \choose j}{j+m-1 \choose \nu} (j+m) x^{j+m-\nu-1},$$ where B n (x) denotes the Bernoulli polynomial of degree n. An application of (1) leads to new identities for Bernoulli numbers B n . Among others, we obtain
  2. $$\sum_{k=0 \atop k+m \, \, odd}^{m -1} {m \choose k}{k+m \choose \nu} {k+m-\nu \choose j}B_{k+m-\nu-j} =0 \quad{(0 \leq j \leq m-2-\nu)}. $$ This formula extends two results obtained by Kaneko and Chen-Sun, who proved (2) for the special cases j = 1, \({\nu=0}\) and j = 3, \({\nu=0}\) , respectively.
  相似文献   

4.
Given \({\mathbb Z}\)-graded rings A and B, we ask when the graded module categories gr-A and gr-B are equivalent. Using \({\mathbb Z}\)-algebras, we relate the Morita-type results of Áhn-Márki and del Río to the twisting systems introduced by Zhang, and prove, for example: Theorem If A and B are \({\mathbb Z}\) -graded rings, then: (1) A is isomorphic to a Zhang twist of B if and only if the \({\mathbb Z}\) -algebras \(\overline{A} = \bigoplus_{i,j \in {\mathbb Z}} A_{j-i}\) and \(\overline{B} = \bigoplus_{i,j \in {\mathbb Z}} B_{j-i}\) are isomorphic. (2) If A and B are connected graded with A 1?≠?0, then gr-A???gr-?B if and only if \(\overline{A}\) and \( \overline{B}\) are isomorphic. This simplifies and extends Zhang’s results.  相似文献   

5.
We look for conditions which make two ideals and in a noetherian ring A have the same form ideal in an associated graded ring GA(α). More precisely, when and and fi?f'iεα m m?0, ? i , we give a necessary and sufficient condition to have , involving the first syzygies modules both of (f1,...,fn) and (f'1,...,f'n); our proof is based on the Artin-Rees lemma. Finally we show that, when the sequence f1,...,fn is regular and for an integer q, then f1?f'i ? αq+1 ? i implies .  相似文献   

6.
Canonical extensions of (bounded) lattices have been extensively studied, and the basic existence and uniqueness theorems for these have been extended to general posets. This paper focuses on the intermediate class \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) of (unital) meet semilattices. Any \({\mathbf S}\in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) embeds into the algebraic closure system Filt(Filt(S)). This iterated filter completion, denoted Filt2(S), is a compact and \({\textstyle{\bigvee}\,}{\textstyle{\bigwedge}\,}\) -dense extension of S. The complete meet-subsemilattice S δ of Filt2(S) consisting of those elements which satisfy the condition of \({\textstyle{\bigwedge}\,}{\textstyle{\bigvee}\,}\) -density is shown to provide a realisation of the canonical extension of S. The easy validation of the construction is independent of the theory of Galois connections. Canonical extensions of bounded lattices are brought within this framework by considering semilattice reducts. Any S in \({{\boldsymbol{\mathcal{S}}}}_{\wedge}\) has a profinite completion, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) . Via the duality theory available for semilattices, \({\rm Pro}_{{{\boldsymbol{\mathcal{S}}}}_{\wedge}}({\mathbf S})\) can be identified with Filt2(S), or, if an abstract approach is adopted, with \({\mathbb F_{\sqcup}}({\mathbb F_{\sqcap}}({\mathbf S}))\) , the free join completion of the free meet completion of S. Lifting of semilattice morphisms can be considered in any of these settings. This leads, inter alia, to a very transparent proof that a homomorphism between bounded lattices lifts to a complete lattice homomorphism between the canonical extensions. Finally, we demonstrate, with examples, that the profinite completion of S, for \({\mathbf S} \in {{\boldsymbol{\mathcal{S}}}}_{\wedge}\) , need not be a canonical extension. This contrasts with the situation for the variety of bounded distributive lattices, within which profinite completion and canonical extension coincide.  相似文献   

7.
A. K. Steiner undE. F. Steiner described the socalled natural topology κ on spacesA B of transfinite sequences (a β), β∈B,a βA [J. Math. Anal. Appl.19, 174–178 (1967)]. These spaces generalize Baire's zerodimensional sequence-spaces. Using these spaces (A B, κ), we generalize two well known theorems of F. Hausdorff, W. Hurewicz, C. Kuratowski and K. Morita on metric spaces and their Lebesgue-dimension respectively, both involving Baire's sequence spaces. Thus we obtain a topological characterization of uniform spaces \((X,\mathfrak{U})\) with a linearly ordered base \(\mathfrak{B}\) of \(\mathfrak{U}\) .  相似文献   

8.
Let A be an algebra in a monoidal category \({\cal C}\) , and let X be an object in \({\cal C}\) . We study A-(co)ring structures on the left A-module A???X. These correspond to (co)algebra structures in \(EM({\cal C})(A)\) , the Eilenberg-Moore category associated to \({\cal C}\) and A. The ring structures are in bijective correspondence to wreaths in \({\cal C}\) , and their category of representations is the category of representations over the induced wreath product. The coring structures are in bijective correspondence to cowreaths in \({\cal C}\) , and their category of corepresentations is the category of generalized entwined modules. We present several examples coming from (co)actions of Hopf algebras and their generalizations. Various notions of smash products that have appeared in the literature appear as special cases of our construction.  相似文献   

9.
We consider an eigenvalue problem of the form $$\left.\begin{array}{cl}-\Delta_{p} u = \lambda\, K(x)|u|^{p-2}u \quad \mbox{in}\quad \Omega^e\\ u(x) =0 \quad \mbox{for}\quad \partial \Omega\\ u(x) \to 0 \quad \mbox{as}\quad |x| \to \infty,\end{array} \right \}$$ where \({\Omega \subset \mathrm{I\!R\!}^N}\) is a simply connected bounded domain, containing the origin, with C 2 boundary \({\partial \Omega}\) and \({\Omega^e:=\mathrm{I\!R\!^N} \setminus \overline{\Omega}}\) is the exterior domain, \({1 < p < N, \Delta_{p}u:={\rm div}(|\nabla u|^{p-2} \nabla u)}\) is the p-Laplacian operator and \({K \in L^{\infty}(\Omega^e) \cap L^{N/p}(\Omega^e)}\) is a positive function. Existence and properties of principal eigenvalue λ 1 and its corresponding eigenfunction are established which are generally known in bounded domain or in \({\mathrm{I\!R\!}^N}\) . We also establish the decay rate of positive eigenfunction as \({|x| \to \infty}\) as well as near .  相似文献   

10.
Letf(X; T 1, ...,T n) be an irreducible polynomial overQ. LetB be the set ofb teZ n such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F j}{F j } j?1 be a Følner sequence inZ n — that is, a sequence of finite nonempty subsetsF j ?Z n such that for eachvteZ n , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP n ?A n and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ n is identified withA n (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .  相似文献   

11.
Let Π be a polar space of rank n≥3. Denote by \({\mathcal{G}}_{k}(\varPi)\) the polar Grassmannian formed by singular subspaces of Π whose projective dimension is equal to k. Suppose that k is an integer not greater than n?2 and consider the relation \({\mathfrak{R}}_{i,j}\) , 0≤ijk+1, formed by all pairs \((X,Y)\in{\mathcal{G}}_{k}(\varPi)\times{\mathcal{G}}_{k}(\varPi)\) such that dim p (X Y)=k?i and dim p (XY)=k?j (X consists of all points of Π collinear to every point of X). We show that every bijective transformation of \({\mathcal{G}}_{k}(\varPi)\) preserving \({\mathfrak{R}}_{1,1}\) is induced by an automorphism of Π, except the case where Π is a polar space of type D n with lines containing precisely three points. If k=n?t?1, where t is an integer satisfying n≥2t≥4, we show that every bijective transformation of \({\mathcal{G}}_{k}(\varPi)\) preserving \({\mathfrak{R}}_{0,t}\) is induced by an automorphism of Π.  相似文献   

12.
Let \({\mathcal{B}^\omega(p, q, B_d)}\) denote the \({\omega}\)-weighted Hardy–Bloch space on the unit ball B d of \({\mathbb{C}^d}\), \({d\ge 1}\). For \({2< p,q < \infty}\) and \({f\in \mathcal{B}^\omega(p, q, B_d)}\), we obtain sharp estimates on the growth of the p-integral means M p (f, r) as \({r\to 1-}\).  相似文献   

13.
We study the problem $$\left\{\begin{array}{ll}\Delta_p u = |u|^{q-2}u, & \quad x \in \Omega ,\\ |\nabla u|^{p-2} \frac{\partial u}{\partial \nu}= \lambda |u|^{p-2}u, &\quad x \in \partial \Omega, \end{array}\right.$$ where \({\Omega \subset \mathbb{R}^N}\) is a bounded smooth domain, \({\nu}\) is the outward unit normal at \({\partial \Omega}\) and \({\lambda > 0}\) is regarded as a bifurcation parameter. When p = 2 and in the superlinear regime q > 2, we show existence of n nontrivial solutions for all \({\lambda > \lambda_n}\) , \({\lambda_n}\) being the n-th Steklov eigenvalue. It is proved in addition that bifurcation from the trivial solution takes place at all \({\lambda_n}\) ’s. Similar results are obtained in the sublinear case 1 < q < 2. In this case, bifurcation from infinity takes place in those \({\lambda_n}\) with odd multiplicity. Partial extensions of these features are shown in the nonlinear diffusion case \({p \neq 2}\) and related problems under spatially heterogeneous reactions are also addressed.  相似文献   

14.
We highlight that the connection of well-foundedness and recursive definitions is more than just convenience. While the consequences of making well-foundedness a sufficient condition for the existence of hierarchies (of various complexity) have been extensively studied, we point out that (if parameters are allowed) well-foundedness is a necessary condition for the existence of hierarchies e.g. that even in an intuitionistic setting \({(\Pi_1^0-\mathsf{CA}_0)_\alpha \vdash \mathsf{wf}(\alpha)\, {\rm where}\, (\Pi_1^0-\mathsf{CA}_0)_\alpha}\) stands for the iteration of \({\Pi^0_1}\) comprehension (with parameters) along some ordinal \({\alpha}\) and \({\mathsf{wf}(\alpha)}\) stands for the well-foundedness of \({\alpha}\) .  相似文献   

15.
16.
Let \({\mathbb{D}}\) be an arbitrary division ring and \({{\rm M_{n}}(\mathbb{D})}\) be the set of all n × n matrices over \({\mathbb{D}}\) . We define the rank subtractivity or minus partial order on \({{\rm M_{n}}(\mathbb{D})}\) as defined on \({{\rm M_{n}}(\mathbb{C})}\) , i.e., \({A \leqslant B}\) iff rank(B) = rank(A) + rank(B?A). We describe the structure of maps Φ on \({{\rm M_{n}}(\mathbb{D})}\) such that \({A\leqslant B}\) iff \({\Phi(A)\leqslant \Phi(B) (A, B\in {\rm M_{n}}(\mathbb{D}) )}\) .  相似文献   

17.
Let A be an arrangement of n pseudolines in the real projective plane and let p 3(A) be the number of triangles of A. Grünbaum has proposed the following question. Are there infinitely many simple arrangements of straight lines with p 3(A)=1/3n(n?1)? In this paper we answer this question affirmatively.  相似文献   

18.
We derive Hardy inequalities in weighted Sobolev spaces via anticoercive partial differential inequalities of elliptic type involving A-Laplacian ?Δ A u = ?divA(?u) ≥ Φ, where Φ is a given locally integrable function and u is defined on an open subset \({\Omega \subseteq \mathbb{R}^n}\) . Knowing solutions we derive Caccioppoli inequalities for u. As a consequence we obtain Hardy inequalities for compactly supported Lipschitz functions involving certain measures, having the form $$\int_\Omega F_{\bar{A}}(|\xi|) \mu_1(dx) \leq \int_\Omega \bar{A}(|\nabla \xi|)\mu_2(dx),$$ where \({\bar{A}(t)}\) is a Young function related to A and satisfying Δ′-condition, while \({F_{\bar{A}}(t) = 1/(\bar{A}(1/t))}\) . Examples involving \({\bar{A}(t) = t^p{\rm log}^\alpha(2+t), p \geq 1, \alpha \geq 0}\) are given. The work extends our previous work (Skrzypczaki, in Nonlinear Anal TMA 93:30–50, 2013), where we dealt with inequality ?Δ p u ≥ Φ, leading to Hardy and Hardy–Poincaré inequalities with the best constants.  相似文献   

19.
For a Tychonoff space X, we denote by C p (X) the space of all real-valued continuous functions on X with the topology of pointwise convergence.
In this paper we prove that:
  • If every finite power of X is Lindelöf then C p (X) is strongly sequentially separable iff X is \({\gamma}\)-set.
  • \({B_{\alpha}(X)}\) (= functions of Baire class \({\alpha}\) (\({1 < \alpha \leq \omega_1}\)) on a Tychonoff space X with the pointwise topology) is sequentially separable iff there exists a Baire isomorphism class \({\alpha}\) from a space X onto a \({\sigma}\)-set.
  • \({B_{\alpha}(X)}\) is strongly sequentially separable iff \({iw(X)=\aleph_0}\) and X is a \({Z^{\alpha}}\)-cover \({\gamma}\)-set for \({0 < \alpha \leq \omega_1}\).
  • There is a consistent example of a set of reals X such that C p (X) is strongly sequentially separable but B1(X) is not strongly sequentially separable.
  • B(X) is sequentially separable but is not strongly sequentially separable for a \({\mathfrak{b}}\)-Sierpiński set X.
  相似文献   

20.
The vector space \({\otimes^{n}\mathbb{C}^2}\) upon which the XXZ Hamiltonian with n spins acts bears the structure of a module over both the Temperley–Lieb algebra \({{\rm TL}_{n}(\beta = q + q^{-1})}\) and the quantum algebra \({{\rm U}_{q} \mathfrak{sl}_2}\) . The decomposition of \({\otimes^{n}\mathbb{C}^2}\) as a \({{\rm U}_{q} \mathfrak{sl}_2}\) -module was first described by Rosso (Commun Math Phys 117:581–593, 1988), Lusztig (Cont Math 82:58–77, 1989) and Pasquier and Saleur (Nucl Phys B 330:523–556, 1990) and that as a TL n -module by Martin (Int J Mod Phys A 7:645–673, 1992) (see also Read and Saleur Nucl Phys B 777(3):316–351, 2007; Gainutdinov and Vasseur Nucl Phys B 868:223–270, 2013). For q generic, i.e. not a root of unity, the TL n -module \({\otimes^{n}\mathbb{C}^2}\) is known to be a sum of irreducible modules. We construct the projectors (idempotents of the algebra of endomorphisms of \({\otimes^{n}\mathbb{C}^2}\) ) onto each of these irreducible modules as linear combinations of elements of \({{\rm U}_{q} \mathfrak{sl}_2}\) . When q = q c is a root of unity, the TL n -module \({\otimes^{n}\mathbb{C}^2}\) (with n large enough) can be written as a direct sum of indecomposable modules that are not all irreducible. We also give the idempotents projecting onto these indecomposable modules. Their expression now involves some new generators, whose action on \({\otimes^{n}\mathbb{C}^2}\) is that of the divided powers \({(S^{\pm})^{(r)} = \lim_{q \rightarrow q_{c}} (S^{\pm})^r/[r]!}\) .  相似文献   

设为首页 | 免责声明 | 关于勤云 | 加入收藏

Copyright©北京勤云科技发展有限公司  京ICP备09084417号