Related papers: Holes in I^n

We construct a four-term exact sequence which provides information on the kernel and cokernel of the multiplication by a pure symbol in Milnor's K-theory mod 2 of fields of characteristic zero. As an application we establish, for fields of…

The goal of this paper is to study the Rees algebra $\mathfrak{R}(I)$and the special fiber ring $\mathfrak{F}(I)$ for a family of ideals. Let $R=\mathbb{K}[x_1, \ldots, x_d]$ with $d\geq 4$ be a polynomial ring with homogeneous maximal…

Let D be a division ring finite dimensional over its center F. The goal of this paper is to prove that for any positive integer n there exists a in D^(n); the n-th multiplicative derived subgroup, such that F(a) is a maximal subfield of D.…

For each prime $\ell$, let $|\cdot|_\ell$ be an extension to $\bar \Q$ of the usual $\ell$-adic absolute value on $\Q$. Suppose $g(z) = \sum_{n=0}^\infty c(n)q^n \in M_{k+\half}(N)$ is an eigenform whose Fourier coefficients are algebraic…

The Wilson-Fisher fixed point defines a continuous family of interacting conformal field theories in non-integer dimensions. In integer dimensions, it is widely believed to lie in the same universality class as the critical Ising model. In…

Let $R$ be a commutative Noetherian ring and let $n$ be a non-negative integer. In this article, by using the theory of Gorenstein dimensions, it is shown that whenever $R$ is a homomorphic image of a Noetherian Gorenstein ring, then the…

Let $g$ be a Hecke cusp form of half-integral weight, level $4$ and belonging to Kohnen's plus subspace. Let $c(n)$ denote the $n$th Fourier coefficient of $g$, normalized so that $c(n)$ is real for all $n \geq 1$. A theorem of Waldspurger…

For any given positive definite binary quadratic form $Q$ with integer coefficients, we establish two results on Diophantine approximation with integers represented by $Q$. Firstly, we show that for every irrational number $\alpha$, there…

Let R be a commutative Noetherian ring, I and J ideals of R and M a finitely generated R-module. Let F be a covariant R-linear functor from the category of finitely generated R-modules to itself. We first show that if F is coherent, then…

Let I be an m-primary ideal of a Noetherian local ring (R,m) of positive dimension. The coefficient $e_1(A)$ of the Hilbert polynomial of an I-admissible filtration A is called the Chern number of A. The Positivity Conjecture of Vasconcelos…

We propose an effective method for primary decomposition of symmetric ideals. Let $K[X]=K[x_1,\ldots,x_n]$ be the $n$-valuables polynomial ring over a field $K$ and $\mathfrak{S}_n$ the symmetric group of order $n$. We consider the…

Let $(A,\mathfrak{m})$ be a regular local ring of dimension $d \geq 1$, $I$ an $\mathfrak{m}$-primary ideal. Let $N$ be a non-zero finitely generated $A$-module. Consider the functions \[ t^I(N, n) = \sum_{i = 0}^{ d}\ell(\text{Tor}^A_i(N,…

Let $R$ be a strong $n$-coherent ring such that each finitely $n$-presented $R$-module has finite projective dimension. We consider $\mathcal{FP}_{n}(R)$ the full subcategory of $R$-Mod of finitely $n$-presented modules. We prove that…

From the structure of the category of representations of an affine cycle-free quiver, we determine an explicit linear form on the space of regular cuspidal functions over a finite field: its kernel is exactly the space of cuspidal…

We prove that for any countable set $A$ of real numbers, the set of binary indefinite quadratic forms $Q$ such that the closure of $Q(\mathbb{Z}^2)$ is disjoint from $A$ has full Hausdorff dimension.

Let $N \geq 2$ be an integer, $F$ a quadratic form in $N$ variables over $\bar{\mathbb Q}$, and $Z \subseteq \bar{\mathbb Q}^N$ an $L$-dimensional subspace, $1 \leq L \leq N$. We prove the existence of a small-height maximal totally…

In light of Kim's conjecture on regular polytopes of dimension four, which is a generalization of Waring's problem, we establish asymptotic formulas for representing any sufficiently large integer as a sum of numbers in the form of those…

Computing well-rounded twists of ideals in number fields has been done when the field degree is $2$. In this paper, we develop a new algorithm to detect whether a basis of an ideal $\mathfrak{I}$ in a cyclic cubic field $F$ yields a…

Let d>2 and let p be a prime coprime to d. Let Z_pbar be the ring of integers of Q_pbar. Suppose f(x) is a degree-d polynomial over Qbar and Z_pbar. Let P be a prime ideal over p in the ring of integers of Q(f), where Q(f) is the number…

A new polynomial identity is found for Dickson polynomials in characteristic 2. The identity is used to prove that the two polynomials $x^{q+1}+x+1/a$ and $C(x)+a$ have the same splitting field over $F$, where $F$ is a field of…