Dominant Families of Pointed Curves in Projective Spaces

Fix non-negative integers r, e, m, g, s such that r ≥ 3, 0 ≤ m < r, e > 0, g + s ≤ er + max{0, m − 1} + 2, g ≤ (e − 1)r + max{0,m − 1} and 0 ≤ s ≤ er + 2. Set d := er + m. Fix any such that and S is in linearly general position. Fix an ordering of the points P ₁, . . . , P _s of S. Here we prove the existence of an irreducible family Γ of smooth, non-degenerate and connected curves with degree d and genus g, all of them containing S and such that the induced map is dominant. Received: September 19, 2006.     

Linear series computing the Clifford index of a projective curve

For a (smooth irreducible) curveC of genus g and Clifford indexc>2 with a linear seriesg _d ^r computing c (so ) it is well known thatc + 2 ≤d ≤2 (c + 2), and if then 2c + 1 ≤g ≤ 2c + 4 unlessd = 2c + 4 in which caseg = 2c + 5. Let c ≥ 0 andg be integers. If 2c + 1 ≤g ≤2c + 4 we prove that for any integerd <g such thatd ≡c mod 2 andc + 2 ≤d < 2(c + 2) there exists a curve of genus g and Clifford index c with a g_d ^r computing c. Ford ≥c + 6 (i.e.r ≥ 3) we construct this curve on a surface of degree 2r-2 in ℙ^r, and ford ≥c + 8 (i.e.r ≥ 4) we show that such a curve cannot be found on a surface in ℙ^r of smaller degree. In fact, if g_d ^r computes the Clifford index c of C such thatc + 8 ≤d ≤ 2c + 3 then the birational morphism defined by this series cannot map C onto a (maybe, singular) curve contained in a surface of degree at most 2r-3 in ℙ^r.     

Domination numbers of undirected toroidal mesh

The (d, m)-domination number γd,m is a new measure to characterize the reliability of resources-sharing in fault tolerant networks, in some sense, which can more accurately characterize the reliability of networks than the m-diameter does. In this paper, we study the (d, 4)-domination numbers of undirected toroidal mesh Cd1 × Cd2 for some special values of d, obtain that γd,4 (Cd1 × C3) = 2 if and only if d4(G) e1 ≤ d d4(G) for d1 ≥ 5, γd,4 (Cd1 × C4) = 2 if d4(G) (2e1-[d1+e1]/2) ≤ d d4(G) for d1 ≥ 24, and γd,4 (Cd1 × Cd2 ) = 2 if d4(G) ( e1-2) ≤ d d4(G) for d1 = d2 ≥ 14.     

Irreducibility of Hurwitz spaces of coverings with one special fiber and monodromy group a Weyl group of type <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">d</Emphasis></Subscript>

Let Y be a smooth, connected, projective complex curve. In this paper, we study the Hurwitz spaces which parameterize branched coverings of Y whose monodromy group is a Weyl group of type D _d and whose local monodromies are all reflections except one. We prove the irreducibility of these spaces when and successively we extend the result to curves of genus g ≥ 1.     

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).     

Digital Expansions with Respect to Different Bases

We consider the g-ary expansion N=∑ _k b _k (N, g)g ^k of non-negative integers N and prove various results on the distribution and the mean value of the k-th digit b _k (N, g) if g varies in an interval of the form 2≤g≤N ^η. As an application we also consider the average value of the sum-of-digits function s(N, g)=∑ _k b _k (N, g).     

The genus of space curves

LetC be a curve contained in ℙ _k ³ (k of any characteristic), which is locally Cohen-Macaulay, not contained in a plane and of degreed. We prove thatp _a (C)≤≤((d−2)(d−3))/2. Moreover we show existence of curves with anyd, p _a satisfying this inequality and we characterize those curves for which equality holds.

---

Sunto Si dimostra che seC⊃ℙ _k ³ (k di caratteristica qualunque) é una curva, non piana, localmente Cohen-Macaulay, di gradod, allorap _a (C)≤((d−2)(d−3))/2. Si mostra che questa limitazione è ottimale, e si classificano le curve di genere aritmetico massimale.

     

Digital Expansions with Respect to Different Bases

We consider the g-ary expansion N=∑ _k b _k (N, g)g ^k of non-negative integers N and prove various results on the distribution and the mean value of the k-th digit b _k (N, g) if g varies in an interval of the form 2≤g≤N ^η. As an application we also consider the average value of the sum-of-digits function s(N, g)=∑ _k b _k (N, g). Received 5 November 2001 RID="a" ID="a" Dedicated to Professor Edmund Hlawka on the occasion of his 85th birthday     

Linear series on a general k-gonal curve

