Note on Sus̆kevic̆’s problem on zero divisors

We solve an old Sus?kevic?’s problem on right zero divisors in the ring T(∞,K) of infinite ?×? upper triangular matrices over a field K. In the solution we use a notion of strong linear independence.     

A proof of Price's Law on Schwarzschild black hole manifolds for all angular momenta

Price's Law states that linear perturbations of a Schwarzschild black hole fall off as t−2?−3 for t→∞ provided the initial data decay sufficiently fast at spatial infinity. Moreover, if the perturbations are initially static (i.e., their time derivative is zero), then the decay is predicted to be t−2?−4. We give a proof of t−2?−2 decay for general data in the form of weighted L¹ to L^∞ bounds for solutions of the Regge–Wheeler equation. For initially static perturbations we obtain t−2?−3. The proof is based on an integral representation of the solution which follows from self-adjoint spectral theory. We apply two different perturbative arguments in order to construct the corresponding spectral measure and the decay bounds are obtained by appropriate oscillatory integral estimates.     

Hybrid inexact proximal point algorithms based on RMM frameworks with applications to variational inclusion problems

A new application-oriented notion of relatively A-maximal monotonicity (RMM) framework is introduced, and then it is applied to the approximation solvability of a general class of inclusion problems, while generalizing other existing results on linear convergence, including Rockafellar’s theorem (1976) on linear convergence using the proximal point algorithm in a real Hilbert space setting. The obtained results not only generalize most of the existing investigations, but also reduce smoothly to the case of the results on maximal monotone mappings and corresponding classical resolvent operators. Furthermore, our proof approach differs significantly to that of Rockafellar’s celebrated work, where the Lipschitz continuity of M ^?1, the inverse of M:X→2 ^X , at zero is assumed to achieve a linear convergence of the proximal point algorithm. Note that the notion of relatively A-maximal monotonicity framework seems to be used to generalize the classical Yosida approximation (which is applied and studied mostly based on the classical resolvent operator in the literature) that in turn can be applied to first-order evolution equations as well as evolution inclusions.     

When R(X) and R⟨X⟩ are Clean: A Constructive Treatment

For R a commutative ring, we give constructive proofs that R(X) is clean exactly when R is clean, and that R ? X ? is clean exactly when R is zero dimensional. We also give a constructive proof of the known result that R(X) = R ? X ? exactly when R is zero dimensional. By a constructive proof we mean one that is carried out within the context of intuitionistic logic. In practice, this means that the arguments are arithmetic rather than ideal theoretic.     

The chromatic number of random Borsuk graphs

We study a model of random graph where vertices are n i.i.d. uniform random points on the unit sphere S^d in , and a pair of vertices is connected if the Euclidean distance between them is at least 2??. We are interested in the chromatic number of this graph as n tends to infinity. It is not too hard to see that if ?>0 is small and fixed, then the chromatic number is d+2 with high probability. We show that this holds even if ?→0 slowly enough. We quantify the rate at which ? can tend to zero and still have the same chromatic number. The proof depends on combining topological methods (namely the Lyusternik–Schnirelman–Borsuk theorem) with geometric probability arguments. The rate we obtain is best possible, up to a constant factor—if ?→0 faster than this, we show that the graph is (d+1)‐colorable with high probability.25     

Some remarks on interior operators and the functional property

In this paper functoriality of the notion of categorical interior operator is discussed and as a related topic, the property of ?-modal interior operator is introduced.     

Generalization of the Jurdjevic-Quinn theorem and stabilization of bilinear control systems with periodic coefficients: I

The Jurdjevic-Quinn theorem on the global asymptotic stabilization of the origin is generalized to nonlinear time-varying affine control systems with periodic coefficients. The proof is based on the Krasovskii theorem on the global asymptotic stability for periodic systems and the introduced notion of “commutator” for two vector fields one of which is time-varying. The obtained sufficient conditions for stabilization are applied to bilinear control systems with periodic coefficients. We construct a control periodic in t in the form of a quadratic form in x that asymptotically stabilizes the zero solution of a bilinear periodic system with a time-invariant drift.     

Cohomology of open torus manifolds

The notion of an open torus manifold is introduced. A compact open torus manifold is a torus manifold introduced earlier. It is shown that the equivariant cohomology ring of an open torus manifold M is the face ring of a simplicial poset when every face of the orbit space Q is acyclic. This result extends an earlier result by Masuda and Panov, and the proof here is more direct. Reisner’s theorem is then applied to our setting, and a necessary and sufficient condition is given for the equivariant cohomology ring of M to be Cohen-Macaulay in terms of the orbit space Q.     

On moduli of stability of two-dimensional vector fields

In this paper the author proves that, on a compact connected and orientable two-dimensionalC ^∞ manifoldM, the gradient of aC ³-Morse Function has finite modulus of stability under conjugacy and modulus zero under topological equivalence. It is also proved that generically the modulus of stability under conjugacy of a graph of aC ² vector field on the plane is at least twice the number of its saddles. Some new conjugacy invariants arise in the proofs of these results. During the preparation of this paper the author was a visiting Professor at IMPA; and was partially suported by Financiadora de Estudo e Projetos (FINEP).     

Asymptotic Behavior of Massless Dirac Waves in Schwarzschild Geometry

