Minimal sets of generators for the relation ideals of certain monomial curves

LetO be a monomial curve in the affine algebraice-space over a fieldK andP be the relation ideal ofO. ifO is defined by a sequence ofe positive integers somee-1 of which form an arithmetic sequence then we construct a minimal set of generators forP and write an explicit formula for μ(P).     

Comparison theorems for the volume of a complex submanifold of a Kaehler manifold

LetM be a Kaehler manifold of real dimension 2n with holomorphic sectional curvatureK _H≥4λ and antiholomorphic Ricci curvatureρ _A≥(2n−2)λ, andP is a complex hypersurface. We give a bound for the quotient (volume ofP)/(volume ofM) and prove that this bound is attained if and only ifP=C P ⁿ⁻¹(λ) andM=C P ⁿ(λ). Moreover, we give some results on the volume of of tubes aboutP inM. Work partially supported by a DGICYT Grant No. PS87-0115-CO3-01.     

Certain monomial curves are set-theoretic complete intersections

LetK be a field and letm ₀,...,m _e −1 be a sequence of positive integers. LetC be the monomial curve in the affinee-space defined parametrically by . If somee−1 terms ofm ₀,...,m _e −1 form an arithmetic sequence thenC is a set-theoretic complete intersection.     

Degenerate principal series representations of Sp(<Emphasis Type="Italic">p,q</Emphasis>)

Letp>q and letG=Sp(p, q). LetP=LN be the maximal parabolic subgroup ofG with Levi subgroupL≅GL _q (ℍ)×Sp(p−q). Forsεℂ andμ a highest weight of Sp(p−q), let п_s,μ be the representation ofP such that its restriction toN is trivial and ⊠T _p-q ^μ , where det _q is the determinant character of GL _q (ℍ) andT _p-q ^μ is the irreducible representation of Sp(p−q) with highest weightμ. LetI _p,q(s, μ) be the Harish-Chandra module of the induced representation Ind _P ^G . In this paper, we shall determine the module structure and unitarity ofI _{p, q}(s, μ). Partially supported by NUS grant R-146-000-026-112.     

On moduli of vector bundles on surfaces with negative Kodaira dimension

Summary Here we prove the following result. Fix integersq, τ,a’, b’, a’ _i, 1≤i≤τ,a’, b’, a’ _i, 1≤i≤τ; then there is an integerew such that for every integert≥w, for every algebraically closed fieldK for every smooth complete surfaceX with negative Kodaira dimension, irregularityq andK _X ² =8(1−q)−τ, the following condition holds; ifX→S is a sequence fo τ blowing-downs which gives a relatively minimal model with ruling ρ:S→C, take as basis of the Neron Severi groupNS(X) a smooth rational curve which is the total transform of a fiber ofC, the total transform of a minimal section of ρ and the total transformD _i, 1≤i≤τ, of the exceptional curver; then for everyH andL∈Pic (X) withH ample,H (resp.L) represented by the integersa’, b’, a’ _i, (resp.a’, b’, a’ _i), 1≤i≤τ, in the chosen basis ofNS(X) the moduli spaceM(ZX, 2,H, L, t) of rank 2H-stable vector bundles onX with determinantL andc ₂=t is generically smooth and the number, dimension and ?birational structure? of the irreducible components ofM(X, 2,H, L, t)_red do not depend on the choice ofK andX. Furthermore the birational structure of these irreducible components can be loosely described in terms of the birational structure of the components of suitableM(S, 2,H’, L’, t’)_red withS a relatively minimal model ofX.

---

Sunto SiaX una superficie algebrica liscia completa con dimensione di Kodaira negativa e definita su un campo algebricamente chiusoK; fissiamoH eL∈Pic (X),t∈Z; siaq l’irregolarità diX e τ≔8(1−q)−K _X ^Emphasis>2 ; siaM(X, 2,H, L, t) to schema dei moduli dei fibrati vettorialiH-stabili di rango 2 suX con determinateL ec ₂=t. Si dimostra che esiste una costantew che dipende solo daq, da τ e dalla classe numerica diH e diL (ma non da char (K) o dalla classe di isomorphismo diX) tale che per ognit≥w il numero, la dimensione e ?la struttura birazionale? delle componenti irriducibili diM(X, 2,H, L, t)_red non dipende dalla scelta di char (K),K eX ma solo daq, τ e dalle classi diH eL inNS(X). Inoltre la ?struttura birazionale? di queste componenti irriducibili può essere grossolanamente descritta in termini delle componenti di opportuni spazi di moduliM(S, 2,H’, L’, t’) (doveS è un modello minimale diX).

     

Fan-Type Theorem for Long Cycles Containing a Specified Edge

In this paper, we prove that if G is 3-connected noncomplete graph of order n satisfying min{max{d(u),d(v)}:d(u,v)=2}=μ, then for each edge e, G has a cycle containing e of length at least min{n,2μ}, unless G is a spanning subgraph of K_μ + K^c_n−μ or K₃+(lK_μ−2∪K_s), where n=l(μ−2)+s+3,1≤s≤μ−2. Partially supported by NNSFC(No. 60172005); Partially supported by NNSFC(No. 10431020);     

