共查询到20条相似文献,搜索用时 62 毫秒
1.
François Ducrot 《Journal of Pure and Applied Algebra》2005,195(1):33-73
We define the notion of a hypercube structure on a functor between two commutative Picard categories which generalizes the notion of a cube structure on a Gm-torsor over an abelian scheme. We prove that the determinant functor of a relative scheme X/S of relative dimension n is canonically endowed with a (n+2)-cube structure. We use this result to define the intersection bundle IX/S(L1,…,Ln+1) of n+1 line bundles on X/S and to construct an additive structure on the functor IX/S:PIC(X/S)n+1→PIC(S). Then, we construct the resultant of n+1 sections of n+1 line bundles on X, and the discriminant of a section of a line bundle on X. Finally we study the relationship between the cube structures on the determinant functor and on the discriminant functor, and we use it to prove a polarization formula for the discriminant functor. 相似文献
2.
Yoshiaki Fukuma 《Journal of Pure and Applied Algebra》2007,211(3):609-621
Let (X,L) be a polarized manifold of dimension n defined over the field of complex numbers. In this paper, we treat the case where n=3 and 4. First we study the case of n=3 and we give an explicit lower bound for h0(KX+L) if κ(X)≥0. Moreover, we show the following: if κ(KX+L)≥0, then h0(KX+L)>0 unless κ(X)=−∞ and h1(OX)=0. This gives us a partial answer of Effective Non-vanishing Conjecture for polarized 3-folds. Next for n=4 we investigate the dimension of H0(KX+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h0(KX+mL) is obtained. We also consider a conjecture of Beltrametti-Sommese for 4-folds and we can prove that this conjecture is true unless κ(X)=−∞ and h1(OX)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h1(OX)>0, then h0(KX+L)>0. 相似文献
3.
Yoshiaki Fukuma 《Journal of Pure and Applied Algebra》2011,215(2):168-184
Let X be a smooth complex projective variety of dimension 3 and let L be an ample line bundle on X. In this paper, we provide a lower bound for h0(m(KX+L)) under the assumption that κ(KX+L)≥0. In particular, we get the following: (1) if 0≤κ(KX+L)≤2, then h0(KX+L)>0 holds. (2) If κ(KX+L)=3, then h0(2(KX+L))≥3 holds. Moreover we get a classification of (X,L) with κ(KX+L)=3 and h0(2(KX+L))=3 or 4. 相似文献
4.
We prove in this paper that for a quasi-compact and semi-separated (nonnecessarily noetherian) scheme X, the derived category of quasi-coherent sheaves over X, D(Aqc(X)), is a stable homotopy category in the sense of Hovey, Palmieri and Strickland, answering a question posed by Strickland. Moreover we show that it is unital and algebraic. We also prove that for a noetherian semi-separated formal scheme X, its derived category of sheaves of modules with quasi-coherent torsion homologies Dqct(X) is a stable homotopy category. It is algebraic but if the formal scheme is not a usual scheme, it is not unital, therefore its abstract nature differs essentially from that of the derived category Dqc(X) (which is equivalent to D(Aqc(X))) in the case of a usual scheme. 相似文献
5.
Ognjen Milatovic 《Differential Geometry and its Applications》2004,21(3):361-377
We consider a family of Schrödinger-type differential expressions L(κ)=D2+V+κV(1), where κ∈C, and D is the Dirac operator associated with a Clifford bundle (E,∇E) of bounded geometry over a manifold of bounded geometry (M,g) with metric g, and V and V(1) are self-adjoint locally integrable sections of EndE. We also consider the family I(κ)=*(∇F)∇F+V+κV(1), where κ∈C, and ∇F is a Hermitian connection on a Hermitian vector bundle F of bonded geometry over a manifold of bounded geometry (M,g), and V and V(1) are self-adjoint locally integrable sections of EndF. We give sufficient conditions for L(κ) and I(κ) to have a realization in L2(E) and L2(F), respectively, as self-adjoint holomorphic families of type (B). In the proofs we use Kato's inequality for Bochner Laplacian operator and Weitzenböck formula. 相似文献
6.
Euisung Park 《Journal of Pure and Applied Algebra》2010,214(2):101-111
Let X be a hyperelliptic curve of arithmetic genus g and let f:X→P1 be the hyperelliptic involution map of X. In this paper we study higher syzygies of linearly normal embeddings of X of degree d≤2g. Note that the minimal free resolution of X of degree ≥2g+1 is already completely known. Let A=f∗OP1(1), and let L be a very ample line bundle on X of degree d≤2g. For , we call the pair (m,d−2m)the factorization type ofL. Our main result is that the Hartshorne-Rao module and the graded Betti numbers of the linearly normal curve embedded by |L| are precisely determined by the factorization type of L. 相似文献
7.
The Selmer trinomials are the trinomials f(X)∈{Xn−X−1,Xn+X+1|n>1 is an integer} over Z. For these trinomials we show that the ideal C=(f(X),f′(X))Z[X] has height two and contains the linear polynomial (n−1)X+n. We then give several necessary and sufficient conditions for D[X]/(f(X)D[X]) to be a regular ring, where f(X) is an arbitrary polynomial over a Dedekind domain D such that its ideal C has height two and contains a product of primitive linear polynomials. We next specialize to the Selmer-like trinomials bXn+cX+d and bXn+cXn−1+d over D and give several more such necessary and sufficient conditions (among them is that C is a radical ideal). We then specialize to the Selmer trinomials over Z and give quite a few more such conditions (among them is that the discriminant Disc(Xn−X−1)=±(nn−(1−n)n−1) of Xn−X−1 is square-free (respectively Disc(Xn+X+1)=±(nn+(1−n)n−1) of Xn+X+1 is square-free)). Finally, we show that nn+(1−n)n−1 is never square-free when n≡2 (mod 3) and n>2, but, otherwise, both are very often (but not always) square-free. 相似文献
8.
Dhruba R. Adhikari 《Nonlinear Analysis: Theory, Methods & Applications》2011,74(14):4622-4641
Let X be an infinite dimensional real reflexive Banach space with dual space X∗ and G⊂X, open and bounded. Assume that X and X∗ are locally uniformly convex. Let T:X⊃D(T)→2X∗ be maximal monotone and strongly quasibounded, S:X⊃D(S)→X∗ maximal monotone, and C:X⊃D(C)→X∗ strongly quasibounded w.r.t. S and such that it satisfies a generalized (S+)-condition w.r.t. S. Assume that D(S)=L⊂D(T)∩D(C), where L is a dense subspace of X, and 0∈T(0),S(0)=0. A new topological degree theory is introduced for the sum T+S+C, with degree mapping d(T+S+C,G,0). The reason for this development is the creation of a useful tool for the study of a class of time-dependent problems involving three operators. This degree theory is based on a degree theory that was recently developed by Kartsatos and Skrypnik just for the single-valued sum S+C, as above. 相似文献
9.
Let X be a normal Gorenstein complex projective variety. We introduce the Hilbert variety VX associated to the Hilbert polynomial χ(x1L1+?+xρLρ), where L1,…,Lρ is a basis of , ρ being the Picard number of X, and x1,…,xρ are complex variables. After studying general properties of VX we specialize to the Hilbert curve of a polarized variety (X,L), namely the plane curve of degree dim(X) associated to χ(xKX+yL). Special emphasis is given to the case of polarized threefolds. 相似文献
10.
Yoshiaki Fukuma 《Journal of Pure and Applied Algebra》2007,209(1):99-117
Let (X,L) be a polarized manifold of dimension n. In this paper, for any integer i with 0≤i≤n we introduce the notion of the ith sectional invariant of (X,L). We define the ith sectional Euler number ei(X,L), the ith sectional Betti number bi(X,L), and the ith sectional Hodge number of type (j,i−j) of (X,L) and we will study some properties of these. 相似文献
11.
Karim Belaid 《Topology and its Applications》2011,158(15):1969-1975
In this paper, a characterization is given for compact door spaces. We, also, deal with spaces X such that a compactification K(X) of X is submaximal or door.Let X be a topological space and K(X) be a compactification of X.We prove, here, that K(X) is submaximal if and only if for each dense subset D of X, the following properties hold:
- (i)
- D is co-finite in K(X);
- (ii)
- for each x∈K(X)?D, {x} is closed.
12.
Let X be a smooth complex projective variety with Neron–Severi group isomorphic to ℤ, and D an irreducible divisor with normal crossing singularities. Assume 1<r≤ 3. We prove that if π1(X) doesn't have irreducible PU(r) representations, then π1(X- D) doesn't have irreducible U(r) representations. The proof uses the non-existence of certain stable parabolic bundles. We also obtain a similar result for
GL(2) when D is smooth.
Received: 20 December 1999 / Revised version: 7 May 2000 相似文献
13.
We study the existence of homoclinic orbits for the second order Hamiltonian system , where q∈Rn and V∈C1(R×Rn,R), V(t,q)=-K(t,q)+W(t,q) is T-periodic in t. A map K satisfies the “pinching” condition b1|q|2?K(t,q)?b2|q|2, W is superlinear at the infinity and f is sufficiently small in L2(R,Rn). A homoclinic orbit is obtained as a limit of 2kT-periodic solutions of a certain sequence of the second order differential equations. 相似文献
14.
Dhruba R. Adhikari 《Journal of Mathematical Analysis and Applications》2008,348(1):122-136
Let X be a real reflexive Banach space with dual X∗. Let L:X⊃D(L)→X∗ be densely defined, linear and maximal monotone. Let T:X⊃D(T)→X∗2, with 0∈D(T) and 0∈T(0), be strongly quasibounded and maximal monotone, and C:X⊃D(C)→X∗ bounded, demicontinuous and of type (S+) w.r.t. D(L). A new topological degree theory has been developed for the sum L+T+C. This degree theory is an extension of the Berkovits-Mustonen theory (for T=0) and an improvement of the work of Addou and Mermri (for T:X→X∗2 bounded). Unbounded maximal monotone operators with are strongly quasibounded and may be used with the new degree theory. 相似文献
15.
Štefko Miklavi? 《Linear algebra and its applications》2009,430(1):251-636
Let Γ denote a distance-regular graph with diameter D?3. Assume Γ has classical parameters (D,b,α,β) with b<-1. Let X denote the vertex set of Γ and let A∈MatX(C) denote the adjacency matrix of Γ. Fix x∈X and let A∗∈MatX(C) denote the corresponding dual adjacency matrix. Let T denote the subalgebra of MatX(C) generated by A,A∗. We call T the Terwilliger algebra of Γ with respect to x. We show that up to isomorphism there exist exactly two irreducible T-modules with endpoint 1; their dimensions are D and 2D-2. For these T-modules we display a basis consisting of eigenvectors for A∗, and for each basis we give the action of A. 相似文献
16.
Dan Yan 《Linear algebra and its applications》2011,435(9):2110-2113
In this note, we show that, if the Druzkowski mappings F(X)=X+(AX)∗3, i.e. F(X)=(x1+(a11x1+?+a1nxn)3,…,xn+(an1x1+?+annxn)3), satisfies TrJ((AX)∗3)=0, then where δ is the number of diagonal elements of A which are equal to zero. Furthermore, we show the Jacobian Conjecture is true for the Druzkowski mappings in dimension ?9 in the case . 相似文献
17.
Zoltán Füredi 《Combinatorica》1981,1(2):155-162
Let ℋ be a family ofr-subsets of a finite setX. SetD(ℋ)=
|{E:x∈E∈ℋ}|, (maximum degree). We say that ℋ is intersecting if for anyH,H′ ∈ ℋ we haveH ∩H′ ≠ 0. In this case, obviously,D(ℋ)≧|ℋ|/r. According to a well-known conjectureD(ℋ)≧|ℋ|/(r−1+1/r). We prove a slightly stronger result. Let ℋ be anr-uniform, intersecting hypergraph. Then either it is a projective plane of orderr−1, consequentlyD(ℋ)=|ℋ|/(r−1+1/r), orD(ℋ)≧|ℋ|/(r−1). This is a corollary to a more general theorem on not necessarily intersecting hypergraphs. 相似文献
18.
Li-Ping Huang 《Linear algebra and its applications》2010,433(1):221-232
Denote by G=(V,∼) a graph which V is the vertex set and ∼ is an adjacency relation on a subset of V×V. In this paper, the good distance graph is defined. Let (V,∼) and (V′,∼′) be two good distance graphs, and φ:V→V′ be a map. The following theorem is proved: φ is a graph isomorphism ⇔φ is a bounded distance preserving surjective map in both directions ⇔φ is a distance k preserving surjective map in both directions (where k<diam(G)/2 is a positive integer), etc. Let D be a division ring with an involution such that both |F∩ZD|?3 and D is not a field of characteristic 2 with D=F, where and ZD is the center of D. Let Hn(n?2) be the set of n×n Hermitian matrices over D. It is proved that (Hn,∼) is a good distance graph, where A∼B⇔rank(A-B)=1 for all A,B∈Hn. 相似文献
19.
Yaroslav Kurylev 《Advances in Mathematics》2009,221(1):170-216
We consider a Dirac-type operator DP on a vector bundle V over a compact Riemannian manifold (M,g) with a non-empty boundary. The operator DP is specified by a boundary condition P(u|∂M)=0 where P is a projector which may be a non-local, i.e., a pseudodifferential operator. We assume the existence of a chirality operator which decomposes L2(M,V) into two orthogonal subspaces X+⊕X−. Under certain conditions, the operator DP restricted to X+ and X− defines a pair of Fredholm operators which maps X+→X− and X−→X+ correspondingly, giving rise to a superstructure on V. In this paper we consider the questions of determining the index of DP and the reconstruction of and DP from the boundary data on ∂M. The data used is either the Cauchy data, i.e., the restrictions to ∂M×R+ of the solutions to the hyperbolic Dirac equation, or the boundary spectral data, i.e., the set of the eigenvalues and the boundary values of the eigenfunctions of DP. We obtain formulae for the index and prove uniqueness results for the inverse boundary value problems. We apply the obtained results to the classical Dirac-type operator in M×C4, M⊂R3. 相似文献
20.
David F. Anderson 《Journal of Pure and Applied Algebra》2007,208(1):351-359
Let D be an integral domain. A saturated multiplicative subset S of D is an almost splitting set if, for each 0≠d∈D, there exists a positive integer n=n(d) such that dn=st for some s∈S and t∈D which is v-coprime to each element of S. We show that every upper to zero in D[X] contains a primary element if and only if D?{0} is an almost splitting set in D[X], if and only if D is a UMT-domain and Cl(D[X]) is torsion. We also prove that D[X] is an almost GCD-domain if and only if D is an almost GCD-domain and Cl(D[X]) is torsion. Using this result, we construct an integral domain D such that Cl(D) is torsion, but Cl(D[X]) is not torsion. 相似文献