Corecursive Algebras, Corecursive Monads and Bloom Monads

An algebra is called corecursive if from every coalgebra a unique coalgebra-to-algebra homomorphism exists into it. We prove that free corecursive algebras are obtained as coproducts of the terminal coalgebra (considered as an algebra) and free algebras. The monad of free corecursive algebras is proved to be the free corecursive monad, where the concept of corecursive monad is a generalization of Elgot's iterative monads, analogous to corecursive algebras generalizing completely iterative algebras. We also characterize the Eilenberg-Moore algebras for the free corecursive monad and call them Bloom algebras

Modular Localization and the Bootstrap-Formfactor Program

We extend the ''modular localization'' principle from free to interacting theories and test its power for the special class of d=1+1 factorizing models.Comment: 27 pages of Late

Infinity

This essay surveys the different types of infinity that occur in pure and applied mathematics, with emphasis on: 1. the contrast between potential infinity and actual infinity; 2. Cantor's distinction between transfinite sets and absolute infinity; 3. the constructivist view of infinite quantifiers and the meaning of constructive proof; 4. the concept of feasibility and the philosophical problems surrounding feasible arithmetic; 5. Zeno's paradoxes and modern paradoxes of physical infinity involving supertasks

On the dual equivalence of the self-dual and topologically massive p-form models

We study the duality symmetry in p-form models containing a generalized $B_q\wedge F_{p+1}$ term in spacetime manifolds of arbitrary dimensions. The equivalence between the $B_q\wedge F_{p+1}$ self-dual ($SD_{B\wedge F}$) and the $B_q\wedge F_{p+1}$ topologically massive ($TM_{B\wedge F}$) models is established using a gauge embedding procedure, including the minimal coupling to conserved charged matter current. The minimal coupling adopted for both tensor fields in the self-dual representation is transformed into a non minimal magnetic like coupling in the topologically massive representation but with the currents swapped. It is known that to establish this equivalence a current-current interaction term is needed to render the matter sector unchanged. We show that both terms arise naturally from the embedding adopted. Comparison with Higgs/Julia-Toulouse duality is established.Comment: Latex file, 13 pages, no figures. Accepted for publication: Physics Letters B; a new paper added to the reference

Lax pair and Darboux transformation of noncommutative U(N) principal chiral model

We present a noncommutative generalization of Lax formalism of U(N) principal chiral model in terms of a one-parameter family of flat connections. The Lax formalism is further used to derive a set of parametric noncommutative B\"{a}cklund transformation and an infinite set of conserved quantities. From the Lax pair, we derive a noncommutative version of the Darboux transformation of the model.Comment: 1+20 page

Existentially closed fields with G-derivations

We prove that the theories of fields with Hasse-Schmidt derivations corresponding to actions of formal groups admit model companions. We also give geometric axiomatizations of these model companions.Comment: In version 2: new proof of (the current) Proposition 3.3