Weierstrass points on trigonal curves I: The ramification points

LetC be a smooth curve of genusg≥5. Assume thatP is a Weierstrass point onC which first non-gap is equal to 3. The gap sequence atP is completely determinated by numbersn and ε satisfying (g−1)/3≤n≤g/2 and ε is 1 or 2 as follows. Given suchn and ε, the corresponding gap sequence is (1, 2, 4, 5,…, 3n−2, 3n−1, 3n+ε, 3n+3+ε, …, 3(g−n−1)+ε). We say thatP is of then-th kind andP is of type I (resp. II) if ε=1 (resp. 2). Because a curve of genusg≥5 has at most one linear systemg1/3, it follows that the Weierstrass points onC with first non-gap equal to 3 are of the same kind.     

On the difference between the number of prime divisors at consecutive integers

Suppose thatg(n) is equal to the number of divisors ofn, counting multiplicity, or the number of divisors ofn, a≠0 is an integer, andN(x,b)=|{n∶n≤x, g(n+a)−g(n)=b orb+1}|. In the paper we prove that sup _b N(x,b)≤C(a)x)(log log 10 _x )^−1/2 and that there exists a constantC(a,μ)>0 such that, given an integerb |b|≤μ(log logx)^1/2,x≥x _o, the inequalityN(x,b)≥C(a,μ)x(log logx(^−1/2) is valid. Translated fromMatematicheskie Zametki, Vol. 66, No. 4, pp. 579–595, October, 1999.     

Inequalities for the number of linear extensions

Lete(P) denote the number of linear extensions of a partial orderP. Interpreting the diagram ofP as a network, ande(P) as the value of a flow, we prove some upper and lower bounds fore(P). One of the consequences is the following. If the incomparability graph ofP can be covered by the incomparability graphs of ordersP ₁,P ₂,...,P _k thene(P) e(P ₁)e(P ₂)...e(P _k ).     

Division algebras with no common subfields

An example is given of division algebrasD ₁ andD ₂ of odd prime degreep over a fieldK such thatD ₁ andD ₂ have no common subfield properly containingF, butD ₁ ^⊗i ⊗ _K D ₂ is not a division algebra for 1≤i≤p−1. Supported in part by the NSF.     

The maximal ideal space of analytic Lipschitz algebras

LetK be a compact subset of the complex plane and 0<α≤1. In this article we determine the maximal ideal space ofLi _pA(K, α).     

Rational points of bounded height on Del Pezzo surfaces of degree six

LetK be a number field. Denote byV ₃ a split Del Pezzo surface of degree six overK and by ω its canonical divisor. Denote byW ₃ the open complement of the exceptional lines inV ₃. LetN _{W s}(−ω, X) be the number ofK-rational points onW ₃ whose anticanonical heightH _−ω is bounded byX. Manin has conjectured that asymptoticallyN _{W 3}(−ω, X) tends tocX(logX)³, wherec is a constant depending only on the number field and on the normalization of the height. Our goal is to prove the following theorem: For each number fieldK there exists a constantc _K such thatN _{W 3}(−ω, X)≤c_KX(logX)^3+2r , wherer is the rank of the group of units ofO _K. The constantc _K is far from being optimal. However, ifK is a purely imaginary quadratic field, this proves an upper bound with a correct power of logX. The proof of Manin's conjecture for arbitrary number fields and a precise treatment of the constants would require a more sophisticated setting, like the one used by [Peyre] to prove Manin's conjecture and to compute the correct asymptotic constant (in some normalization) in the caseK=ℚ. Up to now the best result for arbitraryK goes back, as far as we know, to [Manin-Tschinkel], who gives an upper boundN _{W 3}(−ω,X)≤cX^l+ε. The author would like to express his gratitude to Daniel Coray and Per Salberger for their generous and indispensable support.     

Dilatation estimates for quasiconformal extensions

LetD andD′ be ring domains inB ⁿ , withS ⁿ⁻¹ as one boundary component, and let be a homeomorphism which isK-quasiconformal inD and withf(S ⁿ⁻¹)=S ⁿ⁻¹. According to a result of Gehringf÷S ⁿ⁻¹ admits an extension which is quasiconformal inB ⁿ . We find here an upper bound for the dilatation ofg in terms ofn, K, and modD. This work was started during a visit to Université de Paris, financed by a cultural exchange program between France and Finland.     

Some estimates related to fractal measures and Laplacians on manifolds

Let Δ be the Laplace-Beltrami operator on ann dimensional completeC ^∞ manifoldM In this paper we establish an estimate ofe ^tΔ (dμ) valid for allt>0 wheredμ is a locally uniformly α dimensional measure onM 0≤α≤n The result is used to study the mapping properties of (I-tΔ)^-β considered as an operator fromL ^p (M dμ) toL ^p (M dx) wheredx is the Riemannian measure onM β>(n−α)/2p′ 1/p+1/p′=1 1≤p≤∞     

An optimal algorithm for finding depth-first spanning tree on permutation graphs

LetG be a connected graph ofn vertices. The problem of finding a depth-first spanning tree ofG is to find a connected subgraph ofG with then vertices andn − 1 edges by depth-first-search. In this paper, we propose anO(n) time algorithm to solve this problem on permutation graphs.     

THE SECOND EXPONENT SET OF PRIMITIVE DIGRAPHS

51.IntroductionandNotationsLetD=(V,E)beadigraphandL(D)denotethesetofcyclelengthsofD.ForuEVandintegeri21,letfo(u):={vEVIthereedestsadirectedwalkoflengthifromutov}.WedelveRo(u):={u}.Letu,vEV.IfN (v)=N (v)andN--(v)=N--(v),thenwecanvacopyofu.LotDbeaprimitivedigraphand7(D)denotetheexponentofD.In1950,H.WielandtI61foundthat7(D)5(n--1)' 1andshowedthatthereisapiquedigraphthatattainsthisbound.In1964,A.L.DulmageandN.S.Mendelsohn[2]ObservedthattherearegapsintheexponentsetEd={ry(D)IDEPD.}…     

On projectively normal embeddings of generalk-gonal curves

Fix integersg, k andt witht>0,k≥3 andtk<g/2−1. LetX be a generalk-gonal curve of genusg andR∈Pic ^k (X) the uniqueg _k ¹ onX. SetL:=K _X⊗(R ^*)^⊗t.L is very ample. Leth _L:X→P(H ⁰(X, L)^*) be the associated embedding. Here we prove thath _L(X) is projectively normal. Ifk≥4 andtk<g/2−2 the curveh _L(X) is scheme-theoretically cut out by quadrics. The author was partially supported by MURST and GNSAGA of CNR (Italy).     

Central polynomials and matrix invariants

LetK be a field, charK=0 andM _n (K) the algebra ofn×n matrices overK. If λ=(λ₁,…,λ _m ) andμ=(μ ₁,…,μ _m ) are partitions ofn ² let wherex ₁,…,x _n ²,y ₁,…,y _n ² are noncommuting indeterminates andS _n ² is the symmetric group of degreen ². The polynomialsF ^{λ, μ} , when evaluated inM _n (K), take central values and we study the problem of classifying those partitions λ,μ for whichF ^{λ, μ} is a central polynomial (not a polynomial identity) forM _n (K). We give a formula that allows us to evaluateF ^{λ, μ} inM(K) in general and we prove that if λ andμ are not both derived in a suitable way from the partition δ=(1, 3,…, 2n−3, 2n−1), thenF ^{λ, μ} is a polynomial identity forM _n (K). As an application, we exhibit a new class of central polynomials forM _n (K). In memory of Shimshon Amitsur Research supported by a grant from MURST of Italy.     

On inferring the probability of misclassification by the linear discriminant function

Summary Let the two alternative populationsP ₁ andP ₂ from which the individual with measurements χ may have come beN(μ(1), Σ) andN(μ(2), Σ). Then the classification rule with minimum risk is to assign the individual toP ₁ orP ₂ according as (μ(2)-μ(1))′Σ^-1 x≶(1/2)(μ(2)-μ(1))′Σ^-1(μ(1)+μ(2))+c wherec is a constant depending on the prior probabilities ofP ₁ andP ₂ and the costs of the two kinds of misclassification. The probability of misclassifying an individual fromP ₂ by this rule is π₂₁=Φ(-δ/2+cδ^-1), where Φ(.) is the distribution function of anN(0, 1) and . (Since we are free to choose which population we shall callP ₂, it is not necessary to consider separately the probability of misclassifying an individual fromP ₁.) LetP ₂₁ denote the probability of misclassification of an individual fromP ₂ by the rule derived from the one mentioned by fixing μ(1), μ(2) and Σ at estimates andV and letP ₂₁ ^* be the probability of misclassification of an individual fromP ₂ when the classification rule is the one with minimum risk among those based on . The fiducial distributions of π₂₁,P ₂₁ andP ₂₁ ^* are determined. Point estimates and confidence intervals for π₂₁,P ₂₁ andP ₂₁ ^* are derived. Only easily available tables are needed to make fiducial inferences. An incidental result of some interest elsewhere as well is the distribution of a linear combination of a chi and an independent normal variable.     

Alcune proprietà di dualità per gli schemi geometricamente legati

Riassunto Dati due schemi proiettiviV eV′ geometricamente legati da una intersezione completaX e definiti su di un corpo di caratteristicap qualsiasi, si provano alcune relazioni tra le dimensioni dei gruppi di coomologia dei fasciO _V(n) eO _V′(e−n), doveO _x(e) è il fascio dualizzante diX, che generalizzano i risultati classici validi in caratteristica zero.

---

Summary LetV, V′ be two geometrically linked projective schemes, defined over a field of any characteristicp, and letX be their union. We find some relations, generalizing some classical results, between the dimensions of cohomology groups with coefficients in the sheavesO _V(n) andO _V′(e−n), whereO _X(e) is the dualizing sheaf ofX.