Restriction theorems for Higgs principal bundles

We prove analogues of Grauert–Mülich and Flenner?s restriction theorems for semistable principal Higgs bundle over any smooth complex projective variety.     

Bogomolov inequality for Higgs parabolic bundles

We show that over some smooth projective varieties every semistable Higgs logarithmic vector bundle is semistable in the ordinary sense, hence satisfies Bogomolov inequality. More generaly, we prove that semistable Higgs parabolic vector bundles of rank two over smooth projective varieties of dimension ≥ 2 satisfy the “parabolic” 'Bogomolov inequality Received: 1 March 1999 / Revised version: 11 June 1999     

Semistable and numerically effective principal (Higgs) bundles

We study Miyaoka-type semistability criteria for principal Higgs G-bundles E on complex projective manifolds of any dimension. We prove that E has the property of being semistable after pullback to any projective curve if and only if certain line bundles, obtained from some characters of the parabolic subgroups of G, are numerically effective. One also proves that these conditions are met for semistable principal Higgs bundles whose adjoint bundle has vanishing second Chern class.In a second part of the paper, we introduce notions of numerical effectiveness and numerical flatness for principal (Higgs) bundles, discussing their main properties. For (non-Higgs) principal bundles, we show that a numerically flat principal bundle admits a reduction to a Levi factor which has a flat Hermitian–Yang–Mills connection, and, as a consequence, that the cohomology ring of a numerically flat principal bundle with coefficients in R is trivial. To our knowledge this notion of numerical effectiveness is new even in the case of (non-Higgs) principal bundles.     

Rank 2 stable vector bundles on Fano 3-folds of index 2

Let X be a Fano 3-fold of the first kind with index 2. In this paper, we characterize the chern classes of rank 2 stable vector bundles on X and we find a bound for the least twist of a rank 2 reflexive sheaf on X which has a global section.     

Semistability vs. nefness for (Higgs) vector bundles

Generalizing a result of Miyaoka, we prove that the semistability of a vector bundle E on a smooth projective curve over a field of characteristic zero is equivalent to the nefness of any of certain divisorial classes θs, λs in the Grassmannians Grs(E) of locally-free quotients of E and in the projective bundles PQs, respectively (here 0<s<rkE and Qs is the universal quotient bundle on Grs(E)). The result is extended to Higgs bundles. In that case a necessary and sufficient condition for semistability is that all classes λs are nef. We also extend this result to higher-dimensional complex projective varieties by showing that the nefness of the classes λs is equivalent to the semistability of the bundle E together with the vanishing of the characteristic class .     

Limit cycles, invariant meridians and parallels for polynomial vector fields on the torus

We study the polynomial vector fields of arbitrary degree in R³ having the 2-dimensional torus invariant by their flow. We characterize all the possible configurations of invariant meridians and parallels that these vector fields can exhibit. Furthermore we analyze when these invariant either meridians or parallels can be limit cycles.     

A Hecke correspondence theorem for automorphic integrals with symmetric rational period functions on the Hecke groups

Marvin Knopp showed that entire automorphic integrals with rational period functions satisfy a Hecke correspondence theorem, provided the rational period functions have poles only at 0 or ∞. For other automorphic integrals the corresponding Dirichlet series has a functional equation with a remainder term that arises from the nonzero poles of the rational period function. In this paper we prove a Hecke correspondence theorem for a class of automorphic integrals with rational period functions on the Hecke groups. We restrict our attention to automorphic integrals of weight that is twice an odd integer and to rational period functions that satisfy a symmetry property we call “Hecke-symmetry.” Each remainder term satisfies two relations (the second of which is new in this paper) corresponding to the two relations for the rational period function.     

A generalization of Higgs bundles to higher dimensional varieties

Let X be a smooth n-dimensional projective variety defined over and let L be a line bundle on X. In this paper we shall construct a moduli space parametrizing -cohomology L-twisted Higgs pairs, i.e., pairs where E is a vector bundle on X and . If we take , the canonical line bundle on X, the variety is canonically identified with the cotangent bundle of the smooth locus of the moduli space of stable vector bundles on X and, as such, it has a canonical symplectic structure. We prove that, in the general case, in correspondence to the choice of a non-zero section , one can define, in a natural way, a Poisson structure on . We also analyze the relations between this Poisson structure on and the canonical symplectic structure of the cotangent bundle to the smooth locus of the moduli space of parabolic bundles over X, with parabolic structure over the divisor D defined by the section s. These results generalize to the higher dimensional case similar results proved in [Bo1] in the case of curves. Received November 4, 1997; in final form May 28, 1998     

Motivic integral of K3 surfaces over a non-archimedean field

