Reduced Minimum Modulus Preserving in Banach Space

Let be the algebra of all bounded linear operators on a complex Banach space X and γ(T) be the reduced minimum modulus of operator . In this work, we prove that if , is a surjective linear map such that is an invertible operator, then , for every , if and only if, either there exist two bijective isometries and such that for every , or there exist two bijective isometries and such that for every . This generalizes for a Banach space the Mbekhta’s theorem [12].      

Rigidity and holomorphic Segre transversality for holomorphic Segre maps

Let and denote the complexifications of Heisenberg hypersurfaces in and , respectively. We show that non-degenerate holomorphic Segre mappings from into with possess a partial rigidity property. As an application, we prove that the holomorphic Segre non-transversality for a holomorphic Segre map from into with propagates along Segre varieties. We also give an example showing that this propagation property of holomorphic Segre transversality fails when N > 2n − 2.     

Plane polynomial automorphisms of fixed multidegree

Let be the group of polynomial automorphisms of the complex affine plane. On one hand, can be endowed with the structure of an infinite dimensional algebraic group (see Shafarevich in Math USSR Izv 18:214–226, 1982) and on the other hand there is a partition of according to the multidegree (see Friedland and Milnor in Ergod Th Dyn Syst 9:67–99, 1989). Let denote the set of automorphisms whose multidegree is equal to d. We prove that is a smooth, locally closed subset of and show some related results. We give some applications to the study of the varieties (resp. ) of automorphisms whose degree is equal to m (resp. is less than or equal to m).     

On the number of moduli of plane sextics with six cusps

Let be the variety of irreducible sextics with six cusps as singularities. Let be one of irreducible components of . Denoting by the space of moduli of smooth curves of genus 4, we consider the rational map sending the general point [Γ] of Σ, corresponding to a plane curve , to the point of parametrizing the normalization curve of Γ. The number of moduli of Σ is, by definition the dimension of Π(Σ). We know that , where ρ(2, 4, 6) is the Brill–Noether number of linear series of dimension 2 and degree 6 on a curve of genus 4. We prove that both irreducible components of have number of moduli equal to seven.      

Ranks of abelian varieties over infinite extensions of the rationals

Let S be an infinite set of rational primes and, for some p ∈ S, let be the compositum of all extensions unramified outside S of the form , for . If , let be the intersection of the fixed fields by , for i = 1, . . , n. We provide a wide family of elliptic curves such that the rank of is infinite for all n ≥ 0 and all , subject to the parity conjecture. Similarly, let be a polarized abelian variety, let K be a quadratic number field fixed by , let S be an infinite set of primes of and let be the maximal abelian p-elementary extension of K unramified outside primes of K lying over S and dihedral over . We show that, under certain hypotheses, the -corank of sel _p ∞(A/F) is unbounded over finite extensions F/K contained in . As a consequence, we prove a strengthened version of a conjecture of M. Larsen in a large number of cases.     

The Extremal Truncated Moment Problem

For a degree 2n real d-dimensional multisequence to have a representing measure μ, it is necessary for the associated moment matrix to be positive semidefinite and for the algebraic variety associated to β, , to satisfy rank card as well as the following consistency condition: if a polynomial vanishes on , then . We prove that for the extremal case , positivity of and consistency are sufficient for the existence of a (unique, rank -atomic) representing measure. We also show that in the preceding result, consistency cannot always be replaced by recursiveness of . The first-named author’s research was partially supported by NSF Research Grants DMS-0099357 and DMS-0400741. The second-named author’s research was partially supported by NSF Research Grant DMS-0201430 and DMS-0457138.     

A note on simultaneous Diophantine approximation on planar curves

Let denote the set of simultaneously - approximable points in and denote the set of multiplicatively ψ-approximable points in . Let be a manifold in . The aim is to develop a metric theory for the sets and analogous to the classical theory in which is simply . In this note, we mainly restrict our attention to the case that is a planar curve . A complete Hausdorff dimension theory is established for the sets and . A divergent Khintchine type result is obtained for ; i.e. if a certain sum diverges then the one-dimensional Lebesgue measure on of is full. Furthermore, in the case that is a rational quadric the convergent Khintchine type result is obtained for both types of approximation. Our results for naturally generalize the dimension and Lebesgue measure statements of Beresnevich et al. (Mem AMS, 179 (846), 1–91 (2006)). Moreover, within the multiplicative framework, our results for constitute the first of their type. The research of Victor V. Beresnevich was supported by an EPSRC Grant R90727/01. Sanju L. Velani is a Royal Society University Research Fellow. For Iona and Ayesha on No. 3.     

