All Questions

Filter by
Sorted by
Tagged with
9 votes
2 answers
630 views

Torsion-free virtually free-by-cyclic groups

Is it known if there are any examples of a finitely generated group $G$ such that: $G$ has a finite index subgroup $H$ which is free-by-cyclic $G$ itself is not free-by-cyclic $G$ is torsion-free ...
HASouza's user avatar
  • 283
0 votes
0 answers
167 views

A zoo of derivations

Recall that given a $k$-algebra $A$, a derivation on $A$ is a $k$-linear morphism $d:A\to A$ such that $$d(ab)=d(a)b+ad(b).$$ The use of derivations is of paramount importance in mathematics. I think ...
2 votes
1 answer
166 views

A stronger version of paracompactness

Given a topological space $(X,\tau)$, recall that a cover $\mathcal{U}$ of $X$ is locally finite if for every point $x\in \mathcal{U}$ has a neighborhood $U$ that intersects finitely many elements of $...
Cla's user avatar
  • 665
6 votes
1 answer
151 views

Mañé's example of an attractor with no natural measure

I'm reading Milnor's notes on dynamical systems and in Lecture 3 he gives an example of an attractor with no natural measure, which he attributes to Mañé. I can find no other reference in which this ...
wadsc's user avatar
  • 63
0 votes
1 answer
134 views

What are examples of mathematical objects that are 'constructed out of' a range of other objects but fall out of them? [closed]

What are examples of mathematical objects that are somehow 'constructed out of' a whole range of other objects but fall out of them? One example that comes to my mind is that of ordinal numbers: $\...
2 votes
0 answers
476 views

description of very ample bundle of Hirzebruch surface

I learned some basic properties of Hirzebruch surface mainly from Vakil's notes "the rising sea", section 20.2.9. the Hirzebruch surface is defined as $\mathbb{F}_n:=\operatorname{Proj} (\...
zxx's user avatar
  • 181
1 vote
0 answers
64 views

Multivarate "RKHS" Examples

I've been reading about RKHSs and Hilbert spaces of functions these days a bit these days and I haven't yet come across an example of a hilbert space $H$ whose elements are all functions $f:\mathbb{R}^...
ABIM's user avatar
  • 5,001
1 vote
1 answer
143 views

Proofs by Schubert calculus and combinatorics

Do you know some examples proved by two different methods: 1. Schubert calculus, 2. combinatorial method.
Mihawk's user avatar
  • 320
13 votes
2 answers
1k views

Contrasting theorems in classical logic and constructivism

Is it possible there are examples of where classical logic proves a theorem that provably is false within constructivism? Is so what are some examples? What are some examples of most contrasting ...
82 votes
11 answers
11k views

What are examples of (collections of) papers which "close" a field?

There is sometimes talk of fields of mathematics being "closed", "ended", or "completed" by a paper or collection of papers. It seems as though this could happen in two ways: A total characterisation,...
0 votes
0 answers
22 views

A linear map satisfying the given property

Let $A$ and $B$ be two Banach algebras such that $B$ is a Banach $A$-bimodue and $T:A\rightarrow B$ a linear map satisfying $T(aa')=aT(a')+T(a)a'+T(a)T(a')$ for all $a,a'\in A$. If the algerba ...
Fermat's user avatar
  • 167
10 votes
1 answer
457 views

Intuition behind orthogonality in category theory, and origin of name

In category theory, two morphisms $e:A\to B$ and $m:C\to D$ are said to be orthogonal if for any $f:A\to C$ and $g:B\to D$ with $m\circ f=g\circ e$, there exists a unique morphism $d:B\to C$ such that ...
geodude's user avatar
  • 2,099
10 votes
2 answers
1k views

Examples of set theory problems which are solved using methods outside of logic

The question is essentially the one in the title. Question. What are some examples of (major) problems in set theory which are solved using techniques outside of mathematical logic?
Mohammad Golshani's user avatar
6 votes
2 answers
278 views

Combinatorial proof that some model categories are monoidal/enriched?

I'm looking for examples of proofs that some Quillen model categories are monoidal, or enriched over an other model category, which are based on explicit computation of the "pushout product" of the ...
Simon Henry's user avatar
  • 39.4k
10 votes
1 answer
225 views

Naturally occurring, non-amenable Zappa-Szep products of discrete amenable groups?

