Subscribe to the gold package and get unlimited access to Shamra Academy
Register a new userOn the functoriality of marked families
142
0
0.0
(
0
)
Ask ChatGPT about the research
No Arabic abstract
The application of methods of computational algebra has recently introduced new tools for the study of Hilbert schemes. The key idea is to define flat families of ideals endowed with a scheme structure whose defining equations can be determined by algorithmic procedures. For this reason, several authors developed new methods, based on the combinatorial properties of Borel-fixed ideals, that allow to associate to each ideal $J$ of this type a scheme $mathbf{Mf}_{J}$, called $J$-marked scheme. In this paper we provide a solid functorial foundation to marked schemes and show that the algorithmic procedures introduced in previous papers do not depend on the ring of coefficients. We prove that for all strongly stable ideals $J$, the marked schemes $mathbf{Mf}_{J}$ can be embedded in a Hilbert scheme as locally closed subschemes, and that they are open under suitable conditions on $J$. Finally, we generalize Lederers result about Grobner strata of zero-dimensional ideals, proving that Grobner strata of any ideals are locally closed subschemes of Hilbert schemes.
rate research
Read More
In this paper we study the local cohomology modules of Du Bois singularities. Let $(R,m)$ be a local ring, we prove that if $R_{red}$ is Du Bois, then $H_m^i(R)to H_m^i(R_{red})$ is surjective for every $i$. We find many applications of this result. For example we answer a question of Kovacs and the second author on the Cohen-Macaulay property of Du Bois singularities. We obtain results on the injectivity of $Ext$ that provide substantial partial answers of questions of Eisenbud-Mustata-Stillman in characteristic $0$, and these results can be viewed as generalizations of the Kodaira vanishing theorem for Cohen-Macaulay Du Bois varieties. We prove results on the set-theoretic Cohen-Macaulayness of the defining ideal of Du Bois singularities, which are characteristic $0$ analog of results of Singh-Walther and answer some of their questions. We extend results of Hochster-Roberts on the relation between Koszul cohomology and local cohomology for $F$-injective and Du Bois singularities, see Hochster-Roberts. We also prove that singularities of dense $F$-injective type deform.
Suppose that (K, $ u$) is a valued field, f (z) $in$ K[z] is a unitary and irreducible polynomial and (L, $omega$) is an extension of valued fields, where L = K[z]/(f (z)). Further suppose that A is a local domain with quotient field K such that $ u$ has nonnegative value on A and positive value on its maximal ideal, and that f (z) is in A[z]. This paper is devoted to the problem of describing the structure of the associated graded ring gr $omega$ A[z]/(f (z)) of A[z]/(f (z)) for the filtration defined by $omega$ as an extension of the associated graded ring of A for the filtration defined by $ u$. In particular we give an algorithm which in many cases produces a finite set of elements of A[z]/(f (z)) whose images in gr $omega$ A[z]/(f (z)) generate it as a gr $ u$ A-algebra as well as the relations between them. We also work out the interactions of our method of computation with phenomena which complicate the study of ramification and local uniformization in positive characteristic , such as the non tameness and the defect of an extension. For valuations of rank one in a separable extension of valued fields (K, $ u$) $subset$ (L, $omega$) as above our algorithm produces a generating sequence in a local birational extension A1 of A dominated by $ u$ if and only if there is no defect. In this case, gr $omega$ A1[z]/(f (z)) is a finitely presented gr $ u$ A1-module. This is an improved version, thanks to a referees remarks.
In a recent paper [3], the authors introduced a map $mathcal{F}$ which associates a Deitmar scheme (which is defined over the field with one element, denoted by $mathbb{F}_1$) with any given graph $Gamma$. By base extension, a scheme $mathcal{X}_k = mathcal{F}(Gamma) otimes_{mathbb{F}_1} k$ over any field $k$ arises. In the present paper, we will show that all these mappings are functors, and we will use this fact to study automorphism groups of the schemes $mathcal{X}_k$. Several automorphism groups are considered: combinatorial, topological, and scheme-theoretic groups, and also groups induced by automorphisms of the ambient projective space. When $Gamma$ is a finite tree, we will give a precise description of the combinatorial and projective groups, amongst other results.
In this note we look at the freeness for complex affine hypersurfaces. If $X subset mathbb{C}^n$ is such a hypersurface, and $D$ denotes the associated projective hypersurface, obtained by taking the closure of $X$ in $mathbb{P}^n$, then we relate first the Jacobian syzygies of $D$ and those of $X$. Then we introduce two types of freeness for an affine hypersurface $X$, and prove various relations between them and the freeness of the projective hypersurface $D$. We write down a proof of the folklore result saying that an affine hypersurface is free if and only if all of its singularities are free, in the sense of K. Saitos definition in the local setting. In particular, smooth affine hypersurfaces and affine plane curves are always free. Some other results, involving global Tjurina numbers and minimal degrees of non trivial syzygies are also explored.
Here we prove that the Hilbert-Kunz mulitiplicity of a quadric hypersurface of dimension $d$ and odd characteristic $pgeq 2d-4$ is bounded below by $1+m_d$, where $m_d$ is the $d^{th}$ coefficient in the expansion of $mbox{sec}+mbox{tan}$. This proves a part of the long standing conjecture of Watanabe-Yoshida. We also give an upper bound on the HK multiplicity of such a hypersurface. We approach the question using the HK density function and the classification of ACM bundles on the smooth quadrics via matrix factorizations.
Log in to be able to interact and post comments
comments
Fetching comments
Sign in to be able to follow your search criteria