In this paper, we show that massless Dirac waves in the Schwarzschild geometry decay to zero at a rate t ^?2λ , where λ = 1, 2, . . . is the angular momentum. Our technique is to use Chandrasekhar’s separation of variables whereby the Dirac equations split into two sets of wave equations. For the first set, we show that the wave decays as t ^?2λ . For the second set, in general, the solutions tend to some explicit profile at the rate t ^?2λ . The decay rate of solutions of Dirac equations is achieved by showing that the coefficient of the explicit profile is exactly zero. The key ingredients in the proof of the decay rate of solutions for the first set of wave equations are an energy estimate used to show the absence of bound states and zero energy resonance and the analysis of the spectral representation of the solutions. The proof of asymptotic behavior for the solutions of the second set of wave equations relies on careful analysis of the Green’s functions for time independent Schrödinger equations associated with these wave equations.     

I-Sequences in the Category of Modules

The notion of I-sequences (introduced by Green) in the category of modules over finite-dimensional algebras is developed in this paper and particularly used to give an alternative proof for the results of Knörr concerning the existence and properties of relative projective covers in the category of modules over group algebras.     

Mesure de Hausdorff des complementaires desU ε de zygmund

A. Zygmund originally introduced the notion of sets of unicityU _ε, and showed that they differ from classicalU-sets in that they can have positive measure. He then asked if they could be of full measure. J. P. Kahame and Y. Katznelson proved recently that there wereU _ε of full measure. The object of this paper is to show that, in terms of Hausdorff measure, one cannot go beyond that result, for a general sequence ε. In the case of a given sequence ε, and a given Hausdorff determining functionh, it gives a simple test for determining the existence ofU _ε with a complement of zero Hausdorff measure. In this paper the proof of the main known results concerning the measure ofU _ε sets is also reproduced.      

Solutions to five problems on tensor products of lattices and related matters

The notion of a capped tensor product, introduced by G. Grätzer and the author, provides a convenient framework for the study of tensor products of lattices that makes it possible to extend many results from the finite case to the infinite case. In this paper, we answer several open questions about tensor products of lattices. Among the results that we obtain are the following:¶¶Theorem 2. Let A be a lattice with zero. If A ?B A \oplus B is a lattice for every lattice L with zero, then A is locally finite and A ?B A \oplus B is a capped tensor product for every lattice L with zero.¶¶Theorem 5. There exists an infinite, three-generated, 2-modular lattice K with zero such that K ?K K \oplus K is a capped tensor product.¶¶Here, 2-modularity is a weaker identity than modularity, introduced earlier by G. Grätzer and the author.     

On the Constant Type of Almost Hermitian Manifolds

We suggest a most natural generalization of the notion of constant type for nearly Kählerian manifolds introduced by A. Gray to arbitrary almost Hermitian manifolds. We prove that the class of almost Hermitian manifolds of zero constant type coincides with the class of Hermitian manifolds. We show that the class of G ₁-manifolds of zero constant type coincides with the class of 6-dimensional G ₁-manifolds with a non-integrable structure. Finally, we prove that the class of normal G ₂-manifolds of nonzero constant type coincides with the class of 4-dimensional G ₂-manifolds with a nonintegrable structure.     

On the apollonian metric of domains in

We study the apollonian metric considered for sets in ? _n by Beardon in 1995. This metric was first introduced for plane Jordan domains by Barbilian in 1934. For a special class of plane domains Beardon showed that conformal apollonian isometries are Möbius transformations. We give here a proof of Beardon's result without conformality assumption. We show that the apollonian metric of a domain D is either conformal at every point of D, at only one point of D or at no point of D. We also present a suprising relation between convex bodies of constant width and the apollonian metric.     

Springer basic sets and modular Springer correspondence for classical types

We define the notion of basic set data for finite groups (building on the notion of basic set, but including an order on the irreducible characters as part of the structure), and we prove that the Springer correspondence provides basic set data for Weyl groups. Then we use this to determine explicitly the modular Springer correspondence for classical types (defined over a base field of odd characteristic $p$, and with coefficients in a field of odd characteristic $?\ne p$): the modular case is obtained as a restriction of the ordinary case to a basic set. In order to do so, we compare the order on bipartitions introduced by Dipper and James with the order induced by the Springer correspondence. We provide a quick proof, by sorting characters according to the dimension of the corresponding Springer fibre, an invariant which is directly computable from symbols.     

Nontrivial Solutions of p-Superlinear p-Laplacian Problems

We obtain nontrivial solutions for a class of p-Laplacian problems that are p-superlinear at infinity and nonresonant at zero. The proof is based on showing that the associated variational function has a (generalized) local linking near the origin and makes use of a new sequence of min-max eigenvalues of the p-Laplacian defined using the Yang index.     

Two-step solvable Lie algebras and weight graphs

By using the concept of weight graph associated to nonsplit complex nilpotent Lie algebras \mathfrakg\mathfrak{g}, we find necessary and sufficient conditions for a semidirect product \mathfrakg?^? T_i\mathfrak{g}\overrightarrow{\oplus } T_{i} to be two-step solvable, where $T_{i}TT over \mathfrakg\mathfrak{g} which induces a decomposition of \mathfrakg\mathfrak{g} into one-dimensional weight spaces without zero weights. In particular we show that the semidirect product of such a Lie algebra with a maximal torus of derivations cannot be itself two-step solvable. We also obtain some applications to rigid Lie algebras, as a geometrical proof of the nonexistence of two-step nonsplit solvable rigid Lie algebras in dimensions n\geqslant 3n\geqslant 3.