Classes of Subgroups of Simply Presented Primary Abelian Groups

A class 𝒳 of abelian p-groups is closed under ω₁-bijective homomorphisms if whenever f: G → H is a homomorphism with countable kernel and cokernel, then G ∈ 𝒳 iff H ∈ 𝒳. For an ordinal α, we consider the smallest class with this property containing (a) the p ^α-bounded simply presented groups; (b) the p ^α-projective groups; (c) the subgroups of p ^α-bounded simply presented groups. This builds upon classical results of Nunke from [14 Nunke , R. ( 1963 ). Purity and subfunctors of the identity . In: Topics in Abelian Groups , Chicago : Scott, Foresman and Co. , pp. 121 – 171 . [Google Scholar]] and [15 Nunke , R. ( 1967 ). Homology and direct sums of countable abelian groups . Math. Z. 101 : 182 – 212 .[Crossref], [Web of Science ®] , [Google Scholar]]. Particular attention is paid to the separable groups in these classes.     

Algebraic Entropy of Generalized Shifts on Direct Products

For a set Γ, a function λ: Γ → Γ and a nontrivial abelian group K, the \emphgeneralized shift σ_λ: K ^Γ → K ^Γ is defined by (x _i ) _i∈Γ ? (x _λ(i)) _i∈Γ [3 Ayatollah Zadeh Shirazi , F. , Heidari Ardi , F. , Karami Kabir , N. ( 2008 ). A note on shift theory . Math. Pannon. 19 : 187 – 195 . [Google Scholar]]. In this article we compute the algebraic entropy of σ_λ; it is either zero or infinite, depending exclusively on the properties of λ. This solves two problems posed in [2 Akhavin , M. , Ayatollah Zadeh Shirazi , F. , Dikranjan , D. , Giordano Bruno , A. , Hosseini , A. ( 2009 ). Algebraic entropy of shift endomorphisms on abelian groups . Quaest. Math. 32 : 529 – 550 .[Crossref], [Web of Science ®] , [Google Scholar]].     

Analytic Wave Front Set for Solutions to Schrödinger Equations II – Long Range Perturbations

This paper is a continuation of [9 Martinez , A. , Nakamura , S. , Sordoni , V. ( 2009 ). Analytic wave front set for solutions to Schrödinger equations . Adv. Math. 222 : 1277 – 1307 .[Crossref], [Web of Science ®] , [Google Scholar]], where short range perturbations of the flat Euclidian metric where considered. Here, we generalize the results of [9 Martinez , A. , Nakamura , S. , Sordoni , V. ( 2009 ). Analytic wave front set for solutions to Schrödinger equations . Adv. Math. 222 : 1277 – 1307 .[Crossref], [Web of Science ®] , [Google Scholar]] to long-range perturbations (in particular, we can allow potentials growing like ?x?^2?? at infinity). More precisely, we construct a modified quantum free evolution G ₀(?s, hD _z ) acting on Sjöstrand's spaces, and we characterize the analytic wave front set of the solution e ^?itH u ₀ of the Schrödinger equation, in terms of the semiclassical exponential decay of G ₀(?th ^?1, hD _z )T u ₀, where T stands for the Bargmann-transform. The result is valid for t < 0 near the forward non trapping points, and for t > 0 near the backward non trapping points. It is an extension of [12 Nakamura , S. ( 2009 ). Semiclassical singularities propagation properties for the Schrödinger equations . J. Math. Soc. Japan 61 : 177 – 211 . [Google Scholar]] to the analytic framework.     

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.     

A New Proof for the Existence of an Equivariant Entire Solution Connecting the Minima of the Potential for the System Δu − W u (u) = 0

Recently, Giorgio Fusco and the author in [2 Alikakos , N.D. , Fusco , G. ( 2011 ). Entire solutions to equivariant elliptic systems with variational structure . Arch. Rat. Mech. Anal. 202 : 567 – 597 .[Crossref], [Web of Science ®] , [Google Scholar]] studied the system Δu ? W _u (u) = 0 for a class of potentials that possess several global minima and are invariant under a general finite reflection group, and established existence of equivariant solutions connecting the minima in certain directions at infinity, together with an estimate. In this paper a new proof is given which, in particular, avoids both the introduction of a pointwise constraint in the minimization process and the equivariant extensions of the various test functions.     

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

