An arithmetic property of the set of angles between closed geodesics on hyperbolic surfaces of finite type

For a hyperbolic surface S of finite type we consider the set A(S) of angles between closed geodesics on S. Our main result is that there are only finitely many rational multiples of \(\pi \) in A(S).     

Subdirectly irreducible commutative multiplicatively idempotent semirings

Commutative multiplicatively idempotent semirings were studied by the authors and F. ?vr?ek, where the connections to distributive lattices and unitary Boolean rings were established. The variety of these semirings has nice algebraic properties and hence there arose the question to describe this variety, possibly by its subdirectly irreducible members. For the subvariety of so-called Boolean semirings, the subdirectly irreducible members were described by F. Guzmán. He showed that there were just two subdirectly irreducible members, which are the 2-element distributive lattice and the 2-element Boolean ring. We are going to show that although commutative multiplicatively idempotent semirings are at first glance a slight modification of Boolean semirings, for each cardinal n > 1, there exist at least two subdirectly irreducible members of cardinality n and at least 2ⁿ such members if n is infinite. For \({n \in \{2, 3, 4\}}\) the number of subdirectly irreducible members of cardinality n is exactly 2.     

Algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups

We study algebraically and verbally closed subgroups and retracts of finitely generated nilpotent groups. A special attention is paid to free nilpotent groups and the groups UT _n (Z) of unitriangular (n×n)-matrices over the ring Z of integers for arbitrary n. We observe that the sets of retracts of finitely generated nilpotent groups coincides with the sets of their algebraically closed subgroups. We give an example showing that a verbally closed subgroup in a finitely generated nilpotent group may fail to be a retract (in the case under consideration, equivalently, fail to be an algebraically closed subgroup). Another example shows that the intersection of retracts (algebraically closed subgroups) in a free nilpotent group may fail to be a retract (an algebraically closed subgroup) in this group. We establish necessary conditions fulfilled on retracts of arbitrary finitely generated nilpotent groups. We obtain sufficient conditions for the property of being a retract in a finitely generated nilpotent group. An algorithm is presented determining the property of being a retract for a subgroup in free nilpotent group of finite rank (a solution of a problem of Myasnikov). We also obtain a general result on existentially closed subgroups in finitely generated torsion-free nilpotent with cyclic center, which in particular implies that for each n the group UT _n (Z) has no proper existentially closed subgroups.     

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.     

Three-Webs Defined by Symmetric Functions

We study local differential-geometrical properties of curvilinear k-webs defined by symmetric functions (webs SW(k)). This class of k-webs contains in particular algebraic rectilinear k-webs defined by algebraic curves of genus 0. On a web SW(3), there are three three-parameter families of closed Thomsen configurations. We find equations of a rectilinear web SW(k) in terms of adapted coordinates and prove that the curvature of a symmetric three-web is a skew-symmetric function with respect to adapted coordinates. In conclusion, we formulate some open problems.     

Isomorphisms of Cayley graphs of a free Abelian group

A group G is called a CI-group provided that the existence of some automorphism σ ∈ Aut(G) such that σ(A) = B follows from an isomorphism Cay(G, A) ? = Cay (G, B) between Cayley graphs, where A and B are two systems of generators for G. We prove that every finitely generated abelian group is a CI-group.     

Canonical and existential groups in universal classes of Abelian groups

Universal classes of Abelian groups are classified in terms of sets of finitely generated groups closed with respect to the discrimination operator. The notions of a principal universal class and a canonical group for such a class are introduced. For any universal class K, the class K^ec of existentially closed groups generated by the universal theory of K is described. It is proved that K^ec is axiomatizable and, therefore, the universal theory of K has a model companion.     

Symmetric function kernels and sweeping of measures

This is a potential theoretic study of balayage (sweeping) of a positive Radon measure ω on a locally compact (Hausdorff) space X onto a closed, or, more generally, a quasiclosed set A ? X (that is, a set which can be approximated in outer capacity by closed sets). The setting is that of potentials with respect to a suitable symmetric function kernel G: X × X → [0,+∞]. We consider energy capacity, not as a set function, but as a functional, acting on positive numerical functions on X. The finiteness of the upper capacity of the function 1 _A Gω is sufficient for the possibility of the sweeping in question (1 _A denoting the indicator function of A and Gω the G-potential of ω).     

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.     

Algebraic games—playing with groups and rings

Two players alternate moves in the following impartial combinatorial game: Given a finitely generated abelian group A, a move consists of picking some \(0 \ne a \in A\). The game then continues with the quotient group \(A/\langle a \rangle \). We prove that under the normal play rule, the second player has a winning strategy if and only if A is a square, i.e. \(A \cong B \times B\) for some abelian group B. Under the misère play rule, only minor modifications concerning elementary abelian groups are necessary to describe the winning situations. We also compute the nimbers, i.e. Sprague–Grundy values of 2-generated abelian groups. An analogous game can be played with arbitrary algebraic structures. We study some examples of non-abelian groups and commutative rings such as R[X], where R is a principal ideal domain.     

ON ALGEBRAIC VOLUME DENSITY PROPERTY