A new family of maximal curves over a finite field

It has been known for a long time that the Deligne–Lusztig curves associated to the algebraic groups of type and defined over the finite field all have the maximum number of -rational points allowed by the Weil “explicit formulas”, and that these curves are -maximal curves over infinitely many algebraic extensions of . Serre showed that an -rational curve which is -covered by an -maximal curve is also -maximal. This has posed the problem of the existence of -maximal curves other than the Deligne–Lusztig curves and their -subcovers, see for instance Garcia (On curves with many rational points over finite fields. In: Finite Fields with Applications to Coding Theory, Cryptography and Related Areas, pp. 152–163. Springer, Berlin, 2002) and Garcia and Stichtenoth (A maximal curve which is not a Galois subcover of the Hermitan curve. Bull. Braz. Math. Soc. (N.S.) 37, 139–152, 2006). In this paper, a positive answer to this problem is obtained. For every q = n ³ with n = p ^r  > 2, p ≥ 2 prime, we give a simple, explicit construction of an -maximal curve that is not -covered by any -maximal Deligne–Lusztig curve. Furthermore, the -automorphism group Aut has size n ³(n ³ + 1)(n ² − 1)(n ² − n + 1). Interestingly, has a very large -automorphism group with respect to its genus . Research supported by the Italian Ministry MURST, Strutture geometriche, combinatoria e loro applicazioni, PRIN 2006–2007.     

Chains and antichains in partial orderings

We study the complexity of infinite chains and antichains in computable partial orderings. We show that there is a computable partial ordering which has an infinite chain but none that is or , and also obtain the analogous result for antichains. On the other hand, we show that every computable partial ordering which has an infinite chain must have an infinite chain that is the difference of two sets. Our main result is that there is a computably axiomatizable theory K of partial orderings such that K has a computable model with arbitrarily long finite chains but no computable model with an infinite chain. We also prove the corresponding result for antichains. Finally, we prove that if a computable partial ordering has the feature that for every , there is an infinite chain or antichain that is relative to , then we have uniform dichotomy: either for all copies of , there is an infinite chain that is relative to , or for all copies of , there is an infinite antichain that is relative to .     

The Kostant–García quantization of the bundle of connections

We shall call quantum states of a principal bundle π : P → M with structure group a semi-simple Lie group G, the elements of certain space of sections of the adjoint bundle , associated to the G-bundle of connections . An inner product of sections of is defined for which is a Hilbert space such that the Gauge group gau(P) of the given bundle represents in a family of self-adjoint operators. This work crystallizes some heuristic considerations, on the unitary representations of Gauge algebras, of Garcia in the already a classical article (J. Differ. Geom. 12, 209–227, 1977).     

Numerically satisfactory solutions of Kummer recurrence relations

Pairs of numerically satisfactory solutions as for the three-term recurrence relations satisfied by the families of functions , , are given. It is proved that minimal solutions always exist, except when and z is in the positive or negative real axis, and that is minimal as whenever . The minimal solution is identified for any recurrence direction, that is, for any integer values of and . When the confluent limit , with fixed, is the main tool for identifying minimal solutions together with a connection formula; for , is the main tool to be considered.     

Three-dimensional sets with small sumset

We describe the structure of three dimensional sets of lattice points, having a small doubling property. Let be a finite subset of ℤ³ such that dim = 3. If and , then lies on three parallel lines. Moreover, for every three dimensional finite set that lies on three parallel lines, if , then is contained in three arithmetic progressions with the same common difference, having together no more than terms. These best possible results confirm a recent conjecture of Freiman and cannot be sharpened by reducing the quantity υ or by increasing the upper bounds for .     

C*-Algebras of Singular Integral Operators with Shifts Having the Same Nonempty Set of Fixed Points

The C*-subalgebra of generated by all multiplication operators by slowly oscillating and piecewise continuous functions, by the Cauchy singular integral operator and by the range of a unitary representation of an amenable group of diffeomorphisms with any nonempty set of common fixed points is studied. A symbol calculus for the C*-algebra and a Fredholm criterion for its elements are obtained. For the C*-algebra composed by all functional operators in , an invertibility criterion for its elements is also established. Both the C*-algebras and are investigated by using a generalization of the local-trajectory method for C*-algebras associated with C*-dynamical systems which is based on the notion of spectral measure. Submitted: April 30, 2007. Accepted: November 5, 2007.     

On the Circumference of 2-Connected $$\mathcal{P}_{3}$$-Dominated Graphs

