Typical Frobenius coverings

A covering p from a Cayley graph Cay（G, X） onto another Cay（H, Y） is called typical Frobenius if G is a Frobenius group with H as a Frobenius complement and the map p ： G →H is a group epimorphism. In this paper, we emphasize on the typical Frobenius coverings of Cay（H, Y）. We show that any typical Frobenius covering Cay（G, X） of Cay（H, Y） can be derived from an epimorphism /from G to H which is determined by an automorphism f of H. If Cay（G, X1） and Cay（G, X2） are two isomorphic typical Frobenius coverings under a graph isomorphism Ф, some properties satisfied by Фare given.     

The cup product of Hilbert schemes for K3 surfaces

To any graded Frobenius algebra A we associate a sequence of graded Frobenius algebras A ^[n] so that there is canonical isomorphism of rings (H ^*(X;ℚ)[2]) ^[n] ≅H ^*(X ^[n] ;ℚ)[2n] for the Hilbert scheme X ^[n] of generalised n-tuples of any smooth projective surface X with numerically trivial canonical bundle. Oblatum 25-I-2001 & 18-IX-2002?Published online: 24 February 2003     

Moduli of Vector Bundles on Curves in Positive Characteristics

Let X be a projective curve of genus 2 over an algebraically closed field of characteristic 2. The Frobenius map on X induces a rational map on the moduli scheme of rank-2 bundles. We show that up to isomorphism, there is only one (up to tensoring by an order two line bundle) semi-stable vector bundle of rank 2 (with determinant equal to a theta characteristic) whose Frobenius pull-back is not semi-stable. The indeterminacy of the Frobenius map at this point can be resolved by introducing Higgs bundles.     

实对称五对角矩阵Procrustes问题

本文研究了实对称五对角矩阵Procrustes.利用矩阵的奇异值分解简化问题,得到了实对称五对角矩阵X极小化,最后给出数值算例说明方法的有效性.     

Motivic degree zero Donaldson–Thomas invariants

Given a smooth complex threefold X, we define the virtual motive $[\operatorname{Hilb}^{n}(X)]_{\operatorname {vir}}$ of the Hilbert scheme of n points on X. In the case when X is Calabi–Yau, $[\operatorname{Hilb}^{n}(X)]_{\operatorname{vir}}$ gives a motivic refinement of the n-point degree zero Donaldson–Thomas invariant of X. The key example is X=?³, where the Hilbert scheme can be expressed as the critical locus of a regular function on a smooth variety, and its virtual motive is defined in terms of the Denef–Loeser motivic nearby fiber. A crucial technical result asserts that if a function is equivariant with respect to a suitable torus action, its motivic nearby fiber is simply given by the motivic class of a general fiber. This allows us to compute the generating function of the virtual motives $[\operatorname{Hilb}^{n} (\mathbb{C}^{3})]_{\operatorname{vir}}$ via a direct computation involving the motivic class of the commuting variety. We then give a formula for the generating function for arbitrary X as a motivic exponential, generalizing known results in lower dimensions. The weight polynomial specialization leads to a product formula in terms of deformed MacMahon functions, analogous to Göttsche’s formula for the Poincaré polynomials of the Hilbert schemes of points on surfaces.     

Parity Splits by Triple Point Distances in X-Trees

At the conference Dress defined parity split maps by triple point distance and asked for a characterisation of such maps coming from binary phylogenetic X-trees. This article gives an answer to that question. The characterisation for X-trees can be easily described as follows: If all restrictions of a split map to sets of five or fewer elements is a parity split map for an X-tree, then so is the entire map. To ensure that the parity split map comes from an X-tree which is binary and phylogenetic, we add two more technical conditions also based on studying at most five points at a time. Received August 27, 2004     

Explicitly Extending Frobenius Splittings over Finite Maps

Suppose that π: Y → X is a finite map of normal varieties over a perfect field of characteristic p > 0. Previous work of the authors gave a criterion for when Frobenius splittings on X (or more generally any p ^?e -linear map) extend to Y. In this paper we give an alternate and highly explicit proof of this criterion (checking term by term) when π is tamely ramified in codimension 1. Some additional examples are also explored.     

Frobenius splitting and geometry of G-Schubert varieties

Let X be an equivariant embedding of a connected reductive group G over an algebraically closed field k of positive characteristic. Let B denote a Borel subgroup of G. A G-Schubert variety in X is a subvariety of the form diag(G)⋅V, where V is a B×B-orbit closure in X. In the case where X is the wonderful compactification of a group of adjoint type, the G-Schubert varieties are the closures of Lusztig's G-stable pieces. We prove that X admits a Frobenius splitting which is compatible with all G-Schubert varieties. Moreover, when X is smooth, projective and toroidal, then any G-Schubert variety in X admits a stable Frobenius splitting along an ample divisors. Although this indicates that G-Schubert varieties have nice singularities we present an example of a nonnormal G-Schubert variety in the wonderful compactification of a group of type G₂. Finally we also extend the Frobenius splitting results to the more general class of R-Schubert varieties.     

