Irreducibility of Hurwitz spaces of coverings with one special fiber and monodromy group a Weyl group of type <Emphasis Type="Italic">D</Emphasis><Subscript><Emphasis Type="Italic">d</Emphasis></Subscript>

Let Y be a smooth, connected, projective complex curve. In this paper, we study the Hurwitz spaces which parameterize branched coverings of Y whose monodromy group is a Weyl group of type D _d and whose local monodromies are all reflections except one. We prove the irreducibility of these spaces when and successively we extend the result to curves of genus g ≥ 1.     

On the Theory of <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>)-Banach Lattices

Given 1≤ p,q < ∞, let BL_pL_q be the class of all Banach lattices X such that X is isometrically lattice isomorphic to a band in some L_p(L_q)-Banach lattice. We show that the range of a positive contractive projection on any BL_pL_q-Banach lattice is itself in BL_pL_q. It is a consequence of this theorem and previous results that BL_pL_q is first-order axiomatizable in the language of Banach lattices. By studying the pavings of arbitrary BL_pL_q-Banach lattices by finite dimensional sublattices that are themselves in this class, we give an explicit set of axioms for BL_pL_q. We also consider the class of all sublattices of L_p(L_q)-Banach lattices; for this class (when p/q is not an integer) we give a set of axioms that are similar to Krivine’s well-known axioms for the subspaces of L_p-Banach spaces (when p/2 is not an integer). We also extend this result to the limiting case q = ∞.     

<Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis>,<Emphasis Type="Italic">q</Emphasis></Subscript>-Cohomology and Normal Solvability

We consider some problems concerning the L _p,q -cohomology of Riemannian manifolds. In the first part, we study the question of the normal solvability of the operator of exterior derivation on a surface of revolution M considered as an unbounded linear operator acting from L_p^k (M) into L^k+1_q (M). In the second part, we prove that the first L _p,q-cohomology of the general Heisenberg group is nontrivial, provided that p < q. Received: 17 January 2006 Supported by INTAS (Grant 03–51–3251) and the State Maintenance Program for the Leading Scientific Schools of the Russian Federation (Grants NSh 311.2003.1, NSh 8526.2006.1).     

Distance-Regular Shilla Graphs with <Emphasis Type="Italic">b</Emphasis><Subscript>2</Subscript> = <Emphasis Type="Italic">c</Emphasis><Subscript>2</Subscript>

A Shilla graph is defined as a distance-regular graph of diameter 3 with second eigen-value θ₁ equal to a₃. For a Shilla graph, let us put a = a₃ and b = k/a. It is proved in this paper that a Shilla graph with b₂ = c₂ and noninteger eigenvalues has the following intersection array:

$$\left\{ {\frac{{{b^2}\left( {b - 1} \right)}}{2},\frac{{\left( {b - 1} \right)\left( {{b^2} - b + 2} \right)}}{2},\frac{{b\left( {b - 1} \right)}}{4};1,\frac{{b\left( {b - 1} \right)}}{4},\frac{{b{{\left( {b - 1} \right)}^2}}}{2}} \right\}$$

If Γ is a Q-polynomial Shilla graph with b₂ = c₂ and b = 2r, then the graph Γ has intersection array

$$\left\{ {2tr\left( {2r + 1} \right),\left( {2r + 1} \right)\left( {2rt + t + 1} \right),r\left( {r + t} \right);1,r\left( {r + t} \right),t\left( {4{r^2} - 1} \right)} \right\}$$

and, for any vertex u in Γ, the subgraph Γ₃(u) is an antipodal distance-regular graph with intersection array

$$\left\{ {t\left( {2r + 1} \right),\left( {2r - 1} \right)\left( {t + 1} \right),1;1,t + 1,t\left( {2r + 1} \right)} \right\}$$

The Shilla graphs with b₂ = c₂ and b = 4 are also classified in the paper.

     

On the cogeneration of <Emphasis Type="Italic">t</Emphasis>-structures