We say $G$ is the Zappa-Szep product of two subgroups $K$ and $P$ if $K\cap P = \{e\}$ and the function $K\times P \to G$, $(k,p)\mapsto kp$, is bijective. The Iwasawa decomposition shows that we can ...
Yemon Choi's user avatar
  • 25.3k
1 vote
0 answers
53 views

Is it possible that a convex cone and its closure both induce vector lattices?

Given a convex cone $P\subset X$ where $X$ is a $K$-vector space, $K=\mathbb{R}\text{ or }\mathbb{C}$ is a field. Suppose that $P$ satisfies positive element stipulations. (1) $X=P-P$. (2) $P\cap-P=...
Henry.L's user avatar
  • 7,891
10 votes
1 answer
429 views

Example of Banach spaces with non-unique uniform structures

While it is known that compact Hausdorff spaces admit unique uniform structures, it is further shown by Johson and Lindenstrauss's result that Banach spaces are characterized by their uniform ...
Henry.L's user avatar
  • 7,891
17 votes
2 answers
3k views

Consequences of the Birch and Swinnerton-Dyer Conjecture?

Before asking my short question I had made some research. Unfortunately I did not find a good reference with some examples. My question is the following What are the consequences of the Birch and ...
7 votes
0 answers
432 views

Is there a list of examples of orthogonal spectra?

Schwede's symmetric spectra book project provides point-set models of many important spectra as symmetric spectra, including (in §I.1) the sphere spectrum, Eilenberg-Mac Lane spectra, several Thom ...
Arun Debray's user avatar
  • 6,726
14 votes
4 answers
1k views

Is the "Moebius Stairway" Graph Already Known?

It is a wellknown fact, that Moebius Ladder Graphs have $2n$ vertices, but nowhere could I find any hint of how to generalize them to Graphs with $2n+1$ vertices. Last week I had the idea of giving up ...
Manfred Weis's user avatar
  • 12.5k
5 votes
2 answers
205 views

Confusion in some notations in Lie sub-algebras of exceptional Lie algebra

I was following Humphrey's Lie algebra for study, and came to study of Weyl groups of root systems. The book has stated orders of Weyl groups of exceptional Lie algebras, and there were no comments or ...
p Groups's user avatar
  • 261
3 votes
1 answer
300 views

Simply connected 4-manifolds with boundary

I think I've encountered a question about 4-manifolds which maybe easy but I'm not familiar with. Can anyone give me an example of a simply connected 4-manifold $M$ (with boundary, of course) with $...
Ivy's user avatar
  • 123
82 votes
17 answers
11k views

Examples of algorithms requiring deep mathematics to prove correctness

I am looking for examples of algorithms for which the proof of correctness requires deep mathematics ( far beyond what is covered in a normal computer science course). I hope this is not too broad.
2 votes
0 answers
642 views

Applications of the Weak and Weak$^*$ topologies to PDEs?

Chapter $3$ of Functional Analysis, Sobolev Spaces and Partial Differential Equations by Haim Brezis constructs and explains the Weak and Weak$^*$ topologies over a Banach Space $E$. The most ...
D1X's user avatar
  • 121
4 votes
0 answers
55 views

Looking for a Collection of Examples and Counter Examples for Assumptions about the Properties of Planar Euclidean TSP Instances?

Where can I find example and counter examples to seemingly plausible assumption about the properties of optimal solutions of planar euclidean TSP instances? The reason for asking is that the ...
Manfred Weis's user avatar
  • 12.5k
3 votes
0 answers
186 views

Groups with probability measures

Are there algebraic structures that integrate groups with probability measures? For instance, can the closure operation on a group be assigned a probability that says "how much" a member belongs to ...
Kasthuri's user avatar
  • 141
19 votes
1 answer
747 views

Vector field on a K3 surface with 24 zeroes

In https://mathoverflow.net/a/44885/4177, Tilman points out that one can use a $K3$ surface minus the zeroes of a generic vector field to build a nullcobordism for $24[SU(2)]$. Given that a) this is a ...
David Roberts's user avatar
  • 33.2k
8 votes
2 answers
263 views

Roller's problem on median groups

At the end of his dissertation Poc Sets, Median Algebras and Group Actions, Martin Roller asks A group $G$ is called median if it acts freely and transitively on a median algebra. This is ...
Seirios's user avatar
  • 2,361
6 votes
1 answer
1k views

Example of a triangulable topological manifold which does not admit a PL structure

I know there are some examples of manifolds which don't admit a PL structure (combinatorial triangulation), and that it has been recently proven that in dimension $n\geq5$ there are manifold which are ...
Dario's user avatar
  • 643
