The theory of tight closure from the viewpoint of vector bundles

Generic bounds for Frobenius closure and tight closure

We use geometric and cohomological methods to show that given a degree bound for membership in ideals of a fixed degree type in the polynomial ring P=k[x_0,..., x_d], one obtains a good generic degree bound for membership in the tight closure of an ideal of that degree type in any standard-graded k-algebra R of dimension d+1. This indicates that the tight closure of an ideal behaves more uniformly than the ideal itself. Moreover, if R is normal, one obtains a generic bound for membership in the Frobenius closure. If d is at most 2, then the bound for ideal membership in P can be computed from …

Computing the tight closure in dimension two

We study computational aspects of the tight closure of a homogeneous primary ideal in a two-dimensional normal standard-graded domain. We show how to use slope criteria for the sheaf of syzygies for generators of the ideal to compute the tight closure. Our method gives in particular an algorithm to compute the tight closure of three elements under the condition that we are able to compute the Harder-Narasimhan filtration. We apply this to the computation of (x^a,y^a,z^a)^* in K[x,y,z]/(F), where F is a homogeneous polynomial.

A generalization of tight closure and multiplier ideals

We introduce a new variant of tight closure associated to any fixed ideal $\a$, which we call $\a$-tight closure, and study various properties thereof. In our theory, the annihilator ideal $τ(\a)$ of all $\a$-tight closure relations, which is a generalization of the test ideal in the usual tight closure theory, plays a particularly important role. We prove the correspondence of the ideal $τ(\a)$ and the multiplier ideal associated to $\a$ (or, the adjoint of $\a$ in Lipman's sense) in normal $\Q$-Gorenstein rings reduced from characteristic zero to characteristic $p \gg 0$. Also, in fixed prim…

On the arithmetic of tight closure

We provide a negative answer to an old question in tight closure theory by showing that the containment x^3y^3 \in (x^4,y^4,z^4)^* in K[x,y,z]/(x^7+y^7-z^7) holds for infinitely many but not for almost all prime characteristics of the field K. This proves that tight closure exhibits a strong dependence on the arithmetic of the prime characteristic. The ideal (x,y,z) \subset K[x,y,z,u,v,w]/(x^7+y^7-z^7, ux^4+vy^4+wz^4+x^3y^3) has then the property that the cohomological dimension fluctuates arithmetically between 0 and 1.

Slopes of vector bundles on projective curves and applications to tight closure problems

We study different notions of slope of a vector bundle over a smooth projective curve with respect to ampleness and affineness in order to apply this to tight closure problems. This method gives new degree estimates from above and from below for the tight closure of a homogeneous $R_+$-primary ideal in a two-dimensional normal standard-graded algebra $R$ in terms of the minimal and the maximal slope of the sheaf of relations for some ideal generators. If moreover this sheaf of relations is semistable, then both degree estimates coincide and we get a vanishing type theorem.

F-thresholds, tight closure, integral closure, and multiplicity bounds

The F-threshold $c^J(\a)$ of an ideal $\a$ with respect to the ideal $J$ is a positive characteristic invariant obtained by comparing the powers of $\a$ with the Frobenius powers of $J$. We show that under mild assumptions, we can detect the containment in the integral closure or the tight closure of a parameter ideal using F-thresholds. We formulate a conjecture bounding $c^J(\a)$ in terms of the multiplicities $e(\a)$ and $e(J)$, when $\a$ and $J$ are zero-dimensional ideals, and $J$ is generated by a system of parameters. We prove the conjecture when $J$ is a monomial ideal in a polynomial …

F-凝聚环及其在紧闭包理论中的应用

F-coherent rings with applications to tight closure theory

本文引入正特征诺特环的新类F-凝聚环（完全闭包为凝聚的诺特环），研究其性质，并结合紧闭包理论给出应用，讨论了F-凝聚环与几类F-环的关系及凝聚性对一般完全环紧闭包行为的影响。

On Localization of Tight Closure in Line-$S_4$ Quartics

Building on work of Brenner and Monsky from 2010 and on a Hilbert-Kunz calculation of Monsky from 1998, we exhibit a novel example of a hypersurface over $\overline{\mathbb{F}_2}$ in which tight closure does not commute with localization. Our methods involve a surprising tiling argument using Sierpiński triangles, as well as an inspection of a certain dynamical system in characteristic two.

A linear bound for Frobenius powers and an inclusion bound for tight closure

Let I denote an R_+ -primary homogeneous ideal in a normal standard-graded Cohen-Macaulay domain over a field of positive characteristic p. We give a linear degree bound for the Frobenius powers I^[q] of I, q=p^e, in terms of the minimal slope of the top-dimensional syzygy bundle on the projective variety Proj R. This provides an inclusion bound for tight closure. In the same manner we give a linear bound for the Castelnuovo-Mumford regularity of the Frobenius powers I^[q].

An interpretation of multiplier ideals via tight closure

Hara and Smith independently proved that in a normal $\mQ$-Gorenstein ring of characteristic $p \gg 0$, the test ideal coincides with the multiplier ideal associated to the trivial divisor. We extend this result for a pair $(R, Δ)$ of a normal ring $R$ and an effective $\mQ$-Weil divisor $Δ$ on $\Spec R$. As a corollary, we obtain the equivalence of strongly F-regular pairs and klt pairs.

A dual to tight closure theory

We introduce an operation on modules over an $F$-finite ring of characteristic $p$. We call this operation \emph{tight interior}. While it exists more generally, in some cases this operation is equivalent to the Matlis dual of tight closure. Moreover, the interior of the ring itself is simply the big test ideal. We directly prove, without appeal to tight closure, results analogous to persistence, colon capturing, and working modulo minimal primes, and we begin to develop a theory dual to phantom homology. Using our dual notion of persistence, we obtain new and interesting transformation rules …

在零特征中通过解析奇点的闭包操作

Closure operations induced via resolutions of singularities in characteristic zero

在零特征中，通过解析奇点引入KH闭包操作，用于检测理性奇点并改进紧闭操作，同时探索相关闭包操作及其与正特征紧闭操作的联系。

An Introduction to Tight Closure

This is an expanded version of the author's lecture at the Conference in Commutative Algebra and Algebraic Geometry in Messina Italy in June 1999. The purpose of the talk was to give a brief introduction to the subject of tight closure, aimed at commutative algebraists who have not before studied this topic. The first part focused mainly on the definition and basic properties, with the second part focusing on some applications to algebraic geometry, particularly to global generation of adjoint linear series. These lecture notes follow even more closely a series of two lectures I gave in Kashik…

紧闭性、凝聚性与在单个元素处的局部化

Tight closure, coherence, and localization at single elements

本文提出开放持续性与可粘合性条件，证明满足二者的闭包运算在单元素局部化与保持拟凝聚性之间等价，并将其用于紧闭问题，引入半 F-正则性。

A characteristic p analogue of plt singularities and adjoint ideals

We introduce a new variant of tight closure and give an interpretation of adjoint ideals via this tight closure. As a corollary, we prove that a log pair $(X,Δ)$ is plt if and only if the modulo $p$ reduction of $(X,Δ)$ is divisorially F-regular for all large $p \gg 0$. Here, divisorially F-regular pairs are a class of singularities in positive characteristic introduced by Hara and Watanabe in terms of Frobenius splitting.

Characteristic-free test ideals

Tight closure test ideals have been central to the classification of singularities in rings of characteristic $p>0$, and via reduction to characteristic $p$, in equal characteristic zero as well. A summary of their properties and applications can be found in "A survey of test ideals" by Karl Schwede and Kevin Tucker. In this paper, we extend the notion of a test ideal to arbitrary closure operations, particularly those coming from big Cohen-Macaulay modules and algebras, and prove that it shares key properties of tight closure test ideals. Our main results show how these test ideals can be use…

The intersection homology D--module in finite characteristic

Let R be a regular, local and F-finite ring defined over a field of finite characteristic. Let I be an ideal of height c with normal quotient $A=R/I$. It is shown that the local cohomology module H^c_I(R) contains a unique simple D_R--submodule L(A,R). This should be viewed as a finite characteristic analog of the Kashiwara--Brylinski D_R--module in characteristic zero which corresponds to the intersection cohomology complex via the Riemann--Hilbert correspondence. Besides the existence of L(A,R), more importantly, we give its construction as a certain dual of the tight closure of zero in $H^d…

乘法理想通过超积的刻画

A characterization of multiplier ideals via ultraproducts

本文通过超积方法引入超紧闭包，证明了在正规Q-Gorenstein局部环上超测试理想与乘法理想一致，并应用于纯环扩张下乘法理想的性质研究。

Implementing geometric complexity theory: On the separation of orbit closures via symmetries

Understanding the difference between group orbits and their closures is a key difficulty in geometric complexity theory (GCT): While the GCT program is set up to separate certain orbit closures, many beautiful mathematical properties are only known for the group orbits, in particular close relations with symmetry groups and invariant spaces, while the orbit closures seem much more difficult to understand. However, in order to prove lower bounds in algebraic complexity theory, considering group orbits is not enough. In this paper we tighten the relationship between the orbit of the power sum po…

Towards a Geometric Approach to Strassen's Asymptotic Rank Conjecture

We make a first geometric study of three varieties in $\mathbb{C}^m \otimes \mathbb{C}^m \otimes \mathbb{C}^m$ (for each $m$), including the Zariski closure of the set of tight tensors, the tensors with continuous regular symmetry. Our motivation is to develop a geometric framework for Strassen's Asymptotic Rank Conjecture that the asymptotic rank of any tight tensor is minimal. In particular, we determine the dimension of the set of tight tensors. We prove that this dimension equals the dimension of the set of oblique tensors, a less restrictive class introduced by Strassen.

product-plus-power的几何复杂性理论

Geometric complexity theory for product-plus-power

本文证明了Kumar结果的逆命题，建立了border Waring rank与product-plus-power计算模型的紧密联系，并通过研究轨道闭包获得了新的重数障碍。