Calabi-Yau manifolds with isolated conical singularities

Let \(X\) be a complex projective variety with only canonical singularities and with trivial canonical bundle. Let \(L\) be an ample line bundle on \(X\). Assume that the pair \((X,L)\) is the flat limit of a family of smooth polarized Calabi-Yau manifolds. Assume that for each singular point \(x \in X\) there exist a Kähler-Einstein Fano manifold \(Z\) and a positive integer \(q\) dividing \(K_{Z}\) such that \(-\frac{1}{q}K_{Z}\) is very ample and such that the germ \((X,x)\) is locally analytically isomorphic to a neighborhood of the vertex of the blow-down of the zero section of \(\frac{1}{q}K_{Z}\). We prove that up to biholomorphism, the unique weak Ricci-flat Kähler metric representing \(2\pi c_{1}(L)\) on \(X\) is asymptotic at a polynomial rate near \(x\) to the natural Ricci-flat Kähler cone metric on \(\frac{1}{q}K_{Z}\) constructed using the Calabi ansatz. In particular, our result applies if \((X, \mathcal{O}(1))\) is a nodal quintic threefold in \(\mathbf {P}^{4}\). This provides the first known examples of compact Ricci-flat manifolds with non-orbifold isolated conical singularities.     

On the additivity of block designs

We show that symmetric block designs \({\mathcal {D}}=({\mathcal {P}},{\mathcal {B}})\) can be embedded in a suitable commutative group \({\mathfrak {G}}_{\mathcal {D}}\) in such a way that the sum of the elements in each block is zero, whereas the only Steiner triple systems with this property are the point-line designs of \({\mathrm {PG}}(d,2)\) and \({\mathrm {AG}}(d,3)\). In both cases, the blocks can be characterized as the only k-subsets of \(\mathcal {P}\) whose elements sum to zero. It follows that the group of automorphisms of any such design \(\mathcal {D}\) is the group of automorphisms of \({\mathfrak {G}}_\mathcal {D}\) that leave \(\mathcal {P}\) invariant. In some special cases, the group \({\mathfrak {G}}_\mathcal {D}\) can be determined uniquely by the parameters of \(\mathcal {D}\). For instance, if \(\mathcal {D}\) is a 2-\((v,k,\lambda )\) symmetric design of prime order p not dividing k, then \({\mathfrak {G}}_\mathcal {D}\) is (essentially) isomorphic to \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\), and the embedding of the design in the group can be described explicitly. Moreover, in this case, the blocks of \(\mathcal {B}\) can be characterized also as the v intersections of \(\mathcal {P}\) with v suitable hyperplanes of \(({\mathbb {Z}}/p{\mathbb {Z}})^{\frac{v-1}{2}}\).     

Malcev products of unipotent monoids and varieties of bands

Let \(\mathcal{U}\) be the class of all unipotent monoids and \(\mathcal{B}\) the variety of all bands. We characterize the Malcev product \(\mathcal{U} \circ \mathcal{V}\) where \(\mathcal{V}\) is a subvariety of \(\mathcal{B}\) low in its lattice of subvarieties, \(\mathcal{B}\) itself and the subquasivariety \(\mathcal{S} \circ \mathcal{RB}\), where \(\mathcal{S}\) stands for semilattices and \(\mathcal{RB}\) for rectangular bands, in several ways including by a set of axioms. For members of some of them we describe the structure as well. This succeeds by using the relation \(\widetilde{\mathcal{H}}= \widetilde{\mathcal{L}} \cap \widetilde{\mathcal{R}}\), where \(a\;\,\widetilde{\mathcal{L}}\;\,b\) if and only if a and b have the same idempotent right identities, and \(\widetilde{\mathcal{R}}\) is its dual.We also consider \((\mathcal{U} \circ \mathcal{RB}) \circ \mathcal{S}\) which provides the motivation for this study since \((\mathcal{G} \circ \mathcal{RB}) \circ \mathcal{S}\) coincides with completely regular semigroups, where \(\mathcal{G}\) is the variety of all groups. All this amounts to a generalization of the latter: \(\mathcal{U}\) instead of \(\mathcal{G}\).     

Weighted $${{L^p}}$$-Liouville theorems for hypoelliptic partial differential operators on Lie groups