7 votes
0 answers
376 views

Linear vs smooth actions of finite groups on spheres, euclidean spaces and closed disks

I would like to know examples (with references, if possible) of the following: (1) a finite group $G$ acting effectively and smoothly on a sphere $S^n$ (any $n$) but admitting no effective linear ...
Ignasi Mundet i Riera's user avatar
9 votes
3 answers
2k views

Need examples of homotopy orbit and fixed points

I am no expert in equivariant homotopy theory. Let's say, I am planing to give a talk on homotopy fixed points and orbits. My audience will be graduate students who are doing algebraic topology or ...
Prasit's user avatar
  • 2,013
26 votes
4 answers
33k views

Recent, elementary results in algebraic geometry

Next semester I will be teaching an introductory algebraic geometry class for a smallish group of undergrads. In the last couple weeks, I hope that each student will give a one-hour presentation. ...
0 votes
0 answers
317 views

Examples of functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition

there are examples of lacunary functions with natural boundary that do not satisfy Fabry or Hadamard gap theorem condition.I want to know more examples of those functions,the more the better,...
XL _At_Here_There's user avatar
8 votes
6 answers
683 views

Do you have examples of such "transitive" elements?

(I've asked the same question at the MSE, so far with no answers, so I thought I'd try it here as well. If there's some clash with any site rules, please let me know and I'll abide.) Let $A$ be a set ...
Basil's user avatar
  • 269
0 votes
1 answer
351 views

Examples of groups such that order isomorphism of the subgroups of $G\times G$ and $H\times H$ does not imply isomorphism of $G$ and $H$

Let $G$ and $H$ be groups, $\operatorname{Sub}(G\times G)$ be the set of all subgroups of $G\times G$ and $\operatorname{Sub}(H\times H)$ be the set of all subgroups of $H\times H$. Assume there ...
Minimus Heximus's user avatar
14 votes
1 answer
2k views

Learning a little Motivic Cohomology

Simply because I find it interesting, I have spent some time studying motivic cohomology from the lectures by Mazza, Voevodsky and Weibel. However, I'm finding it hard to tell if the theory is ...
LMN's user avatar
  • 3,495
10 votes
2 answers
639 views

Has there been any application of tensor species?

Joyal's combinatorial species, endofunctors in the category of finite sets with bijections $\mathbf B$ have found numerous applications. One generalisation is given by so-called "tensor species" (...
Martin Rubey's user avatar
  • 5,473
2 votes
2 answers
846 views

Non-split groups

I am looking for a reference with definitions on what it means for an algebraic group to be split, quasi-split, and non-split. I would like to see some examples of the different "types". Thanks, Tom
2 votes
2 answers
1k views

description of functions of conditionally negative type on a group

Recall that a kernel conditionaly of negative type on a set $X$ is a map $\psi:X\times X\rightarrow\mathbb{R}$ with the following properties: 1) $\psi(x,x)=0$ 2) $\psi(y,x)=\psi(x,y)$ 3) for any ...
BigBill's user avatar
  • 1,222
49 votes
15 answers
11k views

Explicit computations using the Haar measure

This question is somewhat related to my previous one on Grassmanians. The few times I've encountered the Haar measure in the course of my mathematical education, it's always been used in a very ...
Thierry Zell's user avatar
  • 4,496
15 votes
1 answer
1k views

Comodule exercises desired

This Question is inspired by a Quote of Moore's "There are two ‘evil’ influences at work here: 1. we are toilet trained with algebras not coalgebras 2. some of us are addicted to manifolds and so ...
Sean Tilson's user avatar
  • 3,666
4 votes
3 answers
3k views

Examples of Banach spaces and their duals

There are many representation theorems which state that the dual space of a Banach space $X$ has a particularly concrete form. For example, if $X = C([0,1],\mathbb R)$ is the space of real-valued ...
Tom LaGatta's user avatar
  • 8,322
397 votes
84 answers
184k views

Proofs without words

Can you give examples of proofs without words? In particular, can you give examples of proofs without words for non-trivial results? (One could ask if this is of interest to mathematicians, and I ...
3 votes
4 answers
1k views

Examples of divisors on an analytical manifold

I am trying to understand divisors reading through Griffith and Harris but it is difficult to come up with any particular interesting example. I have browsed through Hartshone's book but everything is ...
Jesus Martinez Garcia's user avatar