Related papers: First-order formalism for twinlike models with sev…
We consider the renormalization group flow equation for the two-dimensional sigma models with the K\"ahler target space. The first-order formulation allows us to treat perturbations in these models as current-current deformations. We…
We study static kink configurations in a type of two-dimensional higher derivative scalar field theory whose Lagrangian contains second-order derivative terms of the field. The linear fluctuation around arbitrary static kink solutions is…
If a scalar field theory in (1+1) dimensions possesses soliton solutions obeying first order BPS equations, then, in general, it is possible to find an infinite number of related field theories with BPS solitons which obey closely related…
First order formulas in a relational signature can be considered as operations on the relations of an underlying set, giving rise to multisorted algebras we call first order algebras. We present universal axioms so that an algebra satisfies…
We rewrite simplicially the standard definitions of a complete first order theory, a model of it, and various characterisations of stability of a complete first order theory. In our reformulations the simplicial language replaces the…
The new classes of homogeneous cosmological models for the scalar fields are build in the context of Lyra's geometry. The different types of exact solution for the model are obtained by applying two procedures, viz the generating function…
This work develops a procedure to find classes of Lagrangian densities that describe generalizations of the Abelian Maxwell-Higgs, the Chern-Simons-Higgs and the Maxwell-Chern-Simons-Higgs models. The investigation focuses on the…
We draw the connection between the model theoretic notions of internality and the binding group on one hand, and the Tannakian formalism on the other. More precisely, we deduce the fundamental results of the Tannakian formalism by…
We explicitly prove the equivalence and construct a dictionary between two different supersymmetric formalisms for five-dimensional theories commonly used in the literature. One is the real formalism, which consists in doubling the number…
This work deals with twinlike models that support topological structures such as kinks, vortices and monopoles. We investigate the equations of motion and develop the first order framework to show how to build distinct models with the same…
We review investigations on defects in systems described by real scalar fields in (D,1) space-time dimensions. We first work in one spatial dimension, with models described by one and two real scalar fields, and in higher dimensions. We…
In this work we study kinklike structures, which are localized solutions that appear in models described by real scalar fields. The model to be considered is characterized by two real scalar fields and includes a function of one of the two…
This paper develops the basic theory of formal schemes over fields in the supersymmetric setting. We introduce the notion of a formal superscheme and investigate some of its fundamental properties. Particular emphasis is placed on the study…
This work deals with the presence of topological structures in models of two real scalar fields in the two-dimensional spacetime. The subject concerns the presence of a geometric constriction, which appears with a modification of the…
We construct a quantum theory of free scalar field in 1+1 dimensions based on a `Generalized Uncertainty Principle'. Both canonical and path integral formalism are employed. Higher dimensional extension is easily performed in the path…
Second-order self-force computations, which will be essential in modeling extreme-mass-ratio inspirals, involve two major new difficulties that were not present at first order. One is the problem of large scales, discussed in [Phys. Rev. D…
We introduce and study a natural class of fields in which certain first-order definable sets are existentially definable, and characterise this class by a number of equivalent conditions. We show that global fields belong to this class, and…
We study links between first-order formulas and arbitrary properties for families of theories, classes of structures and their isomorphism types. Possibilities for ranks and degrees for formulas and theories with respect to given properties…
This paper discusses the formalization of proofs "by diagram chasing", a standard technique for proving properties in abelian categories. We discuss how the essence of diagram chases can be captured by a simple many-sorted first-order…
We study a class of noncanonical real scalar field models in $(1+1)$-dimensional flat space-time. We first derive the general criterion for the classical linear stability of an arbitrary static soliton solution of these models. Then we…