ISSN 00418994
eISSN: 22402926

Forthcoming Articles
(Last update: October 1, 2021)
The following articles will soon be published in this journal.
Their publication status can be :

online first – final version available;

accepted – manuscript available.
Click on the title to view the paper.

Monnier, JeanPhilippe publication status: accepted

Matsumoto, Yuya publication status: accepted

Illusie, Luc publication status: accepted

Niroomand P. and Parvizi M. publication status: accepted

Scattaglia, Vincenzo publication status: accepted

Mantovani, Lorenzo publication status: accepted

Ito, Yohei publication status: accepted

Shelah, Saharon publication status: accepted

Positselski, Leonid publication status: accepted

Giuliano R., Kruglov V.M. and Volodin A.I. publication status: accepted

Fukasawa, Satoru publication status: accepted

Bostan, Alin publication status: accepted

Rivera Arredondo, Carolina publication status: accepted

Nuccio Mortarino Majno F.A.E. and Ramdorai S. publication status: accepted

Dehkordy H.J. and Rezaeezadeh G. publication status: accepted

Kloosterman, Remke publication status: accepted

Kresch A. and Tschinkel Y. publication status: accepted

Cao C., Wong D. and Zhang C. publication status: accepted

Fischler S. and Rivoal T. publication status: accepted

Komatsu, Takao publication status: accepted

Reinholz L. and Yang Q. publication status: accepted

Sarrazola Alzate, Andrés publication status: accepted

Daneshkhah, Ashraf publication status: accepted

Hu B., Huang J. and Skiba A.N. publication status: accepted

Maisonobe, Philippe publication status: accepted

Mao, Lixin publication status: accepted

Luca, Florian publication status: accepted

Alzer H., Kwong M.K. and Sandor J. publication status: accepted

Ito, Akio publication status: accepted

Nakagawa, Takahiro publication status: accepted

MoretBailly, Laurent publication status: accepted

DanCohen, Ishai and Schlank, Tomer publication status: accepted

Onoue, Fumihiko publication status: accepted

Cortissoz, Jean C publication status: accepted

Lodh, Remi publication status: accepted

Suzuki, Mami publication status: accepted

Lee E.W.H., Rhodes J. and Steinberg B. publication status: accepted

Charytanowicz K.Cieślak W. and Mozgawa W. publication status: accepted

Crivei, Septimiu and Keskin Tutuncu, Derya and Tribak, Rachid publication status: accepted

Lewis W. and Mader A. publication status: online first

Filimonova A.R., Vorob'ev N.N. and Yang N. publication status: online first

Herrmann C., Lorand J. and Weinstein A. publication status: online first

W. Abdelhedi, H. Hajaiej and Z. Mhamdi publication status: online first
Manuscripts of the accepted Papers
 Monnier, JeanPhilippe
Abstract: We develop the theory of central ideals on commutative domains. We introduce and study the central seminormalization of a ring in another one. This seminormalization is related to the theory of regulous functions on real algebraic varieties. We provide a construction of the central seminormalization by a decomposition theorem in elementary central gluings. The existence of a central seminormalization is established in the affine case and for real schemes. received 12.04.2021, accepted 23.09.2021 (48 pages) download: manuscript (588K)
 Matsumoto, Yuya
Abstract: We prove that a K3 surface with an automorphism acting on the global $2$forms by a primitive $m$th root of unity, $m \neq 1,2,3,4,6$, does not degenerate (assuming the existence of the socalled Kulikov models). A key result used to prove this is the rationality of the actions of automorphisms on the graded quotients of the weight filtration of the $l$adic cohomology groups of the surface. received 15.04.2021, accepted 13.07.2021 (16 pages) download: manuscript (163K)
 Illusie, Luc
Abstract: This is a report on [Bhatt, Bhargav; Lurie, Jacob; Mathew, Akhil. Revisiting the de RhamWitt complex. Astérisque No. 424 (2021), 165 pp. arXiv:1805.05501v3 (2018)]. We review the main definitions and properties of the saturated de RhamWitt complexes constructed there. A few complements are added, concerning the genesis of the notion, examples, and finiteness properties and open problems. received 30.06.2021, accepted 11.07.2021 (43 pages) download: manuscript (546K)
 Niroomand P. and Parvizi M.