Let G be a connected graph. For at distance 2, we define , and , if then . G is quasi-claw-free if it satisfies , and G is P ₃-dominated() if it satisfies , for every pair (x, y) of vertices at distance 2. Certainly contains as a subclass. In this paper, we prove that the circumference of a 2-connected P ₃-dominated graph G on n vertices is at least min or , moreover if then G is hamiltonian or , where is a class of 2-connected nonhamiltonian graphs.     

The Stokes operator in weighted Lq-spaces II: weighted resolvent estimates and maximal Lp-regularity

In this paper we establish a general weighted L ^q -theory of the Stokes operator in the whole space, the half space and a bounded domain for general Muckenhoupt weights . We show weighted L ^q -estimates for the Stokes resolvent system in bounded domains for general Muckenhoupt weights. These weighted resolvent estimates imply not only that the Stokes operator generates a bounded analytic semigroup but even yield the maximal L ^p -regularity of in the respective weighted L ^q -spaces for arbitrary Muckenhoupt weights . This conclusion is archived by combining a recent characterisation of maximal L ^p -regularity by -bounded families due to Weis [Operator-valued Fourier multiplier theorems and maximal L _p -regularity. Preprint (1999)] with the fact that for L ^q -spaces -boundedness is implied by weighted estimates.     

Fine Properties of the Integrated Density of States and a Quantitative Separation Property of the Dirichlet Eigenvalues

We consider one-dimensional difference Schr?dinger equations with real analytic function V(x). Suppose V(x) is a small perturbation of a trigonometric polynomial V ₀(x) of degree k ₀, and assume positive Lyapunov exponents and Diophantine ω. We prove that the integrated density of states is H?lder continuous for any k > 0. Moreover, we show that is absolutely continuous for a.e. ω. Our approach is via finite volume bounds. I.e., we study the eigenvalues of the problem on a finite interval [1, N] with Dirichlet boundary conditions. Then the averaged number of these Dirichlet eigenvalues which fall into an interval , does not exceed , k > 0. Moreover, for , this averaged number does not exceed exp , for any . For the integrated density of states of the problem this implies that for any . To investigate the distribution of the Dirichlet eigenvalues of on a finite interval [1, N] we study the distribution of the zeros of the characteristic determinants with complexified phase x, and frozen ω, E. We prove equidistribution of these zeros in some annulus and show also that no more than 2k ₀ of them fall into any disk of radius exp. In addition, we obtain the lower bound (with δ > 0 arbitrary) for the separation of the eigenvalues of the Dirichlet eigenvalues over the interval [0, N]. This necessarily requires the removal of a small set of energies. Received: February 2006, Accepted: December 2007     

Parabolic twists for the linear algebras <Emphasis Type="Italic">A</Emphasis><Subscript><Emphasis Type="Italic">n</Emphasis>−1</Subscript>

New solutions of twist equations for the universal enveloping algebras U (A_n−1) are found. These solutions can be represented as products of full chains of extended Jordanian twists Abelian factors (“rotations”) , and sets of quasi-Jordanian twists . The latter are generalizations of Jordanian twists (with carrier b²) for special deformed extensions of the Hopf algebra U (b²). The carrier subalgebra for the composition is a nonminimal parabolic subalgebra in A _n−1 such that . The parabolic twisting elements are obtained in an explicit form. Details of the construction are illustrated by considering the examples n = 4 and n = 11. Bibliography: 21 titles. Published in Zapiski Nauchnykh Seminarov POMI, Vol. 347, 2007, pp. 187–213.     

On pointed Hopf algebras associated with the symmetric groups

Let G be the symmetric group . It is an important open problem whether the dimension of the Nichols algebra is finite when is the class of the transpositions and ρ is the sign representation, with m ≥ 6. In the present paper, we discard most of the other conjugacy classes showing that very few pairs might give rise to finite-dimensional Nichols algebras. This work was partially supported by CONICET, ANPCyT and Secyt (UNC).     

Intersection homology Künneth theorems

Cohen, Goresky, and Ji showed that there is a Künneth theorem relating the intersection homology groups to and , provided that the perversity satisfies rather strict conditions. We consider biperversities and prove that there is a Künneth theorem relating to and for all choices of and . Furthermore, we prove that the Künneth theorem still holds when the biperversity p, q is “loosened” a little, and using this we recover the Künneth theorem of Cohen–Goresky–Ji.     

Free holomorphic functions and interpolation

In this paper we obtain a noncommutative multivariable analogue of the classical Nevanlinna–Pick interpolation problem for analytic functions with positive real parts on the open unit disc. Given a function , where is an arbitrary subset of the open unit ball , we find necessary and sufficient conditions for the existence of a free holomorphic function g with complex coefficients on the noncommutative open unit ball such that