相关论文: Modal expansions of ririgs
Differential calculus on discrete spaces is studied in the manner of non-commutative geometry by representing the differential calculus by an operator algebra on a suitable Krein space. The discrete analogue of a (pseudo-)Riemannian metric…
Let $\mathfrak{g}$ be a simple Lie algebra over $\mathbb{C}$. The KZ connection is a connection on the constant bundle associated to a set of $n$ finite dimensional irreducible representations of $\mathfrak{g}$ and a nonzero $\kappa \in…
Let R=K[M] be a normal affine monoid algbera over a field K.Up to isomorphism the conic ideals are exactly the direct summands ofthe extension R^{1/n} of R. We show that the classes of the conic divisorial ideals can be identified with the…
In a recent paper \cite{3}, a semi-stable degeneration of moduli space of Higgs bundles on a curve has been constructed. In this paper, we show that there is a relative log-symplectic form on this degeneration, whose restriction to the…
Suppose $G$ is a tamely ramified $p$-adic reductive group. We construct a partial local Langlands correspondence between the set of irreducible smooth representations of $G$ having depth $r$ and a certain set of $G^\vee$-conjugacy classes…
Let G be a connected split reductive group over a complete discrete valuation ring of mixed characteristic. We use the theory of intermediate extensions due to Abe-Caro and arithmetic Beilinson-Bernstein localization to classify irreducible…
We study algebraic isomonodromic deformations of flat logarithmic connections on the Riemann sphere with $n\geq 4$ poles, for arbitrary rank. We introduce a natural property of algebraizability for the germ of universal deformation of such…
Substitutions play a crucial role in a wide range of contexts, from analyzing the dynamics of social opinions and conducting mathematical computations to engaging in game-theoretical analysis. For many situations, considering one-step…
A short proof of the "Rigidity theorem" using the sheaf theoretic model for Hilbert modules over polynomial rings is given. The joint kernel for a large class of submodules is described. The completion $[\mathcal I]$ of a homogeneous…
The paper explores categorical interconnections between lattice-valued Relational systems and algebras of Fitting's lattice-valued modal logic. We define lattice-valued boolean systems, and then we study co-adjointness, adjointness of…
We investigate the duality between algebraic and coalgebraic recognition of languages to derive a generalization of the local version of Eilenberg's theorem. This theorem states that the lattice of all boolean algebras of regular languages…
Independence-friendly logic is a conservative extension of first-order logic that has the same expressive power as existential second-order logic. In her Ph.D. thesis, Dechesne introduces a variant of independence-friendly logic called IFG…
We address the type I dichotomy for two-step nilpotent locally compact groups. Invoking work of Baggett-Kleppner, we characterize the closed points of the unitary dual of such a group $G$ purely in terms of the group structure. An algebraic…
In the framework of Berthelot's theory of arithmetic $\mathcal{D}$-modules, we prove that Berthelot's characteristic variety associated with a holonomic $\mathcal{D}$-modules endowed with a Frobenius structure has pure dimension. As an…
We review Hodge structures, relating filtrations, Galois Theory and Jordan-Holder structures. The prototypical case of periods of Riemann surfaces is compared with the Galois-Artin framework of algebraic numbers.
For every univariate formula $\chi$ we introduce a lattices of intermediate theories: the lattice of $\chi$-logics. The key idea to define chi-logics is to interpret atomic propositions as fixpoints of the formula $\chi^2$, which can be…
We present a reading of the traditional syllogistics in a fragment of the propositional intuitionistic multiplicative linear logic and prove that with respect to a diagrammatic logical calculus that we introduced in a previous paper, a…
A type theory is presented that combines (intuitionistic) linear types with type dependency, thus properly generalising both intuitionistic dependent type theory and full linear logic. A syntax and complete categorical semantics are…
We study extensions of standard description logics to the framework of polyadic modal logic. We promote a natural approach to such logics via general relation algebras that can be used to define operations on relations of all arities. As a…
T-convergence groups is a natural extension of lattice-valued topological groups, which is a newly introduced mathematical structure. In this paper, we will further explore the theory of T-convergence groups. The main results include: (1)…