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.     

GRADINGS OF SIMPLE JORDAN ALGEBRAS AND THEIR RELATION TO THE GRADINGS OF SIMPLE ASSOCIATIVE ALGEBRAS

In this paper we describe all group gradings of the simple Jordan algebra of a non-degenerate symmetric form on a vector space over a field of characteristic different from 2. If we use the notion of the Clifford algebra, then we are able to recover some of the gradings on matrix algebras obtained in an entirely different way in [BSZ] Bahturin, Y., Seghal, S. and Zaicev, M. in press. Group Gradings of Associative Algebras. J. Algebra, [Web of Science ®] , [Google Scholar].

     

THE NICHOLS ZOELLER THEOREM FOR HOPF ALGEBRAS IN THE CATEGORY OF YETTER DRINFELD MODULES

In 1989 Nichols and Zoeller [NZ] Nichols, W. D. and Zoeller, M. B. 1989. A Hopf algebra freeness theorem. Amer. J. Math., 111: 381–385. [Crossref], [Web of Science ®] , [Google Scholar] showed that finite dimensional k-Hopf algebras are free over Hopf subalgebras. An analog result for Yetter Drinfeld Hopf algebras was not known. In this paper the existence of such a basis will be proved. Moreover the existence of a basis in a certain categorial sense cannot be expected.     

ON FREE PRODUCTS OF ABSOLUTE GALOIS GROUPS. II