We prove weighted \({L^p}\)-Liouville theorems for a class of second-order hypoelliptic partial differential operators \({\mathcal{L}}\) on Lie groups \({\mathbb{G}}\) whose underlying manifold is \({n}\)-dimensional space. We show that a natural weight is the right-invariant measure \(\check{H}\) of \({\mathbb{G}}\). We also prove Liouville-type theorems for \({C^{2}}\) subsolutions in \({L^{p}(\mathbb{G},\check{H})}\). We provide examples of operators to which our results apply, jointly with an application to the uniqueness for the Cauchy problem for the evolution operator \({\mathcal{L}-\partial_{t}}\).     

A note on generalized skew derivations on Lie ideals

Let \(\mathcal {R}\) be a prime ring, \(\mathcal {Z(R)}\) its center, \(\mathcal {C}\) its extended centroid, \(\mathcal {L}\) a Lie ideal of \(\mathcal {R}, \mathcal {F}\) a generalized skew derivation associated with a skew derivation d and automorphism \(\alpha \). Assume that there exist \(t\ge 1\) and \(m,n\ge 0\) fixed integers such that \( vu = u^m\mathcal {F}(uv)^tu^n\) for all \(u,v \in \mathcal {L}\). Then it is shown that either \(\mathcal {L}\) is central or \(\mathrm{char}(\mathcal {R})=2, \mathcal {R}\subseteq \mathcal {M}_2(\mathcal {C})\), the ring of \(2\times 2\) matrices over \(\mathcal {C}, \mathcal {L}\) is commutative and \(u^2\in \mathcal {Z(R)}\), for all \(u\in \mathcal {L}\). In particular, if \(\mathcal {L}=[\mathcal {R,R}]\), then \(\mathcal {R}\) is commutative.     

Decorated marked surfaces: spherical twists versus braid twists

We are interested in the 3-Calabi-Yau categories \({\mathcal {D}}\) arising from quivers with potential associated to a triangulated marked surface \(\mathbf {S}\) (without punctures). We prove that the spherical twist group \(\mathrm{ST}\) of \({\mathcal {D}}\) is isomorphic to a subgroup (generated by braid twists) of the mapping class group of the decorated marked surface \({\mathbf {S}}_\bigtriangleup \). Here \({\mathbf {S}}_\bigtriangleup \) is the surface obtained from \(\mathbf {S}\) by decorating with a set of points, where the number of points equals the number of triangles in any triangulations of \(\mathbf {S}\). For instance, when \(\mathbf {S}\) is an annulus, the result implies that the corresponding spaces of stability conditions on \({\mathcal {D}}\) are contractible.     

Inflation of Finite Lattices Along All-or-nothing Sets

We introduce a new generalization of Alan Day’s doubling construction. For ordered sets \(\mathcal {L}\) and \(\mathcal {K}\) and a subset \(E \subseteq \ \leq _{\mathcal {L}}\) we define the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) arising from inflation of \(\mathcal {L}\) along E by \(\mathcal {K}\). Under the restriction that \(\mathcal {L}\) and \(\mathcal {K}\) are finite lattices, we find those subsets \(E \subseteq \ \leq _{\mathcal {L}}\) such that the ordered set \(\mathcal {L} \star _{E} \mathcal {K}\) is a lattice. Finite lattices that can be constructed in this way are classified in terms of their congruence lattices.A finite lattice is binary cut-through codable if and only if there exists a 0?1 spanning chain \(\left \{\theta _{i}\colon 0 \leq i \leq n \right \}\) in \(Con(\mathcal {L})\) such that the cardinality of the largest block of ?? _i /?? _i?1 is 2 for every i with 1≤i≤n. These are exactly the lattices that can be constructed by inflation from the 1-element lattice using only the 2-element lattice. We investigate the structure of binary cut-through codable lattices and describe an infinite class of lattices that generate binary cut-through codable varieties.     

The canonical projection associated with certain possibly infinite generalized iterated function systems as a fixed point