Abstract: For a $p$group of order $p^n$, it is known that the order of $2$nilpotent multiplier is equal to $\mathcal{M}^{(2)}(G)=p^{\frac12n(n1)(n2)+3s_2(G)}$ for an integer $s_2(G)$. In this article, we characterize all of non abelian $p$groups satisfying in $s_2(G)\in\{1,2,3\}$. received 03.10.2020, accepted 18.06.2021 (11 pages) download: manuscript (253K)
 Scattaglia, Vincenzo
Abstract: This paper deals with the isoperimetric problem for clusters in a Euclidean space with double density. In particular, we show that a limit of an isoperimetric minimizing sequence of clusters with volumes $\bf V$ is always isoperimetric for its own volumes (which may be smaller than $\bf V$). In particular, if it is strictly smaller, we provide an explicit formula. received 05.03.2021, accepted 18.06.2021 (15 pages) download: manuscript (311K)
 Mantovani, Lorenzo
Abstract: We extend some classical results of Bousfield on homology localizations and nilpotent completions to a presentably symmetric monoidal stable $\infty$category $\mathscr{M}$ admitting a multiplicative leftcomplete $t$structure. If $E$ is a homotopy commutative algebra in $\mathscr{M}$ we show that $E$nilpotent completion, $E$localization, and a suitable formal completion agree on bounded below objects when $E$ satisfies some reasonable conditions. received 12.05.2021, accepted 12.06.2021 (67 pages) download: manuscript (582K)
 Ito, Yohei
Abstract: The subject of this paper is an algebraic version of the irregular RiemannHilbert correspondence which was mentioned in [Y. Ito, $\mathbb{C}$constructible enhanced IndSheaves, Tsukuba J. Math., 44, no.1 (2020), pp. 155201, arXiv:1910.09954]. In particular, we prove an equivalence of categories between the triangulated category of holonomic $\mathcal{D}$modules on a smooth algebraic variety $X$ over $\mathbb{C}$ and the one of algebraic $\mathbb{C}$constructible enhanced indsheaves on a bordered space $X^{an}_\infty$. Moreover we show that there exists a tstructure on the latter triangulated category whose heart is equivalent to the abelian category of holonomic $\mathcal{D}$modules on $X$. Furthermore we shall consider simple objects of its heart and minimal extensions of objects of its heart. received 14.07.2020, accepted 25.05.2021 (38 pages) download: manuscript (136K)
 Shelah, Saharon
Abstract: We prove that for $\lambda = \beth_\omega$ or just $\lambda$ a strong limit singular cardinal of cofinality $\aleph_0$, if there is a universal member in the class $\mathbf K^{\rm lf}_\lambda$ of all locally finite groups of cardinality $\lambda$, then there is a canonical one. This is parallel to special models for elementary classes, which is the replacement of universal homogeneous ones and saturated ones in cardinals $\lambda = \lambda^{< \lambda}$.
For showing the existence we rely on the existence of enough indecomposable such groups as was proved in [S. Shelah, Density of indecomposable locally finite groups, Rend. Semin. Mat. Univ. Padova 144 (2020), 253270. MR 4186458]. More generally, we also deal with the existence of universal members in general classes for such cardinals. received 25.06.2020, accepted 02.05.2021 (23 pages)
download: manuscript (352K)
 Positselski, Leonid
