333:
247:
can be transcendental). Hochster and Huneke related
Hilbert-Kunz multiplicities to "tight closure" and Brenner and Monsky used Hilbert–Kunz functions to show that localization need not preserve tight closure. The question of how c behaves as the characteristic goes to infinity (say for a hypersurface defined by a polynomial with integer coefficients) has also received attention; once again open questions abound.
22:
238:. If d is the dimension of the local ring, Monsky showed that f(q)/(q^d) is c+O(1/q) for some real constant c. This constant, the "Hilbert-Kunz" multiplicity", is greater than or equal to 1. Watanabe and Yoshida strengthened some of Kunz's results, showing that in the unmixed case, the ring is regular precisely when c=1.
246:
and
Teixeira have treated diagonal hypersurfaces and various related hypersurfaces. But there is no known technique for determining the Hilbert–Kunz function or c in general. In particular the question of whether c is always rational wasn't settled until recently (by Brenner—it needn't be, and indeed
250:
A comprehensive overview is to be found in Craig Huneke's article "Hilbert-Kunz multiplicities and the F-signature" arXiv:1409.0467. This article is also found on pages 485-525 of the
Springer volume "Commutative Algebra: Expository Papers Dedicated to David Eisenbud on the Occasion of His 65th
241:
Hilbert–Kunz functions and multiplicities have been studied for their own sake. Brenner and
Trivedi have treated local rings coming from the homogeneous co-ordinate rings of smooth projective curves, using techniques from algebraic geometry. Han,
269:
183:
219:
374:
113:
61:
32:
367:
348:
98:
39:
398:
105:
360:
393:
8:
201:
301:
E. Kunz, "On noetherian rings of characteristic p," Am. J. Math, 98, (1976), 999–1013. 1
310:
231:
227:
38:
The references used may be made clearer with a different or consistent style of
344:
43:
387:
306:
209:
223:
95:
243:
235:
83:
270:"Hilbert-Kunz function of monomial ideals and binomial hypersurfaces"
332:
315:
340:
75:
309:(2012). "Hilbert-Kunz functions of 2 x 2 determinantal rings".
178:{\displaystyle f(q)=\operatorname {length} _{R}(R/m^{})}
116:
304:
177:
385:
368:
375:
361:
314:
62:Learn how and when to remove this message
386:
267:
327:
15:
13:
251:Birthday", edited by Irena Peeva.
14:
410:
331:
222:, who used it to characterize a
20:
295:
279:. Springer Verlag 90, 287 - 300
261:
208:-th powers of elements of the
172:
167:
161:
145:
126:
120:
1:
254:
218:The notion was introduced by
347:. You can help Knowledge by
7:
10:
415:
326:
343:-related article is a
305:Edward Miller, Lance;
179:
180:
80:Hilbert–Kunz function
268:Conca, Aldo (1996).
114:
232:Frobenius morphism
175:
356:
355:
204:generated by the
72:
71:
64:
406:
377:
370:
363:
335:
328:
320:
318:
289:
288:
286:
284:
274:
265:
184:
182:
181:
176:
171:
170:
155:
141:
140:
67:
60:
56:
53:
47:
24:
23:
16:
414:
413:
409:
408:
407:
405:
404:
403:
384:
383:
382:
381:
324:
298:
293:
292:
282:
280:
272:
266:
262:
257:
228:Noetherian ring
160:
156:
151:
136:
132:
115:
112:
111:
68:
57:
51:
48:
37:
31:has an unclear
25:
21:
12:
11:
5:
412:
402:
401:
396:
380:
379:
372:
365:
357:
354:
353:
336:
322:
321:
307:Swanson, Irena
302:
297:
294:
291:
290:
259:
258:
256:
253:
192:is a power of
186:
185:
174:
169:
166:
163:
159:
154:
150:
147:
144:
139:
135:
131:
128:
125:
122:
119:
99:characteristic
70:
69:
33:citation style
28:
26:
19:
9:
6:
4:
3:
2:
411:
400:
399:Algebra stubs
397:
395:
392:
391:
389:
378:
373:
371:
366:
364:
359:
358:
352:
350:
346:
342:
337:
334:
330:
329:
325:
317:
312:
308:
303:
300:
299:
278:
277:dima.unige.it
271:
264:
260:
252:
248:
245:
239:
237:
233:
230:in which the
229:
225:
221:
216:
214:
211:
210:maximal ideal
207:
203:
199:
195:
191:
164:
157:
152:
148:
142:
137:
133:
129:
123:
117:
110:
109:
108:
107:
103:
100:
97:
93:
89:
85:
81:
77:
66:
63:
55:
45:
41:
35:
34:
29:This article
27:
18:
17:
349:expanding it
338:
323:
296:Bibliography
281:. Retrieved
276:
263:
249:
240:
224:regular ring
217:
212:
205:
197:
193:
189:
187:
101:
91:
87:
79:
73:
58:
49:
30:
394:Ring theory
388:Categories
255:References
220:Ernst Kunz
84:local ring
44:footnoting
316:1206.1015
283:23 August
143:
106:function
52:May 2024
40:citation
341:algebra
200:is the
104:is the
76:algebra
244:Monsky
188:where
134:length
78:, the
339:This
311:arXiv
273:(PDF)
226:as a
202:ideal
96:prime
94:) of
82:of a
345:stub
285:2014
236:flat
196:and
42:and
234:is
74:In
390::
275:.
215:.
90:,
376:e
369:t
362:v
351:.
319:.
313::
287:.
213:m
206:q
198:m
194:p
190:q
173:)
168:]
165:q
162:[
158:m
153:/
149:R
146:(
138:R
130:=
127:)
124:q
121:(
118:f
102:p
92:m
88:R
86:(
65:)
59:(
54:)
50:(
46:.
36:.
Text is available under the Creative Commons Attribution-ShareAlike License. Additional terms may apply.