Let C be a set of objects in a triangulated compactly generated category We denote by the smallest suspended subcategory closed under coproducts which contains C (the smallest cosuspended subcategory closed under products which contains C). We prove that if C is a set of compacts objects then is a t-structure in where T_C I is the dual of C with respect to an injective cogenerator I in the category Mod C. Moreover, we show that: C is a tilting set if and only if And, this is equivalent to T_CI is a cotilting object in Received: 28 March 2003     

On the <Emphasis Type="Italic">L</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript> affine isoperimetric inequalities

We obtain an isoperimetric inequality which estimate the affine invariant p-surface area measure on convex bodies. We also establish the reverse version of L _p -Petty projection inequality and an affine isoperimetric inequality of Γ_− p K.     

Novikov superalgebras with <Emphasis Type="Italic">A</Emphasis><Subscript>0</Subscript> = <Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript><Emphasis Type="Italic">A</Emphasis><Subscript>1</Subscript>

Novikov superalgebras are related to quadratic conformal superalgebras which correspond to the Hamiltonian pairs and play a fundamental role in completely integrable systems. In this note we show that the Novikov superalgebras with A ₀ = A ₁ A ₁ and dim A ₁ = 2 are of type N and give a class of Novikov superalgebras of type S with A ₀ = A ₁ A ₁.     

The Structure of the Closure of the Rational Functions in <Emphasis Type="Italic">L</Emphasis><Superscript><Emphasis Type="Italic">q</Emphasis></Superscript>(μ)

Let K be a compact subset in the complex plane and let A(K) be the uniform closure of the functions continuous on K and analytic on K°. Let μ be a positive finite measure with its support contained in K. For 1 ≤ q < ∞, let A^q(K, μ) denote the closure of A(K) in L^q(μ). The aim of this work is to study the structure of the space A^q(K, μ). We seek a necessary and sufficient condition on K so that a Thomson-type structure theorem for A^q(K, μ) can be established. Our theorem deduces J. Thomson’s structure theorem for P^q(μ), the closure of polynomials in L^q(μ), as the special case when K is a closed disk containing the support of μ.     

On <Emphasis Type="Italic">r</Emphasis>-recognition by prime graph of <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>(3) where <Emphasis Type="Italic">p</Emphasis> is an odd prime

Let G be a finite group. The prime graph Γ(G) of G is defined as follows. The vertices of Γ(G) are the primes dividing the order of G and two distinct vertices p and p′ are joined by an edge if there is an element in G of order pp′. We denote by k(Γ(G)) the number of isomorphism classes of finite groups H satisfying Γ(G) = Γ(H). Given a natural number r, a finite group G is called r-recognizable by prime graph if k(Γ(G)) =  r. In Shen et al. (Sib. Math. J. 51(2):244–254, 2010), it is proved that if p is an odd prime, then B _p (3) is recognizable by element orders. In this paper as the main result, we show that if G is a finite group such that Γ(G) = Γ(B _p (3)), where p > 3 is an odd prime, then \({G\cong B_p(3)}\) or C _p (3). Also if Γ(G) = Γ(B ₃(3)), then \({G\cong B_3(3), C_3(3), D_4(3)}\), or \({G/O_2(G)\cong {\rm Aut}(^2B_2(8))}\). As a corollary, the main result of the above paper is obtained.     

Compact composition operators on BMOA(<Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis></Subscript>)

The paper gives some characterization theorems for the compact composition operator on some function spaces over the unit ball B _n in ℂ ⁿ . Especially, it gives a characterization for compact composition operators on BMOA(B _n ), which generalizes a result proved by Bourdon, Cima and Matheson for the case n = 1.     

Almost everywhere convergence of Ciesielski-Fourier series of <Emphasis Type="Italic">H</Emphasis><Subscript>1</Subscript>functions

It is proved that a lacunary sequence of the Ciesielski-Fourier series of converges almost everywhere to f. Received: 8 September 2003     

The <Emphasis Type="Italic">L</Emphasis>-series of a cubic fourfold

