Gorenstein FP-Injective Dimension for Complexes

This article is a continuous work of [17 Hu , J. , Zhang , D. ( 2013 ). Weak AB-context for FP-injective modules with respect to semidualizing modules . J. Algebra Appl. 12 ( 7 ): 1350039 .[Crossref], [Web of Science ®] , [Google Scholar]], where the coauthors introduced the notion of 𝒢-FP-injective R-modules. In this article, we define a notion of 𝒢-FP-injective dimension for complexes over left coherent rings. To investigate the relationships between 𝒢-FP-injective dimension and FP-injective dimension for complexes, the complete cohomology group bases on FP-injectives is given.     

Dual of bass numbers and dualizing modules

Let R be a Noetherian ring and let C be a semidualizing R-module. In this paper, we impose various conditions on C to be dualizing. For example, as a generalization of Xu [21 Xu, J. (1995). Minimal injective and flat resolutions of modules over Gorenstein rings. J. Algebra 175:451–477.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 3.2], we show that C is dualizing if and only if for an R-module M, the necessary and su?cient condition for M to be C-injective is that π_i(𝔭,M) = 0 for all 𝔭∈Spec (R) and all i≠ht (𝔭), where π_i is the invariant dual to the Bass numbers defined by Enochs and Xu [8 Enochs, E., Xu, J. (1997). On invariants dual to the Bass numbers. Proc. Am. Math. Soc. 125:951–960.[Crossref], [Web of Science ®] , [Google Scholar]].     

Extension of Goulden–Jackson cluster method on pattern occurrences in random sequences and comparison with Régnier–Szpankowski method

The Goulden–Jackson cluster method is a powerful method to find generating functions of pattern occurrences in random sequences [1 Goulden, I.P. and Jackson, D.M. 1979. An inversion theorem for cluster decompositions of sequences with distinguished subsequences. Journal of London Mathematical Society, Second Series, 20: 567–576. [Crossref], [Web of Science ®] , [Google Scholar]]. The method is clearly explained, extended and implemented by Noonan and Zeilberger [2 Noonan, J. and Zeilberger, D. 1999. The Goulden-Jackson cluster method: extensions, applications, and implementations. Journal of Difference Equations and Applications, 5: 355–377. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. In this paper, we elaborate on one of the several extensions in [2 Noonan, J. and Zeilberger, D. 1999. The Goulden-Jackson cluster method: extensions, applications, and implementations. Journal of Difference Equations and Applications, 5: 355–377. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], namely the extension from symmetrical Bernoulli sequences where the occurrences of each symbol have equal probability, to asymmetrical Bernoulli sequences with different probabilities of symbol generations. An explicit formula is derived for the extension, which is implicitly embedded in the treatment of [2 Noonan, J. and Zeilberger, D. 1999. The Goulden-Jackson cluster method: extensions, applications, and implementations. Journal of Difference Equations and Applications, 5: 355–377. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]]. The extended result is then compared with the method of Régnier–Szpankowski [3 Régnier, M. and Szpankowski, W. 1997. On the approximate pattern occurrences in a text. Proceedings of the compression and complexity of sequences 1997, : 253–264.  [Google Scholar]], a method which was developed independently to tackle the same problem. By manipulating some matrix inversions, we show that the Régnier–Szpankowski method can be simplified to the extended Goulden–Jackson method.     

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.     

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]].     

Poisson deleting derivations algorithm and Poisson spectrum

Cauchon [5 Cauchon, G. (2003). Effacement des dérivations et spectres premiers des algèbres quantiques. J. Algebra 260(2):476–518.[Crossref], [Web of Science ®] , [Google Scholar]] introduced the so-called deleting derivations algorithm. This algorithm was first used in noncommutative algebra to prove catenarity in generic quantum matrices, and then to show that torus-invariant primes in these algebras are generated by quantum minors. Since then this algorithm has been used in various contexts. In particular, the matrix version makes a bridge between torus-invariant primes in generic quantum matrices, torus orbits of symplectic leaves in matrix Poisson varieties and totally non-negative cells in totally non-negative matrix varieties [12 Goodearl, K. R., Launois, S., Lenagan, T. (2011). Torus invariant prime ideals in quantum matrices, totally nonnegative cells and symplectic leaves. Math. Z. 269(1):29–45.[Crossref], [Web of Science ®] , [Google Scholar]]. This led to recent progress in the study of totally non-negative matrices such as new recognition tests [18 Launois, S., Lenagan, T. (2014). E?cient recognition of totally non-negative matrix cells. Found. Comput. Math. 14:371–387.[Crossref], [Web of Science ®] , [Google Scholar]]. The aim of this article is to develop a Poisson version of the deleting derivations algorithm to study the Poisson spectra of the members of a class 𝒫 of polynomial Poisson algebras. It has recently been shown that the Poisson Dixmier–Moeglin equivalence does not hold for all polynomial Poisson algebras [2 Bell, J., Launois, S., Sanchez, O. L., Moosa, R. Poisson algebras via model theory and differential-algebraic geometry. J. Eur. Math. Soc. (to appear). [Google Scholar]]. Our algorithm allows us to prove this equivalence for a significant class of Poisson algebras, when the base field is of characteristic zero. Finally, using our deleting derivations algorithm, we compare topologically spectra of quantum matrices with Poisson spectra of matrix Poisson varieties.     

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]).     

