Related papers: Around cofin

We establish effective versions of Oppenheim's conjecture for generic inhomogeneous quadratic forms. We prove such results for fixed shift vectors and generic quadratic forms. When the shift is rational we prove a counting result which…

Let ${\cal O}_{*}$ be the C$^{*}$-algebra defined as the direct sum of all Cuntz algebras. Then ${\cal O}_{*}$ has a non-cocommutative comultiplication $\Delta_{\phi}$ and a counit $\epsilon$. Let ${\rm BI}({\cal O}_{*})$ denote the set of…

Let $(\mathcal{O}_n, \mathfrak{m})$ denote the ring of germs of holomorphic functions $\mathbb{C}^n\to \mathbb{C}$, and let $I\subseteq \mathcal{O}_n$ be an $\mathfrak{m}$-primary ideal. Demailly and Pham showed that $\mathrm{lct}(I) \geq…

In a triangulated category, cofibre fill-ins always exist. Neeman showed that there is always at least one "good" fill-in, i.e., one whose mapping cone is exact. Verdier constructed a fill-in of a particular form in his proof of the $4…

lambda-good frame is for us a parallel of the class of models of a superstable theory. Our main line is to start with lambda-good^+ frame s, categorical in lambda, n-successful for n large enough and try to have parallel of stability theory…

The Castelnuovo-Mumford regularity $\reg(I)$ is one of the most important invariants of a homogeneous ideal $I$ in a polynomial ring. A basic question is how the regularity behaves with respect to taking powers of ideals. It is known that…

Consider a collection $\lambda_1<...<\lambda_N$ of distinct positive integers and the quantities $$ M_1 = M_1(\lambda_1,...,\lambda_N) = \max_{0\le x \le 2\pi} |\sum_{j=1}^N \sin{\lambda_j x}| $$ and $$ M_2 = M_2(\lambda_1,...,\lambda_N) =…

Let G be a graph and let I be its edge ideal. Our main result shows that the sets of associated primes of the powers of I form an ascending chain. It is known that the sets of associated primes of I(i) and intcl(I(i)) stabilize for large i,…

We show that there exist constants $\alpha,\epsilon>0$ such that for every positive integer $n$ there is a continuous odd function $f:S^m\to S^n$, with $m\geq \alpha n$, such that the $\epsilon$-expansion of the image of $f$ does not…

In this paper we prove the equiconsistency of ``Every omega_1 tree which is first order definable over H_{omega_1} has a cofinal branch'' with the existence of a Pi^1_1 reflecting cardinal. The proof uses a definable version of Ramsey…

Using constructions of Voisin, we exhibit a smooth projective variety defined over a number field k and two complex embeddings of k, such that the two complex manifolds induced by these embeddings have non isomorphic cohomology algebras…

We verify Shalom's conjecture for the simple real-rank-one Lie group Sp(n ,1) for any n: i.e. we show that it admits a metrically proper affine action on a Hilbert space whose linear part is a uniformly bounded representation. We provide…

We use ``iterated square sequences'' to show: There is an L-definable partition n: L-singulars --> omega such that if M is an inner model without 0#: (a) For some n, M satisfies that {alpha | n(alpha)=n} is stationary. (b) For each n there…

We prove a sharp bound for the regularity of a squarefree monomial ideal with a linear presentation. This result also answers in positive a question on the cohomological dimension of squarefree monomial ideals satisfying Serre's…

We survey the technique of constructing customized models of size continuum in omega steps and illustrate the method by giving new proofs of mostly old results within this rubric. One new theorem, which is joint with Saharon Shelah, is that…

We show that if $M$ is a countable transitive model of ZF and if $a,b$ are reals not in $M$, then there is a $G$ generic over $M$ such that $b \in L[a,G]$. We then present several applications such as the following: if $J$ is any countable…

We prove that the ith graded pieces of the Orlik-Solomon algebras or Cordovil algebras of resonance arrangements form a finitely generated FS^op-module, thus obtaining information about the growth of their dimensions and restrictions on the…

We construct long sequences of braids that are descending with respect to the standard order of braids (``Dehornoy order''), and we deduce that, contrary to all usual algebraic properties of braids, certain simple combinatorial statements…

Belinskaya's theorem states that given an ergodic measure-preserving transformation, any other transformation with the same orbits and an $\mathrm{L}^1$ cocycle must be flip-conjugate to it. Our main result shows that this theorem is…

Let $A$ be a finite dimensional associative algebra over a perfect field and let $R$ be the radical of $A$. We show that for every one-sided ideal $I$ of $A$ there exists a semisimple subalgebra $S$ of $A$ such that $I=I_{S}\oplus I_{R}$…