Families of low dimensional determinantal schemes

A scheme X⊂Pⁿ of codimension c is called standard determinantal if its homogeneous saturated ideal can be generated by the t×t minors of a homogeneous t×(t+c−1) matrix (f_ij). Given integers a₀≤a₁≤?≤a_t+c−2 and b₁≤?≤b_t, we denote by the stratum of standard determinantal schemes where f_ij are homogeneous polynomials of degrees a_j−b_i and is the Hilbert scheme (if n−c>0, resp. the postulation Hilbert scheme if n−c=0).Focusing mainly on zero and one dimensional determinantal schemes we determine the codimension of in and we show that is generically smooth along under certain conditions. For zero dimensional schemes (only) we find a counterexample to the conjectured value of appearing in Kleppe and Miró-Roig (2005) [25].     

Hilbert curves of polarized varieties

Let X be a normal Gorenstein complex projective variety. We introduce the Hilbert variety V_X associated to the Hilbert polynomial χ(x₁L₁+?+x_ρL_ρ), where L₁,…,L_ρ is a basis of , ρ being the Picard number of X, and x₁,…,x_ρ are complex variables. After studying general properties of V_X we specialize to the Hilbert curve of a polarized variety (X,L), namely the plane curve of degree dim(X) associated to χ(xK_X+yL). Special emphasis is given to the case of polarized threefolds.     

A polar de Rham theorem

We prove an analogue of the de Rham theorem for polar homology; that the polar homology HP_q(X) of a smooth projective variety X is isomorphic to its H^n,n−q Dolbeault cohomology group. This analogue can be regarded as a geometric complexification where arbitrary (sub)manifolds are replaced by complex (sub)manifolds and de Rham's operator d is replaced by Dolbeault's .     

Centers for a 6-parameter family of polynomial vector fields of arbitrary degree

For all non-negative integers n₁,n₂,n₃,j₁,j₂ and j₃ with nk+jk>1 for k=1,2,3, (nk,jk)≠(nl,jl) if k≠l, j₃=n₃−1 and jk≠nk−1 for k=1,2, we study the center variety of the 6-parameter family of real planar polynomial vector given, in complex notation, by , where z=x+iy and A,B,C∈C\{0}.     

Effective non-vanishing of global sections of multiple adjoint bundles for polarized 3-folds

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 h⁰(m(K_X+L)) under the assumption that κ(K_X+L)≥0. In particular, we get the following: (1) if 0≤κ(K_X+L)≤2, then h⁰(K_X+L)>0 holds. (2) If κ(K_X+L)=3, then h⁰(2(K_X+L))≥3 holds. Moreover we get a classification of (X,L) with κ(K_X+L)=3 and h⁰(2(K_X+L))=3 or 4.     

Likelihood ratio orderings of spacings of heterogeneous exponential random variables

Let X₁,X₂,…,X_n be independent exponential random variables such that X_i has failure rate λ for i=1,…,p and X_j has failure rate λ^* for j=p+1,…,n, where p≥1 and q=n-p≥1. Denote by D_i:n(p,q)=X_i:n-X_i-1:n the ith spacing of the order statistics , where X_0:n≡0. It is shown that D_i:n(p,q)?_lrD_i+1:n(p,q) for i=1,…,n-1, and that if λ?λ^* then , and for i=1,…,n, where ?_lr denotes the likelihood ratio order. The main results are used to establish the dispersive orderings between spacings.     

Ideal convergence of continuous functions

For a given ideal I⊆P(ω), IC(I) denotes the class of separable metric spaces X such that whenever is a sequence of continuous functions convergent to zero with respect to the ideal I then there exists a set of integers {m₀<m₁<?} from the dual filter F(I) such that limi→∞fmi(x)=0 for all x∈X. We prove that for the most interesting ideals I, IC(I) contains only singular spaces. For example, if I=Id is the asymptotic density zero ideal, all IC(Id) spaces are perfectly meager while if I=Ib is the bounded ideal then IC(Ib) spaces are σ-sets.     

A further three critical points theorem

If X is a real Banach space, we denote by W_X the class of all functionals possessing the following property: if {u_n} is a sequence in X converging weakly to u∈X and lim inf_n→∞Φ(u_n)≤Φ(u), then {u_n} has a subsequence converging strongly to u.In this paper, we prove the following result:Let X be a separable and reflexive real Banach space; an interval; a sequentially weakly lower semicontinuous C¹ functional, belonging to W_X, bounded on each bounded subset of X and whose derivative admits a continuous inverse on X^∗; a C¹ functional with compact derivative. Assume that, for each λ∈I, the functional Φ−λJ is coercive and has a strict local, not global minimum, say .Then, for each compact interval [a,b]⊆I for which , there exists r>0 with the following property: for every λ∈[a,b] and every C¹ functional with compact derivative, there exists δ>0 such that, for each μ∈[0,δ], the equation

