On J. C. C. Nitsche type inequality for annuli on Riemann surfaces

Assume that (N, ?) and (M, S) are two Riemann surfaces with conformal metrics ? and S. We prove that if there is a harmonic homeomorphism between an annulus A ? N with a conformal modulus Mod(A) and a geodesic annulus A _S (p, ρ₁, ρ₂)?M, then we have ρ₂/ρ₁ ≥ Ψ _S Mod(A)²+ 1, where Ψ _S is a certain positive constant depending on the upper bound of Gaussian curvature of the metric S. An application for the minimal surfaces is given.     

Iterative processes based on block <Emphasis Type="Italic">H</Emphasis>-splittings

Block H-splittings of block square matrices (which, in general, have complex entries) are examined. It is shown that block H-matrices are the only ones that admit this type of splittings. Iterative processes corresponding to these splittings are proved to be convergent. The concept of a simple splitting of a block matrix is introduced, and the convergence of iterative processes related to simple splittings of block H-matrices is investigated. Multisplitting and nonstationary iterative processes based on block H-splittings are considered. Sufficient conditions for their convergence are derived, and some estimates for the asymptotic convergence rate are given.     

Koszulity and Koszul modules of dual extension algebras

Let A and B be algebras, and let T be the dual extension algebra of A and B. We provide a different method to prove that T is Koszul if and only if both A and B are Koszul. Furthermore, we prove that an algebra is Koszul if and only if one of its iterated dual extension algebras is Koszul, if and only if all its iterated dual extension algebras are Koszul. Finally, we give a necessary and sufficient condition for a dual extension algebra to have the property that all linearly presented modules are Koszul modules, which provides an effective way to construct algebras with such a property.     

A Minimum Principle for Potentials with Application to Chebyshev Constants

For “Riesz-like” kernels K(x,y) = f(|x?y|) on A×A, where A is a compact d-regular set \(A\subset \mathbb {R}^{p}\), we prove a minimum principle for potentials \(U_{K}^{\mu }=\int K(x,y)\textup {d}\mu (x)\), where μ is a Borel measure supported on A. Setting \(P_{K}(\mu )=\inf _{y\in A}U^{\mu }(y)\), the K-polarization of μ, the principle is used to show that if {ν _N } is a sequence of measures on A that converges in the weak-star sense to the measure ν, then P _K (ν _N )→P _K (ν) as \(N\to \infty \). The continuous Chebyshev (polarization) problem concerns maximizing P _K (μ) over all probability measures μ supported on A, while the N-point discrete Chebyshev problem maximizes P _K (μ) only over normalized counting measures for N-point multisets on A. We prove for such kernels and sets A, that if {ν _N } is a sequence of N-point measures solving the discrete problem, then every weak-star limit measure of ν _N as \(N \to \infty \) is a solution to the continuous problem.     

A Note on Generic Objects and Locally Finite Triangulated Categories

For a finite dimensional algebra A, we prove that the homotopy category of injective A-modules is generically trivial if and only if the derived category of all A-modules is generically trivial. Moreover we show some connections between the generic objects, locally finiteness and Krull-Gabriel dimension.     

Vertex finiteness for splittings of relatively hyperbolic groups

Consider a group G and a family A of subgroups of G. We say that vertex finiteness holds for splittings of G over A if, up to isomorphism, there are only finitely many possibilities for vertex stabilizers of minimal G-trees with edge stabilizers in A.     

On an open problem of Guo-Skiba

Let G be a finite group, and let A be a proper subgroup of G. Then any chief factor H/A _G of G is called a G-boundary factor of A. For any Gboundary factor H/A _G of A, the subgroup (A ∩ H)/A _G of G/ A _G is called a G-trace of A. In this paper, we prove that G is p-soluble if and only if every maximal chain of G of length 2 contains a proper subgroup M of G such that either some G-trace of M is subnormal or every G-boundary factor of M is a p′-group. This result give a positive answer to a recent open problem of Guo and Skiba. We also give some new characterizations of p-hypercyclically embedded subgroups.     

