相关论文: Towers of corings
When a proposition has no proof in an inference system, it is sometimes useful to build a counter-proof explaining, step by step, the reason of this non-provability. In general, this counter-proof is a (possibly) infinite co-inductive proof…
An infinite tower of gravitational memories was proposed in \cite{Compere:2019odm} by considering the matter-induced vacuum transition in the impulsive limit. We give an alternative realization of the infinite towers of gravitational…
A pair of adjoint functors $(F,G)$ is called a Frobenius pair of the second type if $G$ is a left adjoint of $\beta F\alpha$ for some category equivalences $\alpha$ and $\beta$. Frobenius ring extensions of the second kind provide examples…
We describe the cohomology ring of toric wonderful models for arbitrary building set, including the case of non well-connected ones. Our techniques are based on blowups of posets, on Gr\"obner basis over rings and admissible functions.
We investigate the relationship between coseparable and semisimple corings. In particular we prove that a coring over a separable algebra is coseparable if and only if it is absolutely semisimple.
These notes are designed to offer some (perhaps new) codicils to related work, a list of problems and conjectures seeking (preferably) combinatorial proofs. The main items are Eulerian polynomials and hook/contents of Young diagram, mostly…
We introduce a notion of equivalence on tilings which is formulated in terms of their local structure. We compare it with the known concept of locally deriving one tiling from another and show that two tilings of finite type are…
The aim of this article is to study basic structures and interrelations of $\delta$-rings, perfectoid towers, and lim Cohen-Macaulay sequences over Noetherian rings in positive or mixed characteristic. Then we discuss some methods for…
The results of [1,2] on linear homogeneous two-weight codes over finite Frobenius rings are exended in two ways: It is shown that certain non-projective two-weight codes give rise to strongly regular graphs in the way described in [1,2].…
Frobenius built a representation theory of finite groups in the process of obtaining the irreducible factorization of the group determinant. Here, we give a generalization of Frobenius' theorem. The generalization leads to a corollary on…
We introduce a new category of coefficients for p-adic cohomology called constructible isocrystals. Conjecturally, the category of constructible isocrystals endowed with a Frobenius structure is equivalent to the category of perverse…
We define what we call morphisms of Cartan connections. We generalize the main theorems on Cartan connections to theorems on morphisms. Many of the known constructions involving Cartan connections turn out to be examples of morphisms. We…
We give an explicit description of the canonical Frobenius structure attached (by the results of the first part of this article) to the polynomial f(u_0,...,u_n)=w_0u_0+...+w_nu_n restricted to the torus u_0^{w_0}...u_n^{w_n}=1, for any…
Remarks relating the various notions of corks.
Although it is well-known that the complex cobordism ring is a polynomial ring $\Omega_{*}^{U}\cong\mathbb{Z}\left[\alpha_{1},\alpha_{2},\ldots\right]$, an explicit description for convenient generators $\alpha_{1},\alpha_{2},\ldots$ has…
We consider how Morita equivalences are compatible with the notion of a corner subring. Namely, we outline a canonical way to replace a corner subring of a given ring with one which is Morita equivalent, and look at how such an equivalence…
We survey results produced from the interaction between methods in prime characteristic and combinatorial commutative algebra. We showcase results for edge ideals, toric varieties, Stanley-Reisner rings, and initial ideals that were proven…
In this short note, we introduce a generalization of the canonical base property, called transfer of internality on quotients. A structural study of groups definable in theories with this property yields as a consequence infinitely many new…
We study Frobenius extensions which are free-filtered by a totally ordered, finitely generated abelian group, and their free-graded counterparts. First we show that the Frobenius property passes up from a free-graded extension to a…
An algebraic system is proposed that represent surface cobordisms in thickened surfaces. Module and comodule structures over Frobenius algebras are used for representing essential curves. The proposed structure gives a unified algebraic…