A ring with FT-rank two

We construct a ring which admits a 2-generated, faithful torsion module but lacks a cyclic faithful torsion module. This answers a question by Oman and Schwiebert [1 Oman, G., Schwiebert, R. (2012). Rings which admit faithful torsion modules. Commun. Algebra 40(6):2184–2198.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar], 2 Oman, G., Schwiebert, R. (2012). Rings which admit faithful torsion modules II. J. Algebra Appl. 11(3):1250054 (12 p.).[Crossref], [Web of Science ®] , [Google Scholar]].     

Local and Global Existence for an Aggregation Equation

The purpose of this work is to develop a satisfactory existence theory for a general class of aggregation equations. An aggregation equation is a non-linear, non-local partial differential equation that is a regularization of a backward diffusion process. The non-locality arises via convolution with a potential. Depending on how regular the potential is, we prove either local or global existence for the solutions. Aggregation equations have been used recently to model the dynamics of populations in which the individuals attract each other (Bodnar and Velazquez, 2005 Bodnar , M. , Velazquez , J. J. L. ( 2005 ). Derivation of macroscopic equations for individual cell-based models: a formal approach . Math. Methods Appl. Sci. 28 ( 15 ): 1757 – 1779 .[Crossref], [Web of Science ®] , [Google Scholar]; Holm and Putkaradze, 2005 Holm , D. D. , Putkaradze , V. ( 2005 ). Aggregation of finite size particles with variable mobility . Phys. Rev. Lett. 95 : 226106 . [Google Scholar]; Mogilner and Edelstein-Keshet, 1999 Mogilner , A. , Edelstein-Keshet , L. ( 1999 ). A non-local model for a swarm . J. Math. Biol. 38 ( 6 ): 534 – 570 .[Crossref], [Web of Science ®] , [Google Scholar]; Morale et al., 2005 Morale , D. , Capasso , V. , Oelschläger , K. ( 2005 ). An interacting particle system modelling aggregation behavior: from individuals to populations . J. Math. Biol. 50 ( 1 ): 49 – 66 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]; Topaz and Bertozzi, 2004 Topaz , C. M. , Bertozzi , A. L. ( 2004 ). Swarming patterns in a two-dimensional kinematic model for biological groups . SIAM J. Appl. Math. 65 ( 1 ): 152 – 174 (electronic) .[Crossref], [Web of Science ®] , [Google Scholar]; Topaz et al., 2006 Topaz , C. M. , Bertozzi , A. L. , Lewis , M. A. ( 2006 ). A nonlocal continuum model for biological aggregation . Bull. Math. Biol. 68 ( 7 ): 1601 – 1623 .[Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Sharp estimates for solutions of mean field equations with collapsing singularity

The pioneering work of Brezis-Merle [7 Brezis, H., Merle, F. (1991). Uniform estimates and blow-up behavior for solutions of ?Δu = V(x)e^u in two dimensions. Commun. Partial Differential Equation 16:1223–1254.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], Li-Shafrir [27 Li, Y.Y., Shafrir, I. (1994). Blow-up analysis for solutions of ?Δu = V(x)e^u in dimension two. Indiana Univ. Math. J. 43:1255–1270.[Crossref], [Web of Science ®] , [Google Scholar]], Li [26 Li, Y.Y. (1999). Harnack inequality: the method of moving planes. Commun. Math. Phys. 200:421–444.[Crossref], [Web of Science ®] , [Google Scholar]], and Bartolucci-Tarantello [3 Bartolucci, D., Tarantello, G. (2002). Liouville type equations with singular data and their applications to periodic multivortices for the electroweak theory. Commun. Math. Phys. 229:3–47.[Crossref], [Web of Science ®] , [Google Scholar]] showed that any sequence of blow-up solutions for (singular) mean field equations of Liouville type must exhibit a “mass concentration” property. A typical situation of blowup occurs when we let the singular (vortex) points involved in the equation (see (1.1) below) collapse together. However in this case, Lin-Tarantello in [30 Lin, C.S., Tarantello, G. (2016). When “blow-up” does not imply “concentration”: A detour from Brezis-Merle’s result. C. R. Math. Acad. Sci. Paris 354:493–498.[Crossref], [Web of Science ®] , [Google Scholar]] pointed out that the phenomenon: “bubbling implies mass concentration” might not occur and new scenarios open for investigation. In this paper, we present two explicit examples which illustrate (with mathematical rigor) how a “nonconcentration” situation does happen and its new features. Among other facts, we show that in certain situations, the collapsing rate of the singularities can be used as blow-up parameter to describe the bubbling properties of the solution-sequence. In this way, we are able to establish accurate estimates around the blow-up points which we hope to use toward a degree counting formula for the shadow system (1.34) below.     

Table algebras with exactly one irreducible character whose degree and multiplicity are not equal

Commutative standard table algebras with exactly one multiplicity not equal to 1 are characterized by the wreath product of some special table algebras in [1 Antonou, A. (2015). Commutative standard table algebras with at most one nontrivial multiplicity. Commun. Algebra 43:2516–2523.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. A natural and much more general question is the characterization of standard table algebras (not necessarily commutative) with exactly one irreducible character whose degree and multiplicity are not equal and the degree is 1. We will give a characterization of such table algebras, including the main result of [1 Antonou, A. (2015). Commutative standard table algebras with at most one nontrivial multiplicity. Commun. Algebra 43:2516–2523.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] as a special case. Applications to association schemes are also discussed.     

Conformal Compactification of Asymptotically Locally Hyperbolic Metrics II: Weakly ALH Metrics

In this paper we pursue the work initiated in [6 Bahuaud , E. ( 2009 ). Intrinsic characterization for Lipschitz asymptotically hyperbolic metrics . Pacific J. Math. 239 : 231 – 249 .[Crossref], [Web of Science ®] , [Google Scholar], 7 Bahuaud , E. , Gicquaud , R. ( 2011 ). Conformal compactification of asymptotically locally hyperbolic metrics . J. Geom. Anal. 21 : 1085 – 1118 .[Crossref], [Web of Science ®] , [Google Scholar]]: study the extent to which conformally compact asymptotically hyperbolic metrics can be characterized intrinsically. We show how the decay rate of the sectional curvature to ?1 controls the Hölder regularity of the compactified metric. To this end, we construct harmonic coordinates that satisfy some Neumann-type condition at infinity. Combined with a new integration argument, this permits us to recover to a large extent our previous result without any decay assumption on the covariant derivatives of the Riemann tensor.     

A Braided Version of Some Results of Skryabin

We extend the main result of Skryabin in [9 Skryabin , S. ( 2007 ). Projectivity and freeness over comodule algebras . Trans. Amer. Math. Soc. 359 : 2597 – 2623 .[Crossref], [Web of Science ®] , [Google Scholar]] to Yetter-Drinfeld Hopf algebras over an arbitrary Hopf algebra H with bijective antipode.     

2 × 2 Permanental Ideals of Hypermatrices

We analyze the structure of ideals generated by some classes of 2 × 2 permanents of hypermatrices, generalizing [9 Laubenbacher , R. C. , Swanson , I. ( 2000 ). Permanental ideals . J. Symbolic Comput. 30 : 195 – 205 .[Crossref], [Web of Science ®] , [Google Scholar]] on 2 × 2 permanental ideals of generic matrices. We compare the obtained structure to that of the corresponding determinantal ideals in [11 Swanson , I. , Taylor , A. ( 2013 ). Minimal primes of ideals arising from conditional independence statements . J. Algebra 392 : 299 – 314 .[Crossref], [Web of Science ®] , [Google Scholar]]: as expected, the permanental ideals have many more (minimal) components. In the last two sections, we examine a few related classes of permanental ideals.     

Discrete Morse theory and a reformulation of the K(π,1)-conjecture

A recent theorem of Dobrinskaya [20 Dobrinskaya, N.È. (2006). Configuration spaces of labeled particles and finite Eilenberg-MacLane complexes. Proc. Steklov Inst. Math. 252(1):30–46.[Crossref] , [Google Scholar]] states that the K(π,1)-conjecture holds for an Artin group G if and only if the canonical map BM→BG is a homotopy equivalence, where M denotes the Artin monoid associated to G. The aim of this paper is to give an alternative proof by means of discrete Morse theory and abstract homotopy theory. Moreover, we exhibit a new model for the classifying space of an Artin monoid, in the spirit of [13 Charney, R., Meier, J., Whittlesey, K. (2004). Bestvina’s normal form complex and the homology of Garside groups. Geom. Dedicata 105:171–188.[Crossref], [Web of Science ®] , [Google Scholar]], and a small chain complex for computing its monoid homology, similar to the one of [44 Squier, C. C. (1994). The homological algebra of Artin groups. Math. Scand. 75(1):5–43.[Crossref], [Web of Science ®] , [Google Scholar]].     

Central Schur rings over the projective special linear groups

In [1 Bannai, E. (1991). Subschemes of some association schemes. J. Algebra 14:167–188.[Crossref], [Web of Science ®] , [Google Scholar]], Bannai presents a fusion condition and uses this to consider central Schur rings (S-rings) over the simple groups PSL(2,q) where q is a prime power. In this paper, we concretely describe all such S-rings in terms of symmetric S-rings over cyclic groups. The final section discusses counting these.     

Best Proximity Points and Fixed Point Results for Certain Maps in Banach Spaces

In this article, we establish some new existence theorems for best proximity point and fixed point problems for certain mappings in Banach spaces. The main results of this article improve and extend the results presented by Wong [25 C. Wong ( 1974 ). Fixed points and characterizations of certain maps . Pacific J. Math. 54 : 305 – 312 .[Crossref], [Web of Science ®] , [Google Scholar]]. Examples are given to support the usability of our main conclusions.     

On weakly clean rings

A ring is called clean if every element is a sum of a unit and an idempotent, while a ring is said to be weakly clean if every element is either a sum or a difference of a unit and an idempotent. Commutative weakly clean rings were first discussed by Anderson and Camillo [2 Anderson, D. D., Camillo, V. P. (2002). Commutative rings whose elements are a sum of a unit and idempotent. Commun. Algebra 30(7):3327–3336.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]] and were extensively investigated by Ahn and Anderson [1 Ahn, M.-S., Anderson, D. D. (2006). Weakly clean rings and almost clean rings. Rocky Mountain J. Math. 36:783–798.[Crossref], [Web of Science ®] , [Google Scholar]], motivated by the work on clean rings. In this paper, weakly clean rings are further discussed with an emphasis on their relations with clean rings. This work shows new interesting connections between weakly clean rings and clean rings.     

Gorenstein coresolving categories

Let 𝒜 be an abelian category. A subcategory 𝒳 of 𝒜 is called coresolving if 𝒳 is closed under extensions and cokernels of monomorphisms and contains all injective objects of 𝒜. In this paper, we introduce and study Gorenstein coresolving categories, which unify the following notions: Gorenstein injective modules [8 Enochs, E. E., Jenda, O. M. G. (1995). Gorenstein injective and projective modules. Math. Z. 220:611–633.[Crossref], [Web of Science ®] , [Google Scholar]], Gorenstein FP-injective modules [20 Mao, L. X., Ding, N. Q. (2008). Gorenstein FP-injective and Gorenstein flat modules. J. Algebra Appl. 7:491–506.[Crossref], [Web of Science ®] , [Google Scholar]], Gorenstein AC-injective modules [3 Bravo, D., Gillespie, J. (2016). Absolutely clean, level, and Gorenstein AC-injective complexes. Commun. Algebra 44:2213–2233.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], and so on. Then we define a resolution dimension relative to the Gorenstein coresolving category 𝒢?_𝒳(𝒜). We investigate the properties of the homological dimension and unify some important properties possessed by some known homological dimensions. In addition, we study stability of the Gorenstein coresolving category 𝒢?_𝒳(𝒜) and apply the obtained properties to special subcategories and in particular to module categories.     

Determining an Unbounded Potential from Cauchy Data in Admissible Geometries

In [4 Dos Santos Ferreira , D. , Kenig , C.E. , Salo , M. , Uhlmann , G. ( 2009 ). Limiting Carleman weights and anisotropic inverse problems . Invent. Math. 178 : 119 – 171 .[Crossref], [Web of Science ®] , [Google Scholar]] anisotropic inverse problems were considered in certain admissible geometries, that is, on compact Riemannian manifolds with boundary which are conformally embedded in a product of the Euclidean line and a simple manifold. In particular, it was proved that a bounded smooth potential in a Schrödinger equation was uniquely determined by the Dirichlet-to-Neumann map in dimensions n ≥ 3. In this article we extend this result to the case of unbounded potentials, namely those in L ^n/2. In the process, we derive L ^p Carleman estimates with limiting Carleman weights similar to the Euclidean estimates of Jerison and Kenig [8 Jerison , D. , Kenig , C.E. ( 1985 ). Unique continuation and absence of positive eigenvalues for Schrödinger operators . Ann. Math. 121 : 463 – 494 .[Crossref], [Web of Science ®] , [Google Scholar]] and Kenig et al. [9 Kenig , C.E. , Ruiz , A. , Sogge , C.D. ( 1987 ). Uniform Sobolev inequalities and unique continuation for second order constant coefficient differential operators . Duke Math. J. 55 : 329 – 347 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Asymptotic Solutions of Viscous Hamilton–Jacobi Equations with Ornstein–Uhlenbeck Operator

We study the long time behavior of solutions of the Cauchy problem for semilinear parabolic equations with the Ornstein–Uhlenbeck operator in ? ^N . The long time behavior in the main results is stated with help of the corresponding to ergodic problem, which complements, in the case of unbounded domains, the recent developments on long time behaviors of solutions of (viscous) Hamilton–Jacobi equations due to Namah (1996 Namah , G. ( 1996 ). Asymptotic solution of a Hamilton–Jacobi equation . Asymptotic Anal. 12 ( 4 ): 355 – 370 . [CSA] [Web of Science ®] , [Google Scholar]), Namah and Roquejoffre (1999 Namah , G. , Roquejoffre , J.-M . ( 1999 ). Remarks on the long-time behavior of the solutions of Hamilton–Jacobi equations . Comm. PDE 24 ( 5–6 ): 883 – 893 . [CSA] [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]), Roquejoffre (1998 Roquejoffre , J.-M . ( 1998 ). Comportement asymptotique des solutions d’équations de Hamilton–Jacobi monodimensionnelles . C. R. Acad. Sci. Paris Sér. I Math. 326 ( 2 ): 185 – 189 . [CSA] [Crossref] , [Google Scholar]), Fathi (1998 Fathi , A. ( 1998 ). Sur la convergence du semi-groupe de Lax–Oleinik semigroup . C. R. Acad. Sci. Paris Sér. I Math. 327 ( 3 ): 267 – 270 . [CSA] [Crossref] , [Google Scholar]), Barles and Souganidis (2000 Barles , G. , Souganidis , P. E. ( 2000 ). On the large time behavior of solutions of Hamilton–Jacobi equaitons . SIAM J. Math. Anal. 31 ( 4 ): 925 – 939 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar] 2001 Barles , G. , Souganidis , P. E. ( 2001 ). Space-time periodic solutions and long-time behavior of solutions to quasi-periodic parabolic equations . SIAM J. Math. Anal. 32 ( 6 ): 1311 – 1323 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]). We also establish existence and uniqueness results for solutions of the Cauchy problem and ergodic problem for semilinear parabolic equations with the Ornstein–Uhlenbeck operator.     

