Related papers: Generic derivations on algebraically bounded struc…
We state and prove a general result establishing that T-duality simplifies the bulk-boundary correspondence, in the sense of converting it to a simple geometric restriction map. This settles in the affirmative several earlier conjectures of…
From physical perspective, derivatives can be viewed as mathematical idealizations of the linear growth. The linear growth condition has special properties, which make it preferred. The manuscript investigates the general properties of the…
We find many conditions equivalent to the model-theoretical property $\lambda \stackrel{\kappa}{\Rightarrow} \mu$ introduced in [L1]. Our conditions involve uniformity of ultrafilters, compactness properties of products of topological…
[Note to the reader: properties (C2) and (C2)* are under development, in order to form a generalization of (C3) and (C3)*]
We study some non-semisimple representations of affine Temperley--Lieb algebras and related cellular algebras. In particular, we classify extensions between simple standard modules. Moreover, we construct a completion which is an infinite…
This paper is a survey on model theory of adeles and applications to model theory, algebra, and number theory. Sections 1-12 concern model theory of adeles and the results are joint works with Angus Macintyre. The topics covered include…
This paper fills a gap in the literature on natural duality theory. It concerns dual representations of categories of distributive-lattice-based algebras in which the lattice reducts are not assumed to have bounds. The development of theory…
We develop a framework that systematically casts the solvability and uniqueness conditions of linearized geometric boundary-value problems into cohomological terms. The theory is designed to be applicable without assumptions on the…
We extend the notion of T-duality to manifolds endowed with non-principal torus actions. The singularities of the torus action are controlled by a certain Lie algebroid, called the elliptic tangent bundle. Using this Lie algebroid, we…
The class of generic structures among those consisting of the measure algebra of a probability space equipped with an automorphism is axiomatizable by positive sentences interpreted using an approximate semantics. The separable generic…
We introduce a notion of $Q$-algebra that can be considered as a generalization of the notion of $Q$-manifold (a supermanifold equipped with an odd vector field obeying $\{Q,Q\} =0$). We develop the theory of connections on modules over…
We consider the question of when an expansion of a topological structure has the property that every open set definable in the expansion is definable in the original structure. This question is related to and inspired by recent work of…
Reconsideration of the T-duality of the open string allows us to introduce some geometric features in non-geometric theories. First, we have found what symmetry is T-dual to the local gauge transformations. It includes transformations of…
In this paper we introduce a model theoretic construction for the theories of uniform layered domains and semifields introduced in the paper of Izhakian, Knebusch and Rowen. We prove that, for a given layering semiring L, the theory of…
We introduce a notion of topological property (T) for \'etale groupoids. This simultaneously generalizes Kazhdan's property (T) for groups and geometric property (T) for coarse spaces. One main goal is to use this property (T) to prove the…
In this letter we address the problem of inducing boundary degrees of freedom from a bulk theory whose action contains higher-derivative corrections. As a model example we consider a topological theory with an action that has only a…
For a normal F-finite variety $X$ and a boundary divisor $\Delta$ we give a uniform description of an ideal which in characteristic zero yields the multiplier ideal, and in positive characteristic the test ideal of the pair $(X,\Delta)$.…
Saturation is (mu,kappa)-transferable in T if and only if there is an expansion T_1 of T with |T_1| = |T| such that if M is a mu-saturated model of T_1 and |M| \geq kappa then the reduct M|L(T) is kappa-saturated. We characterize theories…
We prove that some natural "outside" property is equivalent (for a first order class) to being stable. For a model, being resplendent is a strengthening of being kappa-saturated. Restricting ourselves to the case kappa > |T| for…
A cohomology theory of weighted Rota-Baxter $3$-Lie algebras is introduced. Formal deformations, abelian extensions, skeletal weighted Rota-Baxter $3$-Lie 2-algebras and crossed modules of weighted Rota-Baxter 3-Lie algebras are interpreted…