$$I_0$$ and combinatorics at $$\lambda ^+$$λ+

We investigate the compatibility of \(I_0\) with various combinatorial principles at \(\lambda ^+\), which include the existence of \(\lambda ^+\)-Aronszajn trees, square principles at \(\lambda \), the existence of good scales at \(\lambda \), stationary reflections for subsets of \(\lambda ^{+}\), diamond principles at \(\lambda \) and the singular cardinal hypothesis at \(\lambda \). We also discuss whether these principles can hold in \(L(V_{\lambda +1})\).     

Weighted limits in an $$(\infty ,1)$$ ( ∞ , 1 ) -category

We introduce the notion of weighted limit in an arbitrary quasi-category, suitably generalizing ordinary limits in a quasi-category, and classical weighted limits in an ordinary category. This is accomplished by generalizing Joyal’s approach: we identify a meaningful construction for the quasi-category of weighted cones over a diagram in a quasi-category, whose terminal object is the weighted limit of the considered diagram. We then show that each weighted limit can be expressed as an ordinary limit. When the quasi-category arises as the homotopy coherent nerve of a category enriched over Kan complexes, we generalize an argument by Riehl-Verity to show that the weighted limit agrees with the homotopy weighted limit in the sense of enriched category theory, for which explicit constructions are available. When the quasi-category is complete, tensored and cotensored over the quasi-category of spaces, we discuss a possible comparison of our definition of weighted limit with the approach by Gepner-Haugseng-Nikolaus.

     

The polynomial–exponential equation $$1+2^a+6^b=y^q$$ 1 + 2 a + 6 b = y q

Periodica Mathematica Hungarica - We solve the equation of the title for $$q=3$$ and, partially, for $$q=2$$ . These are the only prime values of q for which there exist integer solutions. Our...     

Evaluation of Series Involving the Product of the Tail of $${\zeta(k)}$$ and $${\zeta(k+1)}$$ζ(k+1)

We aim at evaluating the following class of series involving the product of the tail of two consecutive zeta function values

$$\sum\limits_{n=1}^{\infty}\left(\zeta(k)-1-\frac{1}{2^k}-\cdots-\frac{1}{n^k}\right)\left(\zeta(k+1)-1-\frac{1}{2^{k+1}}-\cdots-\frac{1}{n^{k+1}}\right),$$

where \({k\geq 2}\) is an integer. We show that the series can be expressed in terms of Riemann zeta function values and a special integral involving a polylogarithm function.

     

$$L^p$$ Christoffel–Minkowski problem: the case $$1< p<k+1$$1<p<k+1

We consider a fully nonlinear partial differential equation associated to the intermediate \(L^p\) Christoffel–Minkowski problem in the case \(1<p<k+1\). We establish the existence of convex body with prescribed k-th even p-area measure on \(\mathbb S^n\), under an appropriate assumption on the prescribed function. We construct examples to indicate certain geometric condition on the prescribed function is needed for the existence of smooth strictly convex body. We also obtain \(C^{1,1}\) regularity estimates for admissible solutions of the equation when \( p\ge \frac{k+1}{2}\).     

When is a symplectic quotient an orbifold?

Let K be a compact Lie group of positive dimension. We show that for most unitary K-modules the corresponding symplectic quotient is not regularly symplectomorphic to a linear symplectic orbifold (the quotient of a unitary module of a finite group). When K is connected, we show that even a symplectomorphism to a linear symplectic orbifold does not exist. Our results yield conditions that preclude the symplectic quotient of a Hamiltonian K  -manifold from being locally isomorphic to an orbifold. As an application, we determine which unitary _SU2${\mathrm{SU}}_2$-modules yield symplectic quotients that are Z⁺${\mathbb{Z}}^{+}$-graded regularly symplectomorphic to a linear symplectic orbifold. We similarly determine which unitary circle representations yield symplectic quotients that admit a regular diffeomorphism to a linear symplectic orbifold.     

A simpler proof of a Katsurada’s theorem and rapidly converging series for $$\zeta {(2n+1)}$$ ζ ( 2 n + 1 ) and $$\beta {(2n)}$$ β ( 2 n )

Annali di Matematica Pura ed Applicata (1923 -) - In a recent work on Euler-type formulae for even Dirichlet beta values, i.e., $$\beta {(2n)}$$ , I have derived an exact closed-form expression for...     

Complete classification of finite semigroups for which the inverse monoid of local automorphisms is a $$\varDelta $$ Δ -semigroup

Semigroup Forum - A semigroup S is called a $$\varDelta $$ -semigroup if the lattice of its congruences forms a chain relative to the inclusion. A local automorphism of a semigroup S is defined as...     

Universality is a Σ 1 1 -complete property

Our purpose in this article is to prove that if ? ∞ < a < b < ∞, then the set of all sequences with terms in C([a, b], ?) which posses a universal element is Σ ₁ ¹ -complete in C([a, b], ?)^?.     

