Related papers: A Galois Connection Approach to Wei-Type Duality T…
A resolution of the intersection of a finite number of subgroups of an abelian group by means of their sums is constructed, provided the lattice generated by these subgroups is distributive. This is used for detecting singularities of…
An algebraic technique is presented that does not use results of model theory and makes it possible to construct a general Galois theory of arbitrary nonlinear systems of partial differential equations. The algebraic technique is based on…
In this paper, first we introduce the notion of a $\VB$-Lie $2$-algebroid, which can be viewed as the categorification of a $\VB$-Lie algebroid. The tangent prolongation of a Lie $2$-algebroid is a $\VB$-Lie $2$-algebroid naturally. We show…
We study (Galois) linear complementary dual codes over mixed alphabets arising from finite chain rings. We give a characterization of when a given code is of We study (Galois) linear complementary dual codes over mixed alphabets arising…
We investigate the phase structures of various N=1 supersymmetric gauge theories including even the exceptional gauge group from the viewpoint of superconvergence of the gauge field propagator. Especially we analyze in detail whether a new…
We apply the super duality formalism recently developed by the authors to obtain new equivalences of various module categories of general linear Lie superalgebras. We establish the correspondence of standard, tilting, and simple modules, as…
We establish $({\mathfrak{gl}}_M, {\mathfrak{gl}}_N)$-dualities between quantum Gaudin models with irregular singularities. Specifically, for any $M, N \in {\mathbb Z}_{\geq 1}$ we consider two Gaudin models: the one associated with the Lie…
We construct projective varieties in mixed characteristic whose singularities model, in generic cases, those of tamely potentially crystalline Galois deformation rings for unramified extensions of $\mathbb{Q}_p$ with small regular…
A weight-dependent generalization of the binomial theorem for noncommuting variables is presented. This result extends the well-known binomial theorem for q-commuting variables by a generic weight function depending on two integers. For a…
Lines generated by marginal deformations of WZW models are considered. The Weyl symmetry at the WZW point implies the existence of a duality symmetry on such lines. The duality is interpreted as a broken gauge symmetry in string theory. It…
We construct Galois theory for sublattices of certain complete modular lattices and their automorphism groups. A well-known description of the intermediate subgroups of the general linear group over a semilocal ring containing the group of…
We prove some existence results on parameterized strongly normal extensions for logarithmic equations. We generalize a result in [Wibmer, Existence of d-parameterized Picard-Vessiot extensions over fields with algebraically closed…
Galois connections are a foundational tool for structuring abstraction in semantics and their use lies at the heart of the theory of abstract interpretation. Yet, mechanization of Galois connections remains limited to restricted modes of…
Linear codes play a central role in coding theory and have applications in several branches of mathematics. For error correction purposes the minimum Hamming distance should be as large as possible. Linear codes related to applications in…
Descent theory for linear categories is developed. Given a linear category as an extension of a diagonal category, we introduce descent data, and the category of descent data is isomorphic to the category of representations of the diagonal…
Continuing previous works on MacWilliams theory over codes and lattices, a generalization of the MacWilliams theory over $\mathbb{Z}_k$ for $m$ codes is established, and the complete weight enumerator MacWilliams identity also holds for…
We generalize the fundamental bounds of Delsarte thesis (1973) on codes of given degree and designs of given strength in the new setting of Bannai et al. (2025). We assume the scheme is weakly metric in the sense of (Sol\'e, 1989). We give…
The study of the generalized Hamming weight of linear codes is a significant research topic in coding theory as it conveys the structural information of the codes and determines their performance in various applications. However,…
We introduce a Homothetic Hodge de Rham (HHDR) theory that extends the de Rham complex and Hodge decomposition to homothetically dressed differential forms. The dressing, governed by a dilaton field and a Weyl weight $w$, defines the…
Flach and Morin constructed in (Doc. Math. 23 (2018), 1425--1560) Weil-\'etale cohomology $H^i_\text{W,c} (X, \mathbb{Z} (n))$ for a proper, regular arithmetic scheme $X$ (i.e. separated and of finite type over $\operatorname{Spec}…