Positivity Criteria Generalizing the Leading Principal Minors Criterion

An n×n Hermitian matrix is positive definite if and only if all leading principal minors Δ₁, . . . ,Δ_n are positive. We show that certain sums δ _l of l × l principal minors can be used instead of Δ _l in this criterion. We describe all suitable sums δ _l for 3 × 3 Hermitian matrices. For an n×n Hermitian matrix A partitioned into blocks A _ij with square diagonal blocks, we prove that A is positive definite if and only if the following numbers σ _l are positive: σ _l is the sum of all l × l principal minors that contain the leading block submatrix [A _ij ] ^{k ?1} _{i,j =1} (if k > 1) and that are contained in [A _ij ] ^k _{i,j =1}, where k is the index of the block A _kk containing the (l, l) diagonal entry of A. We also prove that σ _l can be used instead of Δ _l in other inertia problems.     

On <Emphasis Type="Italic">MP</Emphasis>-closed saturated formations of finite groups

A class of groups F is called MP-closed, if it contains every group G = AB such that the F-subgroup A permutes with every subgroup of B and the F-subgroup B permutes with every subgroup of A. We prove that the formation F that contains the class of all supersoluble groups is MP-closed if and only if the formation F(p) is MP-closed for any prime number p, where F is a maximal inner local screen of F. In particular, we prove that the formation of all groups with supersoluble Schmidt subgroups is MP-closed.     

On semiconjugate rational functions

We investigate semiconjugate rational functions, that is rational functions A, B related by the functional equation \({A \circ X = X \circ B}\), where X is a rational function. We show that if A and B is a pair of such functions, then either A can be obtained from B by a certain iterative process, or A and B can be described in terms of orbifolds of non-negative Euler characteristic on the Riemann sphere.     

Injective objects of monomorphism categories

For an acyclic quiver Q and a finite-dimensional algebra A, we give a unified form of the indecomposable injective objects in the monomorphism category Mon(Q,A) and prove that Mon(Q,A) has enough injective objects.     

Invariants and rings of quotients of <Emphasis Type="Italic">H</Emphasis>-semiprime <Emphasis Type="Italic">H</Emphasis>-module algebras satisfying a polynomial identity

We consider an action of a finite-dimensional Hopf algebra H on a PI-algebra. We prove that an H-semiprime H-module algebra A has a Frobenius artinian classical ring of quotients Q, provided that A has a finite set of H-prime ideals with zero intersection. The ring of quotients Q is an H-semisimple H-module algebra and a finitely generated module over the subalgebra of central invariants. Moreover, if algebra A is a projective module of constant rank over its center, then A is integral over its subalgebra of central invariants.     

A Mayer–Vietoris Formula for Persistent Homology with an Application to Shape Recognition in the Presence of Occlusions

In algebraic topology it is well known that, using the Mayer–Vietoris sequence, the homology of a space X can be studied by splitting X into subspaces A and B and computing the homology of A, B, and A∩B. A natural question is: To what extent does persistent homology benefit from a similar property? In this paper we show that persistent homology has a Mayer–Vietoris sequence that is generally not exact but only of order 2. However, we obtain a Mayer–Vietoris formula involving the ranks of the persistent homology groups of X, A, B, and A∩B plus three extra terms. This implies that persistent homological features of A and B can be found either as persistent homological features of X or of A∩B. As an application of this result, we show that persistence diagrams are able to recognize an occluded shape by showing a common subset of points.     

Kirchberger-type theorems for separation by convex domains