The Level Set Method for Systems of PDEs

We propose a level set method for systems of PDEs which is consistent with the previous research pursued by Evans (1996 Evans , L. C. ( 1996 ). A geometric interpretation of the heat equation with multivalued initial data . SIAM J. Math. Anal. 27 ( 4 ): 932 – 958 .[Crossref], [Web of Science ®] , [Google Scholar]) for the heat equation and by Giga and Sato (2001 Giga , Y. , Sato , M.-H. ( 2001 ). A level set approach to semicontinuous viscosity solution for Cauchy problems . Comm. Partial Differential Equations 26 ( 5–6 ): 813 – 839 .[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]) for Hamilton–Jacobi equations. Our approach follows a geometric construction related to the notion of barriers introduced by De Giorgi. The main idea is to force a comparison principle between manifolds of different codimension and require each nonzero sub-level of a solution of the level set equation to be a barrier for the graph of a solution of the corresponding system. We apply the method to a class of systems of first order quasi-linear equations. We compute the level set equation associated with suitable first order systems of conservation laws, with the mean curvature flow of a manifold of arbitrary codimension and with systems of reaction–diffusion equations.     

End-regularity of zero-divisor graphs of group rings

A graph Γ is said to be End-regular if its endomorphism monoid End(Γ) is regular. D. Lu and T. Wu [25 Lu, D., Wu, T. (2008). On endomorphism-regularity of zero-divisor graphs. Discrete Math. 308:4811–4815.[Crossref], [Web of Science ®] , [Google Scholar]] posed an open problem: Given a ring R, when does the zero-divisor graph Γ(R) have a regular endomorphism monoid? and they solved the problem for R a commutative ring with at least one nontrivial idempotent. In this paper, we solve this problem for zero-divisor graphs of group rings.     

