Domination in generalized Petersen graphs

Generalized Petersen graphs are certain graphs consisting of one quadratic factor. For these graphs some numerical invariants concerning the domination are studied, namely the domatic number , the total domatic number and the -ply domatic number for and . Some exact values and some inequalities are stated.     

Sur la cohomologie à supports compacts des variétés de Shimura pour GSp(4)_\mathbb{Q}

In this paper we compute the cohomology with compact supports of a Siegelthreefold as a virtual module over the product of the Galois group of over and the Hecke algebra. We use a method which has been developed by Ihara, Langlands and Kottwitz: comparison of the Grothendieck--Lefschetz formula and the Arthur--Selberg trace formula.     

Double Circulant Codes over \mathbb{Z}_4 and Even Unimodular Lattices

With the help of some new results about weight enumerators of self-dual codes over we investigate a class of double circulant codes over , one of which leads to an extremal even unimodular 40–dimensional lattice. It is conjectured that there should be Nine more constructions of the Leech lattice     

A Modal Logic Based on Linearly Ordered f-Spaces

A modal logic associated with the -spaces introduced by Ershov is examined. We construct a modal calculus that is complete w.r.t. the class of all strictly linearly ordered -frames, and the class of all strictly linearly ordered -frames.     

On microfunctions at the boundary along CR manifolds

