Related papers: Two homological proofs of the Noetherianity of $FI…

This text is an updated version of material used for a course at Universit\'e de Nantes, part of `Functor homology and applications', April 23-27, 2012. The proof by Touz\'e of my conjecture on cohomological finite generation (CFG) has been…

We prove a homological stability theorem for the subgroup of the mapping class group acting as the identity on some fixed portion of the first homology group of the surface. We also prove a similar theorem for the subgroup of the mapping…

For an isotropic reductive group G satisfying a suitable rank condition over an infinite field k, we show that the sections of the $\mathbb{A}^1$-fundamental group sheaf of G over an extension field L/k can be identified with the second…

We prove a conjecture by Belmans, Fu and Krug concerning the Hochschild homology of the symmetric powers of a small dg category $\mathscr{C}$. More precisely, we show that these groups decompose into pieces that only depend on the…

Recently Alonso and Hermiller introduced a homological finiteness condition\break $bi{-}FP_n$ (here called {\it weak} $bi{-}FP_n$) for monoid rings, and Kobayashi and Otto introduced a different property, also called $bi{-}FP_n$ (we adhere…

The Hard Lefschetz theorem for intersection cohomology of nonrational polytopes was recently proved by K. Karu [Ka]. This theorem implies the conjecture of R. Stanley on the unimodularity of the generalized $h$-vector. In this paper we…

Factorization homology theories of topological manifolds, after Beilinson, Drinfeld and Lurie, are homology-type theories for topological $n$-manifolds whose coefficient systems are $n$-disk algebras or $n$-disk stacks. In this work we…

An important classical result in ZFC asserts that every infinite cardinal number is idempotent. Using this fact, we obtain several algebraic results in this article. The first result asserts that an infinite Abelian group has a proper…

Grothendieck duality theory assigns to essentially-finite-type maps f of noetherian schemes a pseudofunctor f^\times right-adjoint to Rf_*, and a pseudofunctor f^! agreeing with f^\times when f is proper, but equal to the usual inverse…

For a given graph $G$, Budzik, Gaiotto, Kulp, Wang, Williams, Wu, Yu, and the first author studied a ''topological'' differential form $\alpha_G$, which expresses violations of BRST-closedness of a quantum field theory along a single…

Let $\varphi\colon R\rightarrow A$ be a ring homomorphism, where $R$ is a commutative noetherian ring and $A$ is a finite $R$-algebra. We provide criteria for detecting the ascent and descent of Gorenstein homological properties. %As an…

In this paper we study a new notion of category weight of homology classes developing further the ideas of E. Fadell and S. Husseini. In the case of closed smooth manifolds the homological category weight is equivalent to the cohomological…

We prove the following well known conjecture: let $\Sigma$ be an oriented surface of finite type whose fundamental group is a nonabelian free group. Let $\phi \in \textup{Mod}(\Sigma)$ be a an infinite order mapping class. Then there exists…

We prove a Noether type symmetry theorem to fractional problems of the calculus of variations with classical and Riemann-Liouville derivatives. As result, we obtain constants of motion (in the classical sense) that are valid along the mixed…

Let $R$ be a commutative ring with unit. We develop a Hochschild cohomology theory in the category $\mathcal{F}$ of linear functors defined from an essentially small symmetric monoidal category enriched in $R$-Mod, to $R$-Mod. The category…

Let $(A,\mathfrak m)\rightarrow (B,\mathfrak n)$ be a pure homomorphism between Noetherian commutative rings. If $B/\mathfrak m B$ is an Artinian ring, then we have $\dim A=\dim B$ and $\mathop{\mathrm{depth}} A\geq \mathop{\mathrm{depth}}…

Let $A$ be a nondegenerate dimer (or ghor) algebra on a torus, and let $Z$ be its center. Using cyclic contractions, we show the following are equivalent: $A$ is noetherian; $Z$ is noetherian; $A$ is a noncommutative crepant resolution;…

We introduce the class of \emph{Log-Noetherian} (LN) functions. These are holomorphic solutions to algebraic differential equations (in several variables) with logarithmic singularities. We prove an upper bound on the number of solutions…

Let $R$ be a commutative Noetherian ring and $\fa$ an ideal of $R$. We intend to establish the dual of two Faltings' Theorems for local homology modules of an Artinian module. As a consequence of this, we show that, if $A$ is an Artinian…

In this paper, we first introduce and study the notions of strongly $\phi$-flat modules and strongly nonnil-injective modules. And then, we investigate the homology dimensions of modules and rings in terms of these two notions. Finally we…