In [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar], the author gave a positive solution to the problem in the survey of Jarden [2] Jarden, M. 1996. “Infinite Galois Theory”. In Handbook of Algebra I Amsterdam: Elsevier Sci.. [Crossref] , [Google Scholar] on the closedness of the class of profinite groups that are isomorphic to absolute Galois groups of fields with respect to finite free products. In [3] Mel'nikov, O. V. 1999. On Free Products of Absolute Galois Groups. Sib. Mat. J., 40(1): 95–99. [Crossref], [Web of Science ®] , [Google Scholar], O. V. Mel'nikov solved this problem for separable profinite groups ([3] Mel'nikov, O. V. 1999. On Free Products of Absolute Galois Groups. Sib. Mat. J., 40(1): 95–99. [Crossref], [Web of Science ®] , [Google Scholar] was done earlier than [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar]). In the same case, a more exact result on the absolute Galois groups of fields of fixed characteristic was obtained there. The proof proposed in 4-5 Koenigsmann, J. in press. Relatively Projective Groups as Absolute Galois Groups. Haran, D., Jarden, M. and Koenigsmann, J. in press. Free Products of Absolute Galois Groups.   is simpler than that in [1] Ershov, Yu. L. 1997. On Free Products of Absolute Galois Groups. Dokl. Math., 56(3): 915–917.  [Google Scholar] and, in addition, provides the results of Mel'nikov.

On February, 2000, the author (knowing nothing about 4-5 Koenigsmann, J. in press. Relatively Projective Groups as Absolute Galois Groups. Haran, D., Jarden, M. and Koenigsmann, J. in press. Free Products of Absolute Galois Groups.  ) found one more proof of these results. In the author opinion, this proof is the simplest and the construction used in the proof, as well as its properties (cf. Propositio n 1) can have other applications.     

Asymptotic results for finite superpositions of Ornstein–Uhlenbeck processes

A model of intermittency based on superposition of Lévy driven Ornstein–Uhlenbeck processes is studied in [6 Grahovac, D., Leonenko, N., Sikorskii, A., and Te?niak, I. 2016. Intermittency of superpositions of Ornstein–Uhlenbeck type processes. J. Stat. Phys. 165:390–408.[Crossref], [Web of Science ®] , [Google Scholar]]. In particular, as shown in Theorem 5.1 in that paper, finite superpositions obey a (sample path) central limit theorem under suitable hypotheses. In this paper we prove large (and moderate) deviation results associated with this central limit theorem.     

UNIFORM FILTERS AND SEMI-COMPATIBILITY

In [5] García Román, M., Márquez Hernández, M. and Verschoren, A. 1997. Structure Sheaves and Noncommutative Topologies. J. of Algebra, 194: 224–244. [Crossref], [Web of Science ®] , [Google Scholar] we used functors which are compositions of localization functors to construct sheaves over an arbitrary ring R. These functors share some properties with localization, and questions like when is the composition of localizations a localization functor? arise naturally. In this note we answer this question and some related ones using the key concept of semi-compatibility.

     

ON RESULTANT CRITERIA AND FORMULAS FOR THE INVERSION OF A POLYNOMIAL MAP

Concerning the inversion of a polynomial map F: K ² ? K ² over an arbitrary field K, it is natural to consider the following questions: (1) Can we find a necessary and sufficient criterion in terms of resultants for F to be invertible with polynomial ((2) resp. rational) inverse such that, this criterion gives an explicit formula to compute the inverse of F in this case? MacKay and Wang [5] McKay, J. and Wang, S. S. 1986. An Inversion Formula for Two Polynomials in Two Variables. J. of Pure and Appl. Algebra., 40: 245–257. [Crossref], [Web of Science ®] , [Google Scholar] gave a partial answer to question (1), by giving an explicit expression of the inverse of F, when F is invertible without constant terms. On the other hand, Adjamagbo and van den Essen [3] Adjamagbo, K. and van den Essen, A. 1990. A Resultant Criterion and Formula for the Inversion of a Polynomial Map in Two Variables. J. of Pure and Appl. Algebra., 64: 1–6. North-Holland [Google Scholar] have fully answered question (2) and have furnished a necessary and sufficient criterion which relies on the existence of some constants λ₁, λ₂ in K ^*. We improve this result by giving an explicit relation between λ₁, λ₂ and constants of the Theorem of MacKay and Wang [5] McKay, J. and Wang, S. S. 1986. An Inversion Formula for Two Polynomials in Two Variables. J. of Pure and Appl. Algebra., 40: 245–257. [Crossref], [Web of Science ®] , [Google Scholar].

Concerning question (2), Adjamagbo and Boury [2] Adjamagbo, K. and Boury, P. 1992. A Resultant Criterion and Formula for the Inversion of a Rational Map in Two Variables. J. of Pure and Appl. Algebra., 79: 1–13. North-Holland [Google Scholar] give a criterion for rational maps which relies on the existence of two polynomials λ₁, λ₂. We also improve this result, by expliciting the relations between these λ₁, λ₂ and the coefficients of F. This improvement enables us, first to give an explicit proof of the corresponding Theorem of Abhyankhar [1] Abhyankar, S. S. 1990. Algebraic Geometry for Scientists and Engineers. Math. Surveys and Monographs., 5: 267–273.  [Google Scholar], and secondly, to give a counter example where these λ₁, λ₂ are not in K ^*, contrary to claim of Yu [6] Yu, J.-T. 1993. Computing Minimal Polynomials and the Inverse via GCP. Comm. Algebra, 21(No.7): 2279–2294.  [Google Scholar].     

GRADE AND GORENSTEIN DIMENSION

Let R be a commutative Noetherian ring and let M be a finite (that is, finitely generated) R-module. The notion grade of M, grade M, has been introduced by Rees as the least integer t ≥ 0 such that Ext ^t _R (M,R) ≠ 0, see [11] Rees, D. 1957. The Grade of an Ideal or Module. Proc. Camb. Phil. Soc., 53: 28–42. [Crossref] , [Google Scholar]. The Gorenstein dimension of M, G-dim M, has been introduced by Auslander as the largest integer t ≥ 0 such that Ext ^t _R (M, R) ≠ 0, see [3] Auslander, M. 1967. Anneaux De Gorenstein Et Torsion En Algebre Commutative Edited by: Mangeney, M., Peskine, C. and Szpiro, L. Paris: Ecole Normale Superieure de Jeunes Filles.  [Google Scholar]. In this paper the R-module M is called G-perfect if grade M = G-dim M. It is a generalization of perfect module. We prove several results for the new concept similar to the classical results.     

Evaluating a model of forest succession using fuzzy analysis

In this paper we discuss how to select the optimal policy from a set of possible policies for a model of forest succession, which can be characterized by a set of trees and the corresponding average life-span with each possible tree transition. The transition probabilities are estimated by counting the numbers of sapling trees of each species under a canopy tree. [1] Horn, Henry S. 1975. Forest Succession. Sci. Amer., : 90–98.  [Google Scholar]. In our setting the transition matrix is defined by using the linguistic terms and as a consequence, the expected longevity of each tree is fuzzy. We use the Dempster–Shafer theory [8] Shafer, G. 1976. A Mathematical Theory of Evidence Princeton University Press.  [Google Scholar] ('76) together with techniques of Norton [7] Norton, J. 1988. Limit Theorems for Dempster's Rule of Combination. Theory and Decision, 25(3): 287–313. [Crossref], [Web of Science ®] , [Google Scholar] ('88) and Smetz [9] Smetz, P. 1990. Belief Functions versus Probability Functions. Uncertainty in Artificial Intelligence, 5: 1–8.  [Google Scholar] ('76) to approximate the transition probabilities.     

Stochastic motion under G-framework: II. Kinematics

Continuing the study of stochastic motion that we started [11 Zhang, H., and Kannan, D. 2014. Stochastic motion under G-framework: I. Nelson stochastic derivatives. Stoch Anal Appl 32:1067–1096.[Taylor & Francis Online], [Web of Science ®] , [Google Scholar]], we present in this article the kinematics of such a motion. We begin by defining the quadratic derivative of an S2-process, and show that this derivative of the Brownian motion captures the variance uncertainty. We show, under certain vanishing derivatives and independence conditions, the martingale properties of an S1-process. Starting with an S1-process, we derive the equation of motion, an Itô equation corresponding to a G-diffusion process.     

ON THE NORM OF THE FOURIER-JACOBI PROJECTION

We extend the results of Pollard [7] Pollard, H. 1949. The mean convergence of orthogonal series. III. Duke Math. J., 16: 189–191. [Crossref], [Web of Science ®] , [Google Scholar] and give asymptotic estimates for the norm of the Fourier-Jacobi projection operator in the appropriate weighted L_p space.     

On the almost Gorenstein property of determinantal rings

In this paper, we investigate the question of when the determinantal ring R over a field k is an almost Gorenstein local/graded ring in the sense of [14 Goto, S., Takahashi, R., Taniguchi, N. (2015). Almost Gorenstein rings - towards a theory of higher dimension. J. Pure Appl. Algebra 219:2666–2712.[Crossref], [Web of Science ®] , [Google Scholar]]. As a consequence of the main result, we see that if R is a non-Gorenstein almost Gorenstein local/graded ring, then the ring R has a minimal multiplicity.     

Grouped Functional Time Series Forecasting: An Application to Age-Specific Mortality Rates

Age-specific mortality rates are often disaggregated by different attributes, such as sex, state, and ethnicity. Forecasting age-specific mortality rates at the national and sub-national levels plays an important role in developing social policy. However, independent forecasts at the sub-national levels may not add up to the forecasts at the national level. To address this issue, we consider reconciling forecasts of age-specific mortality rates, extending the methods of Hyndman et al. in 2011 Hyndman, R. J., Ahmed, R. A., Athanasopoulos, G., and Shang, H. L. (2011), “Optimal Combination Forecasts for Hierarchical Time Series,” Computational Statistics and Data Analysis, 55, 2579–2589.[Crossref], [Web of Science ®] , [Google Scholar] to functional time series, where age is considered as a continuum. The grouped functional time series methods are used to produce point forecasts of mortality rates that are aggregated appropriately across different disaggregation factors. For evaluating forecast uncertainty, we propose a bootstrap method for reconciling interval forecasts. Using the regional age-specific mortality rates in Japan, obtained from the Japanese Mortality Database, we investigate the one- to ten-step-ahead point and interval forecast accuracies between the independent and grouped functional time series forecasting methods. The proposed methods are shown to be useful for reconciling forecasts of age-specific mortality rates at the national and sub-national levels. They also enjoy improved forecast accuracy averaged over different disaggregation factors. Supplementary materials for the article are available online.     

Calderón problem for connections

In this paper, we consider the problem of identifying a connection ? on a vector bundle up to gauge equivalence from the Dirichlet-to-Neumann map of the connection Laplacian ?*? over conformally transversally anisotropic (CTA) manifolds. This was proved in [9 Dos Santos Ferreira, D., Kenig, C., Salo, M., Uhlmann, G. (2009). Limiting Carleman weights and anisotropic inverse problems. Invent. Math. 178:119–171.[Crossref], [Web of Science ®] , [Google Scholar]] for line bundles in the case of the transversal manifold being simple—we generalize this result to the case where the transversal manifold only has an injective ray transform. Moreover, the construction of suitable Gaussian beam solutions on vector bundles is given for the case of the connection Laplacian and a potential, following the works of [11 Dos Santos Ferreira, D., Kurylev, Y., Lassas, M., Salo, M. (2016). The Calderón problem in transversally anisotropic geometries. J. Eur. Math. Soc., 18:2579–2626.[Crossref], [Web of Science ®] , [Google Scholar]]. This in turn enables us to construct the Complex Geometrical Optics (CGO) solutions and prove our main uniqueness result. We also reduce the problem to a new non-abelian X-ray transform for the case of simple transversal manifolds and higher rank vector bundles. Finally, we prove the recovery of a flat connection in general from the DN map, up to gauge equivalence, using an argument relating the Cauchy data of the connection Laplacian and the holonomy.     

Breadth and characteristic sequence of nilpotent Lie algebras

The notion of breadth of a nilpotent Lie algebra was introduced and used to approach problems of classification up to isomorphism in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]]. In the present paper, we study this invariant in terms of characteristic sequence, another invariant, introduced by Goze and Ancochea in [1 Ancochea-Bermúdez, J. M., Goze, M. (1986). Sur la classification des algèbres de Lie nilpotentes de dimension 7. C. R. Acad. Sci. Paris 302:611–613. [Google Scholar]]. This permits to complete the determination of Lie algebras of breadth 2 studied in [5 Khuhirun, B., Misra, K. C., Stitzinger, E. (2015). On nilpotent Lie algebras of small breadth. J. Algebra 444:328–338.[Crossref], [Web of Science ®] , [Google Scholar]] and to begin the work for Lie algebras with breadth greater than 2.     

