Representability of Hom implies flatness

LetX be a projective scheme over a noetherian base schemeS, and letF be a coherent sheaf onX. For any coherent sheaf ε onX, consider the set-valued contravariant functor Hom(ε,F)S-schemes, defined by Hom(ε,F) (T)= Hom(ε _T ,F _T) where ε _T andF _T are the pull-backs of ε andF toX _T =X x _S T. A basic result of Grothendieck ([EGA], III 7.7.8, 7.7.9) says that ifF is flat over S then Kom_ε,F) is representable for all ε. We prove the converse of the above, in fact, we show that ifL is a relatively ample line bundle onX over S such that the functor Hom(L ^-n ,F) is representable for infinitely many positive integersn, thenF is flat overS. As a corollary, takingX =S, it follows that ifF is a coherent sheaf on S then the functorT ↦H°(T, F _t) on the category ofS-schemes is representable if and only ifF is locally free onS. This answers a question posed by Angelo Vistoli. The techniques we use involve the proof of flattening stratification, together with the methods used in proving the author’s earlier result (see [N1]) that the automorphism group functor of a coherent sheaf onS is representable if and only if the sheaf is locally free.     

Foliations on the tangent bundle of Finsler manifolds

Let M be a smooth manifold with Finsler metric F,and let T M be the slit tangent bundle of M with a generalized Riemannian metric G,which is induced by F.In this paper,we prove that (i) (M,F) is a Landsberg manifold if and only if the vertical foliation F V is totally geodesic in (T M,G);(ii) letting a:= a(τ) be a positive function of τ=F 2 and k,c be two positive numbers such that c=2 k(1+a),then (M,F) is of constant curvature k if and only if the restriction of G on the c-indicatrix bundle IM (c) is bundle-like for the horizontal Liouville foliation on IM (c),if and only if the horizontal Liouville vector field is a Killing vector field on (IM (c),G),if and only if the curvature-angular form Λ of (M,F) satisfies Λ=1-a 2/R on IM (c).     

Operator Spaces Containing c 0 OR l∞

Let E, F be either Fréchet or complete DF-spaces and let A(E, F) ? B(E, F) be spaces of operators. Under some quite general assumptions we show that: (i) A(E, F) contains a copy of c ₀ if and only if it contains a copy of l _∞; (ii) if c ₀ ? A(E, F), then A(E, F) is complemented in B(E, F) if and only if A(E, F) = B(E, F); (iii) if E or F has an unconditional basis and A(E, F) ≠ L(E, F), then A(E, F) ? c ₀. The above results cover cases of many clssical operator spaces A. We show also that EεF contains l _∞ if and only if E or F contains l _∞.     

On the distribution of values of certain divisor functions

Let {?_d} be a sequence of nonnegative numbers and f(n) = Σ?_d, the sum being over divisors d of n. We say that f has the distribution function F if for all c ≥ 0, the number of integers n ≤ x for which f(n) > c is asymptotic to xF(c), and we investigate when F exists and when it is continuous.     

Additive operators preserving rank-additivity on symmetry matrix spaces

We characterize the additive operators preserving rank-additivity on symmetry matrix spaces. LetS _n(F) be the space of alln×n symmetry matrices over a fieldF with 2,3 ∈F ^*, thenT is an additive injective operator preserving rank-additivity onS _n(F) if and only if there exists an invertible matrixU∈M _n(F) and an injective field homomorphism ? ofF to itself such thatT(X)=cUX ^?U^T, ?X=(x_ij)∈S_n(F) wherec∈F ^*,X ^?=(?(x _ij)). As applications, we determine the additive operators preserving minus-order onS _n(F) over the fieldF.     

Group analysis of the one-dimensional boltzmann equation: II. Equivalence groups and symmetry groups in the special case

We obtain relations that define the equivalence algebra of the family of one-dimensional Boltzmann equations f _t + cf _x + F(t, x, c)f _c = 0 and show that all equations of that form are locally equivalent. We carry out the group classification of the equation with respect to the function F in the special case where the function F and the transformations of the variables t and x are assumed to be independent of c. We show that, under such constraints for the transformation and the family of equations, the maximum possible symmetry algebra is eight-dimensional, which corresponds to an equation with a linear function F.     

