相关论文: Minimal $\gamma$--sheaves

Let $H$ be a monoid, $\mathscr F(X)$ be the free monoid on a set $X$, and $\pi_H$ be the unique extension of the identity map on $H$ to a monoid homomorphism $\mathscr F(H) \to H$. Given $A \subseteq H$, an $A$-word $\mathfrak z$ (i.e., an…

We work over an o-minimal expansion of a real closed field. The o-minimal homotopy groups of a definable set are defined naturally using definable continuous maps. We prove that any two semialgebraic maps which are definably homotopic are…

Let $\mathfrak{a}$ be an ideal of local ring $(R,\mathfrak{m})$ and $M$ a finitely generated $R$-module and $n\in\Bbb N$. It is shown that some results concerning cominimaxness of formal local cohomology modules.

In this paper we study the unitary equivalence between Hilbert modules over a locally C*-algebra. Also, we prove a stabilization theorem for countably generated modules over an arbitrary locally C*-algebra and show that a Hilbert module…

We note a parallel between some ideas of stable model theory and certain topics in finite combinatorics related to the sum-product phenomenon. For a simple linear group G, we show that a finite subset X with |X X \^{-1} X |/ |X| bounded is…

We study the category of modules of minimal dimension over completed Weyl algebras in equal characteristic zero. In particular we prove finiteness of de Rham cohomology of such modules.

Suppose that $G$ is a finite group and $k$ is a field of characteristic $p >0$. Let $\mathcal{M}$ be the thick tensor ideal of finitely generated modules whose support variety is in a fixed subvariety $V$ of the projectivized prime ideal…

We investigate the structure of $\omega$-limit (resp. $\alpha$-limit) sets for a monotone map $f$ on a regular curve $X$. %Let $X$ be a regular curve and let $f: X\longrightarrowX$ be a monotone map. We show that for any $x\in X$ (resp. for…

Let I be a dense linear order with a left endpoint but no right endpoint. We consider the lattice L(I) of finite unions of closed intervals of I. This lattice arises naturally in the setting of o-minimality, as these are precisely the…

In this paper, we prove first that the space of minimal sets of any homeomorphisms $f:X\to X$ of a regular curve $X$ is closed in the hyperspace $2^X$ of closed subsets of $X$ endowed with the Hausdorff metric, and the non-wandering set…

We show existence of fundamental domains which minimize a general perimeter functional in a homogeneous metric measure space. In some cases, which include the usual perimeter in the universal cover of a closed Riemannian manifold, and the…

Given a local ring containing a field, we define and investigate a family of invariants that includes the Lyubeznik numbers, but that captures finer information. These "generalized Lyubeznik numbers" are defined as lengths of certain…

We prove that for any transitive subshift $X$ with word complexity function $c_n(X)$, if $\liminf \frac{\log (c_n(X)/n)}{\log \log \log n} = 0$, then the quotient group $\textrm{Aut}(X,\sigma) / \langle \sigma\rangle$ of the automorphism…

We give a new and self-contained proof of the finite generation of adjoint rings with big boundaries. As a consequence, we show that the canonical ring of a smooth projective variety is finitely generated.

Fix a language L extending the language of real closed fields by at least one new predicate or function symbol. Call an L-structure R pseudo-o-minimal if it is (elementarily equivalent to) an ultraproduct of o-minimal structures. We show…

If G is a locally essential subgroup of a compact abelian group K, then: (i) t(G)=w(G)=w(K), where t(G) is the tightness of G; (ii) if G is radial, then K must be metrizable; (iii) G contains a super-sequence S converging to 0 such that…

For Y a closed normal subvariety of codimension c of a smooth complex variety X, Brylinski and Kashiwara showed that the local cohomology module H^c_Y(X,O_X) contains a unique simple D_X-submodule, denoted by L(Y,X). In this paper the…

Bakker, Brunebarbe, Tsimerman showed in \cite{bakker2022minimal} that the definable structure sheaf $\mathcal{O}_{\mathbb{C}^n}$ of $\mathbb{C}^n$ is a coherent $\mathcal{O}_{\mathbb{C}^n}$-module as a sheaf on the site…

To every automorphism w of an infinite rooted regular binary tree we associate a two variable generating function \Phi_w that encodes information on the orbit structure of w. We prove that this is a rational function if w can be described…

Using a theory of $F^e$-modules (a natural extension of Lyubeznik's $F$-module theory), we extend results on Matlis dual of $F$-finite $F$-modules to $D$-submodules of $F^e$-finite $F^e$-modules and apply these results to address the…