Number Theory [math.NT]

Power-integral matrices over number fields: the Drazin inverse, pseudo-determinant, and numerical semigroups

math.NT

math.CO

We investigate matrices with entries in a number field such that some positive power has all its entries in the corresponding ring of integers. Our work generalizes previous results in several directions and we find applications to numerical semigroups.

On the exponential Diophantine equation $(a^n+1)(b^n+1)=x^2$

math.NT

We study the Diophantine equation $(a^n+1)(b^n+1)=x^2$, which belongs to the family of equations originating from the work of Szalay in 2000. If $a>1$, it is shown that the equation of the title has only one solution in positive integers, when $a$ and $b$ are distinct powers of the same integer $t>1$. Also, a complete description of the solutions is obtained under the assumptions that $a$ and $b$ are coprime and $n$ is even. Several other special cases of the equation are considered, and two conjectures are proposed.

Several classes of permutation pentanomials

math.NT

For each prime $p$ and each power $q=p^k$, we present two large classes of permutation polynomials over $\F_{q^2}$ of the form $X^r B(X^{q-1})$ which have at most five terms, where $B(X)$ is a polynomial with coefficients in the prime field of $\F_{q^2}$ except at most one.

Some new congruences and identities for $SOME(n)$, $DSOME(n)$, $\overline{SOME}(n)$ functions and analogues

math.NT

Andrews and Dastidar (\textit{Ramanujan J. 69, Article Number 26, (2026)} ) introduced the $SOME(n)$ and $DSOME(n)$ functions that calculate the sum of all odd parts minus the sum of all even parts of ordinary partitions and distinct partitions, respectively of a positive integer $n$, and proved their generating functions and some congruences modulo 4 and 5. Recently, Gireesh and Hemanthkumar introduced an overpartition analogue of $SOME(n)$ function, denoted by $\overline{SOME}(n)$ and proved some congruences modulo 3, 5 and powers of 2. In this paper, we prove some new identities and congruences for $SOME(n)$, $DSOME(n)$, and $\overline{SOME}(n)$ functions, including monotonicity results. We also define a general analogue of $SOME(n)$ function, denoted by $S_{\mathcal P}(n)$, which calculates the sum of all odd parts minus the sum of all even parts in any arbitrary family of partitions $\mathcal P(n)$ of a positive integer $n$, and prove some divisibility properties. Additionally, we define a colour partition analogue of $SOME(n)$ function and prove divisibility properties.

On the Finiteness of Geometric Representations for Varieties over Finite Fields

math.NT

Let $p$ be a prime number, and let $k$ be a finite field of characteristic different from $p$. Let $X$ be a normal geometrically connected variety over $k$, let $\overline X$ be a compactification of $X$, and let $Z=\overline X\setminus X$. Let $D$ be an effective Cartier divisor on $\overline X$ whose support is contained in $Z$. Motivated by Hiranouchi's Hermite--Minkowski type theorem for varieties over finite fields, we formulate a finiteness conjecture for continuous semisimple geometric representations $$ \pi_1(X,D)\longrightarrow \operatorname{GL}_n(F), $$ where $\pi_1(X,D)$ is Hiranouchi's fundamental group with ramification bounded by $D$, and $F$ is an algebraically closed field of characteristic $p$ endowed with the discrete topology. We prove this conjecture for odd $p$ in the following two cases: for curves with arbitrary ramification bound $D$, and for varieties of arbitrary dimension in the tame case, namely $D=0$. Furthermore, for arbitrary $p$, we prove the finiteness for those representations which admit a lift to characteristic zero.

Counting zeros of Artin $L$-functions

math.NT

In this article, assuming Artin's (holomorphy) conjecture, we establish an explicit asymptotic formula for the number of non-trivial zeros, up to any given height $T\geq 1$, of Artin $L$-functions. As a consequence, our result yields an unconditional explicit zero-counting formula for Hecke $L$-functions over any number field. In addition, our result improves the recent work of Amberger on Dedekind and Riemann zeta functions and the previous work of Bennett-Martin-O'Bryant-Rechnitzer on Dirichlet $L$-functions for sufficiently large $T$.

The classification of real quadratic fields which satisfy Hammarhjelm's condition

math.NT

math.DS

