共查询到20条相似文献,搜索用时 31 毫秒
1.
Albert Wiltsche 《Journal of Geometry》2008,88(1-2):178-193
We discuss all automorphisms of which have a space cubic (twisted cubic) as a fixed figure. These automorphisms build up a three-parameter subgroup of all collineations of . In this paper we study the one-parameter subgroups of , their paths and tangent complexes.
相似文献
2.
3.
Sven Kosub 《Mathematics in Computer Science》2008,1(3):487-505
A complete classification of the computational complexity of the fixed-point existence problem for Boolean dynamical systems,
i.e., finite discrete dynamical systems over the domain {0, 1}, is presented. For function classes and graph classes , an ()-system is a Boolean dynamical system such that all local transition functions lie in and the underlying graph lies in . Let be a class of Boolean functions which is closed under composition and let be a class of graphs which is closed under taking minors. The following dichotomy theorems are shown: (1) If contains the self-dual functions and contains the planar graphs, then the fixed-point existence problem for ()-systems with local transition function given by truth-tables is NP-complete; otherwise, it is decidable in polynomial time.
(2) If contains the self-dual functions and contains the graphs having vertex covers of size one, then the fixed-point existence problem for ()-systems with local transition function given by formulas or circuits is NP-complete; otherwise, it is decidable in polynomial
time.
相似文献
4.
Let (V, g) be a Riemannian manifold and let be the isometric immersion operator which, to a map , associates the induced metric on V, where denotes the Euclidean scalar product in . By Nash–Gromov implicit function theorem is infinitesimally invertible over the space of free maps. In this paper we study non-free isometric immersions . We show that the operator (where denotes the space of C
∞- smooth quadratic forms on ) is infinitesimally invertible over a non-empty open subset of and therefore is an open map in the respective fine topologies.
相似文献
5.
Markus Riedle 《Journal of Evolution Equations》2008,8(1):71-97
We consider solutions of affine stochastic functional differential equations on . The drift of these equations is specified by a functional defined on a general function space which is only described axiomatically. The solutions are reformulated as stochastic processes in the space . By representing such a process in the bidual space of we establish that the transition functions of this process form a generalized Gaussian Mehler semigroup on . This way the process is characterized completely on since it is Markovian.
Moreover we derive a sufficient and necessary condition on the underlying space such that the transition functions are even an Ornstein-Uhlenbeck semigroup. We exploit this result to associate a Cauchy
problem in the function space to the stochastic functional differential equation.
相似文献
6.
For a smooth curve C it is known that a very ample line bundle on C is normally generated if Cliff() < Cliff(C) and there exist extremal line bundles (:non-normally generated very ample line bundle with Cliff() = Cliff(C)) with . However it has been unknown whether there exists an extremal line bundle with . In this paper, we prove that for any positive integers (g, c) with g = 2c + 5 and (mod 2) there exists a smooth curve of genus g and Clifford index c carrying an extremal line bundle with . In fact, a smooth quadric hypersurface section C of a general projective K3 surface always has an extremal line bundle with . More generally, if C has a line bundle computing the Clifford index c of C with , then C has such an extremal line bundle .
For all authors, this work was supported by Korea Research Foundation Grant funded by Korea Government (MOEHRD, Basic Reasearch
Promotion Fund)(KRF-2005-070-C00005). 相似文献
7.
Lorenz J. Schwachhöfer 《Archiv der Mathematik》2008,90(2):158-162
We show that a left invariant metric on a compact Lie group G with Lie algebra has some negative sectional curvature if it is obtained by enlarging a biinvariant metric on a subalgebra , unless the semi-simple part of is an ideal of This answers a question raised in [8].
Received: 7 May 2007 相似文献
8.
Mikhail Kapranov 《Selecta Mathematica, New Series》2007,13(2):277-319
We construct algebraic and algebro-geometric models for the spaces of unparametrized paths. This is done by considering a
path as a holonomy functional on indeterminate connections. For a manifold X, we construct a Lie algebroid which serves as the tangent space to X (punctual paths) inside the space of all unparametrized paths. It serves as a natural receptacle of all “covariant derivatives
of the curvature” for all bundles with connections on X.
If X is an algebraic variety, we integrate to a formal groupoid which can be seen as the formal neighborhood of X inside the space of paths. We establish a relation between and the stable map spaces of Kontsevich.
相似文献
9.
We construct the coarse moduli space of quadratic line complexes with a fixed Segre symbol σ as well as the moduli space of the corresponding singular surfaces. We show that the map associating to a quadratic line complex its singular surface
induces a morphism . Finally we deduce that the varieties of cosingular quadratic line complexes are almost always curves.
相似文献
10.
M. Amélia Bastos Claudio A. Fernandes Yuri I. Karlovich 《Complex Analysis and Operator Theory》2008,2(2):241-272
The C*-subalgebra of generated by all multiplication operators by slowly oscillating and piecewise continuous functions, by the Cauchy singular
integral operator and by the range of a unitary representation of an amenable group of diffeomorphisms with any nonempty set of common fixed points is studied. A symbol calculus for the C*-algebra and a Fredholm criterion for its elements are obtained. For the C*-algebra composed by all functional operators in , an invertibility criterion for its elements is also established. Both the C*-algebras and are investigated by using a generalization of the local-trajectory method for C*-algebras associated with C*-dynamical systems which is based on the notion of spectral measure.
Submitted: April 30, 2007. Accepted: November 5, 2007. 相似文献
11.
A. M. Nurakunov 《Algebra Universalis》2007,57(2):207-214
Let A be a finite algebra and a quasivariety. By
A is meant the lattice of congruences θ on A with . For any positive integer n, we give conditions on a finite algebra A under which for any n-element lattice L there is a quasivariety such that .
The author was supported by INTAS grant 03-51-4110. 相似文献
12.
Raúl E. Curto Lawrence A. Fialkow H. Michael Möller 《Integral Equations and Operator Theory》2008,60(2):177-200
For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness
of .
The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named
author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138. 相似文献
13.
Udo Baumgartner 《Geometriae Dedicata》2007,130(1):163-175
Let Γ be a group which is virtually free of rank at least 2 and let be the family of totally disconnected, locally compact groups containing Γ as a co-compact lattice. We prove that the values
of the scale function with respect to groups in evaluated on the subset Γ have only finitely many prime divisors. This can be thought of as a uniform property of the family
.
相似文献
14.
F. E. A. Johnson 《Archiv der Mathematik》2008,90(2):123-132
A module J over a ring is said to be hyperstable when . Over a module M for which Ext we show that the projective n-stems for which is hyperstable constitute a single homotopy type.
Received: 17 November 2006 相似文献
15.
Luis J. Alías Marcos Dajczer Harold Rosenberg 《Calculus of Variations and Partial Differential Equations》2007,30(4):513-522
We study constant mean curvature graphs in the Riemannian three- dimensional Heisenberg spaces . Each such is the total space of a Riemannian submersion onto the Euclidean plane with geodesic fibers the orbits of a Killing field. We prove the existence and uniqueness of CMC graphs in with respect to the Riemannian submersion over certain domains taking on prescribed boundary values.
L. J. Alías was partially supported by MEC/FEDER project MTM2004-04934-C04-02 and Fundación Séneca project 00625/PI/04, Spain. 相似文献
16.
Céline Roucairol 《manuscripta mathematica》2007,124(3):299-318
We compute formal invariants associated with the cohomology sheaves of the direct image of holonomic -modules of exponential type. We also prove that every formal -modules is isomorphic, after a ramification, to a germ of formalized direct image of analytic -module of exponential type. 相似文献
17.
Morton E. Harris 《Results in Mathematics》2008,51(3-4):249-259
As in Finite Group Modular Representation Theory, let be a commutative complete noetherian ring with an algebraically closed residue field k. Let G be a finite group and let N be a normal subgroup of G. First suppose that V is an indecomposable -module, so that Inf
G
G/N
(V) is an indecomposable G-module. We relate the Green invariants of V as an -module to those of Inf
G
G/N
(V) as an G-module. Secondly, let V and W be indecomposable G-modules. Assume that W is an endo-permutation lattice and that is also an indecomposable G-module. We relate the Green invariants of the G-modules V and . (This situation arises under important Morita equivalences.)
Received: December 11, 2006. Revised: August 22, 2007. 相似文献
18.
We study permanence properties of the classes of stable and so-called -stable -algebras, respectively. More precisely, we show that a (X)-algebra A is stable if all its fibres are, provided that the underlying compact metrizable space X has finite covering dimension or that the Cuntz semigroup of A is almost unperforated (a condition which is automatically satisfied for -algebras absorbing the Jiang–Su algebra tensorially). Furthermore, we prove that if is a K
1-injective strongly self-absorbing -algebra, then A absorbs tensorially if and only if all its fibres do, again provided that X is finite-dimensional. This latter statement generalizes results of Blanchard and Kirchberg. We also show that the condition
on the dimension of X cannot be dropped. Along the way, we obtain a useful characterization of when a -algebra with weakly unperforated Cuntz semigroup is stable, which allows us to show that stability passes to extensions of
-absorbing -algebras.
Research supported by: Deutsche Forschungsgemeinschaft (through the SFB 478), by the EU-Network Quantum Spaces - Noncommutative
Geometry (Contract No. HPRN-CT-2002-00280), and by the Center for Advanced Studies in Mathematics at Ben-Gurion University 相似文献
19.
Gabriel Ruiz-Hernández 《Archiv der Mathematik》2008,90(4):374-384
We prove that the sphere is the only compact immersed hypersurface in Euclidean space each of whose shadow boundaries is a totally geodesic submanifold. Furthermore, we give conditions for the shadow boundary
of a submanifold of to be regular.
Received: 25 January 2007 相似文献
20.