The Beckman-Quarles theorem for mappings from ℝ2 to $${\mathbb{F}}^2 $$ , where F is a subfield of a commutative field extending ℝ, where F is a subfield of a commutative field extending ℝ

Let F be a subfield of a commutative field extending ℝ. Let We say thatf : preserves distanced ≥ 0 if for eachx,y ∈ ℝ ∣x- y∣= d implies ϕ₂(f(x),f(y)) = d² . We prove that each unit-distance preserving mappingf : has a formI o (ρ,ρ), where is a field homomorphism and is an affine mapping with orthogonal linear part.     

What is the probability an automorphism fixes a group element?

Extending the notion of probability to the automorphisms of a group, we find the probability of an arbitrarily chosen automorphism of a group fixing an arbitrary element of the group.     

When is a Sum of Annihilator Ideals an Annihilator Ideal?

We call a ring R a right SA-ring if for any ideals I and J of R there is an ideal K of R such that r(I) + r(J) = r(K). This class of rings is exactly the class of rings for which the lattice of right annihilator ideals is a sublattice of the lattice of ideals. The class of right SA-rings includes all quasi-Baer (hence all Baer) rings and all right IN-rings (hence all right selfinjective rings). This class is closed under direct products, full and upper triangular matrix rings, certain polynomial rings, and two-sided rings of quotients. The right SA-ring property is a Morita invariant. For a semiprime ring R, it is shown that R is a right SA-ring if and only if R is a quasi-Baer ring if and only if r(I) + r(J) = r(I ∩ J) for all ideals I and J of R if and only if Spec(R) is extremally disconnected. Examples are provided to illustrate and delimit our results.     

$${\overline{1}}$$ 1 ¯ -Evaluating linear functionals on function spaces

Positivity - Let C(X) denotes the Riesz algebra of all real valued continuous functions on a Tychonoff space X, and let L be a vector subspace of C(X). A linear functional $$H:L\rightarrow {\mathbb...     

The Intrinsic π-Operator on Domain Manifolds in $${\mathbb{C}^{n+1}}$$

The main aim of this article is to study the hypercomplex π-operator over \mathbbCⁿ⁺¹{\mathbb{C}^{n+1}} via real, compact, n + 1-dimensional manifolds called domain manifolds. We introduce an intrinsic Dirac operator for such types of domain manifolds and define an intrinsic π-operator, study its mapping properties and introduce a Clifford–Beltrami equation in this context.     

Quantization in $$*$$ ∗ -algebras and an algebraic analog of Arveson’s extension theorem

Positivity - In this paper our main goal is showing that many of quantization results in functional analysis are rather algebraic. Following Esslamzadeh and Taleghani (Linear Algebra Appl...     

具有性质cr+1=3,ar+1=3a+1或 4a的(a+1,3)型距离正则图

设г是直径为d且型为(a 1,3)的距离正则图,其中a≥2.用l(c,a,b)表示交叉阵列ι(г)中列(c,a,6)t的个数,记r=r(г)=l(c1,a1,b1),8=8(г)=l(Cr 1,ar 1,br 1)及t=t(г)=l(cr s 1,ar s 1,br s 1).那末,若Cr 1=3,ar 1=4a或3a 1,则d=r t 2.     

Quantitative weakly compact sets and Banach-Saks sets in $$\ell _1$$ ℓ 1

Archiv der Mathematik - In this paper, we show a quantitative version of the theorem stating that relatively weakly compact sets in $$\ell _1$$ coincide with those having the Banach-Saks property....     

Associate space with respect to a locally $$\sigma $$-finite measure on a $$\delta $$δ-ring and applications to spaces of integrable functions defined by a vector measure

We show that for a locally \(\sigma \)-finite measure \(\mu \) defined on a \(\delta \)-ring, the associate space theory can be developed as in the \(\sigma \)-finite case, and corresponding properties are obtained. Given a saturated \(\sigma \)-order continuous \(\mu \)-Banach function space E, we prove that its dual space can be identified with the associate space \(E ^\times \) if, and only if, \(E^\times \) has the Fatou property. Applying the theory to the spaces \(L^p (\nu )\) and \(L_w^p (\nu )\), where \(\nu \) is a vector measure defined on a \(\delta \)-ring \(\mathcal {R}\) and \(1 \le p < \infty \), we establish results corresponding to those of the case when the vector measure is defined on a \(\sigma \)-algebra.     

不等式1/a+1/b≥4/(a+b)的应用

由不等式a2+b2≥2ab,我们可以得到(a+b)2≥4ab.当a,b∈R+时,容易得到a+b/ab≥4a+b,即1a+1b≥4a+b.这又是一个非常有用的基本不等式,下面我们用这个不等式来处理几个问题,看看它的威力。