A vanishing theorem for differential operators in positive characteristic

Let X be a smooth variety over an algebraically closed field k of characteristic p, and let F: X → X be the Frobenius morphism. We prove that if X is an incidence variety (a partial flag variety in type A _n ) or a smooth quadric (in this case p is supposed to be odd) then Hⁱ( X,End( \sfF_*O_X ) ) = 0 {H^i}\left( {X,\mathcal{E}nd\left( {{\sf{F}_*}{\mathcal{O}_X}} \right)} \right) = 0 for i > 0. Using this vanishing result and the derived localization theorem for crystalline differential operators [3], we show that the Frobenius direct image \sfF_*O_X {\sf{F}_*}{\mathcal{O}_X} is a tilting bundle on these varieties provided that p > h, the Coxeter number of the corresponding group.     

Inertial relaxed CQ algorithms for solving a split feasibility problem in Hilbert spaces

The split feasibility problem is to find a point x^? with the property that x^?∈ C and Ax^?∈ Q, where C and Q are nonempty closed convex subsets of real Hilbert spaces X and Y, respectively, and A is a bounded linear operator from X to Y. The split feasibility problem models inverse problems arising from phase retrieval problems and the intensity-modulated radiation therapy. In this paper, we introduce a new inertial relaxed CQ algorithm for solving the split feasibility problem in real Hilbert spaces and establish weak convergence of the proposed CQ algorithm under certain mild conditions. Our result is a significant improvement of the recent results related to the split feasibility problem.

     

Even Set Systems

In phylogenetic combinatorics, the analysis of split systems is a fundamental issue. Here, we observe that there is a canonical one-to-one correspondence between split systems on the one, and “even” set systems on the other hand, i.e., given any finite set X, we show that there is a canonical one-to-one correspondence between the set P (S (X ) ){\mathcal P (\mathcal S (X ) )} consisting of all subsets S{\mathcal S} of the set S (X){\mathcal S (X)} of all splits of the set X (that is, all 2-subsets {A, B}{\{A, B\}} of the power set P (X){\mathcal P (X)} of X for which A ⋃ B = X and A ⋂ B = 0̸ hold) and the set P ^even (P (X)){\mathcal P ^{even} (\mathcal P (X))} consisting of all subsets E of the power set P (X){\mathcal P (X)} of X for which, for each subset Y of X, the number of proper subsets of Y contained in E is even.     

Direct images of bundles under Frobenius morphism

Let X be a smooth projective variety of dimension n over an algebraically closed field k with char(k)=p>0 and F:X→X ₁ be the relative Frobenius morphism. For any vector bundle W on X, we prove that instability of F _* W is bounded by instability of W⊗T^ℓ(Ω¹ _X ) (0≤ℓ≤n(p-1)) (Corollary 4.9). When X is a smooth projective curve of genus g≥2, it implies F _* W being stable whenever W is stable. Dedicated to Professor Zhexian Wan on the occasion of his 80th birthday.     

A characteristic <Emphasis Type="Italic">p</Emphasis> analogue of plt singularities and adjoint ideals

We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair (X, Δ) is plt if and only if the modulo p reduction of (X, Δ) is divisorially F-regular for all large p ≫ 0. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe (J Algebra Geom 11:363–392, 2002) in terms of Frobenius splitting. The author was partially supported by Grant-in-Aid for Young Scientists (B) 17740021 from JSPS.     

The Abelian/Nonabelian correspondence and Frobenius manifolds