Abstract: Let $R\rightarrow A$ be a homomorphism of associative rings, and let $(\mathcal{F},\mathcal{C})$ be a hereditary complete cotorsion pair in $R{\operatorname{\mathsf{Mod}}}$.
Let $(\mathcal{F}_A,\mathcal{C}_A)$ be the cotorsion pair in $A{\operatorname{\mathsf{Mod}}}$ in which $\mathcal{F}_A$ is the class of all left $A$modules whose underlying $R$modules belong to $\mathcal{F}$. Assuming that the $\mathcal{F}$resolution dimension of every left $R$module is finite and the class $\mathcal{F}$ is preserved by the coinduction functor $Hom_R(A,{})$, we show that $\mathcal{C}_A$ is the class of all direct summands of left $A$modules finitely (co)filtered by $A$modules coinduced from $R$modules from $\mathcal{C}$.
Assuming that the class $\mathcal{F}$ is closed under countable products and preserved by the functor $Hom_R(A,{})$, we prove that $\mathcal{C}_A$ is the class of all direct summands of left $A$modules cofiltered by $A$modules coinduced from $R$modules from $\mathcal{C}$, with the decreasing filtration indexed by the natural numbers.
A combined result, based on the assumption that countable products of modules from $\mathcal{F}$ have finite $\mathcal{F}$resolution dimension bounded by $k$, involves cofiltrations indexed by the ordinal $\omega+k$.
The dual results also hold, provable by the same technique going back to the author's monograph on semiinfinite homological algebra [L. Positselski,
\textit{Homological algebra of semimodules and semicontramodules: Semiinfinite homological algebra of associative algebraic structures}, Appendix C in collaboration with D. Rumynin, Appendix D in collaboration with S. Arkhipov. Monografie Matematyczne IMPAN, vol. 70, Birkhäuser/Springer Basel, 2010. xxiv+349 pp].
In addition, we discuss the $n$cotilting and $n$tilting cotorsion pairs, for which we obtain better results using a suitable version of a classical BongartzRingel lemma.
As an illustration of the main results of the paper, we consider certain cotorsion pairs related to the contraderived and coderived categories of curved DGmodules. received 17.02.2021, accepted 02.05.2021 (71 pages)
download: manuscript (696K)
 Giuliano R., Kruglov V.M. and Volodin A.I.
Abstract: This paper presents refined versions of the well known Kolmogorov maximal inequality for the binomial distribution. received 06.08.2020, accepted 12.04.2021 (20 pages)
download: manuscript (335K)
 Fukasawa, Satoru
Abstract: This paper presents a criterion for the existence of a birational embedding into a projective plane with noncollinear Galois points for algebraic curves and describes its application via a novel example of a plane curve with noncollinear Galois points.
In addition, this paper presents a new characterisation of the Fermat curve in terms of noncollinear Galois points.
received 02.12.2020, accepted 10.04.2021 (8 pages)
download: manuscript (97K)
 Bostan, Alin
Abstract: See the paper itself. received 23.03.2021, accepted 08.04.2021 (3 pages)
download: manuscript (232K)
 Rivera Arredondo, Carolina
Abstract: The purpose of this work is to generalize, in the context of 1motives, the $p$adic height pairings constructed by B. Mazur and J. Tate on abelian varieties. Following their approach, we define a global pairing between the rational points of a 1motive and its dual. We also provide a local pairing between disjoint zerocycles of degree zero on a curve, which is done by considering the Picard and Albanese 1motives associated to the curve. received 16.09.2020, accepted 24.03.2021 (33 pages)
download: manuscript (391K)
 Nuccio Mortarino Majno F.A.E. and Ramdorai S.
Abstract: For an odd prime $p$ and a supersingular elliptic curve over a number field, this article introduces a multisigned residual Selmer group, under certain hypotheses on the base field. This group depends purely on the residual representation at $p$, yet captures information about the Iwasawa theoretic invariants of the signed $p^\infty$Selmer group that arise in supersingular Iwasawa theory. Working in this residual setting provides a natural framework for studying congruences modulo $p$ in Iwasawa theory. received 16.07.2020, accepted 28.02.2021 (48 pages)
download: manuscript (738K)
 Dehkordy H.J. and Rezaeezadeh G.
Abstract: A subgroup $H$ of a finite group $G$ is said to be $S$semipermutable in $G$ if $HG_{p}=G_{p}H$ for every Sylow subgroup $G_{p}$ of $G$ with $(H,p)=1$. A subgroup $H$ of $G$ is said to be Weakly $S$semipermutable in $G$ if there exists a normal subgroup $T$ of $G$ such that $HT$ is $S$permutable and $H\cap T$ is $S$semipermutable in $G$. In this paper we prove that for a finite group $G$, if some cyclic subgroups or maximal subgroups of $G$ are Weakly $S$semipermutable in $G$, then $G$ is $p$nilpotent. received 02.12.2020, accepted 20.02.2021 (13 pages)
download: manuscript (101K)
 Kloosterman, Remke
