Related papers: An inductive method for $\mathrm{OI}$-modules
We set up a formalism of Maurer-Cartan moduli sets for L-infinity algebras and associated twistings based on the closed model category structure on formal differential graded algebras (a.k.a. differential graded coalgebras). Among other…
Orthomodular posets form an algebraic formalization of the logic of quantum mechanics. The question is how to introduce the connective implication in such a logic. We show that this is possible when the orthomodular poset in question is of…
We describe an algorithm to compute a presentation of the pushforward module $f_*{\mathcal O}_{\mathcal{X}}$ for a finite map germ $f\colon \mathcal{X}\to ({\mathbb{C}}^{n+1},0)$, where $\mathcal{X}$ is Cohen-Macaulay of dimension $n$. The…
We construct and study a natural compactification $\overline{M}^r(N)$ of the moduli scheme $M^r(N)$ for rank-$r$ Drinfeld $\F_q[T]$-modules with a structure of level $N \in \F_q[T]$. Namely, $\overline{M}^r(N) = {\rm Proj}\,{\bf Eis}(N)$,…
A method is provided for computing an upper bound of the complexity of a module over a local ring, in terms of vanishing of certain cohomology modules. We then specialize to complete intersections, which are precisely the rings over which…
New upper bounds on the first and the second Hilbert coefficients of a Cohen-Macaulay module over a local ring are given. Characterizations are provided for some upper bounds to be attained. The characterizations are given in terms of…
We identify two recursively defined polynomial conditions for FI-modules in the literature. We characterize these conditions using homological invariants of FI-modules (namely the local degree and regularity, together with the stable…
Let $\tilde{G}$ be a finite group and $G$ a normal subgroup of $\tilde{G}$. In this paper, we give a necessary and sufficient condition for $\mathrm{Ind}_G^{\tilde{G}}M$ to be a support $\tau$-tilting $k\tilde{G}$-module for a $kG$-module…
We introduce a new type of diagrams and prove the existence of a particular one, the "central tuned diagram", with some optimal features, for finitely generated modules of certain categories. This is achieved by getting to the idea of "the…
We propose a method that allows us to develop tableaux modulo theories using the principles of superdeduction, among which the theory is used to enrich the deduction system with new deduction rules. This method is presented in the framework…
We generalize the notion of length to an ordinal-valued invariant defined on the class of finitely generated modules over a Noetherian ring. A key property of this invariant is its semi-additivity on short exact sequences. We show how to…
Optimal Identification (OI) is a recently developed procedure for extracting optimal information about quantum Hamiltonians from experimental data using shaped control fields to drive the system in such a manner that dynamical measurements…
Let $A$ be the coordinate ring of a projective smooth curve over a finite field minus a closed point. For a nontrivial ideal $I \subset A$, Drinfeld defined the notion of structure of level $I$ on a Drinfeld module. We extend this to that…
We introduce a new class of unfitted finite element methods with high order accurate numerical integration over curved surfaces and volumes which are only implicitly defined by level set functions. An unfitted finite element method which is…
We find the model completion of the theory modules over $A$, where $A$ is a finitely generated commutative algebra over a field $K$. This is done in a context where the field $K$ and the module are represented by sorts in the theory, so…
Different from human nature, it is still common practice today for vision tasks to train deep learning models only initially and on fixed datasets. A variety of approaches have recently addressed handling continual data streams. However,…
Let $K$ be a field and let $S = K[X_1, \ldots, X_n]$. Let $I$ be a graded ideal in $S$ and let $M$ be a finitely generated graded $S$-module. We give upper bounds on the regularity of Koszul homology modules $H_i(I, M)$ for several classes…
We generalize a result of Eisenbud-Huneke-Ulrich on the maximal graded shifts of a module with prescribed annihilator and prove a linear regularity bound for ideals in a polynomial ring depending only on the first $p - c$ steps in the…
The purpose of this paper is to give a simple geometric construction of ideals whose Castelnuovo-Mumford regularity is large compared to the generating degree. Moreover, our ideals have the property that the Castelnuovo-Mumford regularity…
We study the existence of maximal ideals in preadditive categories defining an order $\preceq$ between objects, in such a way that if there do not exist maximal objects with respect to $\preceq$, then there is no maximal ideal in the…