We propose an approach via Frobenius manifolds to the study (began in [BCK2] of the relation between rational Gromov–Witten invariants of nonabelian quotients X//G and those of the corresponding “abelianized” quotients X//T, for T a maximal torus in G. The ensuing conjecture expresses the Gromov–Witten potential of X//G in terms of the potential of X//T. We prove this conjecture when the nonabelian quotients are partial flag manifolds.     

Frobenius pull backs of vector bundles in higher dimensions

We prove that for a smooth projective variety X of arbitrary dimension and for a vector bundle E over X, the Harder?CNarasimhan filtration of a Frobenius pull back of E is a refinement of the Frobenius pull back of the Harder?CNarasimhan filtration of E, provided there is a lower bound on the characteristic p (in terms of rank of E and the slope of the destabilizing sheaf of the cotangent bundle of X). We also recall some examples, due to Raynaud and Monsky, to show that some lower bound on p is necessary. We also give a bound on the instability degree of the Frobenius pull back of E in terms of the instability degree of E and well defined invariants of X.     

The size of 3-compatible, weakly compatible split systems

A split system on a finite set X is a set of bipartitions of X. Weakly compatible and k-compatible (k??1) split systems are split systems which satisfy special restrictions on all subsets of a certain fixed size. They arise in various areas of applied mathematics such as phylogenetics and multi-commodity flow theory. In this note, we show that the number of splits in a 3-compatible, weakly compatible split system on a set X of size n is linear in?n.     

Duals Invert

Monoidal objects (or pseudomonoids) in monoidal bicategories share many of the properties of the paradigmatic example: monoidal categories. The existence of (say, left) duals in a monoidal category leads to a dualization operation which was abstracted to the context of monoidal objects by Day et al. (Appl Categ Struct 11:229–260, 2003). We define a relative version of this called exact pairing for two arrows in a monoidal bicategory; when one of the arrows is an identity, the other is a dualization. In this context we supplement results of Day et al. (Appl Categ Struct 11:229–260, 2003) (and even correct one of them) and only assume the existence of biduals in the bicategory where necessary. We also abstract recent work of Day and Pastro (New York J Math 14:733–742, 2008) on Frobenius monoidal functors to the monoidal bicategory context. Our work began by focusing on the invertibility of components at dual objects of monoidal natural transformations between Frobenius monoidal functors. As an application of the abstraction, we recover a theorem of Walters and Wood (Theory Appl Categ 3:25–47, 2008) asserting that, for objects A and X in a cartesian bicategory , if A is Frobenius then the category Map(X,A) of left adjoint arrows is a groupoid. Also, the characterization in Walters and Wood (Theory Appl Categ 3:25–47, 2008) of left adjoint arrows between Frobenius objects of a cartesian bicategory is put into our current setting. In the same spirit, we show that when a monoidal object admits a dualization, its lax centre coincides with the centre defined in Street (Theory Appl Categ 13:184–190, 2004). Finally we look at the relationship between lax duals for objects and adjoints for arrows in a monoidal bicategory.     

Least squares X=±Xη* solutions to split quaternion matrix equation AXAη*=B

In the paper, the split quaternion matrix equation AXA^η*=B is considered, where the operator A^η* is the η-conjugate transpose of A, where η∈{i,j,k}. We propose some new real representations, which well exploited the special structures of the original matrices. By using this method, we obtain the necessary and sufficient conditions for AXA^η*=B to have X=±X^η* solutions and derive the general expressions of solutions when it is consistent. In addition, we also derive the general expressions of the least squares X=±X^η* solutions to it in case that this matrix equation is not consistent.     

Quartets in maximal weakly compatible split systems

Weakly compatible split systems are a generalization of unrooted evolutionary trees and are commonly used to display reticulate evolution or ambiguity in biological data. They are collections of bipartitions of a finite set X of taxa (e.g. species) with the property that, for every four taxa, at least one of the three bipartitions into two pairs (quartets) is not induced by any of the X-splits. We characterize all split systems where exactly two quartets from every quadruple are induced by some split. On the other hand, we construct maximal weakly compatible split systems where the number of induced quartets per quadruple tends to 0 with the number of taxa going to infinity.     

Fonctions L associées aux F-isocristaux surconvergents II: Zéros et pôles unités

Résumé Nous démontrons la conjecture de Katz concernant la méromorphie et la caractérisation des zéros et p?les unités des fonctions L associées aux représentations p-adiques lorsque celles-ci se prolongent sur une compactification du schéma de base. Comme cas particuliers importants, on obtient celui de la fonction zêta d’un schéma quelconque et celui d’une représentation p-adique quelconque sur un schéma propre.

---

If X is a smooth variety over a finite field ? _q of characteristic p > 0 and ℱ is a p-adic sheaf associated to a representation of the fundamental group of X, N. Katz conjectures, in his Bourbaki talk 409, that the L function L (X, ℱ, t) has its p-adic unit roots and poles given in terms of p-adic étale cohomology. We prove this conjecture in the case of the structure sheaf ℱ = ℤ _p , that is for the Zeta function, and also more generally when the p-adic sheaf ℱ extends to a smooth sheaf on a compactification of X: as a consequence we get the Unit-Root Zeta function of Dwork and Sperber as an L function. The idea of the proof is to get the p-adic étale cohomology with coefficients and compact support as the fixed points of Frobenius acting on rigid cohomology with compact support. For this purpose, we first build a crystalline Artin–Schreier short exact sequence on the syntomic site of a scheme which is separated of finite type over a perfect field k: this naturally generalizes the work of J.M. Fontaine and W. Messing in the proper smooth case. Then getting rigid cohomology with coefficients as a limit of crystalline cohomologies of variable level we deduce a long exact sequence connecting p-adic étale cohomology (with compact support) to rigid cohomology (with compact support). When X is smooth and affine over an algebraically closed field, the former exact sequence splits into short exact sequences that identify the p-adic étale cohomology with support of X to the part of its rigid cohomology invariant under Frobenius. We can then describe the p-adic unit roots and poles of the Zeta function of X; as a corallary we get the Unit-Root Zeta function of Dwork and Sperber as an L function. In the appendix we show that the characteristic spaces of Frobenius in rigid cohomology commute with isometric extensions of the base, and that isocrystals associated to p-adic sheaves with finite monodromy are overconvergent: we thus obtain a p-adic proof of the rationality of the corresponding L-function.

---

---

Oblatum 8-XII-1994 & 30-IV-1996