More Like this

1. On the computation of Kähler differentials and characterizations of Galois extensions with independent defect

   https://doi.org/10.1002/mana.202300532  

   Cutkosky, Steven Dale; Kuhlmann, Franz‐Viktor; Rzepka, Anna (May 2025, Mathematische Nachrichten)

   Unknown (Ed.)

   Abstract For important cases of algebraic extensions of valued fields, we develop presentations of the associated Kähler differentials of the extensions of their valuation rings. We compute their annihilators as well as the associated differents. We then apply the results to Galois defect extensions of prime degree. Defects can appear in finite extensions of valued fields of positive residue characteristic and are serious obstructions to several problems in positive characteristic. A classification of defects (dependent vs. independent) has been introduced by the second and the third author. It has been shown that perfectoid fields and deeply ramified fields only admit extensions with independent defect. We give several characterizations of independent defect, using ramification ideals, Kähler differentials, and traces of the maximal ideals of valuation rings. All of our results are for arbitrary valuations; in particular, we have no restrictions on their ranks or value groups. 

   more » « less
2. The essential dimension of congruence covers

   https://doi.org/10.1112/S0010437X21007594  

   Farb, Benson; Kisin, Mark; Wolfson, Jesse (November 2021, Compositio Mathematica)

   Abstract Consider the algebraic function $$\Phi _{g,n}$$ that assigns to a general $$g$$ -dimensional abelian variety an $$n$$ -torsion point. A question first posed by Klein asks: What is the minimal $$d$$ such that, after a rational change of variables, the function $$\Phi _{g,n}$$ can be written as an algebraic function of $$d$$ variables? Using techniques from the deformation theory of $$p$$ -divisible groups and finite flat group schemes, we answer this question by computing the essential dimension and $$p$$ -dimension of congruence covers of the moduli space of principally polarized abelian varieties. We apply this result to compute the essential $$p$$ -dimension of congruence covers of the moduli space of genus $$g$$ curves, as well as its hyperelliptic locus, and of certain locally symmetric varieties. These results include cases where the locally symmetric variety $$M$$ is proper . As far as we know, these are the first examples of nontrivial lower bounds on the essential dimension of an unramified, nonabelian covering of a proper algebraic variety. 

   more » « less
3. Smooth points on semi-algebraic sets

   https://doi.org/10.1145/3457341.3457347  

   Harris, Katherine; Hauenstein, Jonathan D.; Szanto, Agnes (September 2020, ACM Communications in Computer Algebra)

   Many algorithms for determining properties of semi-algebraic sets rely upon the ability to compute smooth points [1]. We present a simple procedure based on computing the critical points of some well-chosen function that guarantees the computation of smooth points in each connected bounded component of a real atomic semi-algebraic set. Our technique is intuitive in principal, performs well on previously difficult examples, and is straightforward to implement using existing numerical algebraic geometry software. The practical efficiency of our approach is demonstrated by solving a conjecture on the number of equilibria of the Kuramoto model for then= 4 case. We also apply our method to design an efficient algorithm to compute the real dimension of algebraic sets, the original motivation for this research. 

   more » « less
4. Dimension Quasi-polynomials of Inversive Difference Field Extensions with Weighted Translations

   Levin, A. (November 2017, Mathematical Aspects of Computer and Information Sciences)

   We consider Hilbert-type functions associated with finitely generated inversive difference field extensions and systems of algebraic difference equations in the case when the translations are assigned positive integer weights. We prove that such functions are quasi-polynomials that can be represented as alternating sums of Ehrhart quasi-polynomials of rational conic polytopes. In particular, we generalize the author's results on difference dimension polynomials and their invariants to the case of inversive difference fields with weighted basic automorphisms. 

   more » « less
5. Cohomology of finite tensor categories: Duality and Drinfeld centers

   https://doi.org/10.1090/tran/8548  

   Negron, Cris; Plavnik, Julia (March 2022, Transactions of the American Mathematical Society)

   We consider the finite generation property for cohomology of a finite tensor category C \mathscr {C} , which requires that the self-extension algebra of the unit \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},\mathbf {1}) is a finitely generated algebra and that, for each object V V in C \mathscr {C} , the graded extension group \operatorname {Ext}^\text {\tiny ∙ }_\mathscr {C}(\mathbf {1},V) is a finitely generated module over the aforementioned algebra. We prove that this cohomological finiteness property is preserved under duality (with respect to exact module categories) and taking the Drinfeld center, under suitable restrictions on C \mathscr {C} . For example, the stated result holds when C \mathscr {C} is a braided tensor category of odd Frobenius-Perron dimension. By applying our general results, we obtain a number of new examples of finite tensor categories with finitely generated cohomology. In characteristic 0 0 , we show that dynamical quantum groups at roots of unity have finitely generated cohomology. We also provide a new class of examples in finite characteristic which are constructed via infinitesimal group schemes. 

   more » « less