Dy namic of Abelia n Subgroups of GL( n, $$\mathbb{C}$$): A Structure Theorem

In this paper, we characterize the dynamic of every Abelian subgroups of , or . We show that there exists a -invariant, dense open set U in saturated by minimal orbits with a union of at most n -invariant vector subspaces of of dimension n−1 or n−2 over . As a consequence, has height at most n and in particular it admits a minimal set in . This work is supported by the research unit: systèmes dynamiques et combinatoire: 99UR15-15     

Birkhoff coordinates for KdV on phase spaces of distributions

The purpose of this paper is to extend the construction of Birkhoff coordinates for the KdV equation from the phase space of square integrable 1-periodic functions with mean value zero to the phase space of mean value zero distributions from the Sobolev space endowed with the symplectic structure More precisely, we construct a globally defined real-analytic symplectomorphism where is a weighted Hilbert space of sequences supplied with the canonical Poisson structure so that the KdV Hamiltonian for potentials in is a function of the actions alone.     

Transition Semi–groups on a Local Field Induced by Galois Group and their Representation

For a given map defined on the field of p-adic numbers satisfying

Projective curves of degree=codimension+2

In this article we study nondegenerate projective curves of degree d which are not arithmetically Cohen-Macaulay. Note that for a rational normal curve and a point . Our main result is about the relation between the geometric properties of X and the position of P with respect to . We show that the graded Betti numbers of X are uniquely determined by the rank of P with respect to . In particular, X satisfies property N _2,p if and only if . Therefore property N _2,p of X is controlled by and conversely can be read off from the minimal free resolution of X. This result provides a non-linearly normal example for which the converse to Theorem 1.1 in (Eisenbud et al., Compositio Math 141:1460–1478, 2005) holds. Also our result implies that for nondegenerate projective curves of degree d which are not arithmetically Cohen–Macaulay, there are exactly distinct Betti tables.     

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.      

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.     

Homotopy Categories for Simply Connected Torsion Spaces

For each n > 1 and each multiplicative closed set of integers S, we study closed model category structures on the pointed category of topological spaces, where the classes of weak equivalences are classes of maps inducing isomorphism on homotopy groups with coefficients in determined torsion abelian groups, in degrees higher than or equal to n. We take coefficients either on all the cyclic groups with s ∈ S, or in the abelian group where is the group of fractions of the form with s ∈ S. In the first case, for n > 1 the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion. In the second case, for n > 1 we obtain that the localized category is equivalent to the ordinary homotopy category of (n − 1)-connected CW-complexes whose homotopy groups are S-torsion and the nth homotopy group is divisible. These equivalences of categories are given by colocalizations , obtained by cofibrant approximations on the model structures. These colocalization maps have nice universal properties. For instance, the map is final (in the homotopy category) among all the maps of the form Y → X with Y an (n − 1)-connected CW-complex whose homotopy groups are S-torsion and its nth homotopy group is divisible. The spaces , are constructed using the cones of Moore spaces of the form M(T, k), where T is a coefficient group of the corresponding structure of models, and homotopy colimits indexed by a suitable ordinal. If S is generated by a set P of primes and S ^p is generated by a prime p ∈ P one has that for n > 1 the category is equivalent to the product category . If the multiplicative system S is generated by a finite set of primes, then localized category is equivalent to the homotopy category of n-connected Ext-S-complete CW-complexes and a similar result is obtained for .     

Laguerre geometry of hypersurfaces in $$\mathbb{R}^{n}$$

Laguerre geometry of surfaces in is given in the book of Blaschke [Vorlesungen über Differentialgeometrie, Springer, Berlin Heidelberg New York (1929)], and has been studied by Musso and Nicolodi [Trans. Am. Math. soc. 348, 4321–4337 (1996); Abh. Math. Sem. Univ. Hamburg 69, 123–138 (1999); Int. J. Math. 11(7), 911–924 (2000)], Palmer [Remarks on a variation problem in Laguerre geometry. Rendiconti di Mathematica, Serie VII, Roma, vol. 19, pp. 281–293 (1999)] and other authors. In this paper we study Laguerre differential geometry of hypersurfaces in . For any umbilical free hypersurface with non-zero principal curvatures we define a Laguerre invariant metric g on M and a Laguerre invariant self-adjoint operator : TM → TM, and show that is a complete Laguerre invariant system for hypersurfaces in with n≥ 4. We calculate the Euler–Lagrange equation for the Laguerre volume functional of Laguerre metric by using Laguerre invariants. Using the Euclidean space , the semi-Euclidean space and the degenerate space we define three Laguerre space forms , and and define the Laguerre embeddings and , analogously to what happens in the Moebius geometry where we have Moebius space forms S ⁿ , and (spaces of constant curvature) and conformal embeddings and [cf. Liu et al. in Tohoku Math. J. 53, 553–569 (2001) and Wang in Manuscr. Math. 96, 517–534 (1998)]. Using these Laguerre embeddings we can unify the Laguerre geometry of hypersurfaces in , and . As an example we show that minimal surfaces in or are Laguerre minimal in .C. Wang Partially supported by RFDP and Chuang-Xin-Qun-Ti of NSFC.     