We prove a formula expressing the motivic integral (Loeser and Sebag, 2003) [34] of a K3 surface over C((t)) with semi-stable reduction in terms of the associated limit mixed Hodge structure. Secondly, for every smooth variety over a complete discrete valuation field we define an analogue of the monodromy pairing, constructed by Grothendieck in the case of abelian varieties, and prove that our monodromy pairing is a birational invariant of the variety. Finally, we propose a conjectural formula for the motivic integral of maximally degenerate K3 surfaces over an arbitrary complete discrete valuation field and prove this conjecture for Kummer K3 surfaces.     

Classification of the centers and their isochronicity for a class of polynomial differential systems of arbitrary degree

In this paper we classify the centers localized at the origin of coordinates, and their isochronicity for the polynomial differential systems in R² of degree d that in complex notation z=x+iy can be written as where j is either 0 or 1. If j=0 then d?5 is an odd integer and n is an even integer satisfying 2?n?(d+1)/2. If j=1 then d?3 is an integer and n is an integer with converse parity with d and satisfying 0<n?[(d+1)/3] where [⋅] denotes the integer part function. Furthermore λ∈R and A,B,C,D∈C. Note that if d=3 and j=0, we are obtaining the generalization of the polynomial differential systems with cubic homogeneous nonlinearities studied in K.E. Malkin (1964) [17], N.I. Vulpe and K.S. Sibirskii (1988) [25], J. Llibre and C. Valls (2009) [15], and if d=2, j=1 and C=0, we are also obtaining as a particular case the quadratic polynomial differential systems studied in N.N. Bautin (1952) [2], H. Zoladek (1994) [26]. So the class of polynomial differential systems here studied is very general having arbitrary degree and containing the two more relevant subclasses in the history of the center problem for polynomial differential equations.     

CERES in higher-order logic

We define a generalization of the first-order cut-elimination method CERES to higher-order logic. At the core of lies the computation of an (unsatisfiable) set of sequents (the characteristic sequent set) from a proof π of a sequent S. A refutation of in a higher-order resolution calculus can be used to transform cut-free parts of π (the proof projections) into a cut-free proof of S. An example illustrates the method and shows that can produce meaningful cut-free proofs in mathematics that traditional cut-elimination methods cannot reach.     

Embedding polynomial matrices of one variable

A non square matrix with coefficients in K[z] can (if a condition on its minors is satisfied) be embedded into a square matrix with determinant 1. Finding theoretically and in an algorithmic way an embedding of small degree is solved by a construction with vector bundles on the projective line over K.     

Monodromy for principal bundles

Given a strongly semistable principal bundle E_G over a curve, in Biswas et al. (2006) [4], a group-scheme for it was constructed, which was named as the monodromy group-scheme. Here we extend the construction of the monodromy group-scheme to principal bundles over higher dimensional varieties.     

Generalization of a theorem of Carlitz

We generalize Carlitz? result on the number of self-reciprocal monic irreducible polynomials over finite fields by showing that similar explicit formula holds for the number of irreducible polynomials obtained by a fixed quadratic transformation. Our main tools are a combinatorial argument and Hurwitz genus formula.     

Semi-orthogonal decomposability of the derived category of a curve

We show that the bounded derived category of coherent sheaves on a smooth projective curve except the projective line admits no non-trivial semi-orthogonal decompositions.     

A Greedy Partition Lemma for directed domination

A directed dominating set in a directed graph D is a set S of vertices of V such that every vertex u∈V(D)?S has an adjacent vertex v in S with v directed to u. The directed domination number of D, denoted by γ(D), is the minimum cardinality of a directed dominating set in D. The directed domination number of a graph G, denoted Γ_d(G), is the maximum directed domination number γ(D) over all orientations D of G. The directed domination number of a complete graph was first studied by Erd?s [P. Erd?s On a problem in graph theory, Math. Gaz. 47 (1963) 220–222], albeit in a disguised form. In this paper we prove a Greedy Partition Lemma for directed domination in oriented graphs. Applying this lemma, we obtain bounds on the directed domination number. In particular, if α denotes the independence number of a graph G, we show that α≤Γ_d(G)≤α(1+2ln(n/α)).     

Analyticity estimates for the Navier–Stokes equations

We study spatial analyticity properties of solutions of the three-dimensional Navier–Stokes equations and obtain new growth rate estimates for the analyticity radius. We also study stability properties of strong global solutions of the Navier–Stokes equations with data in Hr, r?1/2, and prove a stability result for the analyticity radius.     

Lower and upper bounds of large deviation for sums of subexponential claims in a multi-risk model

In view of the actual condition of the insurance company, a multi-risk model is proposed. The lower and upper bounds for the sums of subexponential claims in this model are given. The proof method is based on the results of the total claim amount under subexponential class.