相关论文: On a non-vanishing Ext

Demailly, Ein and Lazarsfeld \cite{DEL} proved the subadditivity theorem for multiplier ideals, which states the multiplier ideal of the product of ideals is contained in the product of the individual multiplier ideals, on non-singular…

This paper presents an axiomatic scheme for interest rate models in discrete time. We take a pricing kernel approach, which builds in the arbitrage-free property and provides a link to equilibrium economics. We require that the pricing…

In this paper we are concerned with the finiteness property of Ext-indices of several ring extensions. In this direction, we introduce some conjectures and discuss the relationship of them. Also we give affirmative answers to these…

We discuss definability of henselian valuation rings in the Macintyre language $\mathcal{L}_{\rm Mac}$, the language of rings expanded by n-th power predicates. In particular, we show that henselian valuation rings with finite or Hilbertian…

We study the question up to which power an irreducible integer-valued polynomial that is not absolutely irreducible can factor uniquely. For example, for integer-valued polynomials over principal ideal domains with square-free denominator,…

We introduce the finitistic extension degree of a ring and investigate rings for which it is finite. The Auslander-Reiten Conjecture is proved for rings of finite finitistic extension degree and these rings are also shown to have finite…

We prove under ZFC that in each extremally disconnected compact space there exists a non-limit point of any countable discrete subset.

Let $\phi = \sum_{r^{2} \leq 4mn}c(n,r)q^{n}\zeta^{r}$ be a Jacobi form of weight $k$ (with $k > 2$ if $\phi$ is not a cusp form) and index $m$ with integral algebraic coefficients which is an eigenfunction of all Hecke operators $T_{p},…

Given a finite root system $\Phi$, we show that there is an integer $c=c(\Phi)$ such that $\dim\Ext_G^1(L,L')<c$, for any reductive algebraic group $G$ with root system $\Phi$ and any irreducible rational $G$-modules $L,L'$. There also is…

We investigate the rings in which the set of nonzero elements is positive-existential (i.e. a finite union of projections of "algebraic" sets). In the case of Noetherian domains, we prove in particular that this condition is satisfied…

We apply ideas related to the strength of polynomials to provide new cases of unirational hypersurfaces. It is famously known that hypersurfaces that are smooth in very high codimension are unirational, and a simple corollary then implies…

We prove that if $\bI$ is a p.\ o. set in a countable transitive model $\gM$ of $\ZFC$ then $\gM$ can be extended by a generic sequence of reals $\a_\i,$ $\i\in\bI,$ such that $\aleph_1^\gM$ is preserved and every $\a_\i$ is Sacks generic…

It is shown (Theorem A and its corollary) that if g is any nonconstant nonunivalent analytic function on a half-plane H and if D is either a half-plane or a smoothly bounded Jordan domain, then there is a function f on D for which f'(D)…

We prove a generalized Dade's Lemma for quotients of local rings by ideals generated by regular sequences. That is, given a pair of finitely generated modules over such a ring with algebraically closed residue field, we prove a sufficient…

Let M be a filtered module. Some properties of elements of M are "generic" in the following sense: (being open/stable) if an element z of M has a property P then any approximation of z has P; (being dense) any element of M is approximated…

A field is existentially t-henselian if it is has the same existential theory in the first-order language of rings as a field that admits a nontrivial henselian valuation. This property turns out to be equivalent to $\mathbb{Z}$-largeness,…

Let R be a (not necessarily local) Noetherian ring and M a finitely generated R-module of finite dimension d. Let \fa be an ideal of R and \fM denote the intersection of all prime ideals \fp in Supp_RH^d_{\fa}(M). It is shown that…

It is proved that if there exists a Luzin set, or if either the stick principle or diamond(b) hold, then a strong instance of the guessing principle $\clubsuit_{AD}$ holds at the first uncountable cardinal. In particular, any of the above…

In Ben-David et al.'s "Learnability Can Be Undecidable," they prove an independence result in theoretical machine learning. In particular, they define a new type of learnability, called Estimating The Maximum (EMX) learnability. They argue…

We prove that $ZF+DC+"$there exists a transcendence basis for the reals$"+"$there is no well-ordering of the reals$"$ is consistent relative to $ZFC$. This answers a question of Larson and Zapletal.