Eigenfunctions for Partially Rectangular Billiards

In this note, we further develop the methods of Burq and Zworski (2005 Burq , N. , Zworski , M. ( 2005 ). Bouncing ball modes and quantum chaos . SIAM Review 47 ( 5 ): 43 – 49 [CROSSREF] [CSA] [Crossref] , [Google Scholar]) to study eigenfunctions for billiards which have rectangular components: these include the Bunimovich billiard, the Sinai billiard, and the recently popular pseudointegrable billiards (Bogomolny et al., 1999 Bogomolny , E. , Gerland , U. , Schmit , C. ( 1999 ). Models of intermediate spectral statistics . Phys. Rev. E 59 : 1315 – 1318 [CROSSREF] [CSA] [Crossref], [Web of Science ®] , [Google Scholar]). The results are an application of a “black-box” point of view as presented in Burq and Zworski (2004 Burq , N. , Zworski , M. ( 2004 ). Geometric control in the presence of a black box . JAMS 17 : 443 – 471 [CROSSREF] [CSA] [Web of Science ®] , [Google Scholar]).     

Auslander–Reiten Triangles in Homotopy Categories

Let A be an artin algebra. We show that the bounded homotopy category of finitely generated right A-modules has Auslander–Reiten triangles. Two applications are given: (1) we provide an alternative proof of a theorem of Happel in [14 Happel, D. (1988). Triangulated Categories in the Representation Theory of Finite-dimensional Algebras. London Mathematical Society Lecture Note Series, vol. 119. Cambridge: Cambridge University Press.[Crossref] , [Google Scholar]]; (2) we prove that over a Gorenstein algebra, the bounded homotopy category of finitely generated Gorenstein projective (resp. injective) modules, admits Auslander–Reiten triangles, which improve a main result in [12 Nan, G. (2012). Auslander-Reiten triangles on Gorenstein derived categories. Comm. Algebra 40:3912–3919.[Taylor &; Francis Online], [Web of Science ®] , [Google Scholar]].     

Propagation of Singularities for Schrödinger Equations on the Euclidean Space with a Scattering Metric

Given a scattering metric on the Euclidean space. We consider the Schrödinger equation corresponding to the metric, and study the propagation of singularities for the solution in terms of the “homogeneous wavefront set”. We also prove that the notion of the homogeneous wavefront set is essentially equivalent to that of the quadratic scattering wavefront set introduced by Wunsch (1999 Wunsch , J. ( 1999 ). Propagation of singularities and growth for Schrödinger operators . Duke Math. J. 98 : 137 – 186 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]). One of the main results in Wunsch (1999 Wunsch , J. ( 1999 ). Propagation of singularities and growth for Schrödinger operators . Duke Math. J. 98 : 137 – 186 . [CSA] [CROSSREF] [Crossref], [Web of Science ®] , [Google Scholar]) follows on the Euclidean space with a weaker, almost optimal condition on the potential.     

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]].     

A note on semicentral idempotents

In this note we answer the question raised by Han et al. in [3 Han, J., Lee, Y., Park, S. (2014). Semicentral idempotents in a ring. J. Korean Math. Soc. 51(3):463–472, MR3206399.[Crossref], [Web of Science ®] , [Google Scholar]] whether an idempotent isomorphic to a semicentral idempotent is itself semicentral. We show that rings with this property are precisely the Dedekind-finite rings. An application to module theory is given.     

Sequences Determining Mixed Multiplicities and Reductions of Ideals

Abstract

Using the notion of (FC)-sequences in Viêt (2000 Viêt, D. Q. 2000. Mixed multiplicities of arbitrary ideals in local rings. Comm. Algebra, 28(8): 3803–3821. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar]), this paper presents some results concerning reductions and the vanishing and non-vanishing of mixed multiplicities of finite collection of arbitrary ideals in local rings.     

A Generalized Renewal Equation for Perturbed Compound Poisson Processes with Two-Sided Jumps

Abstract

