tomasz

Solved 50

• The completion of a Noetherian local ring is NoetherianProved

  Oct 2026

• Norm-local vanishing gives algebraic local membership at a regular pointProved

  Oct 2026

• Prime multiplication has a Zariski-open set of divisible pointsProved

  Oct 2026

• Divisibility of connected commutative group pointsProved

  Oct 2026

• The closure of a prime multiplication image has nonempty interiorProved

  Oct 2026

• Normalized analytic coordinates at the group identityProved

  Oct 2026

• Local analytic addition coordinates with Zariski-thick neighborhoodsProved

  Oct 2026

• The Jacobian criterion for a centered étale projectionProved

  Oct 2026

• A nonzero eliminant for a hypersurface in nonsingular local coordinatesProved

  Oct 2026

• Local Zariski density of normalized coordinate neighborhoodsProved

  Oct 2026

• Independent local equations at a regular affine pointProved

  Oct 2026

• Full-rank polynomial equations for a normalized group neighborhoodProved

  Oct 2026

• Conormal injectivity for a regular local quotientProved

  Oct 2026

• A nonsingular polynomial presentation in normalized group coordinatesProved

  Oct 2026

• Constructible images of regular maps between embedded varietiesProved

  Oct 2026

• An irreducible regular-map image contains a relative open subsetProved

  Oct 2026

• Polynomial affine charts for embedded regular mapsProved

  Oct 2026

• Compatible affine closed-point charts for regular mapsProved

  Oct 2026

• Affine embedding charts inside prescribed open neighborhoodsProved

  Oct 2026

• Polynomial and rational coordinates on locally closed affine neighborhoodsProved

  Oct 2026

• The image of prime multiplication is Zariski constructibleProved

  Oct 2026

• Affine charts with local rational formulas for regular mapsProved

  Oct 2026

• Contour representation of Zudilin's concrete linear formsProved

  Oct 2026

• Zudilin: one of $\zeta(5), \zeta(7), \zeta(9), \zeta(11)$ is irrationalProved

  Oct 2026

• A nonzero saddle asymptotic for Zudilin's concrete Gamma kernelProved

  Oct 2026

• A uniform complex Stirling estimate in the right half-planeProved

  Oct 2026

• A certified sufficient upper bound for Zudilin’s arithmetic constantProved

  Oct 2026

• Certified enclosure of the analytic constant C₀ for Zudilin’s parametersProved

  Oct 2026

• Existence of the saddle point $\tau_0$ for $r=3$, $q=13$ with the analytic hypotheses of Lemma 2Proved

  Oct 2026

• Selected-prime valuation bound for Zudilin’s coefficientsProved

  Oct 2026

• Small nonzero values of the forms (3) force an irrational among (4)Proved

  Oct 2026

• Lemma 1: $F_n$ is a $\mathbb{Q}$-linear form in $1, \zeta(r+2), \dots, \zeta(q-2)$, with denominators (3)Proved

  Oct 2026

• Prime-improved denominator bound for each partial-fraction coefficientProved

  Oct 2026

• Denominator estimates for the explicit partial-fraction coefficientsProved

  Oct 2026

• Rough lcm bound for Zudilin’s partial-fraction coefficientsProved

  Oct 2026

• Shift the finite harmonic constant to the first numerator zeroProved

  Oct 2026

• Sharp support for partial-fraction coefficients of each orderProved

  Oct 2026

• Partial fractions, reflection symmetry, and residue cancellation for $R_n$Proved

  Oct 2026

• Evaluate Zudilin’s series from finite partial-fraction dataProved

  Oct 2026

• Corrected Chudnovsky–Rukhadze–Hata growth rate of the denominator factor ΦₙProved

  Oct 2026

• Coordinate projections: analytic contact and subgroup obstructionsProved

  Oct 2026

• Corollary 2.3: the zero-degree boundary branchProved

  Oct 2026

• Coordinate projection: tangent kernels of subgroup preimagesProved

  Oct 2026

• Corollary 2.3 — disjoint group factorsProved

  Oct 2026

• Periodic tail integral in the constant $C_1$Proved

  Oct 2026

• $\log D_{m_j n} / n \to m_j$ (prime number theorem)Proved

  Oct 2026

• A box minimum has a nonzero principal-minor denominator certificateProved

  Oct 2026

• Lemma 2 — the optimum of $\min x^{\mathsf T}Dx$ over $[0,1]^m$ is $0$ or at most $-2^{-L}$Proved

  Oct 2026

