Related papers: Fitting Ideals without a Presentation

Given a finite set of closed rational points of affine space over a field, we give a Gr\"obner basis for the lexicographic ordering of the ideal of polynomials which vanish at all given points. Our method is an alternative to the…

Given an arbitrary integer $d>0$, we construct a homogeneous ideal $I$ of the polynomial ring $S = K[x_1, \ldots, x_{3d}]$ in $3d$ variables over a filed $K$ for which $S/I$ is a Cohen--Macaulay ring of dimension $d$ with the property that,…

We prove that all eight KO groups for a real C*-algebra can be constructed from homotopy classes of unitary matrices that respect a variety of symmetries. In this manifestation of the KO groups, all eight boundary maps in the 24-term exact…

Cyclic, ramified extensions $L/K$ of degree $p$ of local fields with residue characteristic $p$ are fairly well understood. Unless $\mbox{char}(K)=0$ and $L=K(\sqrt[p]{\pi_K})$ for some prime element $\pi_K\in K$, they are defined by an…

Let $f\colon M \to M$ be a uniformly quasiregular self-mapping of a compact, connected, and oriented Riemannian $n$-manifold $M$ without boundary, $n\ge 2$. We show that, for $k \in \{0,\ldots, n\}$, the induced homomorphism $f^* \colon…

In this paper, we construct in characteristic zero a derived foliation on derived mapping stacks $\underline{\mathbf{Map}}_S(X,Y)$, for $S$ a base derived stack, $X$ a proper schematic, flat, and local complete intersection derived stack…

In a previous article (J. Algebra 367 (2012), 142-165) we established axiomatic parametrised Cohen-Macaulay approximation which in particular was applied to pairs consisting of a finite type flat family of Cohen-Macaulay rings and modules.…

We study the Modular Isomorphism Problem (MIP) for groups of small order based on an improvement of an algorithm described by B. Eick. Our improvement allows to determine quotients $I(kG)/I(kG)^m$ of the augmentation ideal without first…

We develop the basic theory of derived quasi-coherent ideals for stacks relative to a given derived algebraic context. We compare different notions of adic completeness with respect to derived ideals, define and compare formal spectra and…

One point compactification is studied in the light of ideal of subsets of $\mathbb{N}$. $\mathcal{I}$-proper map is introduced and showed that a continuous map can be extended continuously to the one point $\mathcal{I}$-compactification if…

In this work, various versions of the so-called Omega-Lemma are provided, which ensure differentiability properties of pushforwrds between spaces of C^r-sections (or compactly supported C^r-sections) in vector bundles over…

Consider real-analytic mapping-germs, (R^n,o)-> (R^m,o). They can be equivalent (by coordinate changes) complex-analytically, but not real-analytically. However, if the transformation of complex-equivalence is identity modulo higher order…

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. Let $\mathbb{A}_K$ denote the imperfect coefficient ring of $(\varphi,\Gamma)$-modules defined by Jean-Marc Fontaine.…

We prove that any compactified universal Jacobian over any stack of stable maps, defined using torsion-free sheaves which are Gieseker semistable with respect to a relatively ample invertible sheaf over the universal curve, admits a…

We provide an equivalence between the category of affine, smooth group schemes over the ring of generalized dual numbers $k[I]$, and the category of extensions of the form $1 \rightarrow \text{Lie}(G, I) \rightarrow E \rightarrow G…

Let $(Q, \mathfrak{n})$ be a regular local ring and let $f_1, \ldots, f_c \in \mathfrak{n}^2$ be a $Q$-regular sequence. Set $(A, \mathfrak{m}) = (Q/(\mathbf{f}), \mathfrak{n}/(\mathbf{f}))$. Further assume that the initial forms $f_1^*,…

A remarkable exact mapping, valid for low-enough energy scales and close to a sharp boundary distribution of hadronic matter, from the $(3+1)$-dimensional Skyrme model to the sine-Gordon theory in $(1+1)$ dimensions in the attractive regime…

A complete structure theorem of Sally modules of $\fkm$-primary ideals $I$ in a Cohen-Macaulay local ring $(A, \m)$ satisfying the equality $\e_1(I)=\e_0(I)-\ell_A(A/I)+1$ is given, where $\e_0(I)$ and $\e_1(I)$ denote the first two Hilbert…

Let $\mathcal{A}$ denote a central hyperplane arrangement of rank $n$ in affine space $\mathbb{K}^n$ over an infinite field $\mathbb{K}$ and let $l_1,\ldots, l_m\in R:= \mathbb K[x_1,\ldots,x_n]$ denote the linear forms defining the…

We define the Laplacian matrix and the Jacobian group of a finite graph of groups. We prove analogues of the matrix tree theorem and the class number formula for the order of the Jacobian of a graph of groups. Given a group $G$ acting on a…