Abstract: In this paper we give a new and simplified proof of the variational Hodge conjecture for complete intersection cycles on a hypersurface in projective space. received 29.02.2020, accepted 26.12.2020 (10 pages)
download: manuscript (297K)
 Kresch A. and Tschinkel Y.
Abstract: We study sextic del Pezzo surface fibrations via root stacks. received 14.10.2019, accepted 06.12.2020 (20 pages)
download: manuscript (337K)
 Cao C., Wong D. and Zhang C.
Abstract: Let $\mathfrak{F}$ be a nonempty class of groups, $G$ a finite group and $\mathcal{L}(G)$ be the lattice of all subgroups of $G$.
A chief factor $H/K$ of $G$ is $\mathfrak{F}$central in $G$ if $(H/K)\rtimes (G/C_G(H/K))\in \mathfrak{F}$.
Let $\mathcal{L}_{c\mathfrak{F}}(G)$ be the set of subgroups $A$ of $G$ such that every chief factor of $G$ between $A^G$ and $A_G$ is $\mathfrak{F}$central in $G$;
$\mathcal{L}_{\mathfrak{F}}(G)$ be the set of subgroups $A$ of $G$ such that $A^G/A_G\in \mathfrak{F}$.
In this paper, we
study the influence of $\mathcal{L}_{\mathfrak{F}}(G)$ and $\mathcal{L}_{c\mathfrak{F}}(G)$ on the structure of $G$, where $\mathfrak{F}$ is a normally hereditary saturated formation containing all $\sigma$nilpotent groups and $D=G^{\mathfrak{F}}$ is $\sigma$soluble.
Moreover, we give a new characterization of a finite $\sigma$soluble group to be a $P\sigma T$group.
received 20.05.2020, accepted 25.11.2020 (10 pages)
download: manuscript (314K)
 Fischler S. and Rivoal T.
Abstract: Siegel defined in 1929 two classes of power series, the $E$functions and $G$functions, which generalize the Diophantine properties of the exponential and logarithmic functions respectively. He asked whether any $E$function can be represented as a polynomial with algebraic coefficients in a finite number of $E$functions of the form ${}_pF_q(\lambda z^{qp+1})$, $q\ge p\ge 1$, with rational parameters. The case of $E$functions of differential order less than or equal to 2 was settled in the affirmative by Gorelov in 2004, but Siegel's question is open for higher order. We prove here that if Siegel's question has a positive answer, then the ring ${\bf G}$ of values taken by analytic continuations of $G$functions at algebraic points must be a subring of the relatively ``small'' ring ${\bf H}$ generated by algebraic numbers, $1/\pi$ and the values of the derivatives of the Gamma function at rational points. Because that inclusion seems unlikely (and contradicts standard conjectures), this points towards a negative answer to Siegel's question in general. As intermediate steps, we first prove that any element of ${\bf G}$ is a coefficient of the asymptotic expansion of a suitable $E$function, which completes previous results of ours. We then prove (in two steps) that the coefficients of the asymptotic expansion of a hypergeometric $E$function with rational parameters are in ${\bf H}$. Finally, we prove a similar result for $G$functions. received 07.11.2019, accepted 15.11.2020 (28 pages)
download: manuscript (357K)
 Komatsu, Takao
Abstract: PolyCauchy numbers with level $2$ are defined by inverse sine hyperbolic functions with the inverse relation from sine hyperbolic functions.
In this paper, we introduce the Stirling numbers of the first kind with level $2$ in order to establish some relations with polyCauchy numbers with level $2$. Then, we show several convolution identities of polyCauchy numbers with level $2$. In particular, that of three polyCauchy numbers with level $2$ can be expressed as a simple form.
\\
{\bf Keywords:} PolyCauchy numbers, hyperbolic functions, inverse hyperbolic functions, convolutions, Stirling numbers of the first kind
received 19.09.2020, accepted 11/11/2020 (19 pages)
download: manuscript (104K)
 Reinholz L. and Yang Q.
