Extended quasi-homogeneous polynomial system in {\mathbb{R}^{3}}

In this paper we define an extended quasi-homogeneous polynomial system d x/dt = Q = Q ₁ + Q ₂ + ... + Q _δ , where Q _i are some 3-dimensional quasi-homogeneous vectors with weight α and degree i, i = 1, . . . ,δ. Firstly we investigate the limit set of trajectory of this system. Secondly let Q _T be the projective vector field of Q. We show that if δ ≤ 3 and the number of closed orbits of Q _T is known, then an upper bound for the number of isolated closed orbits of the system is obtained. Moreover this upper bound is sharp for δ = 3. As an application, we show that a 3-dimensional polynomial system of degree 3 (resp. 5) admits 26 (resp. 112) isolated closed orbits. Finally, we prove that a 3-dimensional Lotka-Volterra system has no isolated closed orbits in the first octant if it is extended quasi-homogeneous.     

Sylow-metacyclic groups andQ-admissibility

A finite groupG isQ-admissible if there exists a division algebra finite dimensional and central overQ which is a crossed product forG. AQ-admissible group is necessarily Sylow-metacyclic (all its Sylow subgroups are metacyclic). By means of an investigation into the structure of Sylow-metacyclic groups, the inverse problem (is every Sylow-metacyclic groupQ-admissible?) is essentially reduced to groups of order 2 ^a 3 ^b and to a list of known “almost simple” groups.     

Embedded Q-resolutions for Yomdin-Lê surface singularities

In a previous work we have introduced and studied a special kind of toric resolution, the so-called embedded Q-resolution, which essentially consists in allowing the final ambient space to contain abelian quotient singularities. Here we explicitly compute an embedded Q-resolution of a Yomdin-Lê surface singularity (V, 0) in terms of a (global) embedded Q-resolution of its tangent cone by means of just weighted blow-ups at points. The generalized A’Campo’s formula in this setting is applied so as to compute the characteristic polynomial. As a consequence, an exceptional divisor in the resolution of (V, 0), apart from the first one which might be special, contributes to its complex monodromy if and only if so does the corresponding divisor in the tangent cone. Thus the resolution obtained is optimal in the sense that the weights can be chosen so that every exceptional divisor in the Q-resolution of (V, 0), except perhaps the first one, contributes to its monodromy.     

Triangular irreducibility of congruences in quasivarieties

Certain forms of irreducibility as well as of equational definability of relative congruences in quasivarieties are investigated. For any integer ${m \geqslant 3}$ and a quasivariety Q, the notion of an m-triangularily meet-irreducible Q-congruence in the algebras of Q is defined. In Section 2, some characterizations of finitely generated quasivarieties involving this notion are provided. Section 3 deals with quasivarieties with equationally definable m-triangular meets of relatively principal congruences. References to finitely based quasivarieties and varieties are discussed.     

Coxeter cochain complexes

We define the Coxeter cochain complex of a Coxeter group (G, S) with coefficients in a ?[G]-module A. This is closely related to the complex of simplicial cochains on the abstract simplicial complex I(S) of the commuting subsets of S. We give some representative computations of Coxeter cohomology and explain the connection between the Coxeter cohomology for groups of type A, the (singular) homology of certain configuration spaces, and the (Tor) homology of certain local Artin rings.     

Bar complex, configuration spaces and finite type invariants for braids

We show that the bar complex of the configuration space of ordered distinct points in the complex plane is acyclic. The 0-dimensional cohomology of this bar complex is identified with the space of finite type invariants for braids. We construct a universal holonomy homomorphism from the braid group to the space of horizontal chord diagrams over Q, which provides finite type invariants for braids with values in Q.     

Torsion and Abelianization in Equivariant Cohomology

Let X be a topological space upon which a compact connected Lie group G acts. It is well known that the equivariant cohomology H ^* _G (X; Q) is isomorphic to the subalgebra of Weyl group invariants of the equivariant cohomology H ^* _T (X; Q), where T is a maximal torus of G. This relationship breaks down for coefficient rings k other than Q. Instead, we prove that under a mild condition on k the algebra H ^* _G (X; k) is isomorphic to the subalgebra of H ^* _T (X; k) annihilated by the divided difference operators.     

Følner sequences and Hilbert’s Irreducibility Theorem over Q