A smooth affine algebraic variety X equipped with an algebraic volume form ω has the algebraic volume density property (AVDP) if the Lie algebra generated by complete algebraic vector fields of ω-divergence zero coincides with the space of all algebraic vector fields of ω-divergence zero. We develop an effective criterion of verifying whether a given X has AVDP. As an application of this method we establish AVDP for any homogeneous space X = G/R that admits a G-invariant algebraic volume form where G is a linear algebraic group and R is a closed reductive subgroup of G.     

Universal geometrical equivalence of the algebraic structures of common signature

This article is a part of our effort to explain the foundations of algebraic geometry over arbitrary algebraic structures [1–8]. We introduce the concept of universal geometrical equivalence of two algebraic structures A and B of a common language L which strengthens the available concept of geometrical equivalence and expresses the maximal affinity between A and B from the viewpoint of their algebraic geometries. We establish a connection between universal geometrical equivalence and universal equivalence in the sense of equality of universal theories.     

Spectral Properties of Discontinuous Sturm–Liouville Problems with a Finite Number of Transmission Conditions

In this paper we investigate discontinuous two-point boundary value problems with eigenparameter in the boundary conditions and with transmission conditions at the finitely many points of discontinuity. A self-adjoint linear operator A is defined in a suitable Hilbert space H such that the eigenvalues of the considered problem coincide with those of A. We obtain asymptotic formulas for the eigenvalues and eigenfunctions. Also we show that the eigenelements of A are complete in H.     

Krein Extension of an Even-Order Differential Operator

We describe the Krein extension of the minimal operator associated with the expression A:= (?1) ⁿ d²ⁿ/dx²ⁿ on the interval [a, b] in terms of boundary conditions. We also describe all nonnegative extensions of the operator A and extensions with finitely many negative squares.     

On uniform permutations with finite dispersion parameters

We study the group G of uniform permutations of the set of integers with finite dispersion parameters. We prove that every finite subset of G lies in a subgroup of the form Q = AB, where A and B are locally finitely approximable subgroups of G.     

Spectral sequence and finitely presented dimension for weak Gopf–Galois extensions

Let H be a weak Hopf algebra, A a right weak H-comodule algebra, and B the subalgebra of the H-coinvariant elements of A. Let A/B be a right weak H-Galois extension. In this paper, a spectral sequence for Ext which yields an estimate for the global dimension of A in terms of the corresponding data for H and B is constructed. Next, the relationship between the finitely presented dimensions of A and its subalgebra B are given. Further, the case in which A is an n-Gorenstein algebra is studied.     

Approximations and Mittag-Leffler conditions the applications

A classic result by Bass says that the class of all projective modules is covering if and only if it is closed under direct limits. Enochs extended the if-part by showing that every class of modules C, which is precovering and closed under direct limits, is covering, and asked whether the converse is true. We employ the tools developed in [18] and give a positive answer when C = A, or C is the class of all locally A^≤ω-free modules, where A is any class of modules fitting in a cotorsion pair (A, B) such that B is closed under direct limits. This setting includes all cotorsion pairs and classes of locally free modules arising in (infinite-dimensional) tilting theory. We also consider two particular applications: to pure-semisimple rings, and Artin algebras of infinite representation type.     

Properly discontinuous group actions on affine homogeneous spaces

Let G be a real algebraic group, H ≤ G an algebraic subgroup containing a maximal reductive subgroup of G, and Γ a subgroup of G acting on G/H by left translations. We conjecture that Γ is virtually solvable provided its action on G/H is properly discontinuous and ΓG/H is compact, and we confirm this conjecture when G does not contain simple algebraic subgroups of rank ≥2. If the action of Γ on G/H (which is isomorphic to an affine linear space Aⁿ) is linear, our conjecture coincides with the Auslander conjecture. We prove the Auslander conjecture for n ≤ 5.     

A-identities for the {2 \times 2} matrix algebra

Let K be an algebraically closed field of characteristic zero. We prove that the minimum degree for A-identities of \({M_{2}(K)}\) is 6. We also construct an explicit A-polynomial of degree 6 and prove it is an A-identity.     

On calibrated and separating sub-actions

We consider a one-sided transitive subshift of finite type σ: Σ → Σ and a Hölder observable A. In the ergodic optimization model, one is interested in properties of A-minimizing probability measures. If ā denotes the minimizing ergodic value of A, a sub-action u for A is by definition a continuous function such that A ≥ u ○ σ ? u + ā. We call contact locus of u with respect to A the subset of Σ where A = u ○ σ ? u + ā. A calibrated sub-action u gives the possibility to construct, for any point x ε Σ, backward orbits in the contact locus of u. In the opposite direction, a separating sub-action gives the smallest contact locus of A, that we call Ω(A), the set of non-wandering points with respect to A.We prove that separating sub-actions are generic among Hölder sub-actions. We also prove that, under certain conditions on Ω(A), any calibrated sub-action is of the form u(x) = u(x _i ) + h _A (x _i , x) for some x _i ∈ Ω(A), where h _A (x, y) denotes the Peierls barrier of A. We present the proofs in the holonomic optimization model, a formalism which allows to take into account a two-sided transitive subshift of finite type \((\hat \Sigma , \hat \sigma )\).