Abstract: A method that extends existing families of even noncongruent numbers to produce new families of noncongruent numbers with arbitrarily many distinct prime factors is presented. We show that infinitely many new noncongruent numbers can be generated by appending a suitable collection of primes onto any even noncongruent number whose corresponding congruent number elliptic curve has 2Selmer rank of zero.
Our method relies upon Monsky's formula for computing the 2Selmer rank of the congruent number elliptic curve. Even noncongruent numbers constructed according to our result have an unlimited number of prime factors in each odd congruence class modulo eight, and have congruent number elliptic curves with 2Selmer rank equal to zero. received 15.07.2019, accepted 02.10.2020 (29 pages)
download: manuscript (398K)
 Sarrazola Alzate, Andrés
Abstract: Let ${\mathbb{G}}$ be a split connected reductive group scheme over the ring of integers $\mathfrak{o}$ of a finite extension $L{\mathbb{Q}}_p$ and $\lambda\in X({\mathbb{T}})$ an algebraic character of a split maximal torus ${\mathbb{T}}\subseteq\mathbb{G}$. Let us also consider $X^{\text{rig}}$ the rigid analytic flag variety of $\mathbb{G}$ and $G=\mathbb{G}(L)$. In the first part of this paper, we introduce a family of $\lambda$twisted differential operators on a formal model $\mathcal{Y}$ of $X^{\text{rig}}$. We compute their global sections and we prove coherence together with several cohomological properties. In the second part, we define the category of coadmissible $G$equivariant arithmetic $\mathcal{D}(\lambda)$modules over the family of formal models of the rigid flag variety $X^{\text{rig}}$. We show that if $\lambda$ is such that $\lambda + \rho$ is dominant and regular ($\rho$ being the Weyl character), then the preceding category is antiequivalent to the category of admissible locally analytic $G$representations, with central character $\lambda$. In particular, we generalize the results in [C. HUYGHE – D. PATEL – T. SCHMIDT – M. STRAUCH “$\mathcal{D}^\dagger$affinity of formal models of flag varieties”. arXiv:1501.05837v2 (to appear in Mathematical Research Letters). Preprint 2017] for algebraic characters.
received 25.02.2020, accepted 22.09.2020 (78 pages)
download: manuscript (745K)
 Daneshkhah, Ashraf
Abstract: Let $G$ be a finite group and $cd(G)$ denote the set of complex irreducible character degrees of $G$. In this paper, we prove that if $G$ is a finite group and $H$ is an almost simple group whose socle is $H_{0}=PSL(2,q)$ with $q=2^{f}$ ($f$ prime) such that $cd(G) =cd(H)$, then there exists an abelian subgroup $A$ of $G$ such that $G/A$ is isomorphic to $H$. In view of Huppert's conjecture (2000), the main result of this paper gives rise to some examples that $G$ is not necessarily a direct product of $A$ and $H$, and consequently, we cannot extend this conjecture to almost simple groups. received 23.02.2020, accepted 08.09.2020 (13 pages)
download: manuscript (284K)
 Hu B., Huang J. and Skiba A.N.
Abstract: Let $G$ be a finite soluble group and let $\mathfrak{F}$ be a class of groups.
A chief factor $H/K$ of $G$ is said to be $\mathfrak{F}$central (in $G$) if $(H/K)\rtimes (G/C_{G}(H/K)) \in \mathfrak{F}$; we write ${\cal L}_{c\mathfrak{F}}(G)$ to denote the set of all subgroups $A$ of $G$ such that every chief factor $H/K$ of $G$ between $A_{G}$ and $A^{G}$ is $\mathfrak{F}$ central in $G$. Let $\cal L$ be a set of subgroups of $G$.
We say that a subgroup $A$ of $G$ is $H_{\cal L}$embedded in $G$ provided $A$ is a Hall subgroup of some subgroup $E\in {\cal L}$.
In this paper, we study the structure of $G$ under the condition that every subgroup of $G$ is $H_{\cal L}$embedded in $G$, where ${\cal L}={\cal L}_{c\mathfrak{F}}(G)$ for some hereditary saturated formation $\mathfrak{F}$. Some known results are generalized.
received 13.10.2019, accepted 07.09.2020 (11 pages)
download: manuscript (234K)
 Maisonobe, Philippe