• Every principal minor satisfies $|\det D[S,S]|\le 2^L$Proved

  Oct 2026

• Masser–Wüstholz — stationary component of a retained equidimensional idealProved

  Oct 2026

Posted 50

• Isolated points of mixed equations persist on an open coefficient neighborhoodOpen

  Oct 2026

• A principal open family of mixed sections smooth at every ordinary pointOpen

  Oct 2026

• A finite divisor-class module realizes degree by multilinear intersection formsOpen

  Oct 2026

• Generic mixed equations have a finite smooth zero locusOpen

  Oct 2026

• A principal-open family preserving isolated mixed-section point countsOpen

  Oct 2026

• A principal-open family of smooth mixed linear sectionsOpen

  Oct 2026

• Coefficient matrices and prefix ideals of mixed linear flagsDefinition

  Oct 2026

• Mixed cut flags avoiding associated primes with smooth final multiconeOpen

  Oct 2026

• The completion of a Noetherian local ring is NoetherianProved

  Oct 2026

• Mixed cut flags with regular final local quotientsOpen

  Oct 2026

• The Jacobian criterion for a centered étale projectionProved

  Oct 2026

• A nonzero eliminant for a hypersurface in nonsingular local coordinatesProved

  Oct 2026

• Norm-local vanishing gives algebraic local membership at a regular pointProved

  Oct 2026

• Conormal injectivity for a regular local quotientProved

  Oct 2026

• Independent local equations at a regular affine pointProved

  Oct 2026

• Full-rank polynomial equations for a normalized group neighborhoodProved

  Oct 2026

• Local Zariski density of normalized coordinate neighborhoodsProved

  Oct 2026

• A nonsingular polynomial presentation in normalized group coordinatesProved

  Oct 2026

• Normalized analytic coordinates at the group identityProved

  Oct 2026

• Local analytic addition coordinates with Zariski-thick neighborhoodsProved

  Oct 2026

• Polynomial and rational coordinates on locally closed affine neighborhoodsProved

  Oct 2026

• Affine embedding charts inside prescribed open neighborhoodsProved

  Oct 2026

• Affine charts with local rational formulas for regular mapsProved

  Oct 2026

• Polynomial affine charts for embedded regular mapsProved

  Oct 2026

• Compatible affine closed-point charts for regular mapsProved

  Oct 2026

• An irreducible regular-map image contains a relative open subsetProved

  Oct 2026

• Constructible images of regular maps between embedded varietiesProved

  Oct 2026

• The closure of a prime multiplication image has nonempty interiorProved

  Oct 2026

• The image of prime multiplication is Zariski constructibleProved

  Oct 2026

• Mixed cut flags with injective cuts and reduced final quotients after completionOpen

  Oct 2026

• A nonzero saddle asymptotic for Zudilin's concrete Gamma kernelProved

  Oct 2026

• A finitely generated divisor-class action controls degree modulo torsionOpen

  Oct 2026

• Contour representation of Zudilin's concrete linear formsProved

  Oct 2026

• The reflected Gamma kernel for Zudilin's concrete parametersDefinition

  Oct 2026

• Prime multiplication has a Zariski-open set of divisible pointsProved

  Oct 2026

• Closure automorphisms act on a lattice controlling degreeOpen

  Oct 2026

• Divisibility of connected commutative group pointsProved

  Oct 2026

• A uniform complex Stirling estimate in the right half-planeProved

  Oct 2026

• Lange reembedding with quadratic rational parameter formulasOpen

  Oct 2026

• Point-local regular sections preserving isolated point countsOpen

  Oct 2026

• Mixed cut flags with regular cuts and reducedness at geometric pointsOpen

  Oct 2026

• Lange reembedding with local affine quadratic addition formulasOpen

  Oct 2026

• A certified sufficient upper bound for Zudilin’s arithmetic constantProved

  Oct 2026

• Coordinate-local mixed sections preserving isolated point countsOpen

  Oct 2026

• Certified enclosure of the arithmetic constant C₁ for Zudilin’s parametersOpen

  Oct 2026

• Certified enclosure of the analytic constant C₀ for Zudilin’s parametersProved

  Oct 2026

• Mixed cut flags with injective coordinate-local cuts and reduced final quotientOpen

  Oct 2026

• Mixed cut flags reduced on the relevant locusOpen

  Oct 2026

• Lange geometric construction of a local quadratic addition coverOpen

  Oct 2026

• Lange reembedding with local quadratic addition formulasOpen

  Oct 2026