A new proof of a theorem of Harper on the Sperner-Erdös problem

Let P be a finite, partially ordered set and v a weight on P, i.e., a function v: P → R₊/{0. A subset F ? P) is called a k-family, if there are not c₀,…,c_k?F such that c₀ < … <c_k. Let d_k(P, v) = max {Σ_x?Fv(x); F is k-family. It is given a new proof of a theorem of Harper which states that d_k(P, v) = d_k(Q, w), if there is a flow morphism from (P, v) onto (Q, w).     

The connected Ramsey number

A graph G is totally connected if both G and ? (its complement) are connected. The connected Ramsey number r_c(F, H) is the smallest integer k ? 4 so that if G is a totally connected graph of order k then either F ? G or H ? ?. We show that if neither of F nor H contains a bridge, then r_c = r(F, H), the usual generalized Ramsey number of F and H. We compute r_c (P_mP_m), the connected Ramsey number for paths.     

Shannon–McMillan theorems for discrete random fields along curves and lower bounds for surface-order large deviations

The notion of a surface-order specific entropy h _c (P) of a two-dimensional discrete random field P along a curve c is introduced as the limit of rescaled entropies along lattice approximations of the blowups of c. Existence is shown by proving a corresponding Shannon–McMillan theorem. We obtain a representation of h _c (P) as a mixture of specific entropies along the tangent lines of c. As an application, the specific entropy along curves is used to refine Föllmer and Ort’s lower bound for the large deviations of the empirical field of an attractive Gibbs measure from its ergodic behaviour in the phase-transition regime.     

Two-point Taylor expansions in the asymptotic approximation of double integrals. Application to the second and fourth Appell functions

The main difficulty in Laplace's method of asymptotic expansions of double integrals is originated by a change of variables. We consider a double integral representation of the second Appell function F₂(a,b,b^′,c,c^′;x,y) and illustrate, over this example, a variant of Laplace's method which avoids that change of variables and simplifies the computations. Essentially, the method only requires a Taylor expansion of the integrand at the critical point of the phase function. We obtain in this way an asymptotic expansion of F₂(a,b,b^′,c,c^′;x,y) for large b, b^′, c and c^′. We also consider a double integral representation of the fourth Appell function F₄(a,b,c,d;x,y). We show, in this example, that this variant of Laplace's method is uniform when two or more critical points coalesce or a critical point approaches the boundary of the integration domain. We obtain in this way an asymptotic approximation of F₄(a,b,c,d;x,y) for large values of a,b,c and d. In this second example, the method requires a Taylor expansion of the integrand at two points simultaneously. For this purpose, we also investigate in this paper Taylor expansions of two-variable analytic functions with respect to two points, giving Cauchy-type formulas for the coefficients of the expansion and details about the regions of convergence.     

Para-CR Structures of Codimension 2 on Tangent Bundles in Riemann–Finsler Geometry

We determine a 2-codimensional para-CR structure on the slit tangent bundle T0 M of a Finsler manifold（M,F） by imposing a condition regarding the almost paracomplex structure P associated to F when restricted to the structural distribution of a framed para-f-structure.This condition is satisfied when（M,F） is of scalar flag curvature（particularly constant） or if the Riemannian manifold（M,g） is of constant curvature.     

Places of algebraic function fields in arbitrary characteristic

We consider the Zariski space of all places of an algebraic function field F|K of arbitrary characteristic and investigate its structure by means of its patch topology. We show that certain sets of places with nice properties (e.g., prime divisors, places of maximal rank, zero-dimensional discrete places) lie dense in this topology. Further, we give several equivalent characterizations of fields that are large, in the sense of F. Pop's Annals paper Embedding problems over large fields. We also study the question whether a field K is existentially closed in an extension field L if L admits a K-rational place. In the appendix, we prove the fact that the Zariski space with the Zariski topology is quasi-compact and that it is a spectral space.     

The moduli component of the space of semistable rank-2 sheaves on ℙ3 with singularities of mixed dimension

A new irreducible component of the Gieseker–Maruyama moduli scheme M(3) of semistable coherent sheaves of rank 2 with Chern classes c₁ = 0, c₂ = 3, and c₃ = 0 on P³ such that its general point corresponds to a sheaf whose singular locus contains components of dimensions 0 and 1 is described. These sheaves are obtained by elementary transformations of stable reflexive sheaves of rank 2 with Chern classes c₁ = 0, c₂ = 2, and c₃ = 2 along the projective line. The constructed family of sheaves is the first example of an irreducible component of a Gieseker–Maruyama scheme whose general point corresponds to a sheaf with singularities of mixed dimension.

     

Degeneration of the Hilbert pairing in formal groups over local fields

For an arbitrary local field K (a finite extension of the field Q_p) and an arbitrary formal group law F over K, we consider an analog c_F of the classical Hilbert pairing. A theorem by S.V. Vostokov and I.B. Fesenko says that if the pairing c_F has a certain fundamental symbol property for all Lubin–Tate formal groups, then c_F = 0. We generalize the theorem of Vostokov–Fesenko to a wider class of formal groups. Our first result concerns formal groups that are defined over the ring O_K of integers of K and have a fixed ring O₀ of endomorphisms, where O₀ is a subring of O_K. We prove that if the symbol c_F has the above-mentioned symbol property, then c_F = 0. Our second result strengthens the first one in the case of Honda formal groups. The paper consists of three sections. After a short introduction in Section 1, we recall basic definitions and facts concerning formal group laws in Section 2. In Section 3, we state and prove two main results of the paper (Theorems 1 and 2). Refs. 8.     

On the commutator nilpotency step of strictly (−1, 1)-algebras

We prove that the commutator algebra of the c-homotope of a strictly (?1, 1)-algebra is nilpotent of step ≤ 5, i.e., that ad _c (x ₁) … ad _c (x ₅) = 0; this bound is sharp.     

Combinatorial sums,identities and trace identities of the 2 × 2 matrices

An asymptotic formula, involving integrals, is given for certain combinatorial sums. By evaluating a multi-integral it is then found that as n → ∞, the codimensions c_n(F₂) and the trace codimensions t_n(F₂) of F₂, the 2 × 2 matrices, are asymptotically equal: $\text{c}{}_{\mathrm{n}}\text{(F}{}_2\text{) ? t}{}_{\mathrm{n}}\text{(F}{}_2\text{)}$.     

Pathwidth, trees, and random embeddings

We prove that, for every integer k≥1, every shortest-path metric on a graph of pathwidth k embeds into a distribution over random trees with distortion at most c=c(k), independent of the graph size. A well-known conjecture of Gupta, Newman, Rabinovich, and Sinclair [12] states that for every minor-closed family of graphs F, there is a constant c(F) such that the multi-commodity max-flow/min-cut gap for every flow instance on a graph from F is at most c(F). The preceding embedding theorem is used to prove this conjecture whenever the family F does not contain all trees.     

Identities with Generalized Derivations in Prime Rings

In this paper we investigate identities with two generalized derivations in prime rings. We prove, for example, the following result. Let R be a prime ring of characteristic different from two and let F ₁, F ₂ : R → R be generalized derivations satisfying the relation F ₁(x)F ₂(x) + F ₂(x)F ₁(x) = 0 for all ${x \in R}$ . In this case either F ₁ = 0 or F ₂ = 0.     

The ring lemma in three dimensions

Suppose that n cyclically tangent discs with pairwise disjoint interiors are externally tangent to and surround the unit disc. The sharp ring lemma in two dimensions states that no disc has a radius below c _n (R ²) = (F _2n−3−1)⁻¹—where F _k denotes the kth Fibonacci number—and that the lower bound is attained in essentially unique Apollonian configurations. In this article, generalizations of the ring lemma to three dimensions are discussed, a version of the ring lemma in three dimensions is proved, and a natural generalization of the extremal two-dimensional configuration—thought to be extremal in three dimensions—is given. The sharp three-dimensional ring lemma constant of order n is shown to be bounded from below by the two-dimensional constant of order n − 1.