Search

High Power Target systems are key elements in future neutrino and other rare particle production in accelerators. These systems transform an intense source of protons into secondary particles of interest to enable new scientific discoveries. As beam intensity and energies increase, target systems face significant challenges. Radiation damages and thermal shocks in target materials were identified as the leading cross-cutting challenges of high-power target facilities. Target material R&D to address these challenges are essential to enable and ensure reliable operation of future-generation accelerators. Irradiation facilities and alternative methods are critical to provide a full support of material R&D and better address these critical challenges., contribution to Snowmass 2021

Finite determinacy for mappings has been classically thoroughly studied in numerous scenarios in the real- and complex-analytic category and in the differentiable case. It means that the map-germ is determined, up to a given equivalence relation, by a finite part of its Taylor expansion. The equivalence relation is usually given by a group action and the first step is always to reduce the determinacy question to an "infinitesimal determinacy", i.e., to the tangent spaces at the orbits of the group action. In this work we formulate a universal, characteristic-free approach to finite determinacy, not necessarily over a field, and for a large class of group actions. We do not restrict to pro-algebraic or Lie groups, rather we introduce the notion of "pairs of (weak) Lie type", which are groups together with a substitute for the tangent space to the orbit such that the orbit is locally approximated by its tangent space, in a precise sense. This construction may be considered as a kind of replacement of the exponential resp. logarithmic maps. It is of independent interest as it provides a general method to pass from the tangent space to the orbit of a group action in any characteristic. In this generality we establish the "determinacy versus infinitesimal determinacy" criteria, a far reaching generalization of numerous classical and recent results, together with some new applications., Comment: the final version, to appear in Math Zeitschrift

This note describes a \emph{Macaulay2} package for computations in prime characteristic commutative algebra. This includes Frobenius powers and roots, $p^{-e}$-linear and $p^{e}$-linear maps, singularities defined in terms of these maps, different types of test ideals and modules, and ideals compatible with a given $p^{-e}$-linear map., Comment: 21 pages, minor improvements throughout. This paper is the companion to the the latest version of the package (https://github.com/kschwede/Workshop-2017-Berkeley/tree/master/Fsing/TestIdealsPackage), which should be included in 1.15 of Macaulay2 and later

One classical topic in the study of local cohomology is whether the non-vanishing of a specific local cohomology module is equivalent to the vanishing of its annihilator; this has been studied by several authors, including Huneke, Koh, Lyubeznik and Lynch. Motivated by questions raised by Lynch and Zhang, the goal of this paper is to provide some new results about this topic, which provide some partial positive answers to these questions. The main technical tool we exploit is the structure of local cohomology as module over rings of differential operators., Comment: 15 pages, comments are welcome. This paper recovers and extends the results obtained by the second named author in arXiv:1501.00718 [math.AC]