skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


Title: The higher Du Bois and higher rational properties for isolated singularities
Higher rational and higher Du Bois singularities have recently been introduced as natural generalizations of the standard definitions of rational and Du Bois singularities. In this note, we discuss these properties for isolated singularities, especially in the locally complete intersection (lci) case. First, we reprove the fact that a k k -rational isolated singularity is k k -Du Bois without any lci assumption. For isolated lci singularities, we give a complete characterization of the k k -Du Bois and k k -rational singularities in terms of standard invariants of singularities. In particular, we show that k k -Du Bois singularities are ( k −<#comment/> 1 ) (k-1) -rational for isolated lci singularities. In the course of the proof, we establish some new relations between invariants of isolated lci singularities and show that many of these vanish. The methods also lead to a quick proof of an inversion of adjunction theorem in the isolated lci case. Finally, we discuss some results specific to the hypersurface case.  more » « less
Award ID(s):
2101640
PAR ID:
10504955
Author(s) / Creator(s):
;
Publisher / Repository:
American Mathematical Society
Date Published:
Journal Name:
Journal of Algebraic Geometry
Volume:
33
Issue:
3
ISSN:
1056-3911
Page Range / eLocation ID:
493 to 520
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Let R R be a standard graded algebra over a field. We investigate how the singularities of Spec ⁡<#comment/> R \operatorname {Spec} R or Proj ⁡<#comment/> R \operatorname {Proj} R affect the h h -vector of R R , which is the coefficient of the numerator of its Hilbert series. The most concrete consequence of our work asserts that if R R satisfies Serre’s condition ( S r ) (S_r) and has reasonable singularities (Du Bois on the punctured spectrum or F F -pure), then h 0 h_0 , …, h r ≥<#comment/> 0 h_r\geq 0 . Furthermore the multiplicity of R R is at least h 0 + h 1 + ⋯<#comment/> + h r −<#comment/> 1 h_0+h_1+\dots +h_{r-1} . We also prove that equality in many cases forces R R to be Cohen-Macaulay. The main technical tools are sharp bounds on regularity of certain Ext \operatorname {Ext} modules, which can be viewed as Kodaira-type vanishing statements for Du Bois and F F -pure singularities. Many corollaries are deduced, for instance that nice singularities of small codimension must be Cohen-Macaulay. Our results build on and extend previous work by de Fernex-Ein, Eisenbud-Goto, Huneke-Smith, Murai-Terai and others. 
    more » « less
  2. We develop a higher semiadditive version of Grothendieck-Witt theory. We then apply the theory in the case of a finite field to study the higher semiadditive structure of the K ( 1 ) K(1) -local sphere S K ( 1 ) \mathbb {S}_{K(1)} at the prime 2 2 , in particular realizing the non- 2 2 -adic rational element 1 + ε<#comment/> ∈<#comment/> π<#comment/> 0 S K ( 1 ) 1+\varepsilon \in \pi _0\mathbb {S}_{K(1)} as a “semiadditive cardinality.” As a further application, we compute and clarify certain power operations in π<#comment/> 0 S K ( 1 ) \pi _0\mathbb {S}_{K(1)}
    more » « less
  3. We say a null-homologous knot K K in a 3 3 -manifold Y Y has Property G, if the Thurston norm and fiberedness of the complement of K K is preserved under the zero surgery on K K . In this paper, we will show that, if the smooth 4 4 -genus of K ×<#comment/> { 0 } K\times \{0\} (in a certain homology class) in ( Y ×<#comment/> [ 0 , 1 ] ) #<#comment/> N C P 2 ¯<#comment/> (Y\times [0,1])\#N\overline {\mathbb CP^2} , where Y Y is a rational homology sphere, is smaller than the Seifert genus of K K , then K K has Property G. When the smooth 4 4 -genus is 0 0 , Y Y can be taken to be any closed, oriented 3 3 -manifold. 
    more » « less
  4. Let f f be analytic on [ 0 , 1 ] [0,1] with | f ( k ) ( 1 / 2 ) | ⩽<#comment/> A α<#comment/> k k ! |f^{(k)}(1/2)|\leqslant A\alpha ^kk! for some constants A A and α<#comment/> > 2 \alpha >2 and all k ⩾<#comment/> 1 k\geqslant 1 . We show that the median estimate of μ<#comment/> = ∫<#comment/> 0 1 f ( x ) d x \mu =\int _0^1f(x)\,\mathrm {d} x under random linear scrambling with n = 2 m n=2^m points converges at the rate O ( n −<#comment/> c log ⁡<#comment/> ( n ) ) O(n^{-c\log (n)}) for any c > 3 log ⁡<#comment/> ( 2 ) / π<#comment/> 2 ≈<#comment/> 0.21 c> 3\log (2)/\pi ^2\approx 0.21 . We also get a super-polynomial convergence rate for the sample median of 2 k −<#comment/> 1 2k-1 random linearly scrambled estimates, when k / m k/m is bounded away from zero. When f f has a p p ’th derivative that satisfies a λ<#comment/> \lambda -Hölder condition then the median of means has error O ( n −<#comment/> ( p + λ<#comment/> ) + ϵ<#comment/> ) O( n^{-(p+\lambda )+\epsilon }) for any ϵ<#comment/> > 0 \epsilon >0 , if k →<#comment/> ∞<#comment/> k\to \infty as m →<#comment/> ∞<#comment/> m\to \infty . The proof techniques use methods from analytic combinatorics that have not previously been applied to quasi-Monte Carlo methods, most notably an asymptotic expression from Hardy and Ramanujan on the number of partitions of a natural number. 
    more » « less
  5. We study regularity of solutions u u to ∂<#comment/> ¯<#comment/> u = f \overline \partial u=f on a relatively compact C 2 C^2 domain D D in a complex manifold of dimension n n , where f f is a ( 0 , q ) (0,q) form. Assume that there are either ( q + 1 ) (q+1) negative or ( n −<#comment/> q ) (n-q) positive Levi eigenvalues at each point of boundary ∂<#comment/> D \partial D . Under the necessary condition that a locally L 2 L^2 solution exists on the domain, we show the existence of the solutions on the closure of the domain that gain 1 / 2 1/2 derivative when q = 1 q=1 and f f is in the Hölder–Zygmund space Λ<#comment/> r ( D ) \Lambda ^r( D) with r > 1 r>1 . For q > 1 q>1 , the same regularity for the solutions is achieved when ∂<#comment/> D \partial D is either sufficiently smooth or of ( n −<#comment/> q ) (n-q) positive Levi eigenvalues everywhere on ∂<#comment/> D \partial D
    more » « less