A real quadratic field satisfies Hammarhjelm's condition if its ring of integers has unique factorization, and the Minkowski lattice of its ring of integers contains no point in a certain rectangle determined by the fundamental unit. Such fields have recently appeared in the study of visible points in algebraic cut-and-project sets. We prove that there are exactly seven real quadratic fields satisfying Hammarhjelm's condition, namely those with discriminant 8, 5, 13, 29, 53, 173, 293. The proof is based on showing that for such fields, the fundamental unit is small relative to the discriminant, together with genus theory and Biro's classification of class number one fields in Yokoi's family.

A cohomological translation of the Kaplansky radical for profinite groups

math.NT

The Kaplansky radical of a field consists of the nonzero elements represented by every norm quadratic form in two variables. D.~Kijima and M.~Nishi conjectured that, for quadratic extensions, the Kaplansky radicals are related by the norm map in a manner analogous to Hilbert's Theorem~90. Although this H-conjecture was disproved by K.J.~Becher and D.B.~Leep, it is known to hold for several important classes of fields. We introduce a cohomological analogue of the Kaplansky radical for arbitrary profinite groups and primes $p$, defined as the orthogonal of $\mathrm{H}^1(G,\mathbb{F}_p)$ with respect to the cup product with itself. For absolute Galois groups, this recovers the classical Kaplansky radical when $p=2$ and the $p-$radical of Dario--Engler for arbitrary p. We also formulate a group-theoretic analogue of the H-conjecture, proving that, for fields, it is equivalent to the original conjectural property and depends only on the maximal pro-$2$ quotient of the absolute Galois group. We establish this property for broad classes of fields, including local and global fields, rational function fields, and all fields whose maximal pro-$p$ Galois group is of elementary type. Beyond its arithmetic origins, we investigate the property for general pro-$p$ groups, proving its stability under several natural group-theoretic constructions and obtaining new examples, including generalized right-angled Artin pro-$p$ groups and fundamental pro-$p$ groups of suitable graphs of groups, many of which cannot occur as maximal pro-$p$ Galois groups.

Sign Laws and Mock Theta Functions

math.NT

Let \[ \rho(q)=\sum_{m\geq 0}\frac{q^{2m(m+1)}}{(1+q+q^2)(1+q^3+q^6)\cdots(1+q^{2m+1}+q^{4m+2})} =\sum_{n\geq 0}r(n)q^n \] be Ramanujan's third order mock theta function. We prove the sign law \[ r(3m)>0,\qquad r(3m+1)\leq 0,\qquad r(3m+2)\leq 0, \] with equality precisely at $n=2,4,8,11,20$. Watson's identity \[ 2\rho(q)+\omega(q)=T(q) \] reduces the problem to comparing the mock theta function $\omega(q)$ with the eta quotient \[ T(q)=3\frac{(q^6;q^6)_\infty^4}{(q^3;q^3)_\infty^2(q^2;q^2)_\infty}. \] We prove effective root-of-unity estimates for this difference. The polar contributions at $q=1$ cancel, the contribution at $q=-1$ is polynomially bounded, and the first surviving exponential term occurs at the primitive cubic roots of unity. It has the sign pattern \[ \kappa_0=\frac13\cos\frac\pi{18}>0,\qquad \kappa_1=-\frac13\sin\frac{2\pi}{9}<0, \qquad \kappa_2=-\frac13\sin\frac\pi9<0. \] The resulting effective asymptotic proves the desired sign law for all sufficiently large $n$, and an exact integer-arithmetic verification completes the finite range. We conclude by indicating how the same root-of-unity method should lead to analogous sign laws for other third order mock theta functions, including $\phi(q)$ and $\chi(q)$.

Diophantine rank stability and non-vanishing of $L$-functions

math.NT

Let $A/\mathbb{Q}$ be a modular abelian variety of analytic rank $0$. If $G$ is a non-trivial finite abelian group such that all prime factors of $\lvert G \rvert$ are sufficiently large in terms of $A$, we show that there are infinitely many $G$-extensions $F/\mathbb{Q}$ such that $A(F)$ is finite. When $A$ is a rational elliptic curve of analytic rank zero with no exceptional primes, or the product of two such curves, the same conclusion holds without any assumptions on $|G|$. Our proof relies on new simultaneous non-vanishing results for twisted central $L$-values of even-weight holomorphic newforms. These results are obtained via novel constructions related to horizontal $p$-adic $L$-functions and are of independent interest.