Invertibility of ideals in Prüfer extensions

Using the general approach to invertibility for ideals in ring extensions given by Knebush and Zhang in [9 Knebush, M., Zhang, D. (2002). Manis Valuations and Prüfer Extensions I. Lecture Notes in Mathematics, Vol. 1791. Springer.[Crossref] , [Google Scholar]], we investigate about connections between faithfully flatness and invertibility for ideals in rings with zero divisors.     

ℤ3-Twisted Representations of Lattice Vertex Operator Algebras

Abstract

Let L be a positive definite even lattice and let g ∈ Aut L be a fixed point free automorphism of order 3. We determine the twisted Zhu's algebra A _? (V _L ) for the lattice vertex operator algebra V _L , where ? is an automorphism of V _L induced from g. As a result, we show that the set of all irreducible ?-twisted modules for V _L (up to isomorphism) are exactly those constructed by Dong and Lepowsky (1996 Dong, C. and Lepowsky, J. 1996. The algebraic structure of relative twisted vertex operators. J. Pure and Applied Algebra, 110: 259–295. [Crossref], [Web of Science ®] , [Google Scholar]) and Lepowsky (1985 Lepowsky, J. 1985. Calculus of twisted vertex operators. Proc. Natl. Acad. Sci. USA, 82: 8295–8299. [Crossref], [PubMed], [Web of Science ®] , [Google Scholar]).     

Mislin’s theorem for fusion systems through Mackey functors

We state and prove a fusion system version of Mislin’s theorem [9 Mislin, G. On group homomorphisms inducing mod-p cohomology isomorphisms. Comment. Math. Helv. 65(3):454–461.[Web of Science ®] , [Google Scholar]] on cohomology and control of fusion using Mackey functors. The issue of an algebraic proof is also discussed.     

On the classifying space of Artin monoids

A theorem proved by Dobrinskaya [9 Dobrinskaya, N. E. (2006). Configuration spaces of labeled particles and finite Eilenberg-MacLane complexes. Proc. Steklov Inst. Math. 252(1):30–46.[Crossref] , [Google Scholar]] shows that there is a strong connection between the K(π,1) conjecture for Artin groups and the classifying spaces of Artin monoids. More recently Ozornova obtained a different proof of Dobrinskaya’s theorem based on the application of discrete Morse theory to the standard CW model of the classifying space of an Artin monoid. In Ozornova’s work, there are hints at some deeper connections between the above-mentioned CW model and the Salvetti complex, a CW complex which arises in the combinatorial study of Artin groups. In this work we show that such connections actually exist, and as a consequence, we derive yet another proof of Dobrinskaya’s theorem.     

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.     

Elementary matrix reduction over J-stable rings

A commutative ring R is J-stable provided that R∕aR has stable range 1 for all a?J(R). A commutative ring R in which every finitely generated ideal principal is called a Bézout ring. A ring R is an elementary divisor ring provided that every matrix over R admits a diagonal reduction. We prove that a J-stable ring is a Bézout ring if and only if it is an elementary divisor ring. Further, we prove that every J-stable ring is strongly completable. Various types of J-stable rings are provided. Many known results are thereby generalized to much wider class of rings, e.g. [3 Gillman, L., Henriksen, M. (1956). Some remarks about elementary divisor rings. Trans. Amer. Math. Soc. 82:362–365.[Crossref] , [Google Scholar], Theorem 8], [4 Larsen, M., Lewis, W., Shores, T. (1974). Elementary divisor rings and finitely presented modules. Trans. Amer. Math. Soc. 187:231–248.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 4.1], [7 McGovern, W. W. (2008). Bézout rings with almost stable range 1. J. Pure Appl. Algebra 212:340–348.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 3.7], [8 Moore, M. E. (1975). A strongly complement property of Dedekind domain. Czechoslovak Math. J. 25(100):282–283. [Google Scholar], Theorem], [9 Moore, M., Steger, A. (1971). Some results on completability in commutative rings. Pacific J. Math. 37:453–460.[Crossref], [Web of Science ®] , [Google Scholar], Theorem 2.1], [14 Zabavsky, B. V. (1996). Generalized adequate rings. Ukrainian Math. J. 48:614–617.[Crossref] , [Google Scholar], Theorem 1] and [18 Zabavsky, B. V., Komarnyts’kyi, M. Y. (2010). Cohn-type theorem for adequacy and elementary divisor rings. J. Math. Sci. 167:107–111.[Crossref] , [Google Scholar], Theorem 7].     

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.     