Abstract: Let $f_i:X\rightarrow{\bf C}$, for $i$ integer between $1$ and $p$, be analytic functions defined on a complex analytic variety $X$.
Let us consider ${\cal D}_X$ the ring of linear differential operators and ${\cal D}_X [s_1, \ldots, s_p] = {\bf C}_X [s_1, \ldots, s_p] \otimes_ {\bf C} {\cal D}_X$.
Let $m$ be a section of a holonomic ${\cal D}_X$Module. We denote ${\cal B}(m, x_0, f_1, \ldots, f_p)$ the ideal of ${ \bf C} [s_1, \ldots, s_p]$ constituted by the polynomials $b$ satisfying in the neighborhood of $x_0\in X$ :
$$
B (s_1, \ldots, s_p) m f_1^{ s_1} \ldots f_p ^{s_p} \in {\cal D}_X [s_1, \ldots, s_p] \, m f_1^{s_1 + 1} \ldots f_p^{s_p + 1} \; .
$$
This ideal is called Bernstein's ideal.
C. Sabbah shows the existence for every $x_0\in X$ of a finite set ${\cal H}$ of linear forms with coefficients in ${\bf N}$, such that:
$$
\prod_{H \in {\cal H}} \prod_{i \in I_{\cal H}} (H (s_1, \ldots, s_p) + \alpha_{H , i}) \in {\cal B} (m, x_0, f_1, \ldots, f_p) \;,
$$
where $\alpha_{H,i} $ are complex numbers.
The purpose of this article is to show in particular the existence of a minimal set $ {\cal H} $. In addition, when $ m $ is a section of a holonomic regular ${\cal D}_X$Module, we will precise geometrically this set from the characteristic variety of ${\cal D}_X$Module generated by $m$.
We introduce and study especially the relative characteristic variety of the ${\cal D}_X[s_1, \ldots, s_p]$Modules related to our problem. This allows to specify the structure of the Bernstein's ideals. received 07.04.2020, accepted 04.08.2020 (51 pages)
download: manuscript (370K)
 Mao, Lixin
Abstract: Let $T=\biggl(\begin{matrix} A&0\\U&B \end{matrix}\biggr)$ be a formal triangular matrix ring, where $A$ and $B$ are rings and $U$ is a $(B, A)$bimodule. We prove that: (1) If $U_{A}$ and $_{B}U$ have finite flat dimensions, then a left $T$module $\biggl(\begin{matrix} M_{1}\\
M_{2}\end{matrix}\biggr)_{\varphi^{M}}$ is Ding projective if and only if $M_{1}$ and $M_{2}/\mathrm{im}(\varphi^{M})$ are Ding projective and the morphism $\varphi^{M}$ is a monomorphism. (2) If $T$ is a right coherent ring, $_{B}U$ has finite flat dimension, $U_{A}$ is finitely presented and has finite projective or $FP$injective dimension, then a right $T$module $(W_{1}, W_{2})_{\varphi_{W}}$ is Ding injective if and only if $W_{1}$ and $\ker(\widetilde{{\varphi_{W}}})$ are Ding injective and the morphism $\widetilde{{\varphi_{W}}}$ is an epimorphism. As a consequence, we describe Ding projective and Ding injective dimensions of a $T$module. received 25.05.2019, accepted 03.08.2020 (22 pages)
download: manuscript (355K)
 Luca, Florian
Abstract: In this paper, we prove that there are at most finitely many pairs of Fibonacci numbers $(x,y)=(F_m,F_n)$ with the property that $m\le n$ and the pair $(m,n)\not\in \{(1,2r1),~(1,2),~(2,2r+1),~(2r+1,2r+3): r\ge 1\}$ such that
$(x,y,z)$ is a Markov triple for some integer $z$. received 30.06.2020, accepted 26.07.2020 (33 pages)
download: manuscript (369K)
 Alzer H., Kwong M.K. and Sandor J.
