相关论文: Multilinear morphisms between 1-motives

Using approximations, we give several characterizations of separability of bimodules. We also discuss how separability properties can be used to transfer some representation theoretic properties from one ring to another one: contravariant…

The linear representation hypothesis is the informal idea that semantic concepts are encoded as linear directions in the representation spaces of large language models (LLMs). Previous work has shown how to make this notion precise for…

Words can be represented by composing the representations of subword units such as word segments, characters, and/or character n-grams. While such representations are effective and may capture the morphological regularities of words, they…

This third paper,devoted to global correspondences of Langlands,bears more particularly on geometric-shifted bilinear correspondences on mixed (bi)motives generated under the action of the products,right by left,of differential elliptic…

We classify polynomial models for real hypersurfaces in $\mathbb C^N$, which admit nonlinearizable infinitesimal CR automorphisms. As a consequence, this provides an optimal 1-jet determination result in the general case. Further we prove…

We consider polynomial maps described by so-called "(multivariate) linearized polynomials". These polynomials are defined using a fixed prime power, say q. Linearized polynomials have no mixed terms. Considering invertible polynomial maps…

We discuss how triposes may be understood as generalizations of localic geometric morphisms.

In some bicategories, the 1-cells are `morphisms' between the 0-cells, such as functors between categories, but in others they are `objects' over the 0-cells, such as bimodules, spans, distributors, or parametrized spectra. Many…

The distributive property can be studied through bilinear maps and various morphisms between these maps. The adjoint-morphisms between bilinear maps establish a complete abelian category with projectives and admits a duality. Thus the…

We regard explanations as a blending of the input sample and the model's output and offer a few definitions that capture various desired properties of the function that generates these explanations. We study the links between these…

We introduce the "sharp" (universal) extension of a 1-motive (with additive factors and torsion) over a field of characteristic zero. We define the "sharp de Rham realization" by passing to the Lie-algebra. Over the complex numbers we then…

There are different notions of homology and cohomology that can be defined for a group with an action of another group by group automorphisms. In this paper we address three natural questions that arise in this context. Namely, the relation…

We define twisted Frobenius extensions of graded superrings. We develop equivalent definitions in terms of bimodule isomorphisms, trace maps, bilinear forms, and dual sets of generators. The motivation for our study comes from…

In this note we prove the geometrical origin of pairings of abelian schemes. According to Deligne's philosophy of motives, this means that these pairings are motivic. We make also explicit the link between pairings and linear morphisms. We…

The extensions of hypersubstitutions are mappings on the set of all terms. In the present paper we characterize all hypersubstitutions which provide bijections on the set of all terms. The set of all such hypersubstitutions forms a monoid.…

We study tree-to-tree transformations that can be defined in first-order logic or monadic second-order logic. We prove a decomposition theorem, which shows that every transformation can be obtained from prime transformations, such as…

We consider a category whose morphisms are bordisms of $n$-dimensional pseudomanifolds equipped with a certain additional structure (coloring). On the other hand, we consider the product $G$ of $(n+1)$ copies of infinite symmetric group. We…

We investigate the structure of ideals generated by binomials (polynomials with at most two terms) and the schemes and varieties associated to them. The class of binomial ideals contains many classical examples from algebraic geometry, and…

We introduce the notion of extension of 1-motives. Using the dictionary between strictly commutative Picard stacks and complexes of abelian sheaves concentrated in degrees -1 and 0, we check that an extension of 1-motives induces an…

The present article is the first of a series whose goal is to define a logical formalism in which it is possible to reason about genetics. In this paper, we introduce the main concepts of our language whose domain of discourse consists of a…