Related papers: Noetherianity and rooted trees
We consider Hilbert series associated to modules over various categories of trees. Using the technology of Sam and Snowden, we show that these Hilbert series must be algebraic. We then apply these technical theorems to prove facts about…
A major open problem in the theory of twisted commutative algebras (tca's) is proving noetherianity of finitely generated tca's. For bounded tca's this is easy, in the unbounded case, noetherianity is only known for Sym(Sym^2(C^\infty)) and…
We first prove the Grinberg-Kazhdan formal arc theorem without any assumptions on the characteristic. This part of the article is equivalent to arXiv:math-AG/0203263. Then we try to clarify the geometric ideas behind the proof by…
In this paper, we prove that the self-dual morphological hierarchical structure computed on a n-D gray-level wellcomposed image u by the algorithm of G{\'e}raud et al. [1] is exactly the mathematical structure defined to be the tree of…
We study representations of wreath product analogues of categories of finite sets. This includes the category of finite sets and injections (studied by Church, Ellenberg, and Farb) and the opposite of the category of finite sets and…
We show that the twisted homogeneous coordinate rings of elliptic curves by infinite order automorphisms have the curious property that every subalgebra is both finitely generated and noetherian. As a consequence, we show that a…
Let C be a connected noetherian hereditary abelian Ext-finite category with Serre functor over an algebraically closed field k, with finite dimensional homomorphism and extension spaces. Using the classification of such categories from…
We give an elementary proof prove of the preservation of the Noetherian condition for commutative rings with unity $R$ having at least one finitely generated ideal $I$ such that the quotient ring is again finitely generated, and $R$ is…
Let $k$ be a commutative Noetherian ring and $\underline{\mathscr{C}}$ be a locally finite $k$-linear category equipped with a self-embedding functor of degree 1. We show under a moderate condition that finitely generated torsion…
Generalized Noether's theory is a useful method for researching the modified gravity theories about the conserved quantities and symmetries. A generally Gauss-Bonnet gravity $f(R,\mathcal{G})$ theory was proposed as an alternative gravity…
Two rooted locally finite trees are considered equivalent if both can be embedded into each other as topological minors by means of tree-order preserving mappings. By exploiting Nash-William's Theorem, Matthiesen provided a non-constructive…
We introduce a tensor compatibility condition for t-structures. For any Noetherian scheme $X$, we prove that there is a one-to-one correspondence between the set of filtrations of Thomason subsets and the set of aisles of compactly…
The connection between symmetries and conservation laws as made by Noether's theorem is extended to the context of causal variational principles and causal fermion systems. Different notions of continuous symmetries are introduced. It is…
This paper provides a canonical construction of a Noetherian least fixed point topology. While such least fixed point are not Noetherian in general, we prove that under a mild assumption, one can use a topological minimal bad sequence…
We prove that etale morphisms of schemes yield separable extensions of derived categories. We then generalize the Neeman-Thomason Localization Theorem to separable extensions of triangulated categories.
Given a monoidal triangulated category $T$ with noetherian spectrum, we show that there is an order preserving bijection between the collection of all Thomason subsets of the non-commutative spectrum $\mathrm{Spc}(T)$ and the collection of…
Given a category C of a combinatorial nature, we study the following fundamental question: how does the combinatorial behavior of C affect the algebraic behavior of representations of C? We prove two general results. The first gives a…
We rewrite classical topological definitions using the category-theoretic notation of arrows and are led to concise reformulations in terms of simplicial categories and orthogonality of morphisms, which we hope might be of use in the…
We provide a characterization of finite \'etale morphisms in tensor triangular geometry. They are precisely those functors which have a conservative right adjoint, satisfy Grothendieck--Neeman duality, and for which the relative dualizing…
In this paper we develop a Grobner bases theory for ideals of partial difference polynomials with constant or non-constant coefficients. In particular, we introduce a criterion providing the finiteness of such bases when a difference ideal…