We say that a convex set K in ? ^d strictly separates the set A from the set B if A ? int(K) and B ? cl K = ø. The well-known Theorem of Kirchberger states the following. If A and B are finite sets in ? ^d with the property that for every T ? A?B of cardinality at most d + 2, there is a half space strictly separating T ? A and T ? B, then there is a half space strictly separating A and B. In short, we say that the strict separation number of the family of half spaces in ? ^d is d + 2.In this note we investigate the problem of strict separation of two finite sets by the family of positive homothetic (resp., similar) copies of a closed, convex set. We prove Kirchberger-type theorems for the family of positive homothets of planar convex sets and for the family of homothets of certain polyhedral sets. Moreover, we provide examples that show that, for certain convex sets, the family of positive homothets (resp., the family of similar copies) has a large strict separation number, in some cases, infinity. Finally, we examine how our results translate to the setting of non-strict separation.     

Linear homotopy method for computing generalized tensor eigenpairs

Let m,m′, n be positive integers such that m ≠ m′. Let A be an mth order n-dimensional tensor, and let ? be an m′th order n-dimensional tensor. λ ∈ ? is called a ?-eigenvalue of A if A x^m?1 = λ?x^m′?1 and ?xm′= 1 for some x ∈ ?ⁿ\{0}. In this paper, we propose a linear homotopy method for solving this eigenproblem. We prove that the method finds all isolated ?-eigenpairs. Moreover, it is easy to implement. Numerical results are provided to show the efficiency of the proposed method.     

A characterization of linearly semisimple groups

Let G = SpecA be an affine K-group scheme and à = {w ∈ A*: dim _K A*·w < ∞, dim _K w· A* < ∞}. Let 〈?,?〉: A* × Ã → K, 〈w, \(\tilde w\)〉:=tr(w~w), be the trace form. We prove that G is linearly reductive if and only if the trace form is non-degenerate on A*.     

Non-triviality conditions for integer-valued polynomial rings on algebras

Let D be a commutative domain with field of fractions K and let A be a torsion-free D-algebra such that \(A \cap K = D\). The ring of integer-valued polynomials on A with coefficients in K is \( Int _K(A) = \{f \in K[X] \mid f(A) \subseteq A\}\), which generalizes the classic ring \( Int (D) = \{f \in K[X] \mid f(D) \subseteq D\}\) of integer-valued polynomials on D. The condition on \(A \cap K\) implies that \(D[X] \subseteq Int _K(A) \subseteq Int (D)\), and we say that \( Int _K(A)\) is nontrivial if \( Int _K(A) \ne D[X]\). For any integral domain D, we prove that if A is finitely generated as a D-module, then \( Int _K(A)\) is nontrivial if and only if \( Int (D)\) is nontrivial. When A is not necessarily finitely generated but D is Dedekind, we provide necessary and sufficient conditions for \( Int _K(A)\) to be nontrivial. These conditions also allow us to prove that, for D Dedekind, the domain \( Int _K(A)\) has Krull dimension 2.     

On the Pronormality of Subgroups of Odd Index in Some Extensions of Finite Groups

We study finite groups with the following property (*): All subgroups of odd index are pronormal. Suppose that G has a normal subgroup A with property (*), and the Sylow 2-subgroups of G/A are self-normalizing. We prove that G has property (*) if and only if so does N_G(T)/T, where T is a Sylow 2-subgroup of A. This leads to a few results that can be used for the classification of finite simple groups with property (*).     

Palindromic widths of nilpotent and wreath products

We prove that the nilpotent product of a set of groups A ₁,…,A _s has finite palindromic width if and only if the palindromic widths of A _i ,i=1,…,s,are finite. We give a new proof that the commutator width of F _n ?K is infinite, where F _n is a free group of rank n≥2 and K is a finite group. This result, combining with a result of Fink [9] gives examples of groups with infinite commutator width but finite palindromic width with respect to some generating set.     

Equivariant cohomology and localization for Lie algebroids

Let M be a manifold carrying the action of a Lie group G, and let A be a Lie algebroid on M equipped with a compatible infinitesimal G-action. Using these data, we construct an equivariant cohomology of A and prove a related localization formula for the case of compact G. By way of application, we prove an analog of the Bott formula.