Abstract: We present several inequalities involving the primecounting function $\pi(x)$. Here, we give two examples of our results. We show that
$$
\frac{16}{9} \pi(x)\pi(y)\leq \pi^2(x+y)
$$
is valid for all integers $x,y\geq 2$. The constant factor $16/9$ is best possible. The special case $x=y$ leads to
$$
\frac{4}{3}\leq \frac{\pi(2x)}{\pi(x)} \quad (x=2,3,...),
$$
where the lower bound $4/3$ is sharp. This complements Landau's wellknown inequality
$$
\frac{\pi(2x)}{\pi(x)}\leq 2 \quad (x=2,3,...).
$$
Moreover, we prove that the inequality
$$
\Bigl(2\frac{\pi(x+y)}{x+y}\Bigr)^s \leq \Bigl( \frac{\pi(x)}{x}\Bigr)^s + \Bigl(\frac{\pi(y)}{y}\Bigr)^s
\quad (0< s\in \mathbb{R})
$$
holds for all integers $x,y\geq 2$ if and only if $s\leq s_0=0.94745...$. Here, $s_0$ is the only positive solution of
$$
\Bigl( \frac{16}{7}\Bigr)^t \Bigl( \frac{6}{5}\Bigr)^t=1.
$$ received 04.02.2020, accepted 20.07.2020 (15 pages)
download: manuscript (267K)
 Ito, Akio