In this paper, influenced by the ideas from Mihail (Fixed Point Theory Appl 2015:15, 2015), we associate to every generalized iterated function system \(\mathcal {F}\) (of order m) an operator \(H_{\mathcal {F}}:\mathcal {C} ^{m}\rightarrow \mathcal {C}\), where \(\mathcal {C}\) stands for the space of continuous functions from the shift space on the metric space corresponding to the system. We provide sufficient conditions (on the constitutive functions of \(\mathcal {F}\)) for the operator \(H_{\mathcal {F}}\) to be continuous, contraction, \(\varphi \)-contraction, Meir–Keeler or contractive. We also give sufficient condition under which \(H_{\mathcal {F}}\) has a unique fixed point \(\pi _{0}\). Moreover, we prove that, under these circumstances, the closure of the imagine of \(\pi _{0}\) is the attractor of \(\mathcal {F}\) and that \(\pi _{0}\) is the canonical projection associated with \(\mathcal {F}\). In this way we give a partial answer to the open problem raised on the last paragraph of the above-mentioned Mihail’s paper.     

On the horizontal diameter of the unit sphere

For a singular Riemannian foliation \(\mathcal {F}\) on a Riemannian manifold M, a curve is called horizontal if it meets the leaves of \(\mathcal {F}\) perpendicularly. For a singular Riemannian foliation \(\mathcal {F}\) on a unit sphere \(\mathbb {S}^{n}\), we show that if \(\mathcal {F}\) satisfies some properties, then the horizontal diameter of \(\mathbb {S}^{n}\) is \(\pi \), i.e., any two points in \(\mathbb {S}^{n}\) can be connected by a horizontal curve of length \(\le \pi \).     

Bavrin’s Type Factorization of the Temljakov Operator for Holomorphic Functions in Circular Domains of $$\mathbb {C}^{n}$$

The paper concerns investigations of holomorphic functions of several complex variables with a factorization of their Temljakov transform. Firstly, there were considered some inclusions between the families \(\mathcal {C}_{\mathcal {G}},\mathcal {M}_{\mathcal {G}},\mathcal {N}_{\mathcal {G}},\mathcal {R}_{\mathcal {G}},\mathcal {V}_{\mathcal {G}}\) of such holomorphic functions on complete n-circular domain \(\mathcal {G}\) of \(\mathbb {C}^{n}\) in some papers of Bavrin, Fukui, Higuchi, Michiwaki. A motivation of our investigations is a condensation of the mentioned inclusions by some new families of Bavrin’s type. Hence we consider some families \(\mathcal {K}_{ \mathcal {G}}^{k},k\ge 2,\) of holomorphic functions f :  \(\mathcal {G}\rightarrow \mathbb {C},f(0)=1,\) defined also by a factorization of \( \mathcal {L}f\) onto factors from \(\mathcal {C}_{\mathcal {G}}\) and \(\mathcal {M} _{\mathcal {G}}.\) We present some interesting properties and extremal problems on \(\mathcal {K}_{\mathcal {G}}^{k}\).     

Dirac–Krein Systems on Star Graphs

Suppose that \({\mathcal {M}}\) is a countably decomposable type II\({_1}\) von Neumann algebra and \({\mathcal {A}}\) is a separable, non-nuclear, unital C\({^*}\)-algebra. We show that, if \({\mathcal {M}}\) has Property \({\Gamma}\), then the similarity degree of \({\mathcal {M}}\) is less than or equal to 5. If \({\mathcal {A}}\) has Property c\({^*}\)-\({\Gamma}\), then the similarity degree of \({\mathcal {A}}\) is equal to 3. In particular, the similarity degree of a \({\mathcal {Z}}\)-stable, separable, non-nuclear, unital C\({^*}\)-algebra is equal to 3.     

Relative Transpose and its Dual with Respect to a Bimodule

For a class of modules \(\mathcal {X}\), we introduce the \(\mathcal {X}\)-transpose of a module with respect to a bimodule, which unifies some well-known transposes. Let \(\mathcal {V}\) be a subclass of \(\mathcal {X}\). The relations between \(\mathcal {X}\)-transposes and \(\mathcal {V}\)-transposes are investigated under the condition that \(\mathcal {V}\) is a generator or cogenerator of \(\mathcal {X}\). The dual aspects of \(\mathcal {X}\)-transposes are also discussed. Then we give some applications of these results. In particular, the dual counterparts of Gorenstein transposes are established.     

Representations of groups with CAT(0) fixed point property