Letf(X; T ₁, ...,T _n) be an irreducible polynomial overQ. LetB be the set ofb teZ ⁿ such thatf(X;b) is of lesser degree or reducible overQ. Let ?={F _j}{F _j } _j?1 ^∞ be a Følner sequence inZ ⁿ — that is, a sequence of finite nonempty subsetsF _j ?Z ⁿ such that for eachvteZ ⁿ , $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap (F_j + \upsilon )} \right|}}{{\left| {F_j } \right|}} = 1$ Suppose ? satisfies the extra condition that forW a properQ-subvariety ofP ⁿ ?A ⁿ and ?>0, there is a neighborhoodU ofW(R) in the real topology such that $\mathop {lim sup}\limits_{j \to \infty } \frac{{\left| {F_j \cap U} \right|}}{{\left| {F_j } \right|}}< \varepsilon $ whereZ ⁿ is identified withA ⁿ (Z). We prove $\mathop {lim}\limits_{j \to \infty } \frac{{\left| {F_j \cap B} \right|}}{{\left| {F_j } \right|}} = 0$ .     

On the classification of conditionally integrable evolution systems in (1 + 1) dimensions

We generalize earlier results of Fokas and Liu and find all locally analytic (1 + 1)-dimensional evolution equations of order n that admit an N-shock-type solution with N ≤ n + 1. For this, we develop a refinement of the technique from our earlier work, where we completely characterized all (1+1)-dimensional evolution systems u _t = F (x, t, u, ?u/?x,..., ?ⁿ u/? x ⁿ) that are conditionally invariant under a given generalized (Lie-Bäcklund) vector field Q(x, t, u, ?u/?x,..., ?^k u/?x ^k)?/?u under the assumption that the system of ODEs Q = 0 is totally nondegenerate. Every such conditionally invariant evolution system admits a reduction to a system of ODEs in t, thus being a nonlinear counterpart to quasi-exactly solvable models in quantum mechanics.     

Z-transformations on proper and symmetric cones

Motivated by the similarities between the properties of Z-matrices on $R^{n}_+$ and Lyapunov and Stein transformations on the semidefinite cone $\mathcal {S}^n_+$ , we introduce and study Z-transformations on proper cones. We show that many properties of Z-matrices extend to Z-transformations. We describe the diagonal stability of such a transformation on a symmetric cone by means of quadratic representations. Finally, we study the equivalence of Q and P properties of Z-transformations on symmetric cones. In particular, we prove such an equivalence on the Lorentz cone.     

K(π, 1) and word problems for infinite type Artin–Tits groups, and applications to virtual braid groups

Let Γ be a Coxeter graph, let (W, S) be its associated Coxeter system, and let (A, Σ) be its associated Artin–Tits system. We regard W as a reflection group acting on a real vector space V. Let I be the Tits cone, and let E _Γ be the complement in I + iV of the reflecting hyperplanes. Recall that Salvetti, Charney and Davis have constructed a simplicial complex Ω(Γ) having the same homotopy type as E _Γ. We observe that, if ${T \subset S}$ , then Ω(Γ _T ) naturally embeds into Ω (Γ). We prove that this embedding admits a retraction ${\pi_T: \Omega(\Gamma) \to \Omega (\Gamma_T)}$ , and we deduce several topological and combinatorial results on parabolic subgroups of A. From a family ${\mathcal{S}}$ of subsets of S having certain properties, we construct a cube complex Φ, we show that Φ has the same homotopy type as the universal cover of E _Γ, and we prove that Φ is CAT(0) if and only if ${\mathcal{S}}$ is a flag complex. We say that ${X \subset S}$ is free of infinity if Γ _X has no edge labeled by ∞. We show that, if ${E_{\Gamma_X}}$ is aspherical and A _X has a solution to the word problem for all ${X \subset S}$ free of infinity, then E _Γ is aspherical and A has a solution to the word problem. We apply these results to the virtual braid group VB _n . In particular, we give a solution to the word problem in VB _n , and we prove that the virtual cohomological dimension of VB _n is n?1.     

Semistable abelian varieties with good reduction outside 15

We show that there are no non-zero semi-stable abelian varieties over ${{\bf Q}(\sqrt{5})}$ with good reduction outside 3 and we show that the only semi-stable abelian varieties over Q with good reduction outside 15 are, up to isogeny over Q, powers of the Jacobian of the modular curve X ₀(15).     

