Illinois Journal of Mathematics Articles (Project Euclid)
http://projecteuclid.org/euclid.ijm
The latest articles from Illinois Journal of Mathematics on Project Euclid, a site for mathematics and statistics resources.en-usCopyright 2010 Cornell University LibraryEuclid-L@cornell.edu (Project Euclid Team)Thu, 05 Aug 2010 15:41 EDTWed, 09 Mar 2011 09:09 ESThttp://projecteuclid.org/collection/euclid/images/logo_linking_100.gifProject Euclid
http://projecteuclid.org/
Hilbertian matrix cross normed spaces arising from normed ideals
http://projecteuclid.org/euclid.ijm/1264170836
<strong>Takahiro Ohta</strong><p><strong>Source: </strong>Illinois J. Math., Volume 53, Number 1, 1--24.</p><p><strong>Abstract:</strong><br/>
Generalizing Pisier’s idea, we introduce a Hilbertian matrix cross normed space associated with a pair of symmetric normed ideals. When the two ideals coincide, we show that our construction gives an operator space if and only if the ideal is the Schatten class. In general, a pair of symmetric normed ideals that are not necessarily the Schatten class may give rise to an operator space. We study the space of completely bounded mappings between the matrix cross normed spaces obtained in this way and show that the multiplicator norm naturally appears as the completely bounded norm.
</p>projecteuclid.org/euclid.ijm/1264170836_Thu, 05 Aug 2010 15:41 EDTThu, 05 Aug 2010 15:41 EDTThe coordinate ring of a simple polyominohttp://projecteuclid.org/euclid.ijm/1446819295<strong>Jürgen Herzog</strong>, <strong>Sara Saeedi Madani</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 981--995.</p><p><strong>Abstract:</strong><br/>
In this paper, it is shown that a polyomino is balanced if and only if it is simple. As a consequence, one obtains that the coordinate ring of a simple polyomino is a normal Cohen–Macaulay domain.
</p>projecteuclid.org/euclid.ijm/1446819295_20151106091459Fri, 06 Nov 2015 09:14 ESTCohomological consequences of the pattern maphttp://projecteuclid.org/euclid.ijm/1446819296<strong>Praise Adeyemo</strong>, <strong>Frank Sottile</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 997--1008.</p><p><strong>Abstract:</strong><br/>
Billey and Braden defined maps on flag manifolds that are the geometric counterpart of permutation patterns. A section of their pattern map is an embedding of the flag manifold of a Levi subgroup into the full flag manifold. We give two expressions for the induced map on cohomology. One is in terms of generators and the other is in terms of the Schubert basis. We show that the coefficients in the second expression are naturally Schubert structure constants and therefore positive. Similar results hold for $K$-theory, generalizing known formulas in type $A$ for cohomology and $K$-theory.
</p>projecteuclid.org/euclid.ijm/1446819296_20151106091459Fri, 06 Nov 2015 09:14 ESTHyperbolic space has strong negative typehttp://projecteuclid.org/euclid.ijm/1446819297<strong>Russell Lyons</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1009--1013.</p><p><strong>Abstract:</strong><br/>
It is known that hyperbolic spaces have strict negative type, a condition on the distances of any finite subset of points. We show that they have strong negative type, a condition on every probability distribution of points (with integrable distance to a fixed point). This implies that the function of expected distances to points determines the probability measure uniquely. It also implies that the distance covariance test for stochastic independence, introduced by Székely, Rizzo and Bakirov, is consistent against all alternatives in hyperbolic spaces. We prove this by showing an analogue of the Cramér–Wold device.
</p>projecteuclid.org/euclid.ijm/1446819297_20151106091459Fri, 06 Nov 2015 09:14 ESTSchwarz–Pick type estimates of pluriharmonic mappings in the unit polydiskhttp://projecteuclid.org/euclid.ijm/1446819298<strong>Shaolin Chen</strong>, <strong>Antti Rasila</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1015--1024.</p><p><strong>Abstract:</strong><br/>
In this paper, we will give Schwarz–Pick type estimates of arbitrary order partial derivatives for bounded pluriharmonic mappings defined in the unit polydisk. Our main results are generalizations of results of Colonna for planar harmonic mappings in ( Indiana Univ. Math. J. 38 (1989) 829–840).
</p>projecteuclid.org/euclid.ijm/1446819298_20151106091459Fri, 06 Nov 2015 09:14 ESTLittlewood–Paley operators and Sobolev spaceshttp://projecteuclid.org/euclid.ijm/1446819299<strong>Shuichi Sato</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1025--1039.</p><p><strong>Abstract:</strong><br/>
We prove some weighted estimates for two kinds of Littlewood–Paley operators related to the Riesz potentials, which can be used to characterize the weighted Sobolev spaces. Also, we show the boundedness from the weighted Hardy space $H^{1}_{w}$ to the weighted weak $L^{1}$ space of a Littlewood–Paley operator arising from spherical means.
</p>projecteuclid.org/euclid.ijm/1446819299_20151106091459Fri, 06 Nov 2015 09:14 ESTCoefficient ideals in dimension twohttp://projecteuclid.org/euclid.ijm/1446819300<strong>A. Kohlhaas</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1041--1053.</p><p><strong>Abstract:</strong><br/>
We describe coefficient ideals for both $(x,y)$-primary monomial ideals in $k[x,y]$ and $\mathfrak{m}$-primary ideals in two-dimensio-nal regular local rings $(R,\mathfrak{m})$ by linking them to certain ideals of reduction number one. In the monomial case, we then explicitly determine the generators of a coefficient ideal by showing their symmetric relationship to the generators of the associated reduction number one ideal.
</p>projecteuclid.org/euclid.ijm/1446819300_20151106091459Fri, 06 Nov 2015 09:14 EST2-local triple derivations on von Neumann algebrashttp://projecteuclid.org/euclid.ijm/1446819301<strong>Karimbergen Kudaybergenov</strong>, <strong>Timur Oikhberg</strong>, <strong>Antonio M. Peralta</strong>, <strong>Bernard Russo</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1055--1069.</p><p><strong>Abstract:</strong><br/>
We prove that every (not necessarily linear nor continuous) 2-local triple derivation on a von Neumann algebra $M$ is a triple derivation, equivalently, the set $\operatorname{Der}_{t}(M)$, of all triple derivations on $M$, is algebraically 2-reflexive in the set $\mathcal{M}(M)=M^{M}$ of all mappings from $M$ into $M$.
</p>projecteuclid.org/euclid.ijm/1446819301_20151106091459Fri, 06 Nov 2015 09:14 ESTP-mapping spaces for p-operator spaces on $L_{p}$ spaceshttp://projecteuclid.org/euclid.ijm/1446819302<strong>Y. F. Zhao</strong>, <strong>Z. Dong</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1071--1091.</p><p><strong>Abstract:</strong><br/>
In this paper, we introduce p-mapping spaces for p-operator spaces on $L_{p}$ spaces, which can be regarded as p-generalization of mapping spaces for operator spaces. We then apply p-mapping spaces to study the p-local reflexivity for p-operator spaces on $L_{p}$ spaces.
</p>projecteuclid.org/euclid.ijm/1446819302_20151106091459Fri, 06 Nov 2015 09:14 ESTDuality of uniform approximation property in operator spaceshttp://projecteuclid.org/euclid.ijm/1446819303<strong>Yanqi Qiu</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1093--1105.</p><p><strong>Abstract:</strong><br/>
The duality of uniform approximation property for Banach spaces is well known. In this note, we establish, under the assumption of local reflexivity, the duality of uniform approximation property in the category of operator spaces.
</p>projecteuclid.org/euclid.ijm/1446819303_20151106091459Fri, 06 Nov 2015 09:14 ESTKorovkin-type properties for completely positive mapshttp://projecteuclid.org/euclid.ijm/1446819304<strong>Craig Kleski</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1107--1116.</p><p><strong>Abstract:</strong><br/>
Let $S$ be an operator system in $B(H)$ and let $A$ be its generated $C^{*}$-algebra. We give a new characterization of Arveson’s unique extension property for unital completely positive maps on $S$. We also show that when $A$ is a Type I $C^{\ast}$-algebra, if every irreducible representation of $A$ is a boundary representation for $S$, then every unital completely positive map on $A$ with codomain $A"$ that fixes $S$ also fixes $A$.
</p>projecteuclid.org/euclid.ijm/1446819304_20151106091459Fri, 06 Nov 2015 09:14 ESTIntrinsic ultracontractivity for general Lévy processes on bounded open setshttp://projecteuclid.org/euclid.ijm/1446819305<strong>Xin Chen</strong>, <strong>Jian Wang</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 58, Number 4, 1117--1144.</p><p><strong>Abstract:</strong><br/>
We prove that a general (not necessarily symmetric) Lévy process killed on exiting a bounded open set (without regular condition on the boundary) is intrinsically ultracontractive, provided that $B(0,R_{0})\subseteq\operatorname{supp} (\nu)$ for some constant $R_{0}>0$, where $\operatorname{supp} (\nu)$ denotes the support of the associated Lévy measure $\nu$. For a symmetric Lévy process killed on exiting a bounded Hölder domain of order $0$, we also obtain the intrinsic ultracontractivity under much weaker assumption on the associated Lévy measure.
</p>projecteuclid.org/euclid.ijm/1446819305_20151106091459Fri, 06 Nov 2015 09:14 ESTA new interpolation approach to spaces of Triebel–Lizorkin typehttp://projecteuclid.org/euclid.ijm/1455203156<strong>Peer Christian Kunstmann</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 1--19.</p><p><strong>Abstract:</strong><br/>
We introduce in this paper new interpolation methods for closed subspaces of Banach function spaces. For $q\in[1,\infty]$, the $l^{q}$-interpolation method allows to interpolate linear operators that have bounded $l^{q}$-valued extensions. For $q=2$ and if the Banach function spaces are $r$-concave for some $r<\infty$, the method coincides with the Rademacher interpolation method that has been used to characterize boundedness of the $H^{\infty}$-functional calculus. As a special case, we obtain Triebel–Lizorkin spaces $F^{2\theta}_{p,q}(\mathbb{R}^{d})$ by $l^{q}$-interpolation between $L^{p}(\mathbb{R}^{d})$ and $W^{2}_{p}(\mathbb{R}^{d})$ where $p\in(1,\infty)$. A similar result holds for the recently introduced generalized Triebel–Lizorkin spaces associated with $R_{q}$-sectorial operators in Banach function spaces. So, roughly speaking, for the scale of Triebel–Lizorkin spaces our method thus plays the role the real interpolation method plays in the theory of Besov spaces.
</p>projecteuclid.org/euclid.ijm/1455203156_20160211100611Thu, 11 Feb 2016 10:06 ESTGeometry of Grushin spaceshttp://projecteuclid.org/euclid.ijm/1455203157<strong>Jang-Mei Wu</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 21--41.</p><p><strong>Abstract:</strong><br/>
We compare the Grushin geometry to Euclidean geometry, through quasisymmetric parametrization, bilipschitz parametrization and bilipschitz embedding, highlighting the role of the exponents and the fractal nature of the singular hyperplanes in Grushin geometry.
</p>projecteuclid.org/euclid.ijm/1455203157_20160211100611Thu, 11 Feb 2016 10:06 ESTA half-space theorem for graphs of constant mean curvature $0<H<\frac{1}{2}$ in $\mathbb{H}^{2}\times\mathbb{R}$http://projecteuclid.org/euclid.ijm/1455203158<strong>L. Mazet</strong>, <strong>G. A. Wanderley</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 43--53.</p><p><strong>Abstract:</strong><br/>
We study a half-space problem related to graphs in $\mathbb{H}^{2}\times\mathbb{R}$, where $\mathbb{H}^{2}$ is the hyperbolic plane, having constant mean curvature $H$ defined over unbounded domains in $\mathbb{H}^{2}$.
</p>projecteuclid.org/euclid.ijm/1455203158_20160211100611Thu, 11 Feb 2016 10:06 ESTWall-crossing and invariants of higher rank Joyce–Song stable pairshttp://projecteuclid.org/euclid.ijm/1455203159<strong>Artan Sheshmani</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 55--83.</p><p><strong>Abstract:</strong><br/>
We introduce a higher rank analog of the Joyce–Song theory of stable pairs. Given a nonsingular projective Calabi–Yau threefold $X$, we define the higher rank Joyce–Song pairs given by ${O}^{\oplus r}_{X}(-n)\rightarrow F$ where $F$ is a pure coherent sheaf with one dimensional support, $r>1$ and $n\gg0$ is a fixed integer. We equip the higher rank pairs with a Joyce–Song stability condition and compute their associated invariants using the wallcrossing techniques in the category of “ weakly ” semistable objects.
</p>projecteuclid.org/euclid.ijm/1455203159_20160211100611Thu, 11 Feb 2016 10:06 ESTInvariant Basis Number for $C^{*}$-algebrashttp://projecteuclid.org/euclid.ijm/1455203160<strong>Philip M. Gipson</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 85--98.</p><p><strong>Abstract:</strong><br/>
We develop the ring-theoretic notion of Invariant Basis Number in the context of unital $C^{*}$-algebras and their Hilbert $C^{*}$-modules. Characterization of $C^{*}$-algebras with Invariant Basis Number is given in $K$-theoretic terms, closure properties of the class of $C^{*}$-algebras with Invariant Basis Number are given, and examples of $C^{*}$-algebras both with and without the property are explored. For $C^{*}$-algebras without Invariant Basis Number, we determine structure in terms of a “Basis Type” and describe a class of $C^{*}$-algebras which are universal in an appropriate sense. We conclude by investigating properties which are strictly stronger than Invariant Basis Number.
</p>projecteuclid.org/euclid.ijm/1455203160_20160211100611Thu, 11 Feb 2016 10:06 ESTThe quadratic complete intersections associated with the action of the symmetric grouphttp://projecteuclid.org/euclid.ijm/1455203161<strong>Tadahito Harima</strong>, <strong>Akihito Wachi</strong>, <strong>Junzo Watanabe</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 99--113.</p><p><strong>Abstract:</strong><br/>
We prove that any quadratic complete intersection with a certain action of the symmetric group has the strong Lefschetz property over a field of characteristic zero. Furthermore, we discuss under what conditions its ring of invariants by a Young subgroup is a homogeneous complete intersection with a standard grading.
</p>projecteuclid.org/euclid.ijm/1455203161_20160211100611Thu, 11 Feb 2016 10:06 ESTLooking out for Frobenius summands on a blown-up surface of $\mathbb{P}^{2}$http://projecteuclid.org/euclid.ijm/1455203162<strong>Nobuo Hara</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 115--142.</p><p><strong>Abstract:</strong><br/>
For an algebraic variety $X$ in characteristic $p>0$, the push-forward $F^{e}_{*}\mathcal{O}_{X}$ of the structure sheaf by an iterated Frobenius endomorphism $F^{e}$ is closely related to the geometry of $X$. We study the decomposition of $F^{e}_{*}\mathcal{O}_{X}$ into direct summands when $X$ is obtained by blowing up the projective plane $\mathbb{P}^{2}$ at four points in general position. We explicitly describe the decomposition of $F^{e}_{*}\mathcal{O}_{X}$ and show that there appear only finitely many direct summands up to isomorphism, when $e$ runs over all positive integers. We also prove that these summands generate the derived category $D^{b}(X)$. On the other hand, we show that there appear infinitely many distinct indecomposable summands of iterated Frobenius push-forwards on a ten-point blowup of $\mathbb{P}^{2}$.
</p>projecteuclid.org/euclid.ijm/1455203162_20160211100611Thu, 11 Feb 2016 10:06 ESTLong range correlation inequalities for massless Euclidean fieldshttp://projecteuclid.org/euclid.ijm/1455203163<strong>Joseph G. Conlon</strong>, <strong>Arash Fahim</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 143--187.</p><p><strong>Abstract:</strong><br/>
In this paper, new correlation inequalities are obtained for massless Euclidean fields on the $d$ dimensional integer lattice. Some of the inequalities have been obtained previously, in the case where the Lagrangian is a very small perturbation of a quadratic, using the renormalization group method. The results of the present paper apply provided the Lagrangian is uniformly convex. They therefore hold for the Coulomb dipole gas in which particle density can be of order $1$. The approach of the present paper is based on the methodology of Naddaf–Spencer, which relates second moment correlation functions for the Euclidean field to expectations of Green’s functions for parabolic PDE with random coefficients.
</p>projecteuclid.org/euclid.ijm/1455203163_20160211100611Thu, 11 Feb 2016 10:06 ESTFixed curves near fixed pointshttp://projecteuclid.org/euclid.ijm/1455203164<strong>Alastair Fletcher</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 189--217.</p><p><strong>Abstract:</strong><br/>
Let $H$ be a composition of an $\mathbb{R}$-linear planar mapping and $z\mapsto z^{n}$. We classify the dynamics of $H$ in terms of the parameters of the $\mathbb{R}$-linear mapping and the degree by associating a certain finite Blaschke product. We apply this classification to this situation where $z_{0}$ is a fixed point of a planar quasiregular mapping with constant complex dilatation in a neighbourhood of $z_{0}$. In particular, we find how many curves there are that are fixed by $f$ and that land at $z_{0}$.
</p>projecteuclid.org/euclid.ijm/1455203164_20160211100611Thu, 11 Feb 2016 10:06 ESTUniqueness results for noncommutative spheres and projective spaceshttp://projecteuclid.org/euclid.ijm/1455203165<strong>Teodor Banica</strong>, <strong>Szabolcs Mészáros</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 219--233.</p><p><strong>Abstract:</strong><br/>
It is known that, under strong combinatorial axioms, $O_{N}\subset O_{N}^{*}\subset O_{N}^{+}$ are the only orthogonal quantum groups. We prove here similar results for the noncommutative spheres $S^{N-1}_{\mathbb{R}}\subset S^{N-1}_{\mathbb{R},*}\subset S^{N-1}_{\mathbb{R},+}$, the noncommutative projective spaces $P^{N-1}_{\mathbb{R}}\subset P^{N-1}_{\mathbb{C}}\subset P^{N-1}_{+}$, and the projective orthogonal quantum groups $PO_{N}\subset PO_{N}^{*}\subset PO_{N}^{+}$.
</p>projecteuclid.org/euclid.ijm/1455203165_20160211100611Thu, 11 Feb 2016 10:06 ESTLimit theorems for some critical superprocesseshttp://projecteuclid.org/euclid.ijm/1455203166<strong>Yan-Xia Ren</strong>, <strong>Renming Song</strong>, <strong>Rui Zhang</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 1, 235--276.</p><p><strong>Abstract:</strong><br/>
Let $X=\{X_{t},t\ge0;\mathbb{P}_{\mu}\}$ be a critical superprocess starting from a finite measure $\mu$. Under some conditions, we first prove that $\lim_{t\to\infty}t{ \mathbb{P}}_{\mu}(\Vert X_{t}\Vert \ne0)=\nu^{-1}\langle\phi_{0},\mu\rangle$, where $\phi_{0}$ is the eigenfunction corresponding to the first eigenvalue of the infinitesimal generator $L$ of the mean semigroup of $X$, and $\nu$ is a positive constant. Then we show that, for a large class of functions $f$, conditioning on $\Vert X_{t}\Vert \ne0$, $t^{-1}\langle f,X_{t}\rangle$ converges in distribution to $\langle f,\psi_{0}\rangle_{m}W$, where $W$ is an exponential random variable, and $\psi_{0}$ is the eigenfunction corresponding to the first eigenvalue of the dual of $L$. Finally, if $\langle f,\psi_{0}\rangle_{m}=0$, we prove that, conditioning on $\Vert X_{t}\Vert \ne0$, $(t^{-1}\langle\phi_{0},X_{t}\rangle,t^{-1/2}\langle f,X_{t}\rangle )$ converges in distribution to $(W,G(f)\sqrt{W})$, where $G(f)\sim\mathcal{N}(0,\sigma_{f}^{2})$ is a normal random variable, and $W$ and $G(f)$ are independent.
</p>projecteuclid.org/euclid.ijm/1455203166_20160211100611Thu, 11 Feb 2016 10:06 ESTJulia’s equation and differential transcendencehttp://projecteuclid.org/euclid.ijm/1462450701<strong>Matthias Aschenbrenner</strong>, <strong>Walter Bergweiler</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 277--294.</p><p><strong>Abstract:</strong><br/>
We show that the iterative logarithm of each non-linear entire function is differentially transcendental over the ring of entire functions, and we give a sufficient criterion for such an iterative logarithm to be differentially transcendental over the ring of convergent power series. Our results apply, in particular, to the exponential generating function of a sequence arising from work of Shadrin and Zvonkine on Hurwitz numbers.
</p>projecteuclid.org/euclid.ijm/1462450701_20160505081831Thu, 05 May 2016 08:18 EDTAlgebraic properties of small Hankel operators on the harmonic Bergman spacehttp://projecteuclid.org/euclid.ijm/1462450702<strong>Yong Chen</strong>, <strong>Wei He</strong>, <strong>Yunzhong Hu</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 295--317.</p><p><strong>Abstract:</strong><br/>
This paper completely characterizes the commuting problem of two small Hankel operators acting on the harmonic Bergman space with the symbols one being bounded and another being quasihomogeneous, or both being harmonic. The characterizations for semi-commuting problem and the product of two small Hankel operators being another small Hankel operator for certain class of symbols are also obtained.
</p>projecteuclid.org/euclid.ijm/1462450702_20160505081831Thu, 05 May 2016 08:18 EDTElliptic curves on Abelian varietieshttp://projecteuclid.org/euclid.ijm/1462450703<strong>Robert Auffarth II</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 319--336.</p><p><strong>Abstract:</strong><br/>
Given a principally polarized Abelian variety $(A,\Theta)$, we give a characterization of all elliptic curves that lie on $A$ in terms of intersection numbers of divisor classes in its Néron–Severi group.
</p>projecteuclid.org/euclid.ijm/1462450703_20160505081831Thu, 05 May 2016 08:18 EDTA Schauder basis for $L_{1}(0,\infty)$ consisting of non-negative functionshttp://projecteuclid.org/euclid.ijm/1462450704<strong>William B. Johnson</strong>, <strong>Gideon Schechtman</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 337--344.</p><p><strong>Abstract:</strong><br/>
We construct a Schauder basis for $L_{1}$ consisting of non-negative functions and investigate unconditionally basic and quasibasic sequences of non-negative functions in $L_{p}$, $1\le p<\infty$.
</p>projecteuclid.org/euclid.ijm/1462450704_20160505081831Thu, 05 May 2016 08:18 EDTOn solvable subgroups of the Cremona grouphttp://projecteuclid.org/euclid.ijm/1462450705<strong>Julie Déserti</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 345--358.</p><p><strong>Abstract:</strong><br/>
The Cremona group $\operatorname{Bir}(\mathbb{P}^{2}_{\mathbb{C}})$ is the group of birational self-maps of $\mathbb{P}^{2}_{\mathbb{C}}$. Using the action of $\operatorname{Bir}(\mathbb{P}^{2}_{\mathbb{C}})$ on the Picard-Manin space of $\mathbb{P}^{2}_{\mathbb{C}}$, we characterize its solvable subgroups. If $\mathrm{G}\subset\operatorname{Bir}(\mathbb{P}^{2}_{\mathbb{C}})$ is solvable, nonvirtually Abelian, and infinite, then up to finite index: either any element of $\mathrm{G}$ is of finite order or conjugate to an automorphism of $\mathbb{P}^{2}_{\mathbb{C}}$, or $\mathrm{G}$ preserves a unique fibration that is rational or elliptic, or $\mathrm{G}$ is, up to conjugacy, a subgroup of the group generated by one hyperbolic monomial map and the diagonal automorphisms.
We also give some corollaries.
</p>projecteuclid.org/euclid.ijm/1462450705_20160505081831Thu, 05 May 2016 08:18 EDTAn alternate description of the Szlenk index with applicationshttp://projecteuclid.org/euclid.ijm/1462450706<strong>R. M. Causey</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 359--390.</p><p><strong>Abstract:</strong><br/>
We discuss an alternate method for computing the Szlenk index of an arbitrary $w^{*}$ compact subset of the dual of a Banach space. We discuss consequences of this method as well as offer simple, alternative proofs of a number of results already found in the literature.
</p>projecteuclid.org/euclid.ijm/1462450706_20160505081831Thu, 05 May 2016 08:18 EDTNonsimple polyominoes and prime idealshttp://projecteuclid.org/euclid.ijm/1462450707<strong>Takayuki Hibi</strong>, <strong>Ayesha Asloob Qureshi</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 391--398.</p><p><strong>Abstract:</strong><br/>
It is known that the polyomino ideal arising from a simple polyomino comes from a finite bipartite graph and, in particular, it is a prime ideal. A class of nonsimple polyominoes $\mathcal{P}$ for which the polyomino ideal $I_{\mathcal{P}}$ is a prime ideal and for which $I_{\mathcal{P}}$ cannot come from a finite simple graph will be presented.
</p>projecteuclid.org/euclid.ijm/1462450707_20160505081831Thu, 05 May 2016 08:18 EDTMinimal genus of links and fibering of canonical surfaceshttp://projecteuclid.org/euclid.ijm/1462450708<strong>A. Stoimenow</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 399--448.</p><p><strong>Abstract:</strong><br/>
This paper contains some further applications of the study of knot diagrams by genus. Introducing a procedure of regularization for knot generators, and using invariants derived from the Jones polynomial (degrees, congruences, and the Fiedler–Polyak–Viro Gauß diagram formulas for its Vassiliev invariants), we examine the existence of genus-minimizing diagrams for almost alternating and almost positive knots. In particular, we examine the existence of such knots such that either all or none of their almost alternating/positive diagrams have the minimal genus property. We prove that the genus of almost positive non-split links is determined by the Alexander polynomial.
</p>projecteuclid.org/euclid.ijm/1462450708_20160505081831Thu, 05 May 2016 08:18 EDTUnique pseudo-expectations for $C^{*}$-inclusionshttp://projecteuclid.org/euclid.ijm/1462450709<strong>David R. Pitts</strong>, <strong>Vrej Zarikian</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 449--483.</p><p><strong>Abstract:</strong><br/>
Given an inclusion $\mathcal{D}\subseteq\mathcal{C}$ of unital $C^{*}$-algebras (with common unit), a unital completely positive linear map $\Phi$ of $\mathcal{C}$ into the injective envelope $I(\mathcal{D})$ of $\mathcal{D}$ which extends the inclusion of $\mathcal{D}$ into $I(\mathcal{D})$ is a pseudo-expectation. Pseudo-expectations are generalizations of conditional expectations, but with the advantage that they always exist. The set $\operatorname{PsExp}(\mathcal{C},\mathcal{D})$ of all pseudo-expectations is a convex set, and when $\mathcal{D}$ is Abelian, we prove a Krein–Milman type theorem showing that $\operatorname{PsExp}(\mathcal{C},\mathcal{D})$ can be recovered from its set of extreme points. In general, $\operatorname{PsExp}(\mathcal{C},\mathcal{D})$ is not a singleton. However, there are large and natural classes of inclusions (e.g., when $\mathcal{D}$ is a regular MASA in $\mathcal{C}$) such that there is a unique pseudo-expectation. Uniqueness of the pseudo-expectation typically implies interesting structural properties for the inclusion. For general inclusions of $C^{*}$-algebras with $\mathcal{D}$ Abelian, we give a characterization of the unique pseudo-expectation property in terms of order structure; and when $\mathcal{C}$ is Abelian, we are able to give a topological description of the unique pseudo-expectation property.
As applications, we show that if an inclusion $\mathcal{D}\subseteq\mathcal{C}$ has a unique pseudo-expectation $\Phi$ which is also faithful, then the$C^{*}$-envelope of any operator space $\mathcal{X}$ with $\mathcal{D}\subseteq\mathcal{X}\subseteq\mathcal{C}$ is the $C^{*}$-subalgebra of $\mathcal{C}$ generated by $\mathcal{X}$; we also show that for many interesting classes of $C^{*}$-inclusions, having a faithful unique pseudo-expectation implies that $\mathcal{D}$ norms $\mathcal{C}$, although this is not true in general.
</p>projecteuclid.org/euclid.ijm/1462450709_20160505081831Thu, 05 May 2016 08:18 EDTWell-posedness of the martingale problem for superprocess with interactionhttp://projecteuclid.org/euclid.ijm/1462450710<strong>Leonid Mytnik</strong>, <strong>Jie Xiong</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 485--497.</p><p><strong>Abstract:</strong><br/>
We consider the martingale problem for superprocess with interactive immigration mechanism. The uniqueness of the solution to this martingale problem is established using the strong uniqueness of the solution to a corresponding SPDE, which is obtained by an extended version of the Yamada–Watanabe argument.
</p>projecteuclid.org/euclid.ijm/1462450710_20160505081831Thu, 05 May 2016 08:18 EDTOn a linearized p -Laplace equation with rapidly oscillating coefficientshttp://projecteuclid.org/euclid.ijm/1462450711<strong>Harri Varpanen</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 2, 499--529.</p><p><strong>Abstract:</strong><br/>
Related to a conjecture of Tom Wolff, we solve a singular Neumann problem for a linearized $p$-Laplace equation in the unit disk.
</p>projecteuclid.org/euclid.ijm/1462450711_20160505081831Thu, 05 May 2016 08:18 EDTNormality preserving operations for Cantor series expansions and associated fractals, Ihttp://projecteuclid.org/euclid.ijm/1475266396<strong>Dylan Airey</strong>, <strong>Bill Mance</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 531--543.</p><p><strong>Abstract:</strong><br/>
It is well known that rational multiplication preserves normality in base $b$. We study related normality preserving operations for the $Q$-Cantor series expansions. In particular, we show that while integer multiplication preserves $Q$-distribution normality, it fails to preserve $Q$-normality in a particularly strong manner. We also show that $Q$-distribution normality is not preserved by non-integer rational multiplication on a set of zero measure and full Hausdorff dimension.
</p>projecteuclid.org/euclid.ijm/1475266396_20160930161325Fri, 30 Sep 2016 16:13 EDTExistence result for a class of quasilinear elliptic equations with ($p$-$q$)-Laplacian and vanishing potentialshttp://projecteuclid.org/euclid.ijm/1475266397<strong>M. J. Alves</strong>, <strong>R. B. Assunção</strong>, <strong>O. H. Miyagaki</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 545--575.</p><p><strong>Abstract:</strong><br/>
The main purpose of this paper is to establish the existence of positive solutions to a class of quasilinear elliptic equations involving the ($p$-$q$)-Laplacian operator. We consider a nonlinearity that can be subcritical at infinity and supercritical at the origin; we also consider potential functions that can vanish at infinity. The approach is based on variational arguments dealing with the mountain-pass lemma and an adaptation of the penalization method. In order to overcome the lack of compactness, we modify the original problem and the associated energy functional. Finally, to show that the solution of the modified problem is also a solution of the original problem we use an estimate obtained by the Moser iteration scheme.
</p>projecteuclid.org/euclid.ijm/1475266397_20160930161325Fri, 30 Sep 2016 16:13 EDTTensor products of measurable operatorshttp://projecteuclid.org/euclid.ijm/1475266398<strong>M. Anoussis</strong>, <strong>V. Felouzis</strong>, <strong>I. G. Todorov</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 577--595.</p><p><strong>Abstract:</strong><br/>
We introduce and study a stability property for submodules of measurable operators and Calkin spaces and characterize the tensor stable singly generated Calkin spaces. Given semifinite von Neumann algebras $(\mathcal{M},\tau)$, $(\mathcal{N},\sigma)$ and corresponding measurable operators $S$, $T$, we provide a necessary and sufficient condition for the operator $S\otimes T$ to be measurable with respect to $(\mathcal{M}\otimes\mathcal{N},\tau\otimes\sigma)$.
</p>projecteuclid.org/euclid.ijm/1475266398_20160930161325Fri, 30 Sep 2016 16:13 EDTExpansive actions of countable amenable groups, homoclinic pairs, and the Myhill propertyhttp://projecteuclid.org/euclid.ijm/1475266399<strong>Tullio Ceccherini-Silberstein</strong>, <strong>Michel Coornaert</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 597--621.</p><p><strong>Abstract:</strong><br/>
Let $X$ be a compact metrizable space equipped with a continuous action of a countable amenable group $G$. Suppose that the dynamical system $(X,G)$ is expansive and is the quotient by a uniformly bounded-to-one factor map of a strongly irreducible subshift. Let $\tau\colon X\to X$ be a continuous map commuting with the action of $G$. We prove that if there is no pair of distinct $G$-homoclinic points in $X$ having the same image under $\tau$ then $\tau$ is surjective.
</p>projecteuclid.org/euclid.ijm/1475266399_20160930161325Fri, 30 Sep 2016 16:13 EDTLusternik–Schnirelmann category for cell complexes and posetshttp://projecteuclid.org/euclid.ijm/1475266400<strong>Kohei Tanaka</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 623--636.</p><p><strong>Abstract:</strong><br/>
This paper introduces two analogues of the Lusternik–Schnirelmann category from a combinatorial viewpoint. One analogue is defined for finite cell complexes using their subcomplexes and simple homotopy theory; the other is an invariant for finite posets with respect to simple equivalence based on the notion of weak beat points. We examine the relation between these two invariants by taking the face posets of complexes or order complexes of posets.
</p>projecteuclid.org/euclid.ijm/1475266400_20160930161325Fri, 30 Sep 2016 16:13 EDTNotes on the linearity defect and applicationshttp://projecteuclid.org/euclid.ijm/1475266401<strong>Hop D. Nguyen</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 637--662.</p><p><strong>Abstract:</strong><br/>
The linearity defect, introduced by Herzog and Iyengar, is a numerical measure for the complexity of minimal free resolutions. Employing a characterization of the linearity defect due to Şega, we study the behavior of linearity defect along short exact sequences. We point out two classes of short exact sequences involving Koszul modules, along which linearity defect behaves nicely. We also generalize the notion of Koszul filtrations from the graded case to the local setting. Among the applications, we prove that if $R\to S$ is a surjection of noetherian local rings such that $S$ is a Koszul $R$-module, and $N$ is a finitely generated $S$-module, then the linearity defect of $N$ as an $R$-module is the same as its linearity defect as an $S$-module. In particular, we confirm that specializations of absolutely Koszul algebras are again absolutely Koszul, answering positively a question due to Conca, Iyengar, Nguyen and Römer.
</p>projecteuclid.org/euclid.ijm/1475266401_20160930161325Fri, 30 Sep 2016 16:13 EDTA random pointwise ergodic theorem with Hardy field weightshttp://projecteuclid.org/euclid.ijm/1475266402<strong>Ben Krause</strong>, <strong>Pavel Zorin-Kranich</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 663--674.</p><p><strong>Abstract:</strong><br/>
Let $a_{n}$ be the random increasing sequence of natural numbers which takes each value independently with probability $n^{-a}$, $0<a<1/2$, and let $p(n)=n^{1+\varepsilon}$, $0<\varepsilon<1$. We prove that, almost surely, for every measure-preserving system $(X,T)$ and every $f\in L^{1}(X)$ the modulated, random averages
\[\frac{1}{N}\sum_{n=1}^{N}e(p(n))T^{a_{n}(\omega)}f\] converge to 0 pointwise almost everywhere.
</p>projecteuclid.org/euclid.ijm/1475266402_20160930161325Fri, 30 Sep 2016 16:13 EDTIdeals generated by principal minorshttp://projecteuclid.org/euclid.ijm/1475266403<strong>Ashley K. Wheeler</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 675--689.</p><p><strong>Abstract:</strong><br/>
A minor is principal means it is defined by the same row and column indices. We study ideals generated by principal minors of size $t\leq n$ of a generic $n\times n$ matrix $X$, in the polynomial ring generated over an algebraically closed field by the entries of $X$. When $t=2$ the resulting quotient ring is a normal complete intersection domain. We show for any $t$, upon inverting $\det X$ the ideals given respectively by the size $t$ and the size $n-t$ principal minors become isomorphic. From that we show the algebraic set given by the size $n-1$ principal minors has a codimension $4$ component defined by the determinantal ideal, plus a codimension $n$ component. When $n=4$ the two components are linked, and in fact, geometrically linked.
</p>projecteuclid.org/euclid.ijm/1475266403_20160930161325Fri, 30 Sep 2016 16:13 EDTTwisted Reidemeister torsion and the Thurston norm: Graph manifolds and finite representationshttp://projecteuclid.org/euclid.ijm/1475266404<strong>Stefan Friedl</strong>, <strong>Matthias Nagel</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 691--705.</p><p><strong>Abstract:</strong><br/>
We show that the Thurston norm of any irreducible 3-manifold can be detected using twisted Reidemeister torsions corresponding to integral representations and also corresponding to representations over finite fields. In particular, our result holds for all graph manifolds, these are not covered by the earlier work of the first author and Vidussi.
</p>projecteuclid.org/euclid.ijm/1475266404_20160930161325Fri, 30 Sep 2016 16:13 EDTCompact composition operators with symbol a universal covering map onto a multiply connected domainhttp://projecteuclid.org/euclid.ijm/1475266405<strong>Matthew M. Jones</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 707--715.</p><p><strong>Abstract:</strong><br/>
We generalise previous results of the author concerning the compactness of composition operators on the Hardy spaces $H^{p}$, $1\leq p<\infty$, whose symbol is a universal covering map from the unit disk in the complex plane to general finitely connected domains. We demonstrate that the angular derivative criterion for univalent symbols extends to this more general case. We further show that compactness in this setting is equivalent to compactness of the composition operator induced by a univalent mapping onto the interior of the outer boundary component of the multiply connected domain.
</p>projecteuclid.org/euclid.ijm/1475266405_20160930161325Fri, 30 Sep 2016 16:13 EDTA refinement of analytic characterizations of gaugeability for generalized Feynman–Kac functionalshttp://projecteuclid.org/euclid.ijm/1475266406<strong>Daehong Kim</strong>, <strong>Mila Kurniawaty</strong>, <strong>Kazuhiro Kuwae</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 717--771.</p><p><strong>Abstract:</strong><br/>
We relax the conditions for measures in our previous paper [Analytic characterizations of gaugeability for generalized Feynman–Kac functionals (2016) Preprint] on analytic characterizations of (conditional) gaugeability for generalized Feynman–Kac functionals in the framework of symmetric Markov processes. The analytic characterization is also equivalent to the maximum principle for generalized Feynman–Kac semigroups, extending the result by Takeda [The bottom of the spectrum of time-changed processes and the maximum principle of Schrödinger operators (2015) Preprint].
</p>projecteuclid.org/euclid.ijm/1475266406_20160930161325Fri, 30 Sep 2016 16:13 EDTAn isoperimetric inequality for an integral operator on flat torihttp://projecteuclid.org/euclid.ijm/1475266407<strong>Braxton Osting</strong>, <strong>Jeremy Marzuola</strong>, <strong>Elena Cherkaev</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 773--793.</p><p><strong>Abstract:</strong><br/>
We consider a class of Hilbert–Schmidt integral operators with an isotropic, stationary kernel acting on square integrable functions defined on flat tori. For any fixed kernel which is positive and decreasing, we show that among all unit-volume flat tori, the equilateral torus maximizes the operator norm and the Hilbert–Schmidt norm.
</p>projecteuclid.org/euclid.ijm/1475266407_20160930161325Fri, 30 Sep 2016 16:13 EDTModel theory and the QWEP conjecturehttp://projecteuclid.org/euclid.ijm/1475266408<strong>Isaac Goldbring</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 795--799.</p><p><strong>Abstract:</strong><br/>
We observe that Kirchberg’s QWEP conjecture is equivalent to the statement that $C^{*}(\mathbb{F})$ is elementarily equivalent to a QWEP C$^{*}$ algebra. We also make a few other model-theoretic remarks about WEP and LLP C$^{*}$ algebras.
</p>projecteuclid.org/euclid.ijm/1475266408_20160930161325Fri, 30 Sep 2016 16:13 EDTA note on reduced and von Neumann algebraic free wreath productshttp://projecteuclid.org/euclid.ijm/1475266409<strong>Jonas Wahl</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 801--817.</p><p><strong>Abstract:</strong><br/>
We study operator algebraic properties of the reduced and von Neumann algebraic versions of the free wreath products $\mathbb{G}\wr_{*}S_{N}^{+}$, where $\mathbb{G}$ is a compact matrix quantum group. Based on recent results on their corepresentation theory by Lemeux and Tarrago in [Lemeux and Tarrago (2014)], we prove that $\mathbb{G}\wr_{*}S_{N}^{+}$ is of Kac type whenever $\mathbb{G}$ is, and that the reduced version of $\mathbb{G}\wr_{*}S_{N}^{+}$ is simple with unique trace state whenever $N\geq8$. Moreover, we prove that the reduced von Neumann algebra of $\mathbb{G}\wr_{*}S_{N}^{+}$ does not have property $\Gamma$.
</p>projecteuclid.org/euclid.ijm/1475266409_20160930161325Fri, 30 Sep 2016 16:13 EDTHolomorphic functional calculus on upper triangular forms in finite von Neumann algebrashttp://projecteuclid.org/euclid.ijm/1475266410<strong>K. Dykema</strong>, <strong>F. Sukochev</strong>, <strong>D. Zanin</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 3, 819--824.</p><p><strong>Abstract:</strong><br/>
The decompositions of an element of a finite von Neumann algebra into the sum of a normal operator plus an s.o.t.-quasinilpotent operator, obtained using the Haagerup–Schultz hyperinvariant projections, behave well with respect to holomorphic functional calculus.
</p>projecteuclid.org/euclid.ijm/1475266410_20160930161325Fri, 30 Sep 2016 16:13 EDTDecompositions of rational functions over real and complex numbers and a question about invariant curveshttp://projecteuclid.org/euclid.ijm/1488186011<strong>Peter Müller</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 825--838.</p><p><strong>Abstract:</strong><br/>
We consider the connection of functional decompositions of rational functions over the real and complex numbers, and a question about curves in the complex plane which are invariant under a rational function.
</p>projecteuclid.org/euclid.ijm/1488186011_20170227040113Mon, 27 Feb 2017 04:01 ESTOn a quantum version of Ellis joint continuity theoremhttp://projecteuclid.org/euclid.ijm/1488186012<strong>Biswarup Das</strong>, <strong>Colin Mrozinski</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 839--858.</p><p><strong>Abstract:</strong><br/>
We give a necessary and sufficient condition on a compact semitopological quantum semigroup which turns it into a compact quantum group. We give two applications of our results: a “noncommutative” version of Ellis joint continuity theorem for semitopological groups, a corollary to which is a new C∗-algebraic proof of the theorem for classical semitopological semigroup; we also investigate the question of the existence of the Haar state on a compact semitopological quantum semigroup and prove a “noncommutative” version of the converse Haar’s theorem.
</p>projecteuclid.org/euclid.ijm/1488186012_20170227040113Mon, 27 Feb 2017 04:01 ESTStretching factors, metrics and train tracks for free productshttp://projecteuclid.org/euclid.ijm/1488186013<strong>Stefano Francaviglia</strong>, <strong>Armando Martino</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 859--899.</p><p><strong>Abstract:</strong><br/>
In this paper, we develop the metric theory for the outer space of a free product of groups. This generalizes the theory of the outer space of a free group, and includes its relative versions. The outer space of a free product is made of $G$-trees with possibly non-trivial vertex stabilisers. The strategies are the same as in the classical case, with some technicalities arising from the presence of infinite-valence vertices.
We describe the Lipschitz metric and show how to compute it; we prove the existence of optimal maps; we describe geodesics represented by folding paths.
We show that train tracks representative of irreducible (hence hyperbolic) automorphisms exist and that their are metrically characterized as minimal displaced points, showing in particular that the set of train tracks is closed (in particular, answering to some questions raised in Axis in outer space (2011) concerning the axis bundle of irreducible automorphisms).
Finally, we include a proof of the existence of simplicial train tracks map without using Perron-Frobenius theory.
A direct corollary of this general viewpoint is an easy proof that relative train track maps exist in both the free group and free product case.
</p>projecteuclid.org/euclid.ijm/1488186013_20170227040113Mon, 27 Feb 2017 04:01 ESTExtending Huppert’s conjecture from non-Abelian simple groups to quasi-simple groupshttp://projecteuclid.org/euclid.ijm/1488186014<strong>Nguyen Ngoc Hung</strong>, <strong>Philani R. Majozi</strong>, <strong>Hung P. Tong-Viet</strong>, <strong>Thomas P. Wakefield</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 901--924.</p><p><strong>Abstract:</strong><br/>
We propose to extend a conjecture of Bertram Huppert [ Illinois J. Math. 44 (2000) 828–842] from finite non-Abelian simple groups to finite quasi-simple groups. Specifically, we conjecture that if a finite group $G$ and a finite quasi-simple group $H$ with ${\mathrm{Mult}}(H/\mathbf{Z}(H))$ cyclic have the same set of irreducible character degrees (not counting multiplicity), then $G$ is isomorphic to a central product of $H$ and an Abelian group. We present a pattern to approach this extended conjecture and, as a demonstration, we confirm it for the special linear groups in dimensions $2$ and $3$.
</p>projecteuclid.org/euclid.ijm/1488186014_20170227040113Mon, 27 Feb 2017 04:01 ESTOn metrics of curvature $1$ with four conic singularities on tori and on the spherehttp://projecteuclid.org/euclid.ijm/1488186015<strong>Alexandre Eremenko</strong>, <strong>Andrei Gabrielov</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 925--947.</p><p><strong>Abstract:</strong><br/>
We discuss conformal metrics of curvature $1$ on tori and on the sphere, with four conic singularities whose angles are multiples of $\pi$. Besides some general results we study in detail the family of such symmetric metrics on the sphere, with angles $(\pi,3\pi,\pi,3\pi)$. As a consequence we find new Heun’s equations whose general solution is algebraic.
</p>projecteuclid.org/euclid.ijm/1488186015_20170227040113Mon, 27 Feb 2017 04:01 ESTBoundedness of a family of Hilbert-type operators and its Bergman-type analoguehttp://projecteuclid.org/euclid.ijm/1488186016<strong>Justice S. Bansah</strong>, <strong>Benoît F. Sehba</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 949--977.</p><p><strong>Abstract:</strong><br/>
In this paper, we first consider boundedness properties of a family of operators generalizing the Hilbert operator in the upper triangle case. In the diagonal case, we give the exact norm of these operators under some restrictions on the parameters. Second, we consider boundedness properties of a family of positive Bergman-type operators of the upper-half plane. We give necessary and sufficient conditions on the parameters under which these operators are bounded in the upper triangle case.
</p>projecteuclid.org/euclid.ijm/1488186016_20170227040113Mon, 27 Feb 2017 04:01 ESTSpectrally unstable domainshttp://projecteuclid.org/euclid.ijm/1488186017<strong>Gerardo A. Mendoza</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 979--997.</p><p><strong>Abstract:</strong><br/>
Let $H$ be a separable Hilbert space, $A_{c}:\mathcal{D}_{c}\subset H\to H$ a densely defined unbounded operator, bounded from below, let $\mathcal{D}_{\min}$ be the domain of the closure of $A_{c}$ and $\mathcal{D}_{\max}$ that of the adjoint. Assume that $\mathcal{D}_{\max}$ with the graph norm is compactly contained in $H$ and that $\mathcal{D}_{\min}$ has finite positive codimension in $\mathcal{D}_{\max}$. Then the set of domains of selfadjoint extensions of $A_{c}$ has the structure of a finite-dimensional manifold $\mathfrak{SA}$ and the spectrum of each of its selfadjoint extensions is bounded from below. If $\zeta$ is strictly below the spectrum of $A$ with a given domain $\mathcal{D}_{0}\in\mathfrak{SA}$, then $\zeta$ is not in the spectrum of $A$ with domain $\mathcal{D}\in\mathfrak{SA}$ near $\mathcal{D}_{0}$. But $\mathfrak{SA}$ contains elements $\mathcal{D}_{0}$ with the property that for every neighborhood $U$ of $\mathcal{D}_{0}$ and every $\zeta\in\mathbb{R}$ there is $\mathcal{D}\in U$ such that $\operatorname{spec}(A_{\mathcal{D} })\cap(-\infty,\zeta)\neq\emptyset$. We characterize these “spectrally unstable” domains as being those satisfying a nontrivial relation with the domain of the Friedrichs extension of $A_{c}$.
</p>projecteuclid.org/euclid.ijm/1488186017_20170227040113Mon, 27 Feb 2017 04:01 ESTThue equations and latticeshttp://projecteuclid.org/euclid.ijm/1488186018<strong>Jeffrey Lin Thunder</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 999--1023.</p><p><strong>Abstract:</strong><br/>
We consider Diophantine equations of the kind $|F(x,y)|=m$, where $F(X,Y)\in\mathbb{Z}[X,Y]$ is a homogeneous polynomial of degree at least 3 that has non-zero discriminant, $m$ is a fixed positive integer and $x,y$ are relatively prime integer solutions. Our results improve upon previous theorems due to Bombieri and Schmidt and also Stewart. We further provide reasonable heuristics for conjectures of Schmidt and Stewart regarding such equations.
</p>projecteuclid.org/euclid.ijm/1488186018_20170227040113Mon, 27 Feb 2017 04:01 ESTAbstract convolution function algebras over homogeneous spaces of compact groupshttp://projecteuclid.org/euclid.ijm/1488186019<strong>Arash Ghaani Farashahi</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 1025--1042.</p><p><strong>Abstract:</strong><br/>
This paper presents a systematic study for structure of abstract Banach function $*$-algebras over homogeneous spaces of compact groups. Let $G$ be a compact group and $H$ be a closed subgroup of $G$. Let $\mu$ be the normalized $G$-invariant measure over the homogeneous space $G/H$ associated to the Weil’s formula and $1\leq p<\infty$. Then we introduce the notions of convolution and involution for the Banach function spaces $L^{p}(G/H,\mu)$.
</p>projecteuclid.org/euclid.ijm/1488186019_20170227040113Mon, 27 Feb 2017 04:01 ESTPreservation of $p$-Poincaré inequality for large $p$ under sphericalization and flatteninghttp://projecteuclid.org/euclid.ijm/1488186020<strong>Estibalitz Durand-Cartagena</strong>, <strong>Xining Li</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 1043--1069.</p><p><strong>Abstract:</strong><br/>
Li and Shanmugalingam showed that annularly quasiconvex metric spaces endowed with a doubling measure preserve the property of supporting a $p$-Poincaré inequality under the sphericalization and flattening procedures. Because natural examples such as the real line or a broad class of metric trees are not annularly quasiconvex, our aim in the present paper is to study, under weaker hypotheses on the metric space, the preservation of $p$-Poincaré inequalites under those conformal deformations for sufficiently large $p$. We propose the hypotheses used in a previous paper by the same authors, where the preservation of $\infty$-Poincaré inequality has been studied under the assumption of radially star-like quasiconvexity (for sphericalization) and meridian-like quasiconvexity (for flattening). To finish, using the sphericalization procedure, we exhibit an example of a Cheeger differentiability space whose blow up at a particular point is not a PI space.
</p>projecteuclid.org/euclid.ijm/1488186020_20170227040113Mon, 27 Feb 2017 04:01 ESTSufficient conditions for Strassen’s additivity conjecturehttp://projecteuclid.org/euclid.ijm/1488186021<strong>Zach Teitler</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 1071--1085.</p><p><strong>Abstract:</strong><br/>
We give a sufficient condition for the strong symmetric version of Strassen’s additivity conjecture: the Waring rank of a sum of forms in independent variables is the sum of their ranks, and every Waring decomposition of the sum is a sum of decompositions of the summands. We give additional sufficient criteria for the additivity of Waring ranks and a sufficient criterion for additivity of cactus ranks and decompositions.
</p>projecteuclid.org/euclid.ijm/1488186021_20170227040113Mon, 27 Feb 2017 04:01 ESTLong turns, INP’s and indices for free group automorphismshttp://projecteuclid.org/euclid.ijm/1488186022<strong>Thierry Coulbois</strong>, <strong>Martin Lustig</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 1087--1109.</p><p><strong>Abstract:</strong><br/>
The goal of this paper is to introduce a new tool, called long turns , which is a useful addition to the train track technology for automorphisms of free groups, in that it allows one to control periodic INPs in a train track map and hence the index of the induced automorphism.
</p>projecteuclid.org/euclid.ijm/1488186022_20170227040113Mon, 27 Feb 2017 04:01 ESTIndex realization for automorphisms of free groupshttp://projecteuclid.org/euclid.ijm/1488186023<strong>Thierry Coulbois</strong>, <strong>Martin Lustig</strong>. <p><strong>Source: </strong>Illinois Journal of Mathematics, Volume 59, Number 4, 1111--1128.</p><p><strong>Abstract:</strong><br/>
For any surface $\Sigma$ of genus $g\geq1$ and (essentially) any collection of positive integers $i_{1},i_{2},\ldots,i_{\ell}$ with $i_{1}+\cdots+i_{\ell}=4g-4$ Masur and Smillie ( Comment. Math. Helv. 68 (1993) 289–307) have shown that there exists a pseudo-Anosov homeomorphism $h:\Sigma\to\Sigma$ with precisely $\ell$ singularities $S_{1},\ldots,S_{\ell}$ in its stable foliation $\mathcal{L}$, such that $\mathcal{L}$ has precisely $i_{k}+2$ separatrices raying out from each $S_{k}$.
In this paper, we prove the analogue of this result for automorphisms of a free group ${F}_{N}$, where “pseudo-Anosov homeomorphism” is replaced by “fully irreducible automorphism” and the Gauss–Bonnet equality $i_{1}+\cdots+i_{\ell}=4g-4$ is replaced by the index inequality $i_{1}+\cdots+i_{\ell}\leq2N-2$ from ( Duke Math. J. 93 (1998) 425–452).
</p>projecteuclid.org/euclid.ijm/1488186023_20170227040113Mon, 27 Feb 2017 04:01 EST