English
Related papers

Related papers: Flatness and Nonforking without the Continuum Hypo…

200 papers

We show the Harris--Viehmann conjecture under some Hodge--Newton reducibility condition for a generalization of the diamond of a non-basic Rapoport--Zink space at infinite level, which appears as a cover of the non-semi-stable locus in the…

Number Theory · Mathematics 2025-10-24 Ildar Gaisin , Naoki Imai

FPSAC 2013 Extended Abstract. We introduce a new basis of the non-commutative symmetric functions whose elements have Schur functions as their commutative images. Dually, we build a basis of the quasi-symmetric functions which expand…

Combinatorics · Mathematics 2013-03-21 Chris Berg , Nantel Bergeron , Franco Saliola , Luis Serrano , Mike Zabrocki

The purpose of this paper is to investigate forcing as a tool to construct universal models. In particular, we look at theories of initial segments of the universe and show that any model of a sufficiently rich fragment of those theories…

Logic · Mathematics 2025-03-07 Francesco Parente , Matteo Viale

We prove that $F$-injectivity localizes, descends under faithfully flat homomorphisms, and ascends under flat homomorphisms with Cohen-Macaulay and geometrically $F$-injective fibers, all for arbitrary Noetherian rings of prime…

Commutative Algebra · Mathematics 2024-12-24 Rankeya Datta , Takumi Murayama

A new Z-basis for the space of quasisymmetric functions (QSym, for short) is presented. It is shown to have nonnegative structure constants, and several interesting properties relative to the space of quasisymmetric functions associated to…

Combinatorics · Mathematics 2010-11-30 Kurt W. Luoto

We introduce a hierarchy of models of the Axiom of Determinacy called \emph{Nairian models}. Forcing over the simplest Nairian model, we obtain a model of ${\sf{ZFC}}+{\sf{MM^{++}}}(c)+\neg\square_{\omega_3}+\neg\square(\omega_3)$. Then,…

Logic · Mathematics 2025-02-03 Douglas Blue , Paul B. Larson , Grigor Sargsyan

It is a consequence of the axiom of choice that every preorder can be extended to a total preorder while respecting the strict preorder relation. We call such an extension a prelinearization of the preorder and study the extent to which the…

Logic · Mathematics 2026-02-17 Azul Fatalini , Luke Serafin

We give several related versions of global Grothendieck Duality for unbounded complexes on noetherian formal schemes. The proofs, based on a non-trivial adaptation of Deligne's method for the special case of ordinary schemes, are reasonably…

alg-geom · Mathematics 2008-02-03 Leovigildo Alonso , Ana Jeremias , Joseph Lipman

We consider ${\cal N}=4$ supersymmetric Yang Mills theory on a space with supersymmetry preserving boundary conditions. The boundaries preserving half of the 16 supercharges were analyzed and classified in an earlier work by Gaiotto and…

High Energy Physics - Theory · Physics 2014-10-28 Akikazu Hashimoto , Peter Ouyang , Masahito Yamazaki

In this paper we exploit the structural properties of standard and non-standard models of set theory to produce models of set theory admitting automorphisms that are well-behaved along an initial segment of their ordinals. $\mathrm{NFU}$ is…

Logic · Mathematics 2013-10-22 Zachiri McKenzie

We prove, in ZFC alone, some new results on regularity and decomposability of ultrafilters. We also list some problems, and furnish applications to topological spaces and to extended logics.

Logic · Mathematics 2011-06-07 Paolo Lipparini

We exhibit a forcing for producing a model with no nowhere dense ultrafilters that satisfies the full Sacks Property. By interleaving this forcing with other forcing notions, a model containing a $(2, {\aleph}_{0})$-selective ultrafilter,…

Logic · Mathematics 2024-08-21 Dilip Raghavan , Juris Steprāns

This work is a step towards merging the ideas that arise from semi-classical methods in continuum QFT with analytic/numerical lattice field theory. In this context, we consider Yang-Mills theories coupled to fermions in the adjoint…

High Energy Physics - Lattice · Physics 2018-12-05 Georg Bergner , Stefano Piemonte , Mithat Ünsal

Commutative supersymmetric Yang-Mills is known to be renormalizable for ${\cal N} = 1, 2$, while finite for ${\cal N} = 4$. However, in the noncommutative version of the model (NCSQED$_4$) the UV/IR mechanism gives rise to infrared…

High Energy Physics - Theory · Physics 2009-11-10 A. F. Ferrari , H. O. Girotti , M. Gomes , A. Yu. Petrov , A. A. Ribeiro , V. O. Rivelles , A. J. da Silva

In a recent contribution, Kumar, Bourdin, Francfort, and Lopez-Pamies (J. Mech. Phys. Solids 142:104027, 2020) have introduced a comprehensive macroscopic phase-field theory for the nucleation and propagation of fracture in linear elastic…

Materials Science · Physics 2022-07-21 Aditya Kumar , K. Ravi-Chandar , Oscar Lopez-Pamies

The idea of this approach towards proving the consistency of Quine's New Foundations set theory is to go in a completely untyped manner. So no contemplation about types is utilized here. All conceptualization pivots around proving a handful…

Logic · Mathematics 2021-07-27 Zuhair Al-Johar

We show the consistency of ZFC +''there is no NWD-ultrafilter on omega'', which means: for every non principle ultrafilter D on the set of natural numbers, there is a function f from the set of natural numbers to the reals, such that for…

Logic · Mathematics 2009-09-25 Saharon Shelah

A new attempt is demonstrated that QFTs can be UV finite if they are viewed as the low energy effective theories of a fundamental underlying theory (that is complete and well-defined in all respects) according to the modern standard point…

High Energy Physics - Theory · Physics 2007-05-23 Jifeng Yang

We describe the structure of finite groups with $\mathfrak{F}$-subnormal or self-normalizing primary cyclic subgroups when $\mathfrak{F}$ is a subgroup-closed saturate superradical formation containing all nilpotent groups. We prove that…

Group Theory · Mathematics 2020-11-11 Irina Sokhor

In previous work, the first three authors conjectured that the ring of regular functions on a natural class of affine log Calabi-Yau varieties (those with maximal boundary) has a canonical vector space basis parameterized by the integral…

Algebraic Geometry · Mathematics 2016-10-31 Mark Gross , Paul Hacking , Sean Keel , Maxim Kontsevich