Related papers: Extrapolating an Euler class

Let $\mathbf u=(u_n)_{n\in\mathbb N}$ be a sequence in $\mathbb N_+$ with $u_0=1$ and $u_n\mid u_{n+1}$ for every $n\in\mathbb N$, and let $b_n:=u_{n+1}/u_n$ for every $n\in\mathbb N_+$. For every $r\in [0,1)$, there exists a unique…

Let $f_1,...,f_n$ be $n$ germs of holomorphic functions at the origin of $\mathbb{C}^n$ such that $f_i(0)=0$, $1\leq i\leq n$. We give a proof based on the J. Lipman's theory of residues via Hochschild Homology that the Jacobian of…

Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal…

We analyze the behavior of the holonomic rank in families of holonomic systems over complex algebraic varieties by providing homological criteria for rank-jumps in this general setting. Then we investigate rank-jump behavior for…

Mennicke--Newman lemma for unimodular rows was used by W. van der Kallen to give a group structure on the orbit set $\frac{Um_{n}(R)}{E_{n}(R)}$ for a commutative noetherian ring of dimension $d\leq 2n-4.$ In this paper, we generalise the…

For the ideal $I = \langle y_1 + \dots + y_n, y^2_1, \dots , y^2_n \rangle$ in $R = {\mathbb F}[y_1, \dots , y_n]$ with char($\mathbb F$) = 0, we show that the reduced Gr\"obner basis with lex-order consists of polynomials $g_\alpha$ that…

For each $i \geq 0$, we study the trace ideal of the $i$-th exterior power of the module of differentials. We show that these ideals characterize the polynomial rank of graded rings and the formal power series rank of complete local rings,…

We provide coincidence results for vector-valued ideals of multilinear operators. More precisely, if $\mathfrak A$ is an ideal of $n$-linear mappings we give conditions for which the following equality $\mathfrak A(E_1,\dots,E_n;F) =…

Let M be a compact smooth manifold of dimension n with or without boundary, and f : M $\rightarrow$ R be a smooth Gaussian random field. It is very natural to suppose that for a large positive real u, the random excursion set {f $\ge$ u} is…

For an ideal $I$ in a Noetherian ring $R$, we introduce and study its conductor as a tool to explore the Rees algebra of $I$. The conductor of $I$ is an ideal $C(I)\subset R$ obtained from the defining ideals of the Rees algebra and the…

With the aid of the exponentiation functor and Fourier transform we introduce a class of modules $T(g,V,S)$ of $\mathfrak{sl} (n+1)$ of mixed tensor type. By varying the polynomial $g$, the $\mathfrak{gl}(n)$-module $V$, and the set $S$, we…

We compute the type (maximum linearization) of the well partial order of bounded lower sets in $\mathbb{N}^m$, ordered under inclusion, and find it is $\omega^{\omega^{m-1}}$. Moreover we compute the type of the set of all lower sets in…

The Euler graph has vertices labelled (n,k) for n=0,1,2,... and k=0,1,...,n, with k+1 edges from (n,k) to (n+1,k) and n-k+1 edges from (n,k) to (n+1,k+1). The number of paths from (0,0) to (n,k) is the Eulerian number A(n,k), the number of…

Let $v$ be a discrete valuation of a field $K$, which indicates that the valuation group of $v$ is isomorphic to the integers $\mathbb{Z}$ with the natural order, and let $L$ be a finite separable extension of $K$ with a complete set…

Let $R$ be a semilocal principal ideal domain. Two algebraic objects over $R$ in which scalar extension makes sense (e.g. quadratic spaces) are said to be of the same genus if they become isomorphic after extending scalars to all…

It is shown that the Baer-Kaplansky theorem can be extended to all abelian groups provided that the rings of endomorphisms of groups are replaced by trusses of endomorphisms of corresponding heaps. That is, every abelian group is determined…

Let $E$ be a module of projective dimension one over $R=k[x_1,\ldots,x_d]$. If $E$ is presented by a matrix $\varphi$ with linear entries and the number of generators of $E$ is bounded locally up to codimension $d-1$, the Rees ring…

Let $(R,\m)$ and $(S,\n)$ be commutative Noetherian local rings, and let $\phi:R\to S$ be a flat local homomorphism such that $\m S = \n$ and the induced map on residue fields $R/\m \to S/\n$ is an isomorphism. Given a finitely generated…

Drawing inspiration from Emmy Noether'set-theoretic foundations for algebra and Charles Ehresmann's topology without points, we adopt a new order-theoretic approach to ideal theory. For this we emphasize the order of divisibility in…

In this article, we prove several results about the extension to the boundary of conformal immersions from an open subset $\Omega$ of a Riemannian manifold $L$, into another Riemannian manifold $N$ of the same dimension. In dimension $n…