This paper is a contribution towards a Brill-Noether theory for the moduli space of smooth &-gonal curves of genusg. Specifically, we prove the existence of certain special divisors on a generalk-gonal curveC of genusg, and we detect an irreducible component of the “expected” dimension in the varietyW ^r _d (C), (r ≤k — 2) of special divisors ofC. The latter induces a new proof of the existence theorem for special divisors on a smooth curve.     

Analytic Continuation of Dirichlet Series with Almost Periodic Coefficients

We consider Dirichlet series z_g,a(s)=?_n=1^￥ g(na) e^{-l_n s}{\zeta_{g,\alpha}(s)=\sum_{n=1}^\infty g(n\alpha) e^{-\lambda_n s}} for fixed irrational α and periodic functions g. We demonstrate that for Diophantine α and smooth g, the line Re(s) = 0 is a natural boundary in the Taylor series case λ _n  = n, so that the unit circle is the maximal domain of holomorphy for the almost periodic Taylor series ?_n=1^￥ g(na) zⁿ{\sum_{n=1}^{\infty} g(n\alpha) z^n}. We prove that a Dirichlet series z_g,a(s) = ?_n=1^￥ g(n a)/n^s{\zeta_{g,\alpha}(s) = \sum_{n=1}^{\infty} g(n \alpha)/n^s} has an abscissa of convergence σ ₀ = 0 if g is odd and real analytic and α is Diophantine. We show that if g is odd and has bounded variation and α is of bounded Diophantine type r, the abscissa of convergence σ ₀ satisfies σ ₀ ≤ 1 − 1/r. Using a polylogarithm expansion, we prove that if g is odd and real analytic and α is Diophantine, then the Dirichlet series ζ _g,α (s) has an analytic continuation to the entire complex plane.     

Existence of solutions for elliptic problems with critical Sobolev-Hardy exponents

Let Ω ⊂ ℝ ^N be a smooth bounded domain such that 0 ∈ Ω,N≥3, 0≤s<2,2^* (s)=2(N−s)/(N−2). We prove the existence of nontrival solutions for the singular critical problem with Dirichlet boundary condition on Ω for suitable positive parameters λ and μ. Corresponding author. This work is supported partly by the National Natural Science Foundation of China (No. 10171036) and the Natural Science Foundation of South-Central University For Nationalities (No. YZZ03001). The authors sincerely thank Prof. Daomin Cao (AMSS, Chinese Academy of Sciences) for helpful discussions and suggestions.     

Clifford’s theorem for coherent systems

Let C be an algebraic curve of genus g ≥ 2. We prove an analogue of Clifford’s theorem for coherent systems on C and some refinements using results of Re and Mercat. Received: 27 July 2007     

Zeros of Asai-Eisenstein series

We generalize a result of Max Deuring on the zeros of Zeta-function of quadratic forms to Asai's non-holomophic Eisenstein series E(z,s) of the Hilbert modular group. We prove that inside the rectangular and −1≤Re(s) ≤ 2 the function E(z,s) has only simple zeros on the line Re(s)=1/2 and two simple real zeros, if |N(y)| is large. The research was supported by a fellowship within the Post-doc-Program of the DAAD (German Academic Exchange Service)     

Time regularity of the solutions to second order hyperbolic equations

We consider the Cauchy problem for a second order weakly hyperbolic equation, with coefficients depending only on the time variable. We prove that if the coefficients of the equation belong to the Gevrey class g^s₀\gamma^{s_{0}} and the Cauchy data belong to g^s₁\gamma^{s_{1}}, then the Cauchy problem has a solution in  g^s₀([0,T^*];g^s₁(\mathbbR))\gamma^{s_{0}}([0,T^{*}];\gamma^{s_{1}}(\mathbb{R})) for some T ^*>0, provided 1≤s ₁≤2−1/s ₀. If the equation is strictly hyperbolic, we may replace the previous condition by 1≤s ₁≤s ₀.     

Many triangulated spheres