Tamagawa ratios and unbounded Selmer moments

math.NT

We develop a framework to predict whether a family of Selmer groups has average size that is bounded or unbounded. Applying this framework to certain geometric families of abelian varieties over $\mathbb{Q}$, we give a conjectural characterization of which such families have $\ell$-Selmer groups of unbounded average size for a given prime $\ell$. In the case that the $\ell$-torsion Galois module is constant across the family, we show that our characterization is correct. The key tool of our technique is the Greenberg--Wiles' formula, which expresses the ratio of the sizes of a Selmer group and the corresponding dual Selmer group as a product of local factors. This formula gives a purely local lower bound for the size of a Selmer group that we conjecture is close to sharp most of the time.

Supersingular elliptic curves and twisting endomorphisms

math.NT

We generalize the notion of twisting endomorphisms, first defined by Castryck-Panny-Vercauteran, to the setting of $\mathcal{O}$-oriented supersingular elliptic curves. We give an algorithm to find supersingular elliptic curves over $\mathbb{F}_p$ with a twisting endomorphism of prime degree $\ell$, and we use it to compute a basis of their full endomorphism rings.

Local-global compatibility at $p\neq\ell$ for torsion automorphic forms

math.NT

math.RT

We prove local-global compatibility results at $p \neq \ell$ for the automorphic group determinants constructed by Scholze, generalising the result of Varma to torsion classes appearing in Betti cohomology. Our argument combines the construction of Scholze with the theory of representations of $p$-adic general linear groups with $\mathbf{Z}_{\ell}$-coefficients.

An Efficient Algorithm for Estimating Prime Counts

math.NT

We propose an efficient algorithm for approximating the prime counting function $\pi(x)$ using a structured non-uniform partition derived from generalized triangular numbers. The method yields an incremental estimator whose updates require only local computations, resulting in amortized $O(1)$ update complexity and total complexity $O(\sqrt x)$. A correction term obtained through extensive numerical experimentation significantly improves the approximation accuracy. Computational tests for values up to $10^{19}$ show strong agreement with known values of $\pi(x)$, with accuracy comparable to classical analytic approximations, while maintaining a substantially simpler incremental evaluation scheme. The proposed framework may be useful in large-scale computational number theory applications requiring fast repeated estimates of $\pi(x)$.

Construction of Generically Ordinary Families of Hyperelliptic Curves

math.NT

math.AG

Katz conjectured in a 2018 lecture that the family of curves $y^2=x^d-dx+t$ over the $t$-line is generically ordinary for all sufficiently large primes $p$. We prove that, for every $g\ge 2$ and every nonzero algebraic integer $\alpha$, the genus-$g$ families $C_\alpha: y^2=x^d+\alpha x+t$ where $d\in\{2g+1, 2g+2\}$ are generically ordinary at every prime $p>P^+(d)$, provided that $\alpha$ is nonzero modulo every prime above $p$. The bound $P^+(d)=d^2-4d+2$ if $d$ is odd, and $P^+(d)=(d^2-3d+2)/2$ if $d$ is even.

Galois Extensions via Finiteness of Orbits

math.NT

We present an orbit--theoretic reformulation of Galois theory based on the natural action of automorphism groups on fields. Given a field $\mathbf{E}$ and a subgroup $H$ of the automorphism group $\mathrm{Aut}(\mathbf{E})$, we show that algebraic properties of the extension $\mathbf{E}/\mathbf{E}^H$, where $\mathbf{E}^H$ denotes the fixed field of $H$, are encoded in the $H$-orbits arising from the action of $H$ on $\mathbf{E}$. An element $\alpha \in \mathbf{E}$ is algebraic over $\mathbf{E}^H$ if and only if its $H$--orbit is finite. In that case, its minimal polynomial can be explicitly constructed as the product of linear factors over its orbit --a construction that also ensures separability. At the level of field extensions, we prove that $\mathbf{E}/\mathbf{E}^H$ is Galois if and only if all $H$--orbits have finite length, and that $\mathbf{E}/\mathbf{E}^H$ is a finite Galois extension if and only if the lengths of the $H$--orbits are bounded above. This provides a unified orbit--theoretic characterization of algebraicity, separability, normality, and degree. Artin's Lemma is recovered as a direct consequence of this framework. Finally, we show that for simple extensions, the fixed field under a subgroup $H$ of $\mathrm{Aut}(\mathbf{F}(\alpha)/\mathbf{F})$ can be described explicitly by evaluating elementary symmetric polynomials on the $H$--orbit of $\alpha$, provided this orbit is finite. This leads to an effective method for computing fixed fields directly from orbit data. A classical example is included to illustrate the approach.