Φ^′(x)=λJ^′(x)+μΨ^′(x)     

On the dimension of global sections of adjoint bundles for polarized 3-folds and 4-folds

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 h⁰(K_X+L) if κ(X)≥0. Moreover, we show the following: if κ(K_X+L)≥0, then h⁰(K_X+L)>0 unless κ(X)=−∞ and h¹(O_X)=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 H⁰(K_X+mL) for m≥2. If n=4 and κ(X)≥0, then a lower bound for h⁰(K_X+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 h¹(O_X)=0. Furthermore we prove the following: if (X,L) is a polarized 4-fold with κ(X)≥0 and h¹(O_X)>0, then h⁰(K_X+L)>0.     

Unprovability threshold for the planar graph minor theorem

This note is part of the implementation of a programme in foundations of mathematics to find exact threshold versions of all mathematical unprovability results known so far, a programme initiated by Weiermann. Here we find the exact versions of unprovability of the finite graph minor theorem with growth rate condition restricted to planar graphs, connected planar graphs and graphs embeddable into a given surface, assuming an unproved conjecture (*): ‘there is a number a>0 such that for all k≥3, and all n≥1, the proportion of connected graphs among unlabelled planar graphs of size n omitting the k-element circle as minor is greater than a’. Let γ be the unlabelled planar growth constant (27.2269≤γ<30.061). Let P(c) be the following first-order arithmetical statement with real parameter c: “for every K there is N such that whenever G₁,G₂,…,G_N are unlabelled planar graphs with |G_i|<K+c⋅log₂i then for some i<j≤N, G_i is isomorphic to a minor of G_j”. Then

1.

for every , P(c) is provable in IΔ₀+exp;

2.

for every , P(c) is unprovable in .

We also give proofs of some upper and lower bounds for unprovability thresholds in the general case of the finite graph minor theorem.     

A note on the Jacobian Conjecture

In this note, we show that, if the Druzkowski mappings F(X)=X+(AX)^∗3, i.e. F(X)=(x₁+(a₁₁x₁+?+a_1nx_n)³,…,x_n+(a_n1x₁+?+a_nnx_n)³), 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 .     

Uniqueness theorems for meromorphic mappings with few hyperplanes

Let f,g be linearly nondegenerate meromorphic mappings of Cm into CPn. Let be hyperplanes in CPn in general position, such that

(a)

f−1(Hj)=g−1(Hj), for all 1?j?q,

(b)

dim(f−1(Hi)∩f−1(Hj))?m−2 for all 1?i<j?q, and

(c)

f=g on .

It is well known that if q?3n+2, then f≡g. In this paper we show that for every nonnegative integer c there exists positive integer N(c) depending only on c in an explicit way such that the above result remains valid if q?(3n+2−c) and n?N(c). Furthermore, we also show that the coefficient of n in the formula of q can be replaced by a number which is strictly smaller than 3 for all n?0. At the same time, a big number of recent uniqueness theorems are generalized considerably.     

Multiple partitions, lattice paths and a Burge-Bressoud-type correspondence

A bijection is presented between (1): partitions with conditions f_j+f_j+1≤k−1 and f₁≤i−1, where f_j is the frequency of the part j in the partition, and (2): sets of k−1 ordered partitions (n⁽¹⁾,n⁽²⁾,…,n^(k−1)) such that and , where m_j is the number of parts in n^(j). This bijection entails an elementary and constructive proof of the Andrews multiple-sum enumerating partitions with frequency conditions. A very natural relation between the k−1 ordered partitions and restricted paths is also presented, which reveals our bijection to be a modification of Bressoud’s version of the Burge correspondence.     

Self-correspondences of the generic fibre of Lefschetz pencils and the Leray filtration

In this paper we give a detailed analysis of the interaction between homological self-correspondences of the general fibre Y/k(t) of the Lefschetz fibration of a Lefschetz pencil on a smooth projective variety X/k, and the Leray filtration of ρ. We derive the result that, if the standard conjecture B(Y) holds, then the operator is algebraic, where is defined as the inverse of L on LPn−1(X) and 0 on LkPj(X) for (1,n−1)≠(k,j); in the course of our proof we see that, under the above assumption, the Künneth projectors for i≠n−1,n,n+1 are algebraic.     

A new variational characterization of the Wulff shape

Given a positive function F on Sn which satisfies a convexity condition, we define the rth anisotropic mean curvature function Mr for hypersurfaces in Rn+1 which is a generalization of the usual rth mean curvature function. Let be an n-dimensional closed hypersurface with , for some r with 1?r?n−1, which is a critical point for a variational problem. We show that X(M) is stable if and only if X(M) is the Wulff shape.