Related papers: Depth three towers and Jacobson-Bourbaki correspon…
Let k be a finite field of characteristic p>0. We construct a theory of weights for overholonomic complexes of arithmetic D-modules with Frobenius structure on varieties over k. The notion of weight behave like Deligne's one in the l-adic…
We define certain extensions of Jacobi groups of $A_n$, prove an analogue of Chevalley Theorem for their invariants, and construct a Dubrovin Frobenius structure on it orbit space.
The integral group rings $\mathbb{Z}G$ for finite groups $G$ are precisely those fusion rings whose basis elements have Frobenius-Perron dimension 1, and each is categorifiable in the sense that it arises as the Grothendieck ring of a…
We prove that the integral closedness of any ideal of height at least two is compatible with specialization by a generic element. This opens the possibility for proofs using induction on the height of an ideal. Also, with additional…
We prove the existence of a Galois closure for towers of torsors under finite group schemes over a proper, geometrically connected and geometrically reduced algebraic stack $X$ over a field $k$. This is done by describing the Nori…
We establish relations between Gorenstein projective precovers linked by Frobenius functors. This is motivated by an open problem that how to find general classes of rings for which modules have Gorenstein projective precovers. It is shown…
A large variety of cohomology theories is derived from complex cobordism MU^*(-) by localizing with respect to certain elements or by killing regular sequences in MU_*. We study the relationship between certain pairs of such theories which…
We prove that two arithmetically significant extensions of a field F coincide if and only if the Witt ring WF is a group ring Z/n[G]. Furthermore, working modulo squares with Galois groups which are 2-groups, we establish a theorem…
Let k be a field of characteristic p>0. A theorem of de Jong shows that morphisms of modules over W(k)[[t]] with Frobenius and connection structure descend from the completion of W(k)((t)). A careful reading of de Jong's proof suggests the…
In recent years, attempts to generalize lattice gauge theories to model topological order have been carried out through the so called $2$-gauge theories. These have opened the door to interesting new models and new topological phases which…
Given a unital associative ring S and a subring R, we say that S is an ideal (or Dorroh) extension of R if for some ideal I of S, S = R + I, where the sum is direct. In this note we investigate the ideal structure of an arbitrary ideal…
Gorenstein liaison seems to be the natural notion to generalize to higher codimension the well-known results about liaison of varieties of codimension~2 in projective space. In this paper we study points in ${\mathbb P}^3$ and curves in…
In this paper we establish effective lower bounds on the degrees of the Debarre and Kobayashi conjectures. Then we study a more general conjecture proposed by Diverio-Trapani on the ampleness of jet bundles of general complete intersections…
Let $(R,\fm,k)$ be a commutative noetherian local ring with dualizing complex $\dua R$, normalized by $\Ext^{\depth(R)}_R(k,\dua R)\cong k$. Partly motivated by a long standing conjecture of Tachikawa on (not necessarily commutative)…
This paper constructs (with challenging obstacles) on the three torus with its cubical decomposition: Firstly, a combinatorial graded intersection algebra (graded by the codimension) which is commutative and associative defined by…
In the ring R=K[X,Y,Z]/(X^3+Y^3+Z^3), where K is a field of prime characteristic p other than 3, determining the tight closure of the ideal (X^2, Y^2, Z^2)R had existed as a classic example of the difficulty involved in tight closure…
Algebra extensions A < B where A is a left B-module such that the B-action extends the multiplication in A are ubiquitous. We encounter examples of such extensions in the study of group actions, group gradings or more general Hopf actions…
We study functors F from C_f to D where C and D are simplicial model categories and C_f is the full subcategory of C consisting of objects that factor a fixed morphism f from A to B. We define the analogs of Eilenberg and Mac Lane's cross…
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…
Leclerc recently studied certain Frobenius categories in connection with cluster algebra structures on coordinate rings of intersections of opposite Schubert cells. We show that these categories admit a description as Gorenstein projective…