Artinian Rings Characterized by Direct Sums of CS Modules

Abstract

In this note, we show that the following are equivalent for a ring R for which the socle or the injective hull of R _R is finitely generated: (i) The direct sum of any two CS right R-modules is again CS; (ii) R is right Artinian and every uniform right R-module has composition length at most two. Next we give partial answers to a question of Huynh whether a right countably Σ-CS ring which either is semilocal or has finite Goldie dimension is right Σ-CS. We give characterizations, in terms of radicals, of when such rings are right Σ-CS. In particular, for the semilocal case, Huynh's question is reduced to whether rad(Z ₂(R _R )) is Σ-CS or Noetherian, where Z ₂(R _R ) is the second singular right ideal of R. Our results yield new characterizations of QF-rings.     

TRACE EXPANSIONS FOR THE ZAREMBA PROBLEM

ABSTRACT

We consider a Laplace operator for sections of a vector bundle on a manifold M, with mixed boundary conditions, the so-called Zaremba problem. The boundary consists of three disjoint parts, ?M_D , ?M_N , together with Σ, their common boundary relative to ?M. Dirichlet conditions are imposed along ?M_D and Neumann conditions along ?M_N . It turns out that a condition must be imposed along Σ as well. In order to apply earlier work [Bruening and Seeley, Journal of Functional Analysis 1991, 95, 255–290], we impose Dirichlet conditions along Σ, giving the Friedrichs extension of the operator with the given conditions along ?M_D and ?M_N . We obtain a complete asymptotic expansion of the trace of an appropriate power of the resolvent, and hence also the heat trace, with the usual powers of t. The coefficients are given as integrals over M, over ?M, and over Σ. The logarithmic terms which might be expected are absent in this case; this is the main new result. Similar results are suggested for other conditions along Σ, and for the case of mixed absolute and relative conditions on differential forms. The expansion for these cases requires an extension of the paper cited above.     

Some Theorems on Meromorphic Univalent Functions

In this paper, we will show some deviation theorems and theorems of rotational angles in classes of Σ(p) and Σ(p,q) of meromorphic univalent functions.     

On the number of singular points of weak solutions to the Navier‐Stokes equations