EKOR and BT stratifications for basic unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink spaces

math.NT

In this paper, we establish the relation between the Ekedahl-Kottwitz-Oort-Rapoport stratification and the Bruhat-Tits stratification on the unramified $\mathrm{GU}(1,n-1)$ Rapoport-Zink space with arbitrary parahoric level. More precisely, we prove that every basic EKOR stratum is a disjoint union of copies of a fine Deligne-Lusztig variety which is explicitly defined. As a consequence, we also determine which KR strata are entirely contained in the basic locus, and we prove the smoothness of the irreducible components of the closure of certain EKOR strata.

Linear equations and chromatic thresholds in $B_h$ sets

math.CO

math.NT

We derive sparse analogs of several Roth-type results, showing that they hold in $B_h$ sets of near-maximum size. It is shown that if a $B_h$ set is free of pairwise distinct solutions to a linear equation with more than $2h$ variables then it must be a constant factor smaller than the best-known upper bound on the size of any $B_h$ set. As a key input, it is established that extremal $B_h$ sets are Fourier pseudorandom. If the forbidden equation has a certain subdivision structure, an asymptotic saving is obtained. The case of Sidon sets ($h=2$) was previously studied by Conlon, Fox, Sudakov, and Zhao as well as Prendiville. When forbidding a non-translation-invariant equation $E$ from a Sidon set, it is shown that if $E$ has a zero-sum subcollection of at least five coefficients then the Sidon set must either be very small or generate a Cayley graph with bounded chromatic number. On the other hand, large Sidon sets are constructed that generate Cayley graphs with unbounded chromatic number and are also free of multiple equations with zero-sum subcollections of four coefficients. This can be viewed as a sparse analog of a result of Liu, Wu, Yang, and Zhang characterizing linear equations with vanishing chromatic threshold.

A generalization of partition identities of G\"ollnitz-Gordon, Rogers-Ramanujan and Nandi

math.RT

math.CO

math.NT

We propose Andrews-Gordon type series for certain level 2 standard modules of type $A^{(2)}_{\textrm{odd}}$, and prove the corresponding sum-product identities except for $A^{(2)}_{6n+3}$. These identities generalize the identities of G\"ollnitz-Gordon (mod 8), Rogers-Ramanujan (mod 5) and (partially) Nandi (mod 14).

Galois representations with large image in the global Langlands correspondence

math.NT

math.GR

v4