Let X be a complex analytic manifold, a C ² submanifold, an openset with C ² boundary .Denote by (resp. ) the microlocalization along M (resp. ) of the sheaf of holomorphic functions.In the literature (cf. [A-G], [K-S 1,2])one encounters two classical results concerning the vanishing of the cohomology groups .The most general gives the vanishing outside a range of indices j whose length is equal to (with being the number of respectively positive, negative and null eigenvalues for themicrolocal Levi form ).The sharpest result gives the concentration in a single degree, provided that the difference is locally constant for near p (with for z the base point of p).The first result was restated for the complex in [D'A-Z 2], in the case codim We extend it here to any codimension and moreover we also restate for the second vanishing theorem.We also point out that the principle of our proof, related to a criterion for constancy of sheaves due to [K-S 1], is a quite new one.     

Commutativity of the Arens product in lattice ordered algebras

Let be an Abelian Archimedean lattice ordered algebra. The order bidual furnished with the Arens product is again a lattice ordered algebra. We show that the order continuous order bidual is Abelian. This solves an open problem and improves a result of Scheffold, who proved it for the case of normed lattice ordered algebras. The proof is based on the up-down-up approximation of positive elements in the order continuous order bidual by elements in the canonical image of in Components of positive elements in are characterized and the result is applied to the Arens product of -and almost -algebras.     

Image inverse d'un D-module and Newton Polygon)

We show that, under conditions about the microcharacteristic variety of a coherent -module, the Cauchy problem is well-posed in the spaces of formal power series with Gevrey growth. We deduce that the filtration of the Irregularity Sheaf of a holonomic -module, which we defined in a previous work, is preserved under inverse image if some rather general geometric conditions are fullfilled.     

Hypersurfaces in ℝn and critical points in their external region

In this paper we study the hypersurfaces given as connected compact regular fibers of a differentiable map , in the cases in which has finitely many nondegenerate critical points in the unbounded component of .     

An Application of U(g)-bimodules to Representation Theory of Affine Lie Algebras

Let be the affine Lie algebra associated to the simple finite-dimensional Lie algebra . We consider the tensor product of the loop -module associated to the irreducible finite-dimensional -module V() and the irreducible highest weight -module L _k,. Then L _k, can be viewed as an irreducible module for the vertex operator algebra M _k,0. Let A(L _k,) be the corresponding -bimodule. We prove that if the -module is zero, then the -module is irreducible. As an example, we apply this result on integrable representations for affine Lie algebras.     

On copies of c 0 in the bounded linear operator space

In this note we study some properties concerning certain copies of the classic Banach space c ₀ in the Banach space of all bounded linear operators between a normed space X and a Banach space Y equipped with the norm of the uniform convergence of operators.     

Rings of maps: sequential convergence and completion

The ring B(R) of all real-valued measurable functions, carrying the pointwise convergence, is a sequential ring completion of the subring C(R) of all continuous functions and, similarly, the ring of all Borel measurable subsets of R is a sequential ring completion of the subring of all finite unions of half-open intervals; the two completions are not categorical. We study -rings of maps and develop a completion theory covering the two examples. In particular, the -fields of sets form an epireflective subcategory of the category of fields of sets and, for each field of sets , the generated -field yields its epireflection. Via zero-rings the theory can be applied to completions of special commutative -groups.     

The Local Stark Conjecture at a Real Place

A refinement of the rank 1 Abelian Stark conjecture has been formulated by B.Gross. This conjecture predicts some -adic analytic nature of a modification of the Stark unit. The conjecture makes perfect sense even when is an Archimedean place. Here we consider the conjecture when is a real place, and interpret it in terms of 2-adic properties of special values of L-functions. We prove the conjecture for CM extensions; here the original Stark conjecture is uninteresting, but the refined conjecture is nontrivial. In more generality, we show that, under mild hypotheses, if the subgroup of the Galois group generated by complex conjugations has less than full rank, then the refined conjecture implies that the Stark unit should be a square. This phenomenon has been discovered by Dummit and Hayes in a particular type of situation. We show that it should hold in much greater generality.     

Lp Contraction Semigroups for Vector Valued Functions

Let be a contraction semigroup on the space of vector valued functions ( is a Hilbert space). In order to study the extension of to a contaction semigroup on , Shigekawa [Sh] studied recently the domination property where is a symmetric sub-Markovian semigroup on . He gives in the setting of square field operators sufficient conditions for the above inequality. The aim of the present paper is to show that the methods of [12] and [13] can be applied in the present setting and provide two ways for the extension of to We give necessary and sufficient conditions in terms of sesquilinear forms for the contractivity property as well as for the above domination property in a more general situation.     

Some New Extrapolation Estimates for the Scale of Spaces

Using new extrapolation estimates for the - and -functionals of couples of limit spaces of the -scale , we introduce a class of extrapolation functors. A characterization of this class via the real interpolation method permits one to obtain new equivalent expressions for the norms in symmetric spaces close to and , which depend only on the -norms of a function.     

On Complete Arcs Arising from Plane Curves

We point out an interplay between -Frobenius non-classical plane curves and complete -arcs in . A typical example that shows how this works is the one concerning an Hermitian curve. We present some other examples here which give rise to the existence of new complete -arcs with parameters and being a power of the characteristic. In addition, for q a square, new complete -arcs with either and or and are constructed by using certain reducible plane curves.     

\mathcal{Q}-Universal Quasivarieties of Graphs

It is proved that a quasivariety K of undirected graphs without loops is -universal if and only if K contains some non-bipartite graph.     

A Korovkin type approximation theorems via $$\mathcal{I}$$ -convergence

Using the concept of -convergence we provide a Korovkin type approximation theorem by means of positive linear operators defined on an appropriate weighted space given with any interval of the real line. We also study rates of convergence by means of the modulus of continuity and the elements of the Lipschitz class.     

Superlocals in Symmetric and Alternating Groups

On Aschbacher's definition, a subgroup N of a finite group is called a -superlocal for a prime if . We describe the -superlocals in symmetric and alternating groups, thereby resolving part way Problem 11.3 in the Kourovka Notebook [3].     

Time-Localization of Random Distributions on Wiener Space

A nuclear space of distributions on Wiener space was constructed by Gorostiza and Nualart [10] as a framework for studying weak convergence of trajectorial fluctuations of particle systems. A basic problem in recovering the usual time-evolution results from the trajectorial ones consists in associating in a unique way an -valued process to a random distribution on by localizing it at each time t [0,1]. In this paper we solve this problem for a large class of random distributions which includes trajectorial fluctuation limits of some systems of diffusions.     

On the Irreducibility of Commuting Varieties Associated with Involutions of Simple Lie Algebras

Let be a reductive Lie algebra over an algebraically closed field of characteristic zero and an arbitrary -grading. We consider the variety , which is called the commuting variety associated with the -grading. Earlier it was proved by the author that is irreducible, if the -grading is of maximal rank. Now we show that is irreducible for and (E₆,F₄). In the case of symmetric pairs of rank one, we show that the number of irreducible components of is equal to that of nonzero non--regular nilpotent G ₀-orbits in . We also discuss a general problem of the irreducibility of commuting varieties.