Abstract: We consider the following system consisting of one strongly nonlinear partial differential inclusion (PDI in short)
with one linear PDE and one ODE, which describes a tumor invasion phenomenon with a haptotaxis effect and was originally
proposed in [Chaplain and Anderson, Mathematical modelling of tissue invasion, ``Cancer modelling and simulation'',
269297, Chapman & Hall/CRC Math. Biol. Med. Ser., Chapman & Hall/CRC,
Boca Raton, FL, 2003]:
\begin{equation*}
\left\{
\begin{array}{l}
u_t\nabla \cdot (d_u (v) \nabla \beta (v\,;w)u \nabla \lambda (v))+\beta (v\,;u) \ni 0,\\
v_t=avw,\\
w_t=d_w \Delta w bw+cu.
\end{array}
\right.
\end{equation*}
This system has two interesting characteristics.
One is that the diffusion coefficient $d_u$ for the unknown function $u$ in the partial differential inclusion depends on
the function $v$, which is also unknown in this system.
The other is that the diffusion flux $\nabla \beta (v\,;u)$ of $u$ also depends on $v$.
Moreover, we are especially interested in the case that $\beta (v\,;u)$ is nonsmooth and degenerate in general under
suitable assumptions.
These facts make it difficult for us to treat this system mathematically.
In order to overcome these mathematical difficulties, we apply the theory of evolution inclusions on the real Hilbert space
$V^*$, the dual space of $V$, with a quasivariational structure for the inner products, which is
established in [A. Ito, Evolution inclusion on a real Hilbert space with quasivariational structure for inner products,
J. Convex Analysis, 26 (2019), 11851252],
and show the existence of time global solutions to the initialboundary value problem for this system. received 05.03.2020, accepted 11.07.2020 (64 pages)
download: manuscript (287K)
 Nakagawa, Takahiro
Abstract: We consider a differential system $x\frac{d}{dx} Y=GY$, where $G$ is a $m\times m$ matrix whose coefficients are power series which converge and are bounded on the open unit disc $D(0,1^)$.
Assume that $G(0)$ is a diagonal matrix with $p$adic integer coefficients.
Then there exists a solution matrix of the form $Y=F \exp(G(0)\log x)$ at $x=0$ if all exponent differences are $p$adically nonLiouville numbers.
We give an example where $F$ is analytic on the $p$adic open unit disc and has loggrowth grater than $m$.
Under some conditions, we prove that
if a solution matrix at a generic point has loggrowth $\delta$, then $F$ has loggrowth $\delta$. received 11.12.2019, accepted 02.07.2020 (6 pages)
download: manuscript (121K)
 MoretBailly, Laurent
Abstract: Given a valuation ring $V$, with residue field $F$ and value group $\Gamma$, we give a sufficient condition for a local ring dominating $V$ to be a valuation ring with the same value group. When $V$ contains a field $k$, we apply this result to the problem of constructing a valuation ring $W$ containing $V$ and a prescribed extension $k'$ of $k$, with value group $\Gamma$ and residue field generated by $k'$ and $F$; this is possible in particular when either $k'$ or $F$ is separable over $k$. received 16.03.2020, accepted 18.06.2020 (14 pages)
download: manuscript (474K)
 DanCohen, Ishai and Schlank, Tomer
Abstract: We develop the foundations of commutative algebra objects in the category of motives, which we call ``motivic dga's''. Work of White and of CisinskiD\'eglise provides us with a suitable model structure. This enables us to reconstruct the unipotent fundamental group of a pointed scheme from the associated augmented motivic dga, and provides us with a factorization of Kim's relative unipotent section conjecture into several smaller conjectures with a homotopical flavor. received 03.02.2020, accepted 06.06.2020 (53 pages)
download: manuscript (264K)
 Onoue, Fumihiko
Abstract: We consider the nonexistence of minimizers for the energy containing a nonlocal perimeter with a general kernel $K$, a Riesz potential, and a background potential in $\mathbb{R}^N$ with $N\geq2$ under the volume constraint. We show that the energy has no minimizer for a sufficiently large volume under suitable assumptions on $K$. The proof is based on the partition of a minimizer and the comparison of the sum of the energy for each part with the energy for the original configuration.
received 14.04.2020, accepted 03.06.2020 (27 pages)
download: manuscript (176K)
 Cortissoz, Jean C
Abstract: In this paper we give a proof via the contraction mapping principle of a Blochtype theorem for (normalised) heat BochnerTakahashi $K$mappings, that is, mappings that are solutions to the heat equation, and which also satisfy a weak form of $K$quasiregularity. We also provide estimates from below for the radius of the univalent balls covered by this family of functions.
received 05.02.2020, accepted 16.05.2020 (20 pages)
download: manuscript (307K)
 Lodh, Remi
Abstract: Given a torsor $P$ under a principally polarised abelian scheme $J$, projective over a noetherian base, we use the Picard scheme of $P$ to write down an explicit extension of $\mathbb{Z}$ by $J$ giving the class of $P$. As an application we give a version of Bhatt's periodindex result valid over an arbitrary noetherian base. received 02.03.2020, accepted 07.04.2020 (10 pages)
download: manuscript (303K)
 Suzuki, Mami
Abstract: As far as the author knows it seems that an existence theorem of a solution of a general nonlinear $q$difference equation is not known. In this paper we will investigate
a nonlinear second order $q$difference equation whose characteristic equation has only one solution and will show analytic general solutions of such an equation.
Further we will show an example. received 17.02.2020, accepted 26.03.2020 (23 pages)
download: manuscript (283K)
 Lee E.W.H., Rhodes J. and Steinberg B.
Abstract: A pseudovariety of semigroups is join irreducible if whenever it is contained in the complete join of some pseudovarieties, then it is contained in one of the pseudovarieties. A finite semigroup is join irreducible if it generates a join irreducible pseudovariety. New finite $\mathscr{J}$trivial semigroups $\mathcal{C}_n$ ($n \geq 2$) are exhibited with the property that while each $\mathcal{C}_n$ is not join irreducible, the monoid $\mathcal{C}_n^I$ is join irreducible. The monoids $\mathcal{C}_n^I$ are the first examples of join irreducible $\mathscr{J}$trivial semigroups that generate pseudovarieties that are not selfdual.
Several sufficient conditions are also established under which a finite semigroup is not join irreducible. Based on these results, join irreducible pseudovarieties generated by a $\mathscr{J}$trivial semigroup of order up to six are completely described. It turns out that besides known examples and those generated by $\mathcal{C}_2^I$ and its dual monoid, there are no further examples. received 18.07.2019, accepted 24.03.2020 (26 pages)
download: manuscript (406K)
 Charytanowicz K.Cieślak W. and Mozgawa W.
Abstract: A special formula for the total mean curvature of an ovaloid is derived. This formula allows us to extend the notion of the mean curvature to the class of boundaries of strictly convex sets. Moreover, some integral formula for ovaloids is proved. received 30.08.2019, accepted 18.03.2020 (6 pages)
download: manuscript (1839K)
 Crivei, Septimiu and Keskin Tutuncu, Derya and Tribak, Rachid
Abstract: We introduce and investigate (dual) relative split objects
with respect to a fully invariant short exact sequence in abelian categories.
We compare them with (dual) relative Rickart objects,
and we study their behaviour with respect to coproducts and
classes all of whose objects are (dual) relative split.
We also introduce and study (dual) strongly relative split objects.
Applications are given to Grothendieck categories, module and comodule categories. received 02.04.2018, accepted 16.03.2020 (26 pages)
download: manuscript (412K)
printerfriendly version