In this article, we study the discounted penalty at ruin in a perturbed compound Poisson model with two-sided jumps. We show that it satisfies a renewal equation under suitable conditions and consider an application of this renewal equation to study some perpetual American options. In particular, our renewal equation gives a generalization of the renewal equation in Gerber and Landry [2 Gerber , H.U. , and Landry , B. 1998 . On the discounted penalty at ruin in a jump-diffusion and the perpetual put option . Insurance: Mathematics and Economics 22 : 263 – 276 .[Crossref], [Web of Science ®] , [Google Scholar]] where only downward jumps are allowed.     

Poisson Hopf algebra related to a twisted quantum group

A Poisson algebra ?[G] considered as a Poisson version of the twisted quantized coordinate ring ?_q,p[G], constructed by Hodges et al. [11 Hodges, T. J., Levasseur, T., Toro, M. (1997). Algebraic structure of multi-parameter quantum groups. Adv. Math. 126:52–92.[Crossref], [Web of Science ®] , [Google Scholar]], is obtained and its Poisson structure is investigated. This establishes that all Poisson prime and primitive ideals of ?[G] are characterized. Further it is shown that ?[G] satisfies the Poisson Dixmier-Moeglin equivalence and that Zariski topology on the space of Poisson primitive ideals of ?[G] agrees with the quotient topology induced by the natural surjection from the maximal ideal space of ?[G] onto the Poisson primitive ideal space.     

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.     

On mutation of τ-tilting modules

Mutation of τ-tilting modules is a basic operation to construct a new support τ-tilting module from a given one by replacing a direct summand. The aim of this paper is to give a positive answer to the question posed in [2 Adachi, T., Iyama, O., Reiten, I. (2014). τ-tilting theory. Compos. Math. 150(3):415–452.[Crossref], [Web of Science ®] , [Google Scholar], Question 2.31] about mutation of τ-tilting modules.     

Quasi-Deformations of 𝔰𝔩2(𝔽) Using Twisted Derivations

In this article we apply a method devised in Hartwig, Larsson, and Silvestrov (2006 Hartwig , J. T. , Larsson , D. , Silvestrov , S. D. ( 2006 ). Deformations of Lie algebras using σ-derivations . J. Algebra 295 : 314 – 361 .[Crossref], [Web of Science ®] , [Google Scholar]) and Larsson and Silvestrov (2005a Larsson , D. , Silvestrov , S. D. (2005a). Quasi-hom-Lie algebras, Central extensions and 2-cocycle-like identities. J. Algebra 288:321–344.[Crossref], [Web of Science ®] , [Google Scholar]) to the simple 3-dimensional Lie algebra 𝔰𝔩₂(𝔽). One of the main points of this deformation method is that the deformed algebra comes endowed with a canonical twisted Jacobi identity. We show in the present article that when our deformation scheme is applied to 𝔰𝔩₂(𝔽) we can, by choosing parameters suitably, deform 𝔰𝔩₂(𝔽) into the Heisenberg Lie algebra and some other 3-dimensional Lie algebras in addition to more exotic types of algebras, this being in stark contrast to the classical deformation schemes where 𝔰𝔩₂(𝔽) is rigid.     

Approximations of Parabolic Equations at the Vicinity of Hyperbolic Equilibrium Point

This article is devoted to the numerical analysis of the abstract semilinear parabolic problem u′(t) = Au(t) + f(u(t)), u(0) = u ⁰, in a Banach space E. We are developing a general approach to establish a discrete dichotomy in a very general setting and prove shadowing theorems that compare solutions of the continuous problem with those of discrete approximations in space and time. In [3 W.-J. Beyn and S. Piskarev ( 2008 ). Shadowing for discrete approximations of abstract parabolic equations . Discrete Contin. Dyn. Syst., B 10 : 19 – 42 .[Crossref], [Web of Science ®] , [Google Scholar]] the discretization in space was constructed under the assumption of compactness of the resolvent. It is a well-known fact (see [10 S. Larsson ( 1999 ). Numerical analysis of semilinear parabolic problems . In: The Graduate Student's Guide to Numerical Analysis ’98 ( M. Ainsworth , ed.). Lecture Notes from the 8th EPSRC Summer School in Numerical Analysis . Leicester , UK , July 5–17. 1998. Ser. Comput. Math. 26:83–117; Springer, Berlin .[Crossref] , [Google Scholar], 11 S. Larsson and J. M. Sanz-Serna (1994). The behavior of finite element solutions of semilinear parabolic problems near stationary points. SIAM J. Numer. Anal. 31:1000–1018.[Crossref], [Web of Science ®] , [Google Scholar]]) that the phase space in the neighborhood of the hyperbolic equilibrium can be split in a such way that the original initial value problem is reduced to initial value problems with exponential bounded solutions on the corresponding subspaces. We show that such a decomposition of the flow persists under rather general approximation schemes, utilizing a uniform condensing property. The main assumption of our results are naturally satisfied, in particular, for operators with compact resolvents and condensing semigroups and can be verified for finite elements as well as finite differences methods.