Geometric aspects of robust testing for normality and sphericity

Stochastic robustness of control systems under random excitation motivates challenging developments in geometric approach to robustness. The assumption of normality is rarely met when analyzing real data and thus the use of classic parametric methods with violated assumptions can result in the inaccurate computation of p-values, effect sizes, and confidence intervals. Therefore, quite naturally, research on robust testing for normality has become a new trend. Robust testing for normality can have counterintuitive behavior, some of the problems have been introduced in Stehlík et al. [Chemometrics and Intelligent Laboratory Systems 130 (2014 Stehlík, M., St?elec, L., and Thulin, M. 2014. On robust testing for normality in chemometrics. Chemometrics and Intelligent Laboratory Systems 130:98–108.[Crossref], [Web of Science ®] , [Google Scholar]): 98–108]. Here we concentrate on explanation of small-sample effects of normality testing and its robust properties, and embedding these questions into the more general question of testing for sphericity. We give geometric explanations for the critical tests. It turns out that the tests are robust against changes of the density generating function within the class of all continuous spherical sample distributions.     

REPRESENTATION OF THE SPECTRAL SHIFT FUNCTION AND SPECTRAL ASYMPTOTICS FOR TRAPPING PERTURBATIONS

We obtain in the semi-classical setup of “black-box” long-range perturbations a representation for the derivative of spectral shift function ξ(λ) related to two self-adjoint operators L _j (h), j = 1,2. We show that the derivative ξ′(λ) is estimated by the norms of the cut-off resolvents of the operators L _j (h). Finally, we establish a Weyl type formula for the spectral shift function ξ(λ) generalizing the results of Robert [19] Robert, D. 1994. Relative time-delay for perturbations of elliptic operators and semiclassical asymptotics. J. Funct. Anal., 126: 36–82. [Crossref], [Web of Science ®] , [Google Scholar] and Christiansen [5] Christiansen, T. 1998. Spectral asymptotics for general compactly supported perturbations of the Laplacian on Rⁿ. Comm. P.D.E., 23: 933–947. [Taylor & Francis Online], [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.     

PROJECTIVITY AND FLATNESS OF A MODULE OVER THE SUBRING OF INVARIANTS

Let k be a field and H a Hopf k-algebra with bijective antipode, R an H-module algebra over k and A = R#H the associated smash product. The fixed subring of R under H is denoted by S. Let P be an R#H-module. Thus P is an S-module. The aim of this paper is to study the projectivity of P as a module over S. We get a generalization of some results of J.J. Garcia and Angel Del Rio [4] Garcia, J. J. and Del Rio, A. 1995. On Flatness and Projectivity of a Ring as a Module Over a Fixed Subring. Mathem. Scandin., 76: 179–192.  [Google Scholar] of Ida Doraiswamy [8] Doraiswamy, I. 1982. Projectivity of Modules Over Rings with Suitable Group Action. Comm. Algebra, 10(8): 787–795. [Taylor & Francis Online], [Web of Science ®] , [Google Scholar] and of ours [[7] Guédénon, T. 1997. Algèbre Homologique Dans la Catégorie Mod_(R#U(g)). J. Algebra, 197(2): 584–614.  [Google Scholar], section 5].