The global Langlands conjecture for $\text{GL}_n$ over a number field $F$ predicts a correspondence between certain algebraic automorphic representations $\pi$ of $\text{GL}_n(\mathbb{A}_F)$ and certain families $\{ \rho_{\pi,\ell} \}_\ell$ of $n$-dimensional $\ell$-adic Galois representations of $\text{Gal}(\overline{F}/F)$. In general, it is expected that the image of the residual Galois representation $\overline{\rho}_{\pi,\ell}$ of $\rho_{\pi,\ell}$ should be as large as possible for almost all primes $\ell$, unless there is an automorphic reason for the image to be small. In this paper, we study the images of certain compatible systems of Galois representations $\{\rho_{\pi,\ell} \}_\ell$ associated to regular algebraic, polarizable, cuspidal automorphic representations $\pi$ of $\text{GL}_n(\mathbb{A}_F)$ by using only standard techniques and currently available tools (e.g., Fontaine-Laffaille theory, Serre's modularity conjecture, classification of the maximal subgroups of Lie type groups, and known results about irreducibility of automorphic Galois representations and Langlands functoriality). In particular, when $F$ is a totally real field and $n$ is an odd prime number $\leq 293$, we prove that (under certain automorphic conditions) the images of the residual representations $\overline{\rho}_{\pi,\ell}$ are as large as possible for infinitely many primes $\ell$. In fact, we prove the large image conjecture (i.e., large image for almost all primes $\ell$) when $F=\mathbb{Q}$ and $n=5$.

The shifted convolution L-function for Maass forms

math.NT

v4

Let $\Phi_1,\Phi_2$ be Maass forms for $\text{SL}(2,\mathbb Z)$ with Fourier coefficients $C_1(n),C_2(n)$. For a positive integer $h$ the meromorphic continuation and growth in $s\in\mathbb C$ (away from poles) of the shifted convolution L-function $$L_h(s,{\Phi_1,\Phi_2})\, := \sum_{n \neq 0,-h} {C_1(n) C_2(n + h)} \cdot \big|n(n + h)\big|^{-\frac{1}{2}s}$$ is obtained. For ${\rm Re}(s) > 0$ it is shown that the only poles are possible simple poles at $\frac{1}{2} \pm ir_k$, where $\tfrac14+r_k^2$ are eigenvalues of the Laplacian. As an application we obtain, for $T\to\infty$, the asymptotic formula \begin{align*} & \underset{n \neq 0,-h}{\sum_{\sqrt{|n (n + h)|}< x^{\frac{1}{2} - \varepsilon}$, \[ {\sum_{\sqrt{|n (n + h)|} < x} C_1(n) C_2(n + h)} \ll h^{\frac{2}{3}\theta + \varepsilon}x^{\frac{2}{3} (1 + \theta) + \varepsilon} + h^{\frac{1}{2} + \varepsilon}x^{\frac{1}{2} + 2\theta + \varepsilon}. \]

Faulhaber's formula, Bernoulli numbers, power sums of natural numbers and totatives and the functional equation $f(x)+x^k=f(x+1)$

math.NT

math.CO

math.HO

v4

In modern usage the Bernoulli numbers and Bernoulli polynomials follow Euler's approach and are defined using generating functions. Originally, they were derived by Bernoulli while characterizing Faulhaber's formula for the sum of consecutive powers. These equations have many consequences and applications in various areas of mathematics. We consider yet another application by studying the functional equation $f(x)+x^k=f(x+1)$ and show that a solution of this equation can be derived from Faulhaber's formula. We then use these results to study the totatives of n, i.e. numbers less than n that are coprime to n. In particular, we look at sums of powers of totatives of n that are less than n/2. We show that the sum of powers of this half of the totatives can also be expressed in the same structural form as the sum of powers of all totatives and provide explicit formulas for this sum. As an application of these results, we obtain a formula for the total area of all rectangles with coprime width and length and semiperimeter n.

On the $(\varphi,\Gamma)$-modules corresponding to crystalline representations

math.NT

math.RT

v4

Let $K$ be a complete discrete valuation field of characteristic $0$ with perfect residue field of characteristic $p>0$. We introduce the notion of crystalline $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K^{+}$ and show that their category is equivalent to the category of crystalline $\mathbb{Z}_p$-representations of the absolute Galois group of $K$. In other words, we determine the $(\varphi,\Gamma)$-modules over $\widetilde{\mathbb{A}}_K$ that correspond to crystalline representations. This equivalence generalizes, in certain respects, that of L. Berger in the unramified case.

Galois representations are surjective for almost all Drinfeld modules

math.NT

math.AG

v2

This article advances the results of Duke on the average surjectivity of Galois representations for elliptic curves to the context of Drinfeld modules over function fields. Let $F$ be the rational function field over a finite field. I establish that for Drinfeld modules of rank $r \geq 2$, the $T$-adic Galois representation: $\widehat{\rho}_{\phi, T}: Gal(F^{sep}/F) \rightarrow GL_r(\mathbb{F}_q[[T]])$ is surjective for a density $1$ set of such modules. The proof utilizes Hilbert irreducibility (over function fields), Drinfeld's uniformization theory and sieve methods.

One one type of ud-preserving mapping

math.NT

v3

In this paper a class of mappings on unit interval is constructed. These mapping preserve uniform distribution and theirs iterations form a sequence which is Buck uniformly distributed. In the third part some prorties of these mappings are proven.

Deterministic and Efficient Ideal Arithmetic via Two-Element Representations

math.NT

cs.SC

v2

Given an ideal in a number field, it is desirable in many situations to find two elements that generate the ideal over the ring of the integers of the field. Existing algorithms are either randomized, or impractical at cryptographic sizes. In the paper, we present a deterministic polynomial time algorithm to find the two-element representation of an ideal. For a monic irreducible integral polynomial \( f(x) \), let \( K=\Q[x]/(f) \) be the number field, and \( O_K \) be the integral closure. Our algorithm works when the norm of the input ideal is co-prime to the index \( [O_K:\Z[x]/f] \). In particular, it handles all ideals for monogenic \( f(x) \), a class that includes the cyclotomic polynomials widely used in lattice based cryptography. A key technical ingredient in our result is a generalized version of Dedekind criterion.

Advances in Factoring and Primality Testing: From Classical to Quantum Algorithms

cs.CR

math.NT

v3

Many modern asymmetric encryption methods rely on prime numbers, as they have distinctive properties. For instance, the security of RSA cryptosystem relies on the computational difficulty of factoring a large composite number in its prime factors, a problem that remains challenging for classical computers but potentially solvable using quantum algorithms. On the other hand, generating large prime numbers is also challenging due to their irregular distribution among integers, necessitating the use of primality testing algorithms to verify candidate primes. In this paper, we intensively review and classify various classical and quantum algorithms for factorization and primality testing, highlighting their advantages, limitations, speed/accuracy tradeoffs, time complexities, along with a brief summary. Furthermore, we apply and compare these algorithms to gain practical insights and conduct a comprehensive performance comparison. The insights from this paper show that while quantum factoring algorithms, particularly Shor's algorithm and its refinements, have introduced significant advancements over their classical counterparts, quantum primality testing algorithms have not demonstrated comparable advantages.

Witt vector affine Springer fibers

math.AG

math.NT

v2

We establish dimension formulas for the Witt vector affine Springer fibers associated to a reductive group over a mixed characteristic local field, under the assumption that the group is essentially tamely ramified and the residue characteristic is not bad. Besides the discriminant valuations that show up in classical works on the usual affine Springer fibers, our formula also involves the Artin conductors and the Kottwitz invariants of the relevant conjugacy classes.

Geometrization of the Schr\"odinger Model for the Minimal Representation of an Even Orthogonal Group: The de Rham Setting

math.RT

math.NT

math.RA

v3

We construct and compare three $D$-module models for the minimal representation of the conformal group of an even-dimensional quadratic space. Let $V$ be a quadratic space over a field $\kappa$ of characteristic $0$, $C\subset V^*$ be the isotropic cone, $\Delta\in D_V$ be the associated Laplace--Beltrami operator, $G$ be the conformal group of $V$, and $D_C$ be the algebra of Grothendieck differential operators on $C$. We prove that the category of finitely generated $D_C$-modules is equivalent both to a Kazhdan--Laumon glued category attached to the smooth locus $C^o$ and to a category of ``harmonic'' twisted $D$-modules on the projective conformal compactification $G/P \supset V$. The gluing is governed by the quadric Fourier transform, while the harmonic model is built from a distinguished $G$-equivariant sheaf $H$ on $G/P$ extending the local quotient $D_V/D_V\Delta$. We prove a new geometric interpretation of higher symmetries of the Laplacian as global sections of $H$, and use this connection to give a geometric proof of the theorem of Levasseur, Smith, and Stafford that $D_C$ is Noetherian despite the singularity of $C$. We also study, via a descent procedure we call ``$F$-moment descent,'' the algebraic geometry of the closure of the minimal nilpotent orbit of $G$, which is the quasiclassical analogue of the minimal representation. Finally, we analyze the filtered structure of $D_V/D_V\Delta$ as a right $D_C$-module, identifying its associated graded layers through a flat degeneration of an affine flag multicone whose special fiber is the Rees space of a natural ideal in $\kappa[\overline{O}_{min}]$.

Structural properties and tilting correspondences of perfectoid towers

math.AC

math.AG

math.NT

v2

We prove that every perfectoid tower can be realized as the fiber product of a diagram involving perfectoid towers that are either $p$-torsion free or perfect of characteristic $p$. As an application, we conclude that separated perfectoid towers are reduced. We also establish the tilting invariance of \'{e}tale cohomology and Koszul homology for perfectoid towers. As further applications, we prove that tilting preserves fundamental properties of Noetherian local rings such as being Cohen--Macaulay, Gorenstein, complete intersection, or regular.