Related papers: Around cofin

In this paper, we draw a connection between ideal lattices and Gr\"{o}bner bases in the multivariate polynomial rings over integers. We study extension of ideal lattices in $\mathbb{Z}[x]/\langle f \rangle$ (Lyubashevsky \& Micciancio,…

This paper exhibits some new examples of the behavior of the Castelnuovo-Mumford regularity of homogeneous ideals in polynomial rings. More precisely, we present new examples of homogenous ideals with large regularity compared to the…

Assume $\mathcal{C}$ is the class of all linear orders $L$ such that $L$ is not a countable union of well ordered sets, and every uncountable subset of $L$ contains a copy of $\omega_1$. We show it is consistent that $\mathcal{C}$ has…

We investigate the continuous function $f$ defined by $$x\mapsto \sum_{\sigma\le_L x }2^{-K(\sigma)}$$ as a variant of Chaitin's Omega from the perspective of analysis, computability, and algorithmic randomness. Among other results, we…

We introduce a stronger version of an $\omega_1$-guessing model, which we call an indestructibly $\omega_1$-guessing model. The principle IGMP states that there are stationarily many indestructibly $\omega_1$-guessing models. This…

Simon's congruence, denoted \sim_n, relates words having the same subwords of length up to n. We show that, over a k-letter alphabet, the number of words modulo \sim_n is in 2^{\Theta(n^{k-1} log n)}.

In 2016 Ananyan and Hochster proved Stillman's conjecture by showing the existence of a uniform upper bound on the length of an $R_\eta$-sequence containing fixed $n$ forms of degree at most $d$ in polynomial rings over a field. This result…

We continue here [She88] but we do not rely on it. The motivation was a conjecture of Galvin stating that 2^{omega} >= omega_2 + omega_2-> [omega_1]^{n}_{h(n)} is consistent for a suitable h: omega-> omega. In section 5 we disprove this and…

Assume that $G$ is a graph with edge ideal $I(G)$. For every integer $s\geq 1$, we denote the squarefree part of the $s$-th symbolic power of $I(G)$ by $I(G)^{\{s\}}$. We determine an upper bound for the regularity of $I(G)^{\{s\}}$ when…

We consider smooth area-preserving flows (also known as locally Hamiltonian flows) on surfaces of genus $g\geq 1$ and study ergodic integrals of smooth observables along the flow trajectories. We show that these integrals display a…

We describe a method of building ``nice'' sigma-ideals from Souslin ccc forcing notions. [These notes were written down in 1992, but were not submitted to any journal. In a slightly modified form, they were incorporated to: T. Bartoszynski…

We establish a necessary and sufficient condition for a representation of a lattice ordered semigroup to be regular, in the sense that certain extensions are completely positive definite. This result generalizes a theorem due to Brehmer…

In this paper we extend the construction of special representations to Gromov hyperbolic groups which admits complementary series. We prove that these representations have a natural non-trivial reduced cohomology class $[c]$. An analogue of…

To each complex semisimple Lie algebra $\mathfrak{g}$ and regular element $a\in\mathfrak{g}_{\text{reg}}$, one associates a Mishchenko-Fomenko subalgebra $\mathcal{F}_a\subseteq\mathbb{C}[\mathfrak{g}]$. This subalgebra amounts to a…

A not necessarily noetherian local ring O is called regular if every finitely generated ideal I of O possesses finite projective dimension. In the article localizations O of a finitely presented, flat algebra A over a Pruefer domain R at a…

In this paper we consider existence and multiplicity results concerning affine connections on $C^{k}$-manifolds $M$ whose coefficients are as regular as one needs, following the regularity theory introduced in arXiv:1908.04442. We show that…

A natural N=1 supersymmetric extension of the Euler top, which introduces exactly one fermionic counterpart for each bosonic degree of freedom, is considered. The equations of motion, their symmetries and integrals of motion are given. It…

Let $S$ be a unital associative ring and $S[t;\sigma,\delta]$ be a skew polynomial ring, where $\sigma$ is an injective endomorphism of $S$ and $\delta$ a left $\sigma$-derivation. For each $f\in S[t;\sigma,\delta]$ of degree $m>1$ with a…

Let $\fa$ be an ideal of a commutative Noetherian ring $R$ and $M$ a finitely generated $R$-module. Let $t$ be a natural integer. It is shown that there is a finite subset $X$ of $\Spec R$, such that $\Ass_R(H_{\fa}^t(M))$ is contained in…

Let S=K[x_1,...,x_n] be a polynomial ring over a field K and I a homogeneous ideal in S generated by a regular sequence f_1,f_2,...,f_k of homogeneous forms of degree d. We study a generalization of a result of Conca, Herzog, Trung, and…