Related papers: Formal normal forms and formal embeddings into flo…
We investigate the presence of twinlike models in theories described by several real scalar fields. We focus on the first-order formalism, and we show how to build distinct scalar field theories that support the same extended solution, with…
We address the problem of identifying families of discrete models naturally flowing in continuum limit to relativistic quantum field theories. We call them Dirac graphs. In this work, we require the graphs to obey spectrality property,…
We study the combinatorial and structural properties of the circle map sequences. We introduce an embedding procedure which gives a map from the hull(closure of the set of translates) to the sequence of embedding operations through which we…
In this paper we study regular irreducible algebraic monoids over $\fldc$ equipped with the euclidean topology. It is shown that, in such monoids, the Green classes and the spaces of idempotents in the Green classes all have natural…
We introduce a natural notion of holomorphic map between generalized complex manifolds and we prove some related results on Dirac structures and generalized Kaehler manifolds.
We consider a generalization of (pro)algebraic loops defined on general categories of algebras and the dual notion of a coloop bialgebra suitable to represent them as functors. Our main result is the proof that the natural loop of formal…
The present work studies deeply quadratic symplectic Lie superalgebras, obtaining, in particular, that they are all nilpotent. Consequently, we provide classifications in low dimensions and identify the double extensions that maintain…
Let $k$ be an algebraically closed field of characteristic zero, and $k[[z]]$ the ring of formal power series over $k$. In this paper, we study equations in the semigroup $z^2k[[z]]$ with the semigroup operation being composition. We prove…
We define a bi-directional embedding between hypersequent calculi and a subclass of systems of rules (2-systems). In addition to showing that the two proof frameworks have the same expressive power, the embedding allows for the recovery of…
In this paper we will introduce a certain type of morphisms of log schemes (in the sense of Fontaine, Illusie, and Kato) and investigate their moduli. Then by applying this we define a notion of toric algebraic stacks over arbitrary…
We describe a natural isomorphism between the set of equivalence classes of pseudocycles and the integral homology groups of a smooth manifold. Our arguments generalize to settings well-suited for applications in enumerative algebraic…
Regular and higher regular graded algebras (in simplest case satisfying Von Neumann regularity $\Theta_{1}\Theta_{2}\Theta_{1}=\Theta_{1}$ instead of anticommutativity) are introduced and their properties are studied. They are described in…
We introduce logarithmic Picard algebroids, a natural class of Lie algebroids adapted to a simple normal crossings divisor on a smooth projective variety. We show that such algebroids are classified by a subspace of the de Rham cohomology…
A hyperbolic algebraic curve is a bounded subset of an algebraic set. We study the function theory and functional analytic aspects of these sets. We show that their function theory can be described by finite codimensional subalgebras of the…
We study large classes of real-valued analytic functions that naturally emerge in the understanding of Dulac's problem, which addresses the finiteness of limit cycles in planar differential equations. Building on a Maximum Modulus-type…
We study the homomorphisms between scalar generalized Verma modules. We conjecture that any homomorphism between is composition of elementary homomorphisms. The purpose of this article is to show the conjecture is affirmative for many…
We study higher-order analogues of Dirac structures, extending the multisymplectic structures that arise in field theory. We define higher Dirac structures as involutive subbundles of $TM+\wedge^k TM^*$ satisfying a weak version of the…
We develop here the algebra of the differential field of transseries and of related valued differential fields. This book contains in particular our recently obtained decisive positive results on the model theory of these structures.
This paper presents a Coq formalization of linear algebra over elementary divisor rings, that is, rings where every matrix is equivalent to a matrix in Smith normal form. The main results are the formalization that these rings support…
Normality equations describe Newtonian dynamical systems admitting normal shift of hypersurfaces. They were first derived in Euclidean geometry, then in Riemannian geometry. Recently they were rederived in more general case, when geometry…