Related papers: Exterior powers of F-zips

For a discrete valuation ring $R$ with quotient field $K$ and residue field $F$ both of characteristic not 2, we study low-dimensional quadratic forms with Witt class in the $n$-th power of the fundamental ideal of $F$ resp. $K$ and point…

We prove the Zariski dense orbit conjecture in positive characteristic for endomorphisms of $\mathbb{G}_a^N$ defined over $\overline{\mathbb{F}_p}$.

A dynamically affine map is a finite quotient of an affine morphism of an algebraic group. We determine the rationality or transcendence of the Artin-Mazur zeta function of a dynamically affine self-map of $\mathbb{P}^1(k)$ for $k$ an…

We characterize the fixed divisor of a polynomial $f(X)$ in $\mathbb{Z}[X]$ by looking at the contraction of the powers of the maximal ideals of the overring ${\rm Int}(\mathbb{Z})$ containing $f(X)$. Given a prime $p$ and a positive…

Let m>2 be an integer. We show that ZF + "For every integer n, Every countable family of non-empty sets of cardinality at most n has an infinite partial choice function" is not strong enough to prove that every countable set of m-element…

Type qualifiers offer a lightweight mechanism for enriching existing type systems to enforce additional, desirable, program invariants. They do so by offering a restricted but effective form of subtyping. While the theory of type qualifiers…

If $E$ is a subset of the integers then the $n$-th characteristic ideal of $E$ is the fractional ideal of $\mathbb{Z} $ consisting of $0$ and the leading coefficients of the polynomials in $\mathbb{Q}[x]$ of degree no more than $n$ which…

Semifields are semirings in which every nonzero element has a multiplicative inverse. A rough classification uses the characteristic of the semifield, that is the isomorphism type of the semifield generated by the two neutral elements. For…

Voids are a prominent feature of fractal point distributions but there is no precise definition of what is a void (except in one dimension). Here we propose a definition of voids that uses methods of discrete stochastic geometry, in…

Let $\mathbb{D}$ be a division ring and $\mathbb{F}$ be a subfield of the center of $\mathbb{D}$ over which $\mathbb{D}$ has finite dimension $d$. Let $n,p,r$ be positive integers and $\mathcal{V}$ be an affine subspace of the…

Rule-based systems are a very popular form of explainable AI, particularly in the fuzzy community, where fuzzy rules are widely used for control and classification problems. However, fuzzy rule-based classifiers struggle to reach bigger…

Let k be an algebraically closed field of characteristic zero, F its algebraically closed extension, and G be the group of k-automorphisms of F endowed with a natural topology. One of the purposes of this paper is to show that any…

We show that the cyclic and epicyclic categories which play a key role in the encoding of cyclic homology and the lambda operations, are obtained from projective geometry in characteristic one over the infinite semifield F of "max-plus…

Let X be a compact connected Riemann surface. Fix a positive integer r and two nonnegative integers d_p and d_z. Consider all pairs of the form (F, f), where F is a holomorphic vector bundle on X of rank r and degree d_z-d_p, and f :…

Let $d$ be a positive fundamental discriminant, and let $\mathcal{C}_{d}$ be the set of isomorphism classes of cubic number fields of discriminant $d$. For each $K \in \mathcal{C}_{d}$, we construct a weight 1 modular form $f_{K}$ with…

A generalization of a theorem of Crabb and Hubbuck concerning the embedding of flag representations in divided powers is given, working over an arbitrary finite field F, using the category of functors from finite-dimensional F-vector spaces…

Let $\Bbb F_q$ be a finite field with $\text{char}\,\Bbb F_q=p$ and $n>0$ an integer with $\text{gcd}(n, \log_pq)=1$. Let $(\ )^*:\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1})\to\Bbb F_q({\tt x}_0,\dots,{\tt x}_{n-1})$ be the $\Bbb…

In this paper we study the Bruhat decomposition of not necessarily connected reductive quasi-split groups $G$ with respect to not necessarily connected parabolic subgroups. If $G$ is defined over a finite field, we construct a smooth…

Let $k$ be any field and $k^s$ its separable closure. Let $X$ be an affine variety over $k$ which is isomorphic to affine $n$-space over the field extension $k^s$. Then $X$ is isomorphic to affine $n$ space over $k$.

This paper investigates how global decision problems over arithmetically represented domains acquire reflective structure through class-quantification. Arithmetization forces diagonal fixed points whose verification requires reflection…