skip to main content
US FlagAn official website of the United States government
dot gov icon
Official websites use .gov
A .gov website belongs to an official government organization in the United States.
https lock icon
Secure .gov websites use HTTPS
A lock ( lock ) or https:// means you've safely connected to the .gov website. Share sensitive information only on official, secure websites.


This content will become publicly available on April 1, 2026

Title: New building blocks for F1${\mathbb {F}}_1$‐geometry: Bands and band schemes
Abstract We develop and study a generalization of commutative rings calledbands, along with the corresponding geometric theory ofband schemes. Bands generalize both hyperrings, in the sense of Krasner, and partial fields in the sense of Semple and Whittle. They form a ring‐like counterpart to the field‐like category ofidyllsintroduced by the first and third authors in the previous work. The first part of the paper is dedicated to establishing fundamental properties of bands analogous to basic facts in commutative algebra. In particular, we introduce various kinds of ideals in a band and explore their properties, and we study localization, quotients, limits, and colimits. The second part of the paper studies band schemes. After giving the definition, we present some examples of band schemes, along with basic properties of band schemes and morphisms thereof, and we describe functors into some other scheme theories. In the third part, we discuss some “visualizations” of band schemes, which are different topological spaces that one can functorially associate to a band scheme .  more » « less
Award ID(s):
2154224
PAR ID:
10627226
Author(s) / Creator(s):
; ;
Publisher / Repository:
eScholarship
Date Published:
Journal Name:
Journal of the London Mathematical Society
Volume:
111
Issue:
4
ISSN:
0024-6107
Format(s):
Medium: X
Sponsoring Org:
National Science Foundation
More Like this
  1. Abstract We present a new method based on information theory to find the optimal number of bands required to measure the physical properties of galaxies with desired accuracy. As a proof of concept, using the recently updated COSMOS catalog (COSMOS2020), we identify the most relevant wave bands for measuring the physical properties of galaxies in a Hawaii Two-0- (H20) and UVISTA-like survey for a sample ofi< 25 AB mag galaxies. We find that with the availablei-band fluxes,r,u, IRAC/ch2, andzbands provide most of the information regarding the redshift with importance decreasing fromrband tozband. We also find that for the same sample, IRAC/ch2,Y,r, andubands are the most relevant bands in stellar-mass measurements with decreasing order of importance. Investigating the intercorrelation between the bands, we train a model to predict UVISTA observations in near-IR from H20-like observations. We find that magnitudes in theYJHbands can be simulated/predicted with an accuracy of 1σmag scatter ≲0.2 for galaxies brighter than 24 AB mag in near-IR bands. One should note that these conclusions depend on the selection criteria of the sample. For any new sample of galaxies with a different selection, these results should be remeasured. Our results suggest that in the presence of a limited number of bands, a machine-learning model trained over the population of observed galaxies with extensive spectral coverage outperforms template fitting. Such a machine-learning model maximally comprises the information acquired over available extensive surveys and breaks degeneracies in the parameter space of template fitting inevitable in the presence of a few bands. 
    more » « less
  2. Abstract LetMbe a cancellative and commutative (additive) monoid. The monoidMis atomic if every non-invertible element can be written as a sum of irreducible elements, which are also called atoms. Also,Msatisfies the ascending chain condition on principal ideals (ACCP) if every increasing sequence of principal ideals (under inclusion) becomes constant from one point on. In the first part of this paper, we characterize torsion-free monoids that satisfy the ACCP as those torsion-free monoids whose submonoids are all atomic. A submonoid of the nonnegative cone of a totally ordered abelian group is often called a positive monoid. Every positive monoid is clearly torsion-free. In the second part of this paper, we study the atomic structure of certain classes of positive monoids. 
    more » « less
  3. Abstract We study diagonally implicit Runge-Kutta (DIRK) schemes when applied to abstract evolution problems that fit into the Gelfand-triple framework. We introduce novel stability notions that are well-suited to this setting and provide simple, necessary and sufficient, conditions to verify that a DIRK scheme is stable in our sense and in Bochner-type norms. We use several popular DIRK schemes in order to illustrate cases that satisfy the required structural stability properties and cases that do not. In addition, under some mild structural conditions on the problem we can guarantee compactness of families of discrete solutions with respect to time discretization. 
    more » « less
  4. Abstract The purpose of this paper and its sequel is to develop the geometry built from the commutative algebras that naturally appear as the homology of differential graded algebras and, more generally, as the homotopy of algebras in spectra. The commutative algebras in question are those in the symmetric monoidal category of graded abelian groups, and, being commutative, they form the affine building blocks of a geometry, as commutative rings form the affine building blocks of algebraic geometry. We name this geometry Dirac geometry, because the grading exhibits the hallmarks of spin in that it is a remnant of the internal structure encoded byanima, it distinguishes symmetric and anti-symmetric behavior, and the coherent cohomology of Dirac schemes and Dirac stacks, which we develop in the sequel, admits half-integer Serre twists. Thus, informally, Dirac geometry constitutes a “square root” of$$\mathbb {G}_m$$ G m -equivariant algebraic geometry. 
    more » « less
  5. Functionals that penalize bending or stretching of a surface play a key role in geometric and scientific computing, but to date have ignored a very basic requirement: in many situations, surfaces must not pass through themselves or each other. This paper develops a numerical framework for optimization of surface geometry while avoiding (self-)collision. The starting point is thetangent-point energy, which effectively pushes apart pairs of points that are close in space but distant along the surface. We develop a discretization of this energy for triangle meshes, and introduce a novel acceleration scheme based on a fractional Sobolev inner product. In contrast to similar schemes developed for curves, we avoid the complexity of building a multiresolution mesh hierarchy by decomposing our preconditioner into two ordinary Poisson equations, plus forward application of a fractional differential operator. We further accelerate this scheme via hierarchical approximation, and describe how to incorporate a variety of constraints (on area, volume,etc.). Finally, we explore how this machinery might be applied to problems in mathematical visualization, geometric modeling, and geometry processing. 
    more » « less