We show that certain representations over fields with positive characteristic of groups having CAT\((0)\) fixed point property \(\mathrm{F}\mathcal {B}_{\widetilde{A}_n}\) have finite image. In particular, we obtain rigidity results for representations of the following groups: the special linear group over \({\mathbb {Z}}\), \({\mathrm{SL}}_k({\mathbb {Z}})\), the special automorphism group of a free group, \(\mathrm{SAut}(F_k)\), the mapping class group of a closed orientable surface, \(\mathrm{Mod}(\Sigma _g)\), and many other groups. In the case of characteristic zero, we show that low dimensional complex representations of groups having CAT\((0)\) fixed point property \(\mathrm{F}\mathcal {B}_{\widetilde{A}_n}\) have finite image if they always have compact closure.     

The isometry groups of Riemannian orbifolds

We prove that the isometry group ?(\(\mathcal{N}\)) of an arbitrary Riemannian orbifold \(\mathcal{N}\), endowed with the compact-open topology, is a Lie group acting smoothly and properly on \(\mathcal{N}\). Moreover, ?(\(\mathcal{N}\)) admits a unique smooth structure that makes it into a Lie group. We show in particular that the isometry group of each compact Riemannian orbifold with a negative definite Ricci tensor is finite, thus generalizing the well-known Bochner’s theorem for Riemannian manifolds.     

Relative Projectivity and Transferability for Partial Lattices

A partial lattice P is ideal-projective, with respect to a class \(\mathcal {C}\) of lattices, if for every \(K\in \mathcal {C}\) and every homomorphism φ of partial lattices from P to the ideal lattice of K, there are arbitrarily large choice functions f:P→K for φ that are also homomorphisms of partial lattices. This extends the traditional concept of (sharp) transferability of a lattice with respect to \(\mathcal {C}\). We prove the following: (1) A finite lattice P, belonging to a variety \(\mathcal {V}\), is sharply transferable with respect to \(\mathcal {V}\) iff it is projective with respect to \(\mathcal {V}\) and weakly distributive lattice homomorphisms, iff it is ideal-projective with respect to \(\mathcal {V}\), (2) Every finite distributive lattice is sharply transferable with respect to the class \(\mathcal {R}_{\text {mod}}\) of all relatively complemented modular lattices, (3) The gluing D ₄ of two squares, the top of one being identified with the bottom of the other one, is sharply transferable with respect to a variety \(\mathcal {V}\) iff \(\mathcal {V}\) is contained in the variety \(\mathcal {M}_{\omega }\) generated by all lattices of length 2, (4) D ₄ is projective, but not ideal-projective, with respect to \(\mathcal {R}_{\text {mod}}\) , (5) D ₄ is transferable, but not sharply transferable, with respect to the variety \(\mathcal {M}\) of all modular lattices. This solves a 1978 problem of G. Grätzer, (6) We construct a modular lattice whose canonical embedding into its ideal lattice is not pure. This solves a 1974 problem of E. Nelson.     

The deformation of symplectic critical surfaces in a Kähler surface-II—compactness