Zur Kennzeichnung der Lorentz-Transformationen

Let (V, f) be a real Minkowski space of any, not necessarily finite, dimension, and letd be the corresponding distance function (taking negative values for timelike distances). Then the following statement (among others) is proved: If ? :V →V is a surjective mapping such that $$d(P,Q) = a \Leftrightarrow d(P^\varphi ,Q^\varphi ) = a\forall P,Q \in V$$ is true for some fixeda εR,a<0, then ? is a Lorentz transformation (including a possible translation).     

Trading Inversions for Multiplications in Elliptic Curve Cryptography

Recently, Eisenträger et al. proposed a very elegant method for speeding up scalar multiplication on elliptic curves. Their method relies on improved formulas for evaluating S=(2P + Q) from given points P and Q on an elliptic curve. Compared to the naive approach, the improved formulas save a field multiplication each time the operation is performed. This paper proposes a variant which is faster whenever a field inversion is more expensive than six field multiplications. We also give an improvement when tripling a point, and present a ternary/binary method to perform efficient scalar multiplication.     

Global existence for the Cauchy problem of the parabolic–parabolic Keller–Segel system on the plane

This paper is concerned with the Cauchy problem for the Keller–Segel system $$\left\{\begin{array}{l@{\quad}l}u_t = \nabla \cdot (\nabla u - u \nabla v) & \hbox{in } {\bf R}^{2} \times(0,\infty),\\v_t = \Delta v - \lambda v + u & \hbox{ in } {\bf R}^2 \times(0,\infty),\\u(x,0) = u_0 (x) \geq 0, \; v(x,0) = v_0 (x) \geq 0 & \hbox{ in} {\bf R}^2\end{array}\right.$$ with a constant λ ≥ 0, where ${(u_0, v_0) \in (L^1 ({\bf R}^2) \cap L^\infty ({\bf R}^2) ) \times (L^1 ({\bf R}^2) \cap H^1 ({\bf R}^2))}$ . Let $$m (u_0;{\bf R}^2) = \int\limits_{{\bf R}^2} u_0 (x) dx$$ . The same method as in [9] yields the existence of a blowup solution with m (u ₀; R ²) > 8π. On the other hand, it was recently shown in [7] that under additional hypotheses ${u_0 \log (1 + |x|^2) \in L^1 ({\bf R}^2)}$ and ${u_0 \log u_0 \in L^1 ({\bf R}^2)}$ , any solution with m(u ₀; R ²) < 8π exists globally in time. In[18], the extra assumptions were taken off, but the condition on mass was restricted to m (u ₀; R ²) < 4π. In this paper, we prove that any solution with m (u ₀; R ²) < 8π exists globally in time under no extra conditions. Furthermore the global existence of solutions is obtained under some condition on u ₀ also in the critical case m (u ₀; R ²) = 8π.     

Interpolation and frames in certain Banach spaces of entire functions

The important class of generalized bases known as frames was first introduced by Duffin and Schaeffer in their study of nonharmonic Fourier series in L ² (?π, π) [4]. Here we consider more generally the classical Banach spacesE ^p(1 ≤ p ≤ ∞) consisting of all entire functions of exponential type at most π that belong to L^p (?∞, ∞) on the real axis. By virtue of the Paley-Wiener theorem, the Fourier transform establishes an isometric isomorphism between L ² (?π, π) andE ² . When p is finite, a sequence {λ _n} of complex numbers will be called aframe forE ^p provided the inequalities $$A\left\| f \right\|^p \leqslant \sum {\left| {f\left( {\lambda _\pi } \right)} \right|^p } \leqslant B\left\| f \right\|^p $$ hold for some positive constants A and B and all functions f inE ^p. We say that {λ _n} is aninterpolating sequence forE ^p if the set of all scalar sequences {f (λ _n)}, with f εE ^p, coincides with ?^p. If in addition {λ _n} is a set of uniqueness forE ^p, that is, if the relations f(λ _n)=0(?∞<n<∞), with f εE ^p, imply that f ≡0, then we call {λ _n} acomplete interpolating sequence. Plancherel and Pólya [7] showed that the integers form a complete interpolating sequence forE ^p whenever1<p<∞. In Section 2 we show that every complete interpolating sequence forE ^p(1<p<∞) remains stable under a very general set of displacements of its elements. In Section 3 we use this result to prove a far-reaching generalization of another classical interpolation theorem due to Ingham [6].     

On rings whose number of centralizers of ideals is finite

LetR be a ring. For the setF of all nonzero ideals ofR, we introduce an equivalence relation inF as follows: For idealsI andJ, I～J if and only ifV _R (I)=V _R(J), whereV _R() is the centralizer inR. LetI _R=F/～. Then we can see thatn(I _R), the cardinality ofI _R, is 1 if and only ifR is either a prime ring or a commutative ring (Theorem 1.1). An idealI ofR is said to be a commutator ideal ifI is generated by{st?ts; s∈S, t∈T} for subsetS andT ofR, andR is said to be a ring with (N) if any commutator ideal contains no nonzero nilpotent ideals. Then we have the following main theorem: LetR be a ring with (N). Thenn(I _R) is finite if and only ifR is isomorphic to an irredundant subdirect sum ofS⊕Z whereS is a finite direct sum of non commutative prime rings andZ is a commutative ring (Theorem 2.1). Finally, we show that the existence of a ringR such thatn(I _R)=m for any given natural numberm.     

An interior point potential reduction algorithm for the linear complementarity problem

The linear complementarity problem (LCP) can be viewed as the problem of minimizingx ^T y subject toy=Mx+q andx, y?0. We are interested in finding a point withx ^T y <ε for a givenε > 0. The algorithm proceeds by iteratively reducing the potential function $$f(x,y) = \rho \ln x^T y - \Sigma \ln x_j y_j ,$$ where, for example,ρ=2n. The direction of movement in the original space can be viewed as follows. First, apply alinear scaling transformation to make the coordinates of the current point all equal to 1. Take a gradient step in the transformed space using the gradient of the transformed potential function, where the step size is either predetermined by the algorithm or decided by line search to minimize the value of the potential. Finally, map the point back to the original space. A bound on the worst-case performance of the algorithm depends on the parameterλ ^*=λ^*(M, ε), which is defined as the minimum of the smallest eigenvalue of a matrix of the form $$(I + Y^{ - 1} MX)(I + M^T Y^{ - 2} MX)^{ - 1} (I + XM^T Y^{ - 1} )$$ whereX andY vary over the nonnegative diagonal matrices such thate ^T XYe ?ε andX _jj Y _jj?n ². IfM is a P-matrix,λ ^* is positive and the algorithm solves the problem in polynomial time in terms of the input size, |log ε|, and 1/λ ^*. It is also shown that whenM is positive semi-definite, the choice ofρ = 2n+ \(\sqrt {2n} \) yields a polynomial-time algorithm. This covers the convex quadratic minimization problem.     

On diversity and stability of unit bases for the Euclidean metric

We prove the existence of a family Ω(n) of 2 ^c (where c is the cardinality of the continuum) subgraphs of the unit distance graph (E ⁿ , 1) of the Euclidean space E ⁿ , n ≥ 2, such that (a) for each graph G ? Ω(n), any homomorphism of G to (E ⁿ , 1) is an isometry of E ⁿ ; moreover, for each subgraph G ₀ of the graph G obtained from G by deleting less than c vertices, less than c stars, and less than c edges (we call such a subgraph reduced), any homomorphism of G ₀ to (E ⁿ , 1) is an isometry (of the set of the vertices of G ₀); (b) each graph G ? Ω(n) cannot be homomorphically mapped to any other graph of the family Ω(n), and the same is true for each reduced subgraph of G.     

Regular principal factors in free objects in varieties in the interval [B 2 ,NB 2 ∨G n ]

The author has shown previously how to associate a completely 0-simple semigroup with a connected bipartite graph containing labelled edges and how to describe the regular principal factors in the free objects in the Rees-Sushkevich varieties RS _n generated by all completely 0-simple semigroups over groups from the Burnside variety G _n of groups of exponent dividing a positive integer n by employing this graphical construction. Here we consider the analogous problem for varieties containing the variety B ₂ , generated by the five element Brandt semigroup B ₂, and contained in the variety NB ₂ ∨G _n where NB ₂ is the variety generated by all left and right zero semigroups together with B ₂. The interval [NB ₂ ,NB ₂ ∨G _n ] is of particular interest as it is an important interval, consisting entirely of varieties generated by completely 0-simple semigroups, in the lattice of subvarieties of RS _n .