A canonical module characterization of Serre’s (R1)

In this short note, we give a characterization of domains satisfying Serre’s condition (R₁) in terms of their canonical modules. In the special case of toric rings, this generalizes a result of the second author [9 Yanagawa, K. (2015). Dualizing complexes of seminormal a?ne semigroup rings and toric face rings. J. Algebra 425:367–391.[Crossref], [Web of Science ®] , [Google Scholar]] where the normality is described in terms of the “shape” of the canonical module.     

Strongly J-Clean Matrices Over Local Rings

An element of a ring is called strongly J-clean provided that it can be written as the sum of an idempotent and an element in its Jacobson radical that commute. We investigate, in this article, a single strongly J-clean 2 × 2 matrix over a noncommutative local ring. The criteria on strong J-cleanness of 2 × 2 matrices in terms of a quadratic equation are given. These extend the corresponding results in [8 Li , B. ( 2009 ). Strongly clean matrix rings over noncommutative local rings . Bull. Korean Math. Soc. 46 : 71 – 78 .[Crossref], [Web of Science ®] , [Google Scholar], Theorems 2.7 and 3.2], [9 Li , Y. ( 2007 ). Strongly clean matrix rings over local rings . J. Algebra 312 : 397 – 404 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 2.6], and [11 Yang , X. , Zhou , Y. ( 2008 ). Strongly cleanness of the 2 × 2 matrix ring over a general local ring . J. Algebra 320 : 2280 – 2290 .[Crossref], [Web of Science ®] , [Google Scholar], Theorem 7].     

DECOMPOSITION OF A HIGHER DEGREE FORM

ABSTRACT

We give another proof of Harrison's decomposition result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 2.3 for higher degree forms over a noetherian ring, exploiting an earlier introduction of the centre. We generalise to higher degree forms over a noetherian scheme: we extend the notion of centre; we prove a decomposition result; we extend Harrison's result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.3 on the behaviour of the centre under a flat base extension; and we improve his result,[2] Harrison, D.K. 1975. A Grothendieck Ring of Higher Degree Forms. Journal of Algebra, 35: 123–138. [Crossref], [Web of Science ®] , [Google Scholar] Prop. 4.2, giving conditions on the base scheme under which the centre of the tensor product of two higher degree forms is isomorphic to the tensor product of their centres.