In this paper we consider the compactness of \(\beta \)-symplectic critical surfaces in a Kähler surface. Let M be a compact Kähler surface and \(\Sigma _i\subset M\) be a sequence of closed \(\beta _i\)-symplectic critical surfaces with \(\beta _i\rightarrow \beta _0\in (0,\infty )\). Suppose the quantity \(\int _{\Sigma _i}\frac{1}{\cos ^q\alpha _i}d\mu _i\) (for some \(q>4\)) and the genus of \(\Sigma _{i}\) are bounded, then there exists a finite set of points \({{\mathcal {S}}}\subset M\) and a subsequence \(\Sigma _{i'}\) which converges uniformly in the \(C^l\) topology (for any \(l<\infty \)) on compact subsets of \(M\backslash {{\mathcal {S}}}\) to a \(\beta _0\)-symplectic critical surface \(\Sigma \subset M\), each connected component of \(\Sigma \setminus {{\mathcal {S}}}\) can be extended smoothly across \({{\mathcal {S}}}\).     

An extension of Wilf’s conjecture to affine semigroups

Let \(\mathcal {C}\subset \mathbb {Q}^p_+\) be a rational cone. An affine semigroup \(S\subset \mathcal {C}\) is a \(\mathcal {C}\)-semigroup whenever \((\mathcal {C}\setminus S)\cap \mathbb {N}^p\) has only a finite number of elements. In this work, we study the tree of \(\mathcal {C}\)-semigroups, give a method to generate it and study the \(\mathcal {C}\)-semigroups with minimal embedding dimension. We extend Wilf’s conjecture for numerical semigroups to \(\mathcal {C}\)-semigroups and give some families of \(\mathcal {C}\)-semigroups fulfilling the extended conjecture. Other conjectures formulated for numerical semigroups are also studied for \(\mathcal {C}\)-semigroups.     

Isospectral nearly Kähler manifolds

We give a systematic way to construct almost conjugate pairs of finite subgroups of \(\mathrm {Spin}(2n+1)\) and \({{\mathrm{Pin}}}(n)\) for \(n\in {\mathbb {N}}\) sufficiently large. As a geometric application, we give an infinite family of pairs \(M_1^{d_n}\) and \(M_2^{d_n}\) of nearly Kähler manifolds that are isospectral for the Dirac and Laplace operator with increasing dimensions \(d_n>6\). We provide additionally a computation of the volume of (locally) homogeneous six dimensional nearly Kähler manifolds and investigate the existence of Sunada pairs in this dimension.     

Largest initial segments pointwise fixed by automorphisms of models of set theory

Given a model \(\mathcal {M}\) of set theory, and a nontrivial automorphism j of \(\mathcal {M}\), let \(\mathcal {I}_{\mathrm {fix}}(j)\) be the submodel of \(\mathcal {M}\) whose universe consists of elements m of \(\mathcal {M}\) such that \(j(x)=x\) for every x in the transitive closure of m (where the transitive closure of m is computed within \(\mathcal {M}\)). Here we study the class \(\mathcal {C}\) of structures of the form \(\mathcal {I}_{\mathrm {fix}}(j)\), where the ambient model \(\mathcal {M}\) satisfies a frugal yet robust fragment of \(\mathrm {ZFC}\) known as \(\mathrm {MOST}\), and \(j(m)=m\) whenever m is a finite ordinal in the sense of \(\mathcal {M}.\) Our main achievement is the calculation of the theory of \(\mathcal {C}\) as precisely \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\). The following theorems encapsulate our principal results: Theorem A. Every structure in \(\mathcal {C}\) satisfies \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm { Collection}\). Theorem B. Each of the following three conditions is sufficient for a countable structure \(\mathcal {N}\) to be in \(\mathcal {C}\):(a) \(\mathcal {N}\) is a transitive model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(b) \(\mathcal {N}\) is a recursively saturated model of \(\mathrm {MOST+\Delta }_{0}^{\mathcal {P}}\)-\(\mathrm {Collection}\).(c) \(\mathcal {N}\) is a model of \(\mathrm {ZFC}\). Theorem C. Suppose \(\mathcal {M}\) is a countable recursively saturated model of \(\mathrm {ZFC}\) and I is a proper initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is closed under exponentiation and contains \(\omega ^\mathcal {M}\) . There is a group embedding \(j\longmapsto \check{j}\) from \(\mathrm {Aut}(\mathbb {Q})\) into \(\mathrm {Aut}(\mathcal {M})\) such that I is the longest initial segment of \(\mathrm {Ord}^{\mathcal {M}}\) that is pointwise fixed by \(\check{j}\) for every nontrivial \(j\in \mathrm {Aut}(\mathbb {Q}).\) In Theorem C, \(\mathrm {Aut}(X)\) is the group of automorphisms of the structure X, and \(\mathbb {Q}\) is the ordered set of rationals.     

The countable existentially closed pseudocomplemented semilattice

As the class \(\mathcal {PCSL}\) of pseudocomplemented semilattices is a universal Horn class generated by a single finite structure it has a \(\aleph _0\)-categorical model companion \(\mathcal {PCSL}^*\). As \(\mathcal {PCSL}\) is inductive the models of \(\mathcal {PCSL}^*\) are exactly the existentially closed models of \(\mathcal {PCSL}\). We will construct the unique existentially closed countable model of \(\mathcal {PCSL}\) as a direct limit of algebraically closed pseudocomplemented semilattices.