An Lp-Lq-Version of Morgan’s Theorem for the Dunkl-Bessel Transform

In this paper, we give an L^p-L^q-version of Morgans theorem for the Dunkl-Bessel transform on More precisely, we prove that for all and then for all measurable function f on the conditions and imply f = 0, if and only if where are the Lebesgue spaces associated with the Dunkl-Bessel transform.Received: November 21, 2003 Revised: April 26, 2004 Accepted: May 28, 2004     

New results on the peak algebra

The peak algebra is a unital subalgebra of the symmetric group algebra, linearly spanned by sums of permutations with a common set of peaks. By exploiting the combinatorics of sparse subsets of [n−1] (and of certain classes of compositions of n called almost-odd and thin), we construct three new linear bases of . We discuss two peak analogs of the first Eulerian idempotent and construct a basis of semi-idempotent elements for the peak algebra. We use these bases to describe the Jacobson radical of and to characterize the elements of in terms of the canonical action of the symmetric groups on the tensor algebra of a vector space. We define a chain of ideals of , j = 0,..., , such that is the linear span of sums of permutations with a common set of interior peaks and is the peak algebra. We extend the above results to , generalizing results of Schocker (the case j = 0). Aguiar supported in part by NSF grant DMS-0302423 Orellana supported in part by the Wilson Foundation     

Equivalence Bimodule between Spherical Noncommutative Tori

Let n _i ,m _j > 1. In [5], the sperical noncommutative torus was defined by twisting in by a totally skew multiplier p on for T ^pd a pd-homogeneous C*-algebra over . It is shown that is strongly Morita equivalent to . This work is supported by Grant No. 1999-2-102-001-3 from the interdisciplinary research program year of the KOSEF     

Inequalities of the Brunn–Minkowski type for Gaussian measures

Let be an integer, let γ be the standard Gaussian measure on , and let . Given this paper gives a necessary and sufficient condition such that the inequality is true for all Borel sets A ₁,...,A _m in of strictly positive γ-measure or all convex Borel sets A ₁,...,A _m in of strictly positive γ-measure, respectively. In particular, the paper exhibits inequalities of the Brunn–Minkowski type for γ which are true for all convex sets but not for all measurable sets.      

Weak minimum aberration and maximum number of clear two-factor interactions in $$2_{IV}^{m - p} $$ designs

Both the clear effects and minimum aberration criteria are the important rules for the design selection. In this paper, it is proved that some designs have weak minimum aberration, by considering the number of clear two-factor interactions in the designs. And some conditions are provided, under which a design can have the maximum number of clear two-factor interactions and weak minimum aberration at the same time. Some weak minimum aberration designs are provided for illustrations and two nonisomorphic weak minimum aberration designs are constructed at the end of this paper.     

Another hybrid conjugate gradient algorithm for unconstrained optimization

Another hybrid conjugate gradient algorithm is subject to analysis. The parameter β _k is computed as a convex combination of (Hestenes-Stiefel) and (Dai-Yuan) algorithms, i.e. . The parameter θ _k in the convex combination is computed in such a way so that the direction corresponding to the conjugate gradient algorithm to be the Newton direction and the pair (s _k , y _k ) to satisfy the quasi-Newton equation , where and . The algorithm uses the standard Wolfe line search conditions. Numerical comparisons with conjugate gradient algorithms show that this hybrid computational scheme outperforms the Hestenes-Stiefel and the Dai-Yuan conjugate gradient algorithms as well as the hybrid conjugate gradient algorithms of Dai and Yuan. A set of 750 unconstrained optimization problems are used, some of them from the CUTE library.      

Evolution systems and perturbations of generators of strongly continuous groups

Suppose A generates a strongly continuous linear group on a Banach space X and B is a linear operator on X. It is shown that an extension of generates a strongly continuous semigroup if and only if the family of operators has an appropriate evolution system. This produces simple sufficient conditions for an extension of to generate a strongly continuous semigroup, including

On the stability of linear systems with an exact constraint set

This paper deals with the stability of the intersection of a given set with the solution, , of a given linear system whose coefficients can be arbitrarily perturbed. In the optimization context, the fixed constraint set X can be the solution set of the (possibly nonlinear) system formed by all the exact constraints (e.g., the sign constraints), a discrete subset of (as or { 0,1} ⁿ , as it happens in integer or Boolean programming) as well as the intersection of both kind of sets. Conditions are given for the intersection to remain nonempty (or empty) under sufficiently small perturbations of the data. Research supported by Fondecyt Grant 1020(7020)-646. Research supported by DGES and FEDER, Grant BFM2002-04114-C02-01     

On the discrepancy principle for some Newton type methods for solving nonlinear inverse problems

We consider the computation of stable approximations to the exact solution of nonlinear ill-posed inverse problems F(x) = y with nonlinear operators F : X → Y between two Hilbert spaces X and Y by the Newton type methods

On Rank Functions of Lattices

Let be a lattice of finite height. The correspondence between closure operators and ∧-subsemilattices is well known. Here we investigate what type of number-valued function is induces a ∧-subsemilattice ; and if so, what kind of . Conversely, what type of function is induced by what type of (or cl). Several results known for matroids, greedoids, or semimodular lattices are generalized.