Lets(d, n) be the number of triangulations withn labeled vertices ofS ^d–1, the (d–1)-dimensional sphere. We extend a construction of Billera and Lee to obtain a large family of triangulated spheres. Our construction shows that logs(d, n)C ₁(d)n ^[(d–1)/2], while the known upper bound is logs(d, n)C ₂(d)n ^[d/2] logn.Letc(d, n) be the number of combinatorial types of simpliciald-polytopes withn labeled vertices. (Clearly,c(d, n)s(d, n).) Goodman and Pollack have recently proved the upper bound: logc(d, n)d(d+1)n logn. Combining this upper bound forc(d, n) with our lower bounds fors(d, n), we obtain, for everyd5, that lim _n(c(d, n)/s(d, n))=0. The cased=4 is left open. (Steinitz's fundamental theorem asserts thats(3,n)=c(3,n), for everyn.) We also prove that, for everyb4, lim _d(c(d, d+b)/s(d, d+b))=0. (Mani proved thats(d, d+3)=c(d, d+3), for everyd.)Lets(n) be the number of triangulated spheres withn labeled vertices. We prove that logs(n)=2^{0.69424n(1+o(1))}. The same asymptotic formula describes the number of triangulated manifolds withn labeled vertices.Research done, in part, while the author visited the mathematics research center at AT&T Bell Laboratories.     

Curves in the double plane

We study in detail locally Cohen-Macaulay curves in P⁴ which are contained in a double plane 2H, thus completing the classification of curves lying on surfaces of degree two. We describe the irreducible components of the Hilbert schemes H _d,g(2H) of lo-cally Cohen-Macaulay curves in 2H of degree d and arithmetic genus g, and we show that H _d,g(2H) is connected. We also discuss the Rao module of these curves and liaison and biliaison equiva-lence classes.     

Comparison of fractal measures

In this paper, the relationship between the s-dimensional Hausdorff measures and the g-measures in Rd is discussed, where g is a gauge function which is equivalent to ts and 0 < s≤d. It shows that if s=d, then Hg = c1Hd, Cg = c2Cd and Pg = c3Pd on Rd, where constants c1, c2 and c3 are determined by where Wg, Cg and Pg are the g-Hausdorff, g-central Hausdorff and g-packing measures on Rd respectively. In the case 0相似文献   

Irreducible linear subgroups generated by pairs of matrices with large irreducible submodules

We call an element of a finite general linear group GL(d, q) fat if it leaves invariant and acts irreducibly on a subspace of dimension greater than d/2. Fatness of an element can be decided efficiently in practice by testing whether its characteristic polynomial has an irreducible factor of degree greater than d/2. We show that for groups G with SL(d, q) ≤ G ≤ GL(d, q) most pairs of fat elements from G generate irreducible subgroups, namely we prove that the proportion of pairs of fat elements generating a reducible subgroup, in the set of all pairs in G × G, is less than q ^−d+1. We also prove that the conditional probability to obtain a pair (g ₁, g ₂) in G × G which generates a reducible subgroup, given that g ₁, g ₂ are fat elements, is less than 2q ^−d+1. Further, we show that any reducible subgroup generated by a pair of fat elements acts irreducibly on a subspace of dimension greater than d/2, and in the induced action the generating pair corresponds to a pair of fat elements.     

Filtration Consistent Nonlinear Expectations and Evaluations of Contingent Claims

We will study the following problem.Let X_t,t∈[0,T],be an R~d-valued process defined on atime interval t∈[0,T].Let Y be a random value depending on the trajectory of X.Assume that,at each fixedtime t≤T,the information available to an agent(an individual,a firm,or even a market)is the trajectory ofX before t.Thus at time T,the random value of Y(ω) will become known to this agent.The question is:howwill this agent evaluate Y at the time t?We will introduce an evaluation operator ε_t[Y] to define the value of Y given by this agent at time t.Thisoperator ε_t[·] assigns an (X_s)0(?)s(?)T-dependent random variable Y to an (X_s)0(?)s(?)t-dependent random variableε_t[Y].We will mainly treat the situation in which the process X is a solution of a SDE (see equation (3.1)) withthe drift coefficient b and diffusion coefficient σcontaining an unknown parameter θ=θ_t.We then consider theso called super evaluation when the agent is a seller of the asset Y.We will prove that such super evaluation is afiltration consistent nonlinear expectation.In some typical situations,we will prove that a filtration consistentnonlinear evaluation dominated by this super evaluation is a g-evaluation.We also consider the correspondingnonlinear Markovian situation.     

Dilations and Completions for Gabor Systems

Let be a full rank time-frequency lattice in ℝ ^d ×ℝ ^d . In this note we first prove that any dual Gabor frame pair for a Λ-shift invariant subspace M can be dilated to a dual Gabor frame pair for the whole space L ²(ℝ ^d ) when the volume v(Λ) of the lattice Λ satisfies the condition v(Λ)≤1, and to a dual Gabor Riesz basis pair for a Λ-shift invariant subspace containing M when v(Λ)>1. This generalizes the dilation result in Gabardo and Han (J. Fourier Anal. Appl. 7:419–433, [2001]) to both higher dimensions and dual subspace Gabor frame pairs. Secondly, for any fixed positive integer N, we investigate the problem whether any Bessel–Gabor family G(g,Λ) can be completed to a tight Gabor (multi-)frame G(g,Λ)∪(∪ _j=1 ^N G(g _j ,Λ)) for L ²(ℝ ^d ). We show that this is true whenever v(Λ)≤N. In particular, when v(Λ)≤1, any Bessel–Gabor system is a subset of a tight Gabor frame G(g,Λ)∪G(h,Λ) for L ²(ℝ ^d ). Related results for affine systems are also discussed. Communicated by Chris Heil.