We study the L-series of cubic fourfolds. Our main result is that, if X/C is a special cubic fourfold associated to some polarized K3 surface S, defined over a number field K and satisfying , then X has a model over K such that the L-series of the primitive cohomology of X/K can be expressed in terms of the L-series of S/K. This allows us to compute the L-series for a discrete dense subset of cubic fourfolds in the moduli spaces of certain special cubic fourfolds. We also discuss a concrete example.     

Cyclic coverings of the <Emphasis Type="Italic">p</Emphasis>-adic projective line by Mumford curves

Exact bounds for the positions of the branch points for cyclic coverings of the p-adic projective line by Mumford curves are calculated in two ways. Firstly, by using Fumiharu Kato’s *-trees, and secondly by giving explicit matrix representations of the Schottky groups corresponding to the Mumford curves above the projective line through combinatorial group theory.     

Groups with less than <Emphasis Type="Italic">n</Emphasis> subgroups of index <Emphasis Type="Italic">n</Emphasis>

We characterise (residually-finite) groups which possess less than n subgroups of index n for almost all n ∈ ℕ.     

Automorphisms of Chevalley groups of type <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">l</Emphasis></Subscript> over local rings with 1/2

In this paper, we prove that every automorphism of a Chevalley group of type B _l , l ≥ 2, over a commutative local ring with 1/2 is standard, i.e., it is a composition of ring, inner, and central automorphisms.     

Some new scales of weight characterizations of the class <Emphasis Type="Italic">B</Emphasis><Subscript><Emphasis Type="Italic">p</Emphasis></Subscript>

We present an equivalence theorem, which includes all known characterizations of the class B _p , i.e., the weight class of Ariño and Muckenhoupt, and also some new equivalent characterizations. We also give equivalent characterizations for the classes B _p ^* , B _∞ ^* and RB _p , and prove and apply a “gluing lemma” of independent interest.     

Three realizations of the quantum affine algebra <Emphasis Type="Italic">U</Emphasis><Subscript><Emphasis Type="Italic">q</Emphasis></Subscript>(<Emphasis Type="Italic">A</Emphasis><Subscript>2</Subscript><Superscript>(2)</Superscript>

We establish explicit isomorphisms between three realizations of the quantum twisted affine algebra U _q (A ₂ ⁽²⁾: the Drinfeld current realization, the Chevalley realization, and the so-called RLL realization proposed by Reshetikhin, Takhtajan, and Faddeev.     

Continuous <Emphasis Type="Italic">l</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>,<Emphasis Type="Italic">p</Emphasis></Subscript>-symmetric distributions

For p > 0, the l _n,p -generalized surface measure on the l _n,p -unit sphere is studied and used for deriving a geometric measure representation for l _n,p -symmetric distributions having a density.     

On constant <Emphasis Type="Italic">Uq</Emphasis>(<Emphasis Type="Italic">sl</Emphasis><Subscript>2</Subscript>)-invariant <Emphasis Type="Italic">R</Emphasis>-matrices

We consider the spectral resolution of a Uq (sl ₂)-invariant solution R of the constant Yang–Baxter equation in the braid group form. It is shown that if the two highest coefficients in this resolution are not equal, then R is either the Drinfeld R-matrix or its inverse. Bibliography: 13 titles.     

<Emphasis Type="Italic">S</Emphasis><Subscript><Emphasis Type="Italic">k</Emphasis>,exp</Subscript> Does Not Prove NP = <Emphasis Type="Italic">co</Emphasis>-NP Uniformly

The notion of a uniform sequent-calculus proof is introduced. It is shown that a strengthening, S_k,exp , of the well-studied bounded arithmetic system S_k of Buss does not prove NP = co-NP with a uniform proof. A slightly stronger result that S_k,exp cannot prove uniformly for 2 ≤ k′ ≤ k is also established. A modification of the technique used is applied to show that S_k,exp is unable to prove the Davis-Putnam-Robinson-Matiyasevich theorem. Generalizations of these results to higher levels of the Grzegorczyck hierarchy are presented. Bibliography: 21 titles.__________Translated from Zapiski Nauchnykh Seminarov POMI, Vol. 304, 2003, pp. 99–120.