The Influence of Some Quantitative Properties of Abelian Subgroups on Solvability of Finite Groups

As an important application of Thompson's theorem [9 Robinson , D. J. S. ( 1996 ). A Course in the Theory of Groups. , 2nd ed. New York : Springer-Verlag .[Crossref] , [Google Scholar], Theorem 10.4.2], a finite group is solvable if it has an abelian maximal subgroup. In this article, we mainly investigate the influence of some quantitative properties of abelian subgroups on solvability of finite groups. Some new results are obtained.     

Isomorphism of Modular Group Algebras of p-Mixed Abelian Groups

Let A be a torsion-free abelian group and F a free subgroup of A. We prove that if A/F is a reduced p-group and A/(F + C) is reduced for every p-pure subgroup C of A, then A is free.

Let KG be the group algebra of an abelian group G over a field K of prime characteristic p. Denote by S(KG) the p-component of the group V(KG) of normalized units of KG (of augmentation 1). Let H be an arbitrary group and KH ? KG as K-algebras. We prove the following. First, assume that G is a splitting group, the p-component G _p of G is simply presented, and the field K is perfect. Then H _p  ? G _p . If, in addition, G is p-mixed, then G _p is a direct factor of S(KG), and G is a direct factor of V(KG), each with the same simply presented complement. Secondly, we introduce a class of special p-mixed abelian groups and prove that, if G belong to this class, then any group basis of the group algebra KG splits. Besides, H is p-mixed and splits. Thirdly, if G is a special p-mixed abelian group and G _p is a reduced totally projective p-group, then H ? G. These results correct some essential inaccuracies and incompleteness in the proofs of results in this direction of Danchev [3-8 Danchev , P. V. ( 1998 ). Isomorphism of commutative group algebras of mixed splitting groups . Compt. Rend. Acad. Bulg. Sci. 51 : 13 – 16 . Danchev , P. V. ( 2000 ). Isomorphism of modular group algebras of totally projective abelian groups . Communications in Algebra 28 : 2521 – 2531 . Danchev , P. V. ( 2001 ). On a question of W. L. May concerning the isomorphism of modular group algebras . Communications in Algebra 29 : 1953 – 1958 . Danchev , P. V. ( 2001 ). Normed units in Abelian group rings . Glasg. Math. J. 43 : 365 – 373 . Danchev , P. V. ( 2002 ). Invariants for group algebras of splitting abelian groups with simply presented components . Compt. Rend. Acad. Bulg. Sci. 55 : 5 – 8 . Danchev , P. V. ( 2004 ). A note on the isomorphic modular group algebras of abelian groups with simply presented p-components . Compt. Rend. Acad. Bulg. Sci. 57 : 13 – 14 . ].     

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

Hurwitz Generation of PSp 6(q)

We show that the symplectic groups PSp₆(q) are Hurwitz for all q = p ^m  ≥ 5, with p an odd prime. The result cannot be improved since, for q even and q = 3, it is known that PSp₆(q) is not Hurwitz. In particular, n = 6 turns out to be the smallest degree for which a family of classical simple groups of degree n, over 𝔽 _{p ^m} , contains Hurwitz groups for infinitely many values of m. This fact, for a given (possibly large) p, also follows from [9 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups I . J. Eur. Math. Soc. (JEMS) 16 ( 7 ): 1349 – 1375 .[Crossref], [Web of Science ®] , [Google Scholar]] and [10 Larsen , M. , Lubotzky , A. , Marion , C. ( 2014 ). Deformation theory and finite simple quotients of triangle groups II . Groups Geom. Dyn. 8 ( 3 ): 811 – 836 .[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]).