BZPEERPapers, people, evidence and research pathsDiscover
Research tools
Network
Opportunities
Account
Source author record
Adela Vraciu appears in the imported research catalog. Authorship, coauthor and topic links are available while profile ownership is still unclaimed.
Catalog footprint
Research graph
Inspect adjacent papers, topics, institutions and collaborators without losing the researcher page.
BZPEER is loading the nearby papers, people, topics and institutions for this page.
Published work
We classify Frobenius forms, a special class of homogeneous polynomials in characteristic $p>0$, in up to five variables over an algebraically closed field. We also point out some of the similarities with quadratic forms.
Cubic surfaces in characteristic two are investigated from the point of view of prime characteristic commutative algebra. In particular, we prove that, the non-Frobenius split cubic surfaces form a linear subspace of codimension four in the 19-dimensional space of all cubics, and that up to projective equivalence, there are finitely many non-Frobenius split cubic surfaces. We explicitly describe defining equations for each and characterize them as extremal in terms of configurations of lines on them. In particular, a (possibly singular) cubic surface in characteristic two fails to be Frobenius split if and only if no three lines on it form a "triangle".
We prove that if $f$ is a reduced homogenous polynomial of degree $d$, then its $F$-pure threshold at the unique homogeneous maximal ideal is at least $\frac{1}{d-1}$. We show, furthermore, that its $F$-pure threshold equals $\frac{1}{d-1}$ if and only if $f\in \mathfrak m^{[q]}$ and $d=q+1$, where $q$ is a power of $p$. Up to linear changes of coordinates (over a fixed algebraically closed field), we classify such "extremal singularities," and show that there is at most one with isolated singularity. Finally, we indicate several ways in which the projective hypersurfaces defined by such forms are "extremal," for example, in terms of the configurations of lines they can contain.
We prove that, under certain assumptions, generalized Hilbert-Kunz multiplicities can be expressed as linear combinations of classical Hilbert-Kunz multiplicities.
A quasi-complete intersection (q.c.i.) ideal of a local ring is an ideal with "free exterior Koszul homology"; the definition can also be understood in terms of vanishing of André-Quillen homology functors. Principal q.c.i. ideals are well understood, but few constructions are known to produce q.c.i. ideals of grade zero that are not principal. This paper examines the structure of q.c.i. ideals. We exhibit conditions on a ring $R$ which guarantee that every q.c.i. ideal of $R$ is principal. On the other hand, we give an example of a minimal q.c.i. deal $I$ which does not contain any principal q.c.i. ideals and is not embedded, in the sense that no faithfully flat extension of $I$ can be written as a quotient of complete intersection ideals. We also describe a generic situation in which the maximal ideal of $R$ is an embedded q.c.i. ideal that does not contain any principal q.c.i. ideals.
We give a formula for the smallest degree of a non-Koszul relation on $x_1^{d_1}, \ldots, x_n^{d_n}, (x_1+\ldots +x_n)^{d_{n+1}}\in k[x_1, \ldots, x_n]$ (under certain assumptions on $d_1, \ldots, d_{n+1}$) where $k$ is a field of positive characteristic $p$. As an application of our result, we give a formula for the diagonal F-threshold of a diagonal hypersurface. Another application is a characterization, depending on the characteristic $p$ of $k$, of the values of $d_1, \ldots, d_{n+1}$ (satisfying certain assumptions) such that the ring $k[x_1, \ldots, x_{n+1}]/(x_1^{d_1}, \ldots, x_{n+1}^{d_{n+1}})$ has the weak Lefschetz property.
We prove that in normal rings the tight closure of an ideal can be computed as the sum of the ideal and a piece of the tight closure, called the special tight closure.
We consider vanishing of Ext and Tor, especially over Artinian rings. In particular, we prove the Auslander-Reiten conjecture for all commutative local rings in which the cube of the maximal ideal is zero.
Let $A=\pmb k[x_1,...,x_n]/{(x_1^d,...,x_n^d)}$, where $\pmb k$ is an infinite field. If $\pmb k$ has characteristic zero, then Stanley proved that $A$ has the Weak Lefschetz Property (WLP). Henceforth, $\pmb k$ has positive characteristic $p$. If $n=3$, then Brenner and Kaid have identified all $d$, as a function of $p$, for which $A$ has the WLP. In the present paper, the analogous project is carried out for $4\le n$. If $4\le n$ and $p=2$, then $A$ has the WLP if and only if $d=1$. If $n=4$ and $p$ is odd, then we prove that $A$ has the WLP if and only if $d=kq+r$ for integers $k,q,d$ with $1\le k\le \frac{p-1}2$, $r\in{\frac{q-1}2,\frac{q+1}2}$, and $q=p^e$ for some non-negative integer $e$. If $5\le n$, then we prove that $A$ has the WLP if and only if $\lfloor\frac{n(d-1)+3}2\rfloor\le p$. We first interpret the WLP for the ring ${{\pmb k}[x_1, ..., x_{n}]}/{(x_1^d, ..., x_{n}^d)}$ in terms of the degrees of the non-Koszul relations on the elements $x_1^d, ..., x_{n-1}^d, (x_1+ ... +x_{n-1})^d$ in the polynomial ring $\pmb k[x_1, ..., x_{n-1}]$. We then exhibit a sufficient condition for ${{\pmb k}[x_1, ..., x_{n}]}/{(x_1^d, ..., x_{n}^d)}$ to have the WLP. This condition is expressed in terms of the non-vanishing in $\pmb k$ of determinants of various Toeplitz matrices of binomial coefficients. Frobenius techniques are used to produce relations of low degree on $x_1^d$, ..., $x_{n-1}^d$, ${(x_1+ ... +x_{n-1})^d}$. From this we obtain a necessary condition for $A$ to have the WLP. We prove that the necessary condition is sufficient by showing that the relevant determinants are non-zero in $\pmb k$.
Let $k$ be a field. For each pair of positive integers $(n,N)$, we resolve $Q=R/(x^N,y^N,z^N)$ as a module over the ring $R=k[x,y,z]/(x^n+y^n+z^n)$. Write $N$ in the form $N=a n+r$ for integers $a$ and $r$, with $r$ between $0$ and $n-1$. If $n$ does not divide $N$ and the characteristic of $k$ is fixed, then the value of $a$ determines whether $Q$ has finite or infinite projective dimension. If $Q$ has infinite projective dimension, then value of $r$, together with the parity of $a$, determines the periodic part of the infinite resolution. When $Q$ has infinite projective dimension we give an explicit presentation for the module of first syzygies of $Q$. This presentation is quite complicated. We also give an explicit presentation the module of second syzygies for $Q$. This presentation is remarkably uncomplicated. We use linkage to find an explicit generating set for the grade three Gorenstein ideal $(x^N,y^N,z^N):(x^n+y^n+z^n)$ in the polynomial ring $k[x,y,z]$. The question "Does $Q$ have finite projective dimension?" is intimately connected to the question "Does $k[X,Y,Z]/(X^a,Y^a,Z^a)$ have the Weak Lefschetz Property?". The second question is connected to the enumeration of plane partitions. When the field $k$ has positive characteristic, we investigate three questions about the Frobenius powers $F^t(Q)$ of $Q$. When does there exist a pair $(n,N)$ so that $Q$ has infinite projective dimension and $F(Q)$ has finite projective dimension? Is the tail of the resolution of the Frobenius power $F^t(Q)$ eventually a periodic function of $t$, (up to shift)? In particular, we exhibit a situation where the tail of the resolution of $F^t(Q)$, after shifting, is periodic as a function of $t$, with an arbitrarily large period. Can one use socle degrees to predict that the tail of the resolution of $F^t(Q)$ is a shift of the tail of the resolution of $Q$?