We consider a suitable weak solution to the three‐dimensional Navier‐Stokes equations in the space‐time cylinder Ω × ]0, T[. Let Σ be the set of singular points for this solution and Σ (t) ≡ {(x, t) ∈ Σ}. For a given open subset ω ? Ω and for a given moment of time t ∈]0, T[, we obtain an upper bound for the number of points of the set Σ(t) ? ω. © 2001 John Wiley & Sons, Inc.     

Euler‐lagrange equation and regularity for flat minimizers of the Willmore functional

Let \input amssym $S\subset{\Bbb R}^2$ be a bounded domain with boundary of class C^∞, and let g_ij = δ_ij denote the flat metric on \input amssym ${\Bbb R}^2$ . Let u be a minimizer of the Willmore functional within a subclass (defined by prescribing boundary conditions on parts of ∂S) of all W^2,2 isometric immersions of the Riemannian manifold (S, g) into \input amssym ${\Bbb R}^3$ . In this article we derive the Euler‐Lagrange equation and study the regularity properties for such u. Our main regularity result is that minimizers u are C³ away from a certain singular set Σ and C^∞ away from a larger singular set Σ ∪ Σ₀. We obtain a geometric characterization of these singular sets, and we derive the scaling of u and its derivatives near Σ₀. Our main motivation to study this problem comes from nonlinear elasticity: On isometric immersions, the Willmore functional agrees with Kirchhoff's energy functional for thin elastic plates. © 2010 Wiley Periodicals, Inc.     

Envelopes,indicators and conservativeness

A well known theorem proved (independently) by J. Paris and H. Friedman states that B Σ_{n +1} (the fragment of Arithmetic given by the collection scheme restricted to Σ_{n +1}‐formulas) is a Π_{n +2}‐conservative extension of I Σ_n (the fragment given by the induction scheme restricted to Σ_n ‐formulas). In this paper, as a continuation of our previous work on collection schemes for Δ_{n +1}(T )‐formulas (see [4]), we study a general version of this theorem and characterize theories T such that T + B Σ_{n +1} is a Π_{n +2}‐conservative extension of T . We prove that this conservativeness property is equivalent to a model‐theoretic property relating Π_n ‐envelopes and Π_n ‐indicators for T . The analysis of Σ_{n +1}‐collection we develop here is also applied to Σ_{n +1}‐induction using Parsons' conservativeness theorem instead of Friedman‐Paris' theorem. As a corollary, our work provides new model‐theoretic proofs of two theorems of R. Kaye, J. Paris and C. Dimitracopoulos (see [8]): B Σ_{n +1} and I Σ_{n +1} are Σ_{n +3}‐conservative extensions of their parameter free versions, B Σ^–_{n +1} and I Σ^–_{n +1}. (© 2006 WILEY‐VCH Verlag GmbH & Co. KGaA, Weinheim)     

Garside Structure for Singular Braid Monoid in Birman,Ko, Lee Generators

We consider a Birman, Ko, and Lee (BKL) presentation (defined by Vershinin, 2003 Vershinin , V. V. ( 2003 ). On the singular braid monoid . http://www.arXiv.org.math. GR/6309339 . [CSA]  [Google Scholar]) for the semigroup of singular braids SB _n . We prove the embedding property for the monoid of positive singular braids and give a solution to the word and conjugacy problems in BKL generators.     

Virtual singular braids and links

Virtual singular braids are generalizations of singular braids and virtual braids. We define the virtual singular braid monoid via generators and relations, and prove Alexander- and Markov-type theorems for virtual singular links. We also show that the virtual singular braid monoid has another presentation with fewer generators.     

Remarks on the Calculation of the Power of a Matrix

The aim of the paper is to add some discussion concerned calculation of the power of a matrix in the case when the matrix is singular. The discussion complements the results formulated in Elaydi and Harris [“On the computation of A ⁿ ”. SIAM Rev., 40 (1998) 965–971] where the nonsingularity of matrix is assumed. It is shown that the methods described work fairly well also for singular matrices.     

The Σ1-Invariant for Some Artin Groups of Rank 3 Presentation

We classify the Bieri–Neumann–Strebel–Renz invariant Σ¹(G) for a class of Artin groups based on the full graph with 4 vertices.     

When Cyclic Modules Have Σ-Injective Hulls

Abstract

A theorem of Cartan-Eilenberg (Cartan, H., Eilenberg, S. (1956). Homological Algebra. Princeton: Princeton University Press, pp. 390.) states that a ring Ris right Noetherian iff every injective right module is Σ-incentive. The purpose of this paper is to study rings with the property, called right CSI, that, all cyclic right R-modules have Σ-injective hulls, i.e., injective hulls of cyclic right R-modules are Σ-injective. In this case, all finitely generated right R-modules have Σ-injective hulls, and this implies that Ris right Noetherian for a lengthy list of rings, most notably, for Rcommutative, or when Rhas at most finitely many simple right R-modules, e.g., when Ris semilocal. Whether all right CSIrings are Noetherian is an open question. However, if in addition, R/rad Ris either right Kasch or von Neuman regular (=VNR), or if all countably generated (sermisimple) right R-modules have Σ-injective hulls then the answer is affirmative. (See Theorem A.) We also prove the dual theorems for Δ-injective modules.     

Commuting polarities and maximal partial ovoids of H(4,q2)

In PG(4,q²), q odd, let Q(4,q²) be a non‐singular quadric commuting with a non‐singular Hermitian variety H(4,q²). Then these varieties intersect in the set of points covered by the extended generators of a non‐singular quadric Q₀ in a Baer subgeometry Σ₀ of PG(4,q²). It is proved that any maximal partial ovoid of H(4,q²) intersecting Q₀ in an ovoid has size at least 2(q²+1). Further, given an ovoid O of Q₀, we construct maximal partial ovoids of H(4,q²) of size q³+1 whose set of points lies on the hyperbolic lines 〈P,X〉 where P is a fixed point of O and X varies in O\{P}. © 2009 Wiley Periodicals, Inc. J Combin Designs 17: 307–313, 2009     

Sturmian morphisms,the braid group <Emphasis Type="Italic">B</Emphasis><Subscript>4</Subscript>, Christoffel words and bases of <Emphasis Type="Italic">F</Emphasis><Subscript>2</Subscript>

We give a presentation by generators and relations of a certain monoid generating a subgroup of index two in the group Aut(F ₂) of automorphisms of the rank two free group F ₂ and show that it can be realized as a monoid in the group B ₄ of braids on four strings. In the second part we use Christoffel words to construct an explicit basis of F ₂ lifting any given basis of the free abelian group Z ². We further give an algorithm allowing to decide whether two elements of F ₂ form a basis or not. We also show that, under suitable conditions, a basis has a unique conjugate consisting of two palindromes. Mathematics Subject Classification (2000) 05E99, 20E05, 20F28, 20F36, 20M05, 37B10, 68R15     

An elementary proof that classical braids embed in virtual braids

The purpose of this paper is to prove that the natural mapping of classical braids to virtual braids is an embedding. The proof does not use any complete invariants of classical braids; it is based on a projection from (colored) virtual braids onto classical braids (which is similar to the projection in [6]); this projection is the identity mapping on the set of classical braids. It is well defined do not only for the group of (colored) virtual braids but also for the quotient group of the group of (colored) virtual braids by the so-called virtualization motion. The idea of this projection is closely related to the notion of parity and the groups G_n^k introduced by the author in [3].     

Generalization of Braids and Homologies

In this paper, we give a survey of recent results devoted to the homology of generalizations of braids: the homological properties of virtual braids and the generalized homology of Artin groups studied by C. Broto and the author. Virtual braid groups VB _n correspond to virtual knots in the same way that classical braids correspond to usual knots. Virtual knots arise in the study of Gauss diagrams and Vassiliev invariants of usual knots. The Burau representation to GL _n ℤ[t, t ⁻¹] is extended from classical braids to virtual ones. Its homological properties are also studied. The following splitting of infinite loop spaces for the plus-construction of the classifying space of the virtual braid group on an infinite number of strings exists:

Singular Sturmian separation theorems for nonoscillatory symplectic difference systems

ABSTRACT

In this paper, we derive new singular Sturmian separation theorems for nonoscillatory symplectic difference systems on unbounded intervals. The novelty of the presented theory resides in two aspects. We introduce the multiplicity of a focal point at infinity for conjoined bases, which we incorporate into our new singular Sturmian separation theorems. At the same time we do not impose any controllability assumption on the symplectic system. The presented results naturally extend and complete the known Sturmian separation theorems on bounded intervals by J. V. Elyseeva [Comparative index for solutions of symplectic difference systems, Differential Equations 45(3) (2009), pp. 445–459, translated from Differencial'nyje Uravnenija 45 (2009), no. 3, 431–444], as well as the singular Sturmian separation theorems for eventually controllable symplectic systems on unbounded intervals by O. Do?lý and J. Elyseeva [Singular comparison theorems for discrete symplectic systems, J. Difference Equ. Appl. 20(8) (2014), pp. 1268–1288]. Our approach is based on developing the theory of comparative index on unbounded intervals and on the recent theory of recessive and dominant solutions at infinity for possibly uncontrollable symplectic systems by the authors [P. ?epitka and R. ?imon Hilscher, Recessive solutions for nonoscillatory discrete symplectic systems, Linear Algebra Appl. 469 (2015), pp. 243–275; P. ?epitka and R. ?imon Hilscher, Dominant and recessive solutions at infinity and genera of conjoined bases for discrete symplectic systems, J. Difference Equ. Appl. 23(4) (2017), pp. 657–698]. Some of our results, including the notion of the multiplicity of a focal point at infinity, are new even for an eventually controllable symplectic difference system.     

Interior hölder estimates for solutions of schrödinger equations and the regularity of nodal sets

Abstract

Motivated by the study of selfdual vortices in gauge field theory, we consider a class of Mean Field equations of Liouville-type on compact surfaces involving singular data assigned by Dirac measures supported at finitely many points (the so called vortex points). According to the applications, we need to describe the blow-up behavior of solution-sequences which concentrate exactly at the given vortex points. We provide accurate pointwise estimates for the profile of the bubbling sequences as well as “sup + inf” estimates for solutions. Those results extend previous work of Li [Li, Y. Y. (1999). Harnack type inequality: The method of moving planes. Comm. Math. Phys. 200:421–444] and Brezis et al. [Brezis, H., Li, Y. Shafrir, I. (1993). A sup + inf inequality for some nonlinear elliptic equations involving the exponential nonlinearities. J. Funct. Anal. 115: 344–358] relative to the “regular” case, namely in absence of singular sources.     

On Martos' and Chaehes-Coopeb's approach vis-a-vis

In this paper a linear fractional programming problem is studied in presence of “singular-points”. It is proved that “singular points”, if present, exist at an extreme point of S: = {x ? R ⁿ | Ax = b, x ≧0}

It is also shown that a “singular point” is adjacent to an optimal point of S and a characterization of a non-basic vector is obtained, whose entry into the optimal basis in Martos' approach yields the “singular point”.