An exceptional geometry for d=11 supergravity?

We analyze the algebraic constraints of the generalized vielbein in SO(1,2) x SO(16) invariant d=11 supergravity, and show that the bosonic degrees of freedom of d=11 supergravity, which become the physical ones upon reduction to d=3, can be assembled into an E_8-valued vielbein already in eleven dimensions. A crucial role in the construction is played by the maximal nilpotent commuting subalgebra of E_8, of dimension 36, suggesting a partial unification of general coordinate and tensor gauge transformations.Comment: 16 pages, LaTeX2

Morphological typology of small watershed in river basins of cultivation area

The article proposed the technique of small watershed typification according to four morphometric characteristics, determining the energy of relief: average height, vertical segmentation, the density of ravine network and an average slope. An elementary catchment area is used as an operating-territorial unit. Ward's method was used to perform the typification. The zoning of catchment area allows to determine the ratio of different agricultural lands, to reduce the rate of soil erosion and the amount of sediments entering the channel of permanent and temporary streams through the slopes. The testing of technique was performed within the upper reaches of the r. Medveditsa basin and made it possible to distinguish 6 types of elementary catchments differing by relief energy, as well as to perform their ranking according to relief energy. The zoning map established as the result of the developed method use concerning elementary catchment types may be used for the improvement of land use structure based on the optimization of lands with different erosion hazard, and the inclusion in crop rotation, depending on their soil protection efficiency

Minsky machines and algorithmic problems

This is a survey of using Minsky machines to study algorithmic problems in semigroups, groups and other algebraic systems.Comment: 19 page

Markov semigroups, monoids, and groups

A group is Markov if it admits a prefix-closed regular language of unique representatives with respect to some generating set, and strongly Markov if it admits such a language of unique minimal-length representatives over every generating set. This paper considers the natural generalizations of these concepts to semigroups and monoids. Two distinct potential generalizations to monoids are shown to be equivalent. Various interesting examples are presented, including an example of a non-Markov monoid that nevertheless admits a regular language of unique representatives over any generating set. It is shown that all finitely generated commutative semigroups are strongly Markov, but that finitely generated subsemigroups of virtually abelian or polycyclic groups need not be. Potential connections with word-hyperbolic semigroups are investigated. A study is made of the interaction of the classes of Markov and strongly Markov semigroups with direct products, free products, and finite-index subsemigroups and extensions. Several questions are posed.Comment: 40 pages; 3 figure

Simply connected projective manifolds in characteristic p>0p>0 have no nontrivial stratified bundles

We show that simply connected projective manifolds in characteristic $p>0$ have no nontrivial stratified bundles. This gives a positive answer to a conjecture by D. Gieseker. The proof uses Hrushovski's theorem on periodic points.Comment: 16 pages. Revised version contains a more general theorem on torsion points on moduli, together with an illustration in rank 2 due to M. Raynaud. Reference added. Last version has some typos corrected. Appears in Invent.math

Discrete structures in continuum descriptions of defective crystals

I discuss various mathematical constructions that combine together to provide a natural setting for discrete and continuum geometric models of defective crystals. In particular I provide a quite general list of `plastic strain variables', which quantifies inelastic behaviour, and exhibit rigorous connections between discrete and continuous mathematical structures associated with crystalline materials that have a correspond-ingly general constitutive specification

Approximations from Anywhere and General Rough Sets

Not all approximations arise from information systems. The problem of fitting approximations, subjected to some rules (and related data), to information systems in a rough scheme of things is known as the \emph{inverse problem}. The inverse problem is more general than the duality (or abstract representation) problems and was introduced by the present author in her earlier papers. From the practical perspective, a few (as opposed to one) theoretical frameworks may be suitable for formulating the problem itself. \emph{Granular operator spaces} have been recently introduced and investigated by the present author in her recent work in the context of antichain based and dialectical semantics for general rough sets. The nature of the inverse problem is examined from number-theoretic and combinatorial perspectives in a higher order variant of granular operator spaces and some necessary conditions are proved. The results and the novel approach would be useful in a number of unsupervised and semi supervised learning contexts and algorithms.Comment: 20 Pages. Scheduled to appear in IJCRS'2017 LNCS Proceedings, Springe

Economical adjunction of square roots to groups

How large must an overgroup of a given group be in order to contain a square root of any element of the initial group? We give an almost exact answer to this question (the obtained estimate is at most twice worse than the best possible) and state several related open questions.Comment: 5 pages. A Russian version of this paper is at http://mech.math.msu.su/department/algebra/staff/klyachko/papers.htm V2: minor correction

The structure of quotients of the Onsager algebra by closed ideals

We study the Onsager algebra from the ideal theoretic point of view. A complete classification of closed ideals and the structure of quotient algebras are obtained. We also discuss the solvable algebra aspect of the Onsager algebra through the use of formal Lie algebras.Comment: 33 pages, Latex, small topos corrected-Journal versio

Invariants of solvable rigid Lie algebras up to dimension 8

The invariants of all complex solvable rigid Lie algebras up to dimension eight are computed. Moreover we show, for rank one solvable algebras, some criteria to deduce to non-existence of non-trivial invariants or the existence of fundamental sets of invariants formed by rational functions of the Casimir invariants of the associated nilradical.Comment: 16 pages, 7 table