Related papers: Rational Enriched Motivic Spaces
The correspondence between conformal covariant fields in Minkowski's space-time and isometric fields in the five dimensional anti-deSitter space-time is extended to a six-dimensional bulk space and its regular sub-manifolds, so as to…
Generalized metrics, arising from Lawvere's view of metric spaces as enriched categories, have been widely applied in denotational semantics as a way to measure to which extent two programs behave in a similar, although non equivalent, way.…
Let $k$ be a field of characteristic not equal to $2,3$, $\mathbb{O}$ an octonion over $k$ and $\mathcal{J}$ the exceptional Jordan algebra defined by $\mathbb{O}$. We consider the prehomogeneous vector space $(G,V)$ where $G=GE_6\times…
We prove a formula for the multidegrees of a rational map defined by generalized monomials on a projective variety, in terms of integrals over an associated Newton region. This formula leads to an expression of the multidegrees as volumes…
For each recollement of triangulated categories, there is an epivalence between the middle category and the comma category associated to a triangle functor from the category on the right to the category on the left. For a morphic…
Cofibration categories are a formalization of homotopy theory useful for dealing with homotopy colimits that exist on the level of models as colimits of cofibrant diagrams. In this paper, we deal with their enriched version. Our main result…
We show that induced representations for a pair of $\textit{diffeological Lie groups}$ exist, in the form of an indexed colimit in the category of diffeological spaces.
Our central observation is that unbounded additive recurrence establishes a homomorphism between $\mathbb{N}$ and Modus Ponens in a constructive sense. By finding sums of nonconsecutive Fibonacci indices, each inference step corresponds to…
Following [14], we compute the motivic cohomology ring of the Nisnevich classifying space of the unitary group associated to the standard split hermitian form of a quadratic extension. This provides us with subtle characteristic classes…
Motivated by the search for rational points in moduli spaces of two-dimensional conformal field theories, we investigate how points with enhanced symmetry algebras are distributed there. We first study the bosonic sigma-model with $S^1$…
In embedding calculus, spaces of embeddings are identified with derived mapping spaces between framed Fulton-MacPherson-type modules (framed configuration spaces). Unfortunately, there are no sufficiently good algebraic models for framed…
We introduce and study a notion of co-radiantness for set-valued mappings between nonnegative orthants of Euclidean spaces. We analyze them from an abstract convexity perspective. Our main results consist in representations, in terms of…
This note presents the classification of ladder operators corresponding to the class of rational extensions of the harmonic oscillator. We show that it is natural to endow the class of rational extensions and the corresponding intertwining…
In this paper an additive regression model for a symmetric positive-definite matrix valued response and multiple scalar predictors is proposed. The model exploits the abelian group structure inherited from either the Log-Cholesky metric or…
We compute the motivic Milnor fiber of a complex plane curve singularity in an inductive and combinatoric way using the extended simplified resolution graph. The method introduced in this article has a consequence that one can study the…
We construct a comparison functor between ($\mathbf{A}^1$-local) tame motives and ($\overline{\square}$-local) log-\'etale motives over a field $k$ of positive characteristic. This generalizes Binda--Park--{\O}stv{\ae}r's comparison for the…
Milnor proved that the moduli space ${\rm M}_{d}$ of rational maps of degree $d \geq 2$ has a complex orbifold structure of dimension $2(d-1)$. Let us denote by ${\mathcal S}_{d}$ the singular locus of ${\rm M}_{d}$ and by ${\mathcal…
This note contains a solution to the following problem: reconstruct the definition field and the equation of a projective cubic surface, using only combinatorial information about the set of its rational points. This information is encoded…
We present the guarded lambda-calculus, an extension of the simply typed lambda-calculus with guarded recursive and coinductive types. The use of guarded recursive types ensures the productivity of well-typed programs. Guarded recursive…
In this survey article we discuss a framework of noncommutative geometry with differential graded categories as models for spaces. We outline a construction of the category of noncommutative spaces and also include a discussion on…