Related papers: Generic derivations on algebraically bounded struc…
We introduce two-sorted theories in the style of [CN10] for the complexity classes \oplusL and DET, whose complete problems include determinants over Z2 and Z, respectively. We then describe interpretations of Soltys' linear algebra theory…
A predicate linear temporal logic LTL_{\lambda,=} without quantifiers but with predicate abstraction mechanism and equality is considered. The models of LTL_{\lambda,=} can be naturally seen as the systems of pebbles (flexible constants)…
We generalize the dual notions of "expansion" and "collapse" so they can be applied to arbitrary metric spaces. We also expand the theory to allow for infinitely many such moves. Those tools are then employed to prove a variety of…
We present general formulae for the TsT transformation (T-duality, shift, T-duality) of type II string backgrounds and open string boundary conditions. The TsT transformation provides a systematic procedure to find string theory duals of…
Recently Baraglia showed how topological T-duality can be extended to apply not only to principal circle bundles, but also to non-principal circle bundles. We show that his results can also be recovered via two other methods: the…
We investigate field theories on the non-commutative torus upon varying theta, the parameter of non-commutativity. We argue that one should think of Morita equivalence as a symmetry of algebras describing the same space rather than of…
We introduce a model-complete theory which completely axiomatizes the structure $Z_{\alpha}=(Z, +, 0, 1, f)$ where $f : x \to \lfloor{\alpha} x \rfloor $ is a unary function with $\alpha$ a fixed transcendental number. When $\alpha$ is…
This paper is a contribution to the study of extensions of arbitrary models of ZF (Zermelo-Fraenkel set theory), with no regard to countability or well-foundedness of the models involved. We present some new constructions of certain types…
For a complete, stable theory $T$ we construct, in a reasonably canonical way, a related stable theory $T^*$ which has higher independent amalgamation properties over the algebraic closure of the empty-set. The theory $T^*$ is an algebraic…
We consider general structures where formulas have truth values in the real unit interval as in continuous model theory, but whose predicates and functions need not be uniformly continuous with respect to a distance predicate. Every general…
Given a fibration over the circle, we relate the eigenspace decomposition of the algebraic monodromy, the homological finiteness properties of the fiber, and the formality properties of the total space. In the process, we prove a more…
We study T-duality of $(p,q)$-hermitian geometries in backgrounds with non-Abelian gauge fields $A$ in heterotic string theories. We introduce a gauge-dressed complex geometry characterized by a shifted metric $\bar{g} = g + \frac{1}{2}…
The weak boundedness property associated with a standard alpha-fractional Calderon-Zygmund operator and a weight pair is good-lambda controlled by the testing conditions and the Muckenhoupt and energy side conditions. As a consequence,…
We prove a theorem about the derivation algebra of the tensor product of two algebras. As an application, we determine the derivation algebra of the fixed point algebra of the tensor product of two algebras, with respect to the tensor…
In a classical Hamiltonian theory with second class constraints the phase space functions on the constraint surface are observables. We give general formulas for extended observables, which are expressions representing the observables in…
We complete the $L^p$ boundedness theory of commutators of Hilbert transforms along monomial curves by providing the previously missing lower bounds. This optimal result now covers all monomial curves while previous results had significant…
We consider the generators of gauge transformations with test functions which do not vanish on the boundary of a spacelike region of interest. These are known to generate the edge degrees of freedom in a gauge theory. In this paper, we…
T-duality of gauge theories on a noncommutative $T^d$ can be extended to include fields with twisted boundary conditions. The resulting T-dual theories contain novel nonlocal fields. These fields represent dipoles of constant magnitude.…
We describe various strengthenings of the concept of topological transitivity. Especially when one departs from the family of invertible systems, a number of interesting properties arise. We present the architecture of implications among…
We propose a description of T-duality between general geometric and non-geometric backgrounds as higher groupoid bundles with connections. Our description extends